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/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUM	cafd7bd480d889c74d8810dc689bffd8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	736
Optimality of the best value was proved	NO
Number of terms in the objective function	1518
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1518
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1518
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	23.6604
Number of variables	1518
Total number of constraints	21621
Number of constraints which are clauses	21621
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 7742

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-17 16:02:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1383 boxname=wulflinc20 idbench=154 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  cafd7bd480d889c74d8810dc689bffd8  /oldhome/oroussel/tmp/wulflinc20/normalized-ii32c4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc20/normalized-ii32c4.opb
IDLAUNCH: 1383
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        789872 kB
Buffers:         37204 kB
Cached:         170628 kB
SwapCached:       2628 kB
Active:          65772 kB
Inactive:       147552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        789620 kB
SwapTotal:     2097892 kB
SwapFree:      2095264 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            25820 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:22:50 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 1383 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc20/normalized-ii32c4.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.88 0.95 0.78 2/54 23673
Raw data (stat): 23673 (runsolver) R 23672 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511801987 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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+9.99973 s]
Raw data (loadavg): 0.90 0.95 0.78 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 947 0 0 0 996 2 0 0 25 0 1 0 511801987 5128192 792 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1252 792 231 231 0 1021 0
vsize: 5008
[startup+20.0007 s]
Raw data (loadavg): 0.91 0.96 0.78 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 1424 0 0 0 1995 3 0 0 25 0 1 0 511801987 7225344 1269 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1269 231 231 0 1533 0
vsize: 7056
[startup+30.0004 s]
Raw data (loadavg): 0.92 0.96 0.79 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 2501 0 0 0 2993 6 0 0 25 0 1 0 511801987 11534336 2346 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2816 2346 231 231 0 2585 0
vsize: 11264
[startup+40.0008 s]
Raw data (loadavg): 0.94 0.96 0.79 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 3600 0 0 0 3990 9 0 0 25 0 1 0 511801987 20045824 3445 4294967295 134512640 135450300 3221224640 3221223104 134532823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4894 3445 231 231 0 4663 0
vsize: 19576
[startup+50.0008 s]
Raw data (loadavg): 0.95 0.96 0.79 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 4667 0 0 0 4987 12 0 0 25 0 1 0 511801987 20299776 4512 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 4512 231 231 0 4725 0
vsize: 19824
[startup+60.0005 s]
Raw data (loadavg): 0.95 0.96 0.79 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 5503 0 0 0 5985 14 0 0 25 0 1 0 511801987 37347328 5348 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9118 5348 231 231 0 8887 0
vsize: 36472
[startup+70.0009 s]
Raw data (loadavg): 0.96 0.96 0.79 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 5872 0 0 0 6984 15 0 0 25 0 1 0 511801987 37605376 5717 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9181 5717 231 231 0 8950 0
vsize: 36724
[startup+80.0009 s]
Raw data (loadavg): 0.97 0.96 0.80 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 6931 0 0 0 7982 18 0 0 25 0 1 0 511801987 37740544 6776 4294967295 134512640 135450300 3221224640 3221223104 134532878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9214 6776 231 231 0 8983 0
vsize: 36856
[startup+90.0016 s]
Raw data (loadavg): 0.97 0.96 0.80 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 8479 0 0 0 8977 23 0 0 25 0 1 0 511801987 37875712 8324 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9247 8324 231 231 0 9016 0
vsize: 36988
[startup+100.001 s]
Raw data (loadavg): 0.97 0.96 0.80 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 9432 0 0 0 9975 25 0 0 25 0 1 0 511801987 71565312 9277 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17472 9277 231 231 0 17241 0
vsize: 69888
[startup+110.001 s]
Raw data (loadavg): 0.98 0.96 0.80 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 10569 0 0 0 10972 28 0 0 25 0 1 0 511801987 71835648 10414 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17538 10414 231 231 0 17307 0
vsize: 70152
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.80 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 11571 0 0 0 11969 32 0 0 25 0 1 0 511801987 71970816 11416 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17571 11416 231 231 0 17340 0
vsize: 70284
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.81 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 12807 0 0 0 12965 35 0 0 25 0 1 0 511801987 72892416 12459 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17796 12459 231 231 0 17565 0
vsize: 71184
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 13187 0 0 0 13964 37 0 0 25 0 1 0 511801987 73297920 12839 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17895 12839 231 231 0 17664 0
vsize: 71580
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 13406 0 0 0 14964 38 0 0 25 0 1 0 511801987 73703424 13058 4294967295 134512640 135450300 3221224640 3221223456 134546470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17994 13058 231 231 0 17763 0
vsize: 71976
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 14149 0 0 0 15962 39 0 0 25 0 1 0 511801987 74129408 13801 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18098 13801 231 231 0 17867 0
vsize: 72392
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 15520 0 0 0 16960 42 0 0 25 0 1 0 511801987 74129408 15172 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18098 15172 231 231 0 17867 0
vsize: 72392
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16032 0 0 0 17958 44 0 0 25 0 1 0 511801987 74129408 15684 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18098 15684 231 231 0 17867 0
vsize: 72392
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16794 0 0 0 18956 46 0 0 25 0 1 0 511801987 74129408 16446 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18098 16446 231 231 0 17867 0
vsize: 72392
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 23673
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16803 0 0 0 19955 46 0 0 25 0 1 0 511801987 74129408 16455 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18098 16455 231 231 0 17867 0
vsize: 72392
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16813 0 0 0 20955 47 0 0 25 0 1 0 511801987 74129408 16465 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18098 16465 231 231 0 17867 0
vsize: 72392
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16823 0 0 0 21955 48 0 0 25 0 1 0 511801987 74268672 16475 4294967295 134512640 135450300 3221224640 3221223024 134579423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18132 16475 231 231 0 17901 0
vsize: 72528
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16835 0 0 0 22954 48 0 0 25 0 1 0 511801987 74268672 16487 4294967295 134512640 135450300 3221224640 3221223376 134538759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18132 16487 231 231 0 17901 0
vsize: 72528
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16864 0 0 0 23954 49 0 0 25 0 1 0 511801987 74268672 16516 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18132 16516 231 231 0 17901 0
vsize: 72528
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16896 0 0 0 24954 49 0 0 25 0 1 0 511801987 74399744 16548 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18164 16548 231 231 0 17933 0
vsize: 72656
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16923 0 0 0 25953 50 0 0 25 0 1 0 511801987 74534912 16575 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18197 16575 231 231 0 17966 0
vsize: 72788
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16943 0 0 0 26953 50 0 0 25 0 1 0 511801987 74534912 16595 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18197 16595 231 231 0 17966 0
vsize: 72788
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 16983 0 0 0 27953 50 0 0 25 0 1 0 511801987 74801152 16635 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16635 231 231 0 18031 0
vsize: 73048
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 17136 0 0 0 28953 51 0 0 25 0 1 0 511801987 74801152 16788 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16788 231 231 0 18031 0
vsize: 73048
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 18274 0 0 0 29949 55 0 0 25 0 1 0 511801987 74801152 17926 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 17926 231 231 0 18031 0
vsize: 73048
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 19329 0 0 0 30945 59 0 0 25 0 1 0 511801987 142045184 18981 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34679 18981 231 231 0 34448 0
vsize: 138716
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 20228 0 0 0 31942 63 0 0 25 0 1 0 511801987 142045184 19880 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34679 19880 231 231 0 34448 0
vsize: 138716
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 21128 0 0 0 32938 66 0 0 25 0 1 0 511801987 142045184 20780 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34679 20780 231 231 0 34448 0
vsize: 138716
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 21950 0 0 0 33936 69 0 0 25 0 1 0 511801987 142315520 21602 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34745 21602 231 231 0 34514 0
vsize: 138980
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 23005 0 0 0 34932 73 0 0 25 0 1 0 511801987 142315520 22657 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34745 22657 231 231 0 34514 0
vsize: 138980
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 24011 0 0 0 35930 75 0 0 25 0 1 0 511801987 142442496 23663 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34776 23663 231 231 0 34545 0
vsize: 139104
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 24761 0 0 0 36928 77 0 0 25 0 1 0 511801987 142442496 24413 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34776 24413 231 231 0 34545 0
vsize: 139104
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 25729 0 0 0 37925 80 0 0 25 0 1 0 511801987 142442496 25381 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34776 25381 231 231 0 34545 0
vsize: 139104
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 26741 0 0 0 38923 82 0 0 25 0 1 0 511801987 142577664 26393 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34809 26393 231 231 0 34578 0
vsize: 139236
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 27761 0 0 0 39920 86 0 0 25 0 1 0 511801987 142577664 27413 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34809 27413 231 231 0 34578 0
vsize: 139236
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 28628 0 0 0 40917 89 0 0 25 0 1 0 511801987 142716928 28280 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34843 28280 231 231 0 34612 0
vsize: 139372
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 29416 0 0 0 41915 91 0 0 25 0 1 0 511801987 142716928 29068 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34843 29068 231 231 0 34612 0
vsize: 139372
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 29853 0 0 0 42914 92 0 0 25 0 1 0 511801987 142856192 29505 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34877 29505 231 231 0 34646 0
vsize: 139508
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 30831 0 0 0 43911 95 0 0 25 0 1 0 511801987 142856192 30483 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34877 30483 231 231 0 34646 0
vsize: 139508
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 31853 0 0 0 44909 98 0 0 25 0 1 0 511801987 142995456 31505 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34911 31505 231 231 0 34680 0
vsize: 139644
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 32859 0 0 0 45907 100 0 0 25 0 1 0 511801987 142995456 32511 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34911 32511 231 231 0 34680 0
vsize: 139644
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 33713 0 0 0 46905 102 0 0 25 0 1 0 511801987 143134720 33365 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34945 33365 231 231 0 34714 0
vsize: 139780
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 34543 0 0 0 47903 105 0 0 25 0 1 0 511801987 143282176 34195 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34981 34195 231 231 0 34750 0
vsize: 139924
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 35036 0 0 0 48902 106 0 0 25 0 1 0 511801987 143282176 34688 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34981 34688 231 231 0 34750 0
vsize: 139924
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 35964 0 0 0 49900 108 0 0 25 0 1 0 511801987 277499904 35616 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67749 35616 231 231 0 67518 0
vsize: 270996
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 36987 0 0 0 50897 111 0 0 25 0 1 0 511801987 277499904 36639 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67749 36639 231 231 0 67518 0
vsize: 270996
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 37880 0 0 0 51895 113 0 0 25 0 1 0 511801987 277639168 37532 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67783 37532 231 231 0 67552 0
vsize: 271132
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 38594 0 0 0 52894 114 0 0 25 0 1 0 511801987 277639168 38246 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67783 38246 231 231 0 67552 0
vsize: 271132
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 39290 0 0 0 53892 116 0 0 25 0 1 0 511801987 277639168 38942 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67783 38942 231 231 0 67552 0
vsize: 271132
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 40055 0 0 0 54891 118 0 0 25 0 1 0 511801987 277639168 39707 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67783 39707 231 231 0 67552 0
vsize: 271132
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 40927 0 0 0 55889 120 0 0 25 0 1 0 511801987 277778432 40579 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67817 40579 231 231 0 67586 0
vsize: 271268
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 41555 0 0 0 56888 121 0 0 25 0 1 0 511801987 277778432 41207 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67817 41207 231 231 0 67586 0
vsize: 271268
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 42170 0 0 0 57887 122 0 0 25 0 1 0 511801987 277909504 41822 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67849 41822 231 231 0 67618 0
vsize: 271396
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 43135 0 0 0 58886 124 0 0 25 0 1 0 511801987 277909504 42787 4294967295 134512640 135450300 3221224640 3221223456 134536555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67849 42787 231 231 0 67618 0
vsize: 271396
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 44365 0 0 0 59883 126 0 0 25 0 1 0 511801987 279629824 43632 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68269 43632 231 231 0 68038 0
vsize: 273076
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 44921 0 0 0 60882 128 0 0 25 0 1 0 511801987 279629824 44188 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68269 44188 231 231 0 68038 0
vsize: 273076
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 45581 0 0 0 61881 129 0 0 25 0 1 0 511801987 279629824 44848 4294967295 134512640 135450300 3221224640 3221223456 134536537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68269 44848 231 231 0 68038 0
vsize: 273076
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 46315 0 0 0 62879 130 0 0 25 0 1 0 511801987 279764992 45582 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68302 45582 231 231 0 68071 0
vsize: 273208
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 46796 0 0 0 63878 131 0 0 25 0 1 0 511801987 279908352 46063 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68337 46063 231 231 0 68106 0
vsize: 273348
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 47603 0 0 0 64877 132 0 0 25 0 1 0 511801987 279908352 46870 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68337 46870 231 231 0 68106 0
vsize: 273348
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 48487 0 0 0 65874 135 0 0 25 0 1 0 511801987 280047616 47754 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68371 47754 231 231 0 68140 0
vsize: 273484
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 48977 0 0 0 66874 136 0 0 25 0 1 0 511801987 280195072 48244 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68407 48244 231 231 0 68176 0
vsize: 273628
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 49677 0 0 0 67873 137 0 0 25 0 1 0 511801987 280195072 48944 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68407 48944 231 231 0 68176 0
vsize: 273628
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 50493 0 0 0 68871 138 0 0 25 0 1 0 511801987 280342528 49760 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68443 49760 231 231 0 68212 0
vsize: 273772
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 50569 0 0 0 69871 139 0 0 25 0 1 0 511801987 280342528 49836 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68443 49836 231 231 0 68212 0
vsize: 273772
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 51536 0 0 0 70870 141 0 0 25 0 1 0 511801987 280342528 50803 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68443 50803 231 231 0 68212 0
vsize: 273772
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 52130 0 0 0 71869 142 0 0 25 0 1 0 511801987 280489984 51397 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68479 51397 231 231 0 68248 0
vsize: 273916
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 52564 0 0 0 72868 143 0 0 25 0 1 0 511801987 280489984 51831 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68479 51831 231 231 0 68248 0
vsize: 273916
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 53590 0 0 0 73866 145 0 0 25 0 1 0 511801987 280489984 52857 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68479 52857 231 231 0 68248 0
vsize: 273916
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 54031 0 0 0 74865 146 0 0 25 0 1 0 511801987 280637440 53298 4294967295 134512640 135450300 3221224640 3221223472 134549469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68515 53298 231 231 0 68284 0
vsize: 274060
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 54624 0 0 0 75864 147 0 0 25 0 1 0 511801987 280637440 53891 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68515 53891 231 231 0 68284 0
vsize: 274060
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 55507 0 0 0 76862 149 0 0 25 0 1 0 511801987 280784896 54774 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68551 54774 231 231 0 68320 0
vsize: 274204
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 55665 0 0 0 77862 150 0 0 25 0 1 0 511801987 280784896 54932 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68551 54932 231 231 0 68320 0
vsize: 274204
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 56599 0 0 0 78859 153 0 0 25 0 1 0 511801987 280932352 55866 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68587 55866 231 231 0 68356 0
vsize: 274348
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 56899 0 0 0 79858 154 0 0 25 0 1 0 511801987 281079808 56166 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68623 56166 231 231 0 68392 0
vsize: 274492
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 57703 0 0 0 80856 156 0 0 25 0 1 0 511801987 281079808 56970 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68623 56970 231 231 0 68392 0
vsize: 274492
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 58260 0 0 0 81855 157 0 0 25 0 1 0 511801987 281202688 57527 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68653 57527 231 231 0 68422 0
vsize: 274612
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 58745 0 0 0 82854 159 0 0 25 0 1 0 511801987 281350144 58012 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68689 58012 231 231 0 68458 0
vsize: 274756
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 59620 0 0 0 83852 161 0 0 25 0 1 0 511801987 281350144 58887 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68689 58887 231 231 0 68458 0
vsize: 274756
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 59900 0 0 0 84851 162 0 0 25 0 1 0 511801987 281669632 59167 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68767 59167 231 231 0 68536 0
vsize: 275068
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 60835 0 0 0 85849 164 0 0 25 0 1 0 511801987 281669632 60102 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68767 60102 231 231 0 68536 0
vsize: 275068
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 60838 0 0 0 86849 164 0 0 25 0 1 0 511801987 281669632 60105 4294967295 134512640 135450300 3221224640 3221223456 134546483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68767 60105 231 231 0 68536 0
vsize: 275068
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 60861 0 0 0 87849 164 0 0 25 0 1 0 511801987 281669632 60128 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68767 60128 231 231 0 68536 0
vsize: 275068
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 60885 0 0 0 88849 165 0 0 25 0 1 0 511801987 281817088 60152 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68803 60152 231 231 0 68572 0
vsize: 275212
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 61590 0 0 0 89848 166 0 0 25 0 1 0 511801987 281817088 60857 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68803 60857 231 231 0 68572 0
vsize: 275212
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 62010 0 0 0 90847 167 0 0 25 0 1 0 511801987 281817088 61277 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68803 61277 231 231 0 68572 0
vsize: 275212
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 62619 0 0 0 91846 168 0 0 25 0 1 0 511801987 281817088 61886 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68803 61886 231 231 0 68572 0
vsize: 275212
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 63286 0 0 0 92844 170 0 0 25 0 1 0 511801987 282095616 62553 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68871 62553 231 231 0 68640 0
vsize: 275484
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 63668 0 0 0 93844 171 0 0 25 0 1 0 511801987 282095616 62935 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68871 62935 231 231 0 68640 0
vsize: 275484
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 64480 0 0 0 94842 173 0 0 25 0 1 0 511801987 282243072 63747 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68907 63747 231 231 0 68676 0
vsize: 275628
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 64672 0 0 0 95842 173 0 0 25 0 1 0 511801987 282243072 63939 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68907 63939 231 231 0 68676 0
vsize: 275628
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 64755 0 0 0 96842 174 0 0 25 0 1 0 511801987 282382336 64022 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68941 64022 231 231 0 68710 0
vsize: 275764
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 65239 0 0 0 97841 175 0 0 25 0 1 0 511801987 282382336 64506 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68941 64506 231 231 0 68710 0
vsize: 275764
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 65931 0 0 0 98840 176 0 0 25 0 1 0 511801987 282669056 65198 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69011 65198 231 231 0 68780 0
vsize: 276044
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 66334 0 0 0 99839 177 0 0 25 0 1 0 511801987 282836992 65601 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69052 65601 231 231 0 68821 0
vsize: 276208
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 67093 0 0 0 100837 179 0 0 25 0 1 0 511801987 282836992 66360 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69052 66360 231 231 0 68821 0
vsize: 276208
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 67374 0 0 0 101837 180 0 0 25 0 1 0 511801987 282836992 66641 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69052 66641 231 231 0 68821 0
vsize: 276208
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 68194 0 0 0 102835 181 0 0 25 0 1 0 511801987 282984448 67461 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69088 67461 231 231 0 68857 0
vsize: 276352
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 68425 0 0 0 103835 182 0 0 25 0 1 0 511801987 283123712 67692 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69122 67692 231 231 0 68891 0
vsize: 276488
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69320 0 0 0 104833 184 0 0 25 0 1 0 511801987 283262976 68587 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69156 68587 231 231 0 68925 0
vsize: 276624
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69491 0 0 0 105833 184 0 0 25 0 1 0 511801987 417480704 68758 4294967295 134512640 135450300 3221224640 3221223456 134537260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101924 68758 231 231 0 101693 0
vsize: 407696
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69502 0 0 0 106833 184 0 0 25 0 1 0 511801987 417480704 68769 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101924 68769 231 231 0 101693 0
vsize: 407696
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69510 0 0 0 107833 184 0 0 25 0 1 0 511801987 417619968 68777 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101958 68777 231 231 0 101727 0
vsize: 407832
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 69573 0 0 0 108833 185 0 0 25 0 1 0 511801987 417619968 68840 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101958 68840 231 231 0 101727 0
vsize: 407832
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 70022 0 0 0 109832 186 0 0 25 0 1 0 511801987 417619968 69289 4294967295 134512640 135450300 3221224640 3221223456 134536520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101958 69289 231 231 0 101727 0
vsize: 407832
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 70652 0 0 0 110830 188 0 0 25 0 1 0 511801987 417619968 69919 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101958 69919 231 231 0 101727 0
vsize: 407832
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 71008 0 0 0 111830 189 0 0 25 0 1 0 511801987 417619968 70275 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101958 70275 231 231 0 101727 0
vsize: 407832
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 71683 0 0 0 112828 190 0 0 25 0 1 0 511801987 417755136 70950 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101991 70950 231 231 0 101760 0
vsize: 407964
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 72044 0 0 0 113828 191 0 0 25 0 1 0 511801987 417755136 71311 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101991 71311 231 231 0 101760 0
vsize: 407964
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 72728 0 0 0 114827 192 0 0 25 0 1 0 511801987 417755136 71995 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101991 71995 231 231 0 101760 0
vsize: 407964
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73059 0 0 0 115826 193 0 0 25 0 1 0 511801987 417755136 72326 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101991 72326 231 231 0 101760 0
vsize: 407964
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73098 0 0 0 116826 193 0 0 25 0 1 0 511801987 417890304 72365 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102024 72365 231 231 0 101793 0
vsize: 408096
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73102 0 0 0 117826 193 0 0 25 0 1 0 511801987 417890304 72369 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102024 72369 231 231 0 101793 0
vsize: 408096
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73134 0 0 0 118826 193 0 0 25 0 1 0 511801987 418029568 72401 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102058 72401 231 231 0 101827 0
vsize: 408232
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23675
Raw data (stat): 23673 (PBS4) R 23672 27565 27564 0 -1 0 73415 0 0 0 119826 194 0 0 25 0 1 0 511801987 418177024 72682 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102094 72682 231 231 0 101863 0
vsize: 408376
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23675
Raw data (stat): 23673 (PBS4) Z 23672 27565 27564 0 -1 1036 73415 0 0 0 119826 208 0 0 25 0 1 0 511801987 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.15
CPU time (s): 1200.34
CPU user time (s): 1198.26
CPU system time (s): 2.08068
CPU usage (%): 100.016
Max. virtual memory (Kb): 408376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####