PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM	6292e63147fb202dc159fbf5a9ff5c77
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4822
Optimality of the best value was proved	NO
Number of terms in the objective function	771
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	33355
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	33355
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	771
Total number of constraints	1951
Number of constraints which are clauses	1949
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 7854

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-17 16:39:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2229 boxname=wulflinc24 idbench=248 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc24/normalized-C432.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-C432.opb
IDLAUNCH: 2229
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        799440 kB
Buffers:         36904 kB
Cached:         154768 kB
SwapCached:       3828 kB
Active:          72492 kB
Inactive:       125864 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        799160 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            31300 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:59:19 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 2229 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-C432.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.90 2/54 22188
Raw data (stat): 22188 (runsolver) R 22187 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512018087 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.93 0.97 0.90 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 722 0 0 0 991 7 0 0 25 0 1 0 512018087 3735552 718 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 912 718 231 231 0 681 0
vsize: 3648
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 996 0 0 0 1990 9 0 0 25 0 1 0 512018087 5832704 992 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1424 992 231 231 0 1193 0
vsize: 5696
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1237 0 0 0 2989 11 0 0 25 0 1 0 512018087 5963776 1233 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1456 1233 231 231 0 1225 0
vsize: 5824
[startup+40.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1330 0 0 0 3987 12 0 0 25 0 1 0 512018087 6164480 1326 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1505 1326 231 231 0 1274 0
vsize: 6020
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1333 0 0 0 4986 13 0 0 25 0 1 0 512018087 6164480 1329 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1505 1329 231 231 0 1274 0
vsize: 6020
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1336 0 0 0 5986 14 0 0 25 0 1 0 512018087 6164480 1332 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1505 1332 231 231 0 1274 0
vsize: 6020
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1342 0 0 0 6985 15 0 0 25 0 1 0 512018087 6164480 1338 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1505 1338 231 231 0 1274 0
vsize: 6020
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1351 0 0 0 7985 15 0 0 25 0 1 0 512018087 6164480 1347 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1505 1347 231 231 0 1274 0
vsize: 6020
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1359 0 0 0 8984 16 0 0 25 0 1 0 512018087 6164480 1355 4294967295 134512640 135450300 3221224640 3221222740 134615639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1505 1355 231 231 0 1274 0
vsize: 6020
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1370 0 0 0 9983 17 0 0 25 0 1 0 512018087 6291456 1366 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1536 1366 231 231 0 1305 0
vsize: 6144
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1380 0 0 0 10982 18 0 0 25 0 1 0 512018087 6291456 1376 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1536 1376 231 231 0 1305 0
vsize: 6144
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1384 0 0 0 11982 18 0 0 25 0 1 0 512018087 6291456 1380 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1536 1380 231 231 0 1305 0
vsize: 6144
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1447 0 0 0 12981 20 0 0 25 0 1 0 512018087 6488064 1394 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1584 1394 231 231 0 1353 0
vsize: 6336
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1454 0 0 0 13981 21 0 0 25 0 1 0 512018087 6488064 1401 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1584 1401 231 231 0 1353 0
vsize: 6336
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1463 0 0 0 14980 21 0 0 25 0 1 0 512018087 6619136 1410 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1616 1410 231 231 0 1385 0
vsize: 6464
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1479 0 0 0 15980 22 0 0 25 0 1 0 512018087 6619136 1426 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1616 1426 231 231 0 1385 0
vsize: 6464
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1487 0 0 0 16979 23 0 0 25 0 1 0 512018087 6619136 1434 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1616 1434 231 231 0 1385 0
vsize: 6464
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1502 0 0 0 17978 24 0 0 25 0 1 0 512018087 6754304 1449 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1649 1449 231 231 0 1418 0
vsize: 6596
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1508 0 0 0 18978 24 0 0 25 0 1 0 512018087 6754304 1455 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1649 1455 231 231 0 1418 0
vsize: 6596
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1517 0 0 0 19977 25 0 0 25 0 1 0 512018087 6754304 1464 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1649 1464 231 231 0 1418 0
vsize: 6596
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1526 0 0 0 20977 26 0 0 25 0 1 0 512018087 6754304 1473 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1649 1473 231 231 0 1418 0
vsize: 6596
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1536 0 0 0 21976 26 0 0 25 0 1 0 512018087 6754304 1483 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1649 1483 231 231 0 1418 0
vsize: 6596
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1545 0 0 0 22976 26 0 0 25 0 1 0 512018087 6754304 1492 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1649 1492 231 231 0 1418 0
vsize: 6596
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1550 0 0 0 23976 27 0 0 25 0 1 0 512018087 6754304 1497 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1649 1497 231 231 0 1418 0
vsize: 6596
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1559 0 0 0 24966 37 0 0 25 0 1 0 512018087 6909952 1506 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1687 1506 231 231 0 1456 0
vsize: 6748
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 1821 0 0 0 25964 39 0 0 25 0 1 0 512018087 11104256 1768 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2711 1768 231 231 0 2480 0
vsize: 10844
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2250 0 0 0 26963 40 0 0 25 0 1 0 512018087 11497472 2100 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2807 2100 231 231 0 2576 0
vsize: 11228
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2324 0 0 0 27963 40 0 0 25 0 1 0 512018087 11497472 2174 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2807 2174 231 231 0 2576 0
vsize: 11228
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2390 0 0 0 28963 40 0 0 25 0 1 0 512018087 11497472 2240 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2807 2240 231 231 0 2576 0
vsize: 11228
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2462 0 0 0 29963 41 0 0 25 0 1 0 512018087 11497472 2312 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2807 2312 231 231 0 2576 0
vsize: 11228
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2737 0 0 0 30962 42 0 0 25 0 1 0 512018087 11653120 2587 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2587 231 231 0 2614 0
vsize: 11380
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2754 0 0 0 31962 42 0 0 25 0 1 0 512018087 11653120 2604 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2604 231 231 0 2614 0
vsize: 11380
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2755 0 0 0 32962 42 0 0 25 0 1 0 512018087 11653120 2605 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2605 231 231 0 2614 0
vsize: 11380
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2759 0 0 0 33962 43 0 0 25 0 1 0 512018087 11653120 2609 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2609 231 231 0 2614 0
vsize: 11380
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2782 0 0 0 34962 43 0 0 25 0 1 0 512018087 11653120 2632 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2632 231 231 0 2614 0
vsize: 11380
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2791 0 0 0 35961 43 0 0 25 0 1 0 512018087 11788288 2641 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2641 231 231 0 2647 0
vsize: 11512
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2793 0 0 0 36961 44 0 0 25 0 1 0 512018087 11788288 2643 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2643 231 231 0 2647 0
vsize: 11512
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2805 0 0 0 37961 44 0 0 25 0 1 0 512018087 11788288 2655 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2655 231 231 0 2647 0
vsize: 11512
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2808 0 0 0 38961 44 0 0 25 0 1 0 512018087 11788288 2658 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2658 231 231 0 2647 0
vsize: 11512
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2809 0 0 0 39961 44 0 0 25 0 1 0 512018087 11788288 2659 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2659 231 231 0 2647 0
vsize: 11512
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2812 0 0 0 40961 44 0 0 25 0 1 0 512018087 11788288 2662 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2662 231 231 0 2647 0
vsize: 11512
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2815 0 0 0 41961 45 0 0 25 0 1 0 512018087 11788288 2665 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2665 231 231 0 2647 0
vsize: 11512
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2830 0 0 0 42961 45 0 0 25 0 1 0 512018087 11923456 2680 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2680 231 231 0 2680 0
vsize: 11644
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2832 0 0 0 43961 45 0 0 25 0 1 0 512018087 11923456 2682 4294967295 134512640 135450300 3221224640 3221223024 134602070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2682 231 231 0 2680 0
vsize: 11644
[startup+449.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2834 0 0 0 44961 45 0 0 25 0 1 0 512018087 11923456 2684 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2684 231 231 0 2680 0
vsize: 11644
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2837 0 0 0 45961 45 0 0 25 0 1 0 512018087 11923456 2687 4294967295 134512640 135450300 3221224640 3221223360 134535817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2687 231 231 0 2680 0
vsize: 11644
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2850 0 0 0 46961 46 0 0 25 0 1 0 512018087 11923456 2700 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2700 231 231 0 2680 0
vsize: 11644
[startup+479.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2858 0 0 0 47961 46 0 0 25 0 1 0 512018087 11923456 2708 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2708 231 231 0 2680 0
vsize: 11644
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2864 0 0 0 48961 46 0 0 25 0 1 0 512018087 11923456 2714 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2714 231 231 0 2680 0
vsize: 11644
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2865 0 0 0 49961 46 0 0 25 0 1 0 512018087 11923456 2715 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2715 231 231 0 2680 0
vsize: 11644
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2866 0 0 0 50961 46 0 0 25 0 1 0 512018087 11923456 2716 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2716 231 231 0 2680 0
vsize: 11644
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2868 0 0 0 51961 46 0 0 25 0 1 0 512018087 11923456 2718 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2718 231 231 0 2680 0
vsize: 11644
[startup+530 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2885 0 0 0 52961 47 0 0 25 0 1 0 512018087 12054528 2735 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2735 231 231 0 2712 0
vsize: 11772
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2888 0 0 0 53961 47 0 0 25 0 1 0 512018087 12054528 2738 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2738 231 231 0 2712 0
vsize: 11772
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2889 0 0 0 54961 47 0 0 25 0 1 0 512018087 12054528 2739 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2739 231 231 0 2712 0
vsize: 11772
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2891 0 0 0 55961 47 0 0 25 0 1 0 512018087 12054528 2741 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2741 231 231 0 2712 0
vsize: 11772
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2903 0 0 0 56962 47 0 0 25 0 1 0 512018087 12054528 2753 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2753 231 231 0 2712 0
vsize: 11772
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2906 0 0 0 57961 47 0 0 25 0 1 0 512018087 12054528 2756 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2756 231 231 0 2712 0
vsize: 11772
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2908 0 0 0 58962 47 0 0 25 0 1 0 512018087 12054528 2758 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2758 231 231 0 2712 0
vsize: 11772
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2910 0 0 0 59962 47 0 0 25 0 1 0 512018087 12054528 2760 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2760 231 231 0 2712 0
vsize: 11772
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2911 0 0 0 60962 47 0 0 25 0 1 0 512018087 12054528 2761 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2761 231 231 0 2712 0
vsize: 11772
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2912 0 0 0 61962 47 0 0 25 0 1 0 512018087 12054528 2762 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2762 231 231 0 2712 0
vsize: 11772
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2927 0 0 0 62962 48 0 0 25 0 1 0 512018087 12054528 2777 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2777 231 231 0 2712 0
vsize: 11772
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2929 0 0 0 63962 48 0 0 25 0 1 0 512018087 12054528 2779 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2779 231 231 0 2712 0
vsize: 11772
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2932 0 0 0 64962 48 0 0 25 0 1 0 512018087 12054528 2782 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2782 231 231 0 2712 0
vsize: 11772
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2946 0 0 0 65962 48 0 0 25 0 1 0 512018087 12193792 2796 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2796 231 231 0 2746 0
vsize: 11908
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2960 0 0 0 66959 51 0 0 25 0 1 0 512018087 12193792 2810 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2810 231 231 0 2746 0
vsize: 11908
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2962 0 0 0 67959 51 0 0 25 0 1 0 512018087 12193792 2812 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2812 231 231 0 2746 0
vsize: 11908
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2964 0 0 0 68959 52 0 0 25 0 1 0 512018087 12193792 2814 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2814 231 231 0 2746 0
vsize: 11908
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 2966 0 0 0 69959 52 0 0 25 0 1 0 512018087 12193792 2816 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2816 231 231 0 2746 0
vsize: 11908
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3176 0 0 0 70959 52 0 0 25 0 1 0 512018087 12980224 2833 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 2833 231 231 0 2938 0
vsize: 12676
[startup+720.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3180 0 0 0 71959 52 0 0 25 0 1 0 512018087 12980224 2837 4294967295 134512640 135450300 3221224640 3221223448 134546439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 2837 231 231 0 2938 0
vsize: 12676
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3186 0 0 0 72959 52 0 0 25 0 1 0 512018087 12980224 2843 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 2843 231 231 0 2938 0
vsize: 12676
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3191 0 0 0 73959 52 0 0 25 0 1 0 512018087 12980224 2848 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 2848 231 231 0 2938 0
vsize: 12676
[startup+750.002 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3194 0 0 0 74959 53 0 0 25 0 1 0 512018087 13111296 2851 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2851 231 231 0 2970 0
vsize: 12804
[startup+760.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3196 0 0 0 75959 53 0 0 25 0 1 0 512018087 13111296 2853 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2853 231 231 0 2970 0
vsize: 12804
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3213 0 0 0 76959 53 0 0 25 0 1 0 512018087 13111296 2870 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2870 231 231 0 2970 0
vsize: 12804
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3216 0 0 0 77959 53 0 0 25 0 1 0 512018087 13111296 2873 4294967295 134512640 135450300 3221224640 3221223456 134546470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2873 231 231 0 2970 0
vsize: 12804
[startup+790.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3219 0 0 0 78959 54 0 0 25 0 1 0 512018087 13111296 2876 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2876 231 231 0 2970 0
vsize: 12804
[startup+800.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3233 0 0 0 79959 54 0 0 25 0 1 0 512018087 13246464 2890 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2890 231 231 0 3003 0
vsize: 12936
[startup+810.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3236 0 0 0 80959 54 0 0 25 0 1 0 512018087 13246464 2893 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2893 231 231 0 3003 0
vsize: 12936
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3244 0 0 0 81959 54 0 0 25 0 1 0 512018087 13246464 2901 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2901 231 231 0 3003 0
vsize: 12936
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3245 0 0 0 82959 54 0 0 25 0 1 0 512018087 13246464 2902 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2902 231 231 0 3003 0
vsize: 12936
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3255 0 0 0 83959 54 0 0 25 0 1 0 512018087 13246464 2912 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2912 231 231 0 3003 0
vsize: 12936
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3259 0 0 0 84959 54 0 0 25 0 1 0 512018087 13246464 2916 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2916 231 231 0 3003 0
vsize: 12936
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3262 0 0 0 85959 54 0 0 25 0 1 0 512018087 13246464 2919 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2919 231 231 0 3003 0
vsize: 12936
[startup+870.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3273 0 0 0 86959 54 0 0 25 0 1 0 512018087 13246464 2930 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2930 231 231 0 3003 0
vsize: 12936
[startup+880.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3274 0 0 0 87959 54 0 0 25 0 1 0 512018087 13246464 2931 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2931 231 231 0 3003 0
vsize: 12936
[startup+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3278 0 0 0 88960 55 0 0 25 0 1 0 512018087 13246464 2935 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2935 231 231 0 3003 0
vsize: 12936
[startup+900.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3279 0 0 0 89960 55 0 0 25 0 1 0 512018087 13246464 2936 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2936 231 231 0 3003 0
vsize: 12936
[startup+910.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3281 0 0 0 90960 55 0 0 25 0 1 0 512018087 13246464 2938 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2938 231 231 0 3003 0
vsize: 12936
[startup+920.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3297 0 0 0 91960 55 0 0 25 0 1 0 512018087 13426688 2954 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2954 231 231 0 3047 0
vsize: 13112
[startup+930.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3303 0 0 0 92960 55 0 0 25 0 1 0 512018087 13426688 2960 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2960 231 231 0 3047 0
vsize: 13112
[startup+940.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3305 0 0 0 93960 55 0 0 25 0 1 0 512018087 13426688 2962 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2962 231 231 0 3047 0
vsize: 13112
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3307 0 0 0 94959 56 0 0 25 0 1 0 512018087 13426688 2964 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2964 231 231 0 3047 0
vsize: 13112
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3319 0 0 0 95959 56 0 0 25 0 1 0 512018087 13426688 2976 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2976 231 231 0 3047 0
vsize: 13112
[startup+970.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3322 0 0 0 96959 57 0 0 25 0 1 0 512018087 13426688 2979 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2979 231 231 0 3047 0
vsize: 13112
[startup+980.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3324 0 0 0 97959 57 0 0 25 0 1 0 512018087 13426688 2981 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2981 231 231 0 3047 0
vsize: 13112
[startup+990.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3325 0 0 0 98959 57 0 0 25 0 1 0 512018087 13426688 2982 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2982 231 231 0 3047 0
vsize: 13112
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3327 0 0 0 99958 57 0 0 25 0 1 0 512018087 13426688 2984 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2984 231 231 0 3047 0
vsize: 13112
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3342 0 0 0 100958 58 0 0 25 0 1 0 512018087 13426688 2999 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2999 231 231 0 3047 0
vsize: 13112
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3347 0 0 0 101958 58 0 0 25 0 1 0 512018087 13426688 3004 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 3004 231 231 0 3047 0
vsize: 13112
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3349 0 0 0 102958 58 0 0 25 0 1 0 512018087 13426688 3006 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 3006 231 231 0 3047 0
vsize: 13112
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3351 0 0 0 103958 58 0 0 25 0 1 0 512018087 13426688 3008 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 3008 231 231 0 3047 0
vsize: 13112
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3352 0 0 0 104958 59 0 0 25 0 1 0 512018087 13426688 3009 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 3009 231 231 0 3047 0
vsize: 13112
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3365 0 0 0 105958 59 0 0 25 0 1 0 512018087 13426688 3022 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 3022 231 231 0 3047 0
vsize: 13112
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3368 0 0 0 106958 59 0 0 25 0 1 0 512018087 13426688 3025 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 3025 231 231 0 3047 0
vsize: 13112
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3380 0 0 0 107958 59 0 0 25 0 1 0 512018087 13615104 3037 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3037 231 231 0 3093 0
vsize: 13296
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3385 0 0 0 108958 60 0 0 25 0 1 0 512018087 13615104 3042 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3042 231 231 0 3093 0
vsize: 13296
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3387 0 0 0 109958 60 0 0 25 0 1 0 512018087 13615104 3044 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3044 231 231 0 3093 0
vsize: 13296
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3389 0 0 0 110958 60 0 0 25 0 1 0 512018087 13615104 3046 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3046 231 231 0 3093 0
vsize: 13296
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3401 0 0 0 111958 60 0 0 25 0 1 0 512018087 13615104 3058 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3058 231 231 0 3093 0
vsize: 13296
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3405 0 0 0 112958 60 0 0 25 0 1 0 512018087 13615104 3062 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3062 231 231 0 3093 0
vsize: 13296
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3406 0 0 0 113958 60 0 0 25 0 1 0 512018087 13615104 3063 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3063 231 231 0 3093 0
vsize: 13296
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3417 0 0 0 114959 60 0 0 25 0 1 0 512018087 13615104 3074 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3074 231 231 0 3093 0
vsize: 13296
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3421 0 0 0 115958 60 0 0 25 0 1 0 512018087 13615104 3078 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3078 231 231 0 3093 0
vsize: 13296
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3422 0 0 0 116959 60 0 0 25 0 1 0 512018087 13615104 3079 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3079 231 231 0 3093 0
vsize: 13296
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3423 0 0 0 117959 61 0 0 25 0 1 0 512018087 13615104 3080 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3080 231 231 0 3093 0
vsize: 13296
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3432 0 0 0 118959 61 0 0 25 0 1 0 512018087 13615104 3089 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3089 231 231 0 3093 0
vsize: 13296
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22188
Raw data (stat): 22188 (PBS4) R 22187 28546 28545 0 -1 0 3439 0 0 0 119958 61 0 0 25 0 1 0 512018087 13615104 3096 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 3096 231 231 0 3093 0
vsize: 13296
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22188
Raw data (stat): 22188 (PBS4) Z 22187 28546 28545 0 -1 1036 3439 0 0 0 119959 62 0 0 25 0 1 0 512018087 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.01
CPU time (s): 1200.21
CPU user time (s): 1199.59
CPU system time (s): 0.621905
CPU usage (%): 100.017
Max. virtual memory (Kb): 13296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####