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-ii32e4.opb
MD5SUM	1c0d08e5657c85ec3afe3a7738817cf3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	364
Optimality of the best value was proved	NO
Number of terms in the objective function	774
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	774
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	774
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	130.714
Number of variables	774
Total number of constraints	7493
Number of constraints which are clauses	7493
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 7769

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-17 16:11:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1446 boxname=wulflinc27 idbench=161 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  1c0d08e5657c85ec3afe3a7738817cf3  /oldhome/oroussel/tmp/wulflinc27/normalized-ii32e4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-ii32e4.opb
IDLAUNCH: 1446
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        793788 kB
Buffers:         36552 kB
Cached:         165988 kB
SwapCached:       3160 kB
Active:         100564 kB
Inactive:       108068 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        793508 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            26484 kB
Committed_AS:    63516 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:31:37 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 1446 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-ii32e4.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.92 0.98 0.90 2/54 10193
Raw data (stat): 10193 (runsolver) R 10192 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511852900 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99972 s]
Raw data (loadavg): 0.93 0.98 0.90 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 679 0 0 0 997 2 0 0 25 0 1 0 511852900 4177920 624 4294967295 134512640 135450300 3221224640 3221223456 134546494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1020 624 231 231 0 789 0
vsize: 4080
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.90 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 1569 0 0 0 1995 4 0 0 25 0 1 0 511852900 10608640 1514 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2590 1514 231 231 0 2359 0
vsize: 10360
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.98 0.90 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 1833 0 0 0 2994 5 0 0 25 0 1 0 511852900 10739712 1778 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2622 1778 231 231 0 2391 0
vsize: 10488
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.90 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 2088 0 0 0 3994 5 0 0 25 0 1 0 511852900 10739712 2033 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2622 2033 231 231 0 2391 0
vsize: 10488
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.98 0.90 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 2641 0 0 0 4992 7 0 0 25 0 1 0 511852900 19533824 2586 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4769 2586 231 231 0 4538 0
vsize: 19076
[startup+60.001 s]
Raw data (loadavg): 0.97 0.98 0.90 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 3133 0 0 0 5991 8 0 0 25 0 1 0 511852900 19668992 3078 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 3078 231 231 0 4571 0
vsize: 19208
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 3609 0 0 0 6991 9 0 0 25 0 1 0 511852900 19668992 3554 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 3554 231 231 0 4571 0
vsize: 19208
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 4361 0 0 0 7988 12 0 0 25 0 1 0 511852900 19804160 4306 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4835 4306 231 231 0 4604 0
vsize: 19340
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 5265 0 0 0 8986 14 0 0 25 0 1 0 511852900 37109760 5113 4294967295 134512640 135450300 3221224640 3221223384 135084197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9060 5113 231 231 0 8829 0
vsize: 36240
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 5882 0 0 0 9984 16 0 0 25 0 1 0 511852900 37515264 5730 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9159 5730 231 231 0 8928 0
vsize: 36636
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 6554 0 0 0 10981 19 0 0 25 0 1 0 511852900 38068224 6402 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9294 6402 231 231 0 9063 0
vsize: 37176
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 6573 0 0 0 11981 20 0 0 25 0 1 0 511852900 38068224 6421 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9294 6421 231 231 0 9063 0
vsize: 37176
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 6584 0 0 0 12980 21 0 0 25 0 1 0 511852900 38068224 6432 4294967295 134512640 135450300 3221224640 3221223168 134544635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9294 6432 231 231 0 9063 0
vsize: 37176
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 6596 0 0 0 13980 21 0 0 25 0 1 0 511852900 38068224 6444 4294967295 134512640 135450300 3221224640 3221223360 134535461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9294 6444 231 231 0 9063 0
vsize: 37176
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 6606 0 0 0 14979 23 0 0 25 0 1 0 511852900 38068224 6454 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9294 6454 231 231 0 9063 0
vsize: 37176
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 6647 0 0 0 15978 23 0 0 25 0 1 0 511852900 38203392 6495 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9327 6495 231 231 0 9096 0
vsize: 37308
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 6669 0 0 0 16978 24 0 0 25 0 1 0 511852900 38330368 6517 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9358 6517 231 231 0 9127 0
vsize: 37432
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 6692 0 0 0 17978 24 0 0 25 0 1 0 511852900 38465536 6540 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9391 6540 231 231 0 9160 0
vsize: 37564
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 7268 0 0 0 18976 26 0 0 25 0 1 0 511852900 38465536 7116 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9391 7116 231 231 0 9160 0
vsize: 37564
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 7946 0 0 0 19974 28 0 0 25 0 1 0 511852900 38465536 7794 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9391 7794 231 231 0 9160 0
vsize: 37564
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 8608 0 0 0 20972 30 0 0 25 0 1 0 511852900 38600704 8456 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 8456 231 231 0 9193 0
vsize: 37696
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 9293 0 0 0 21970 32 0 0 25 0 1 0 511852900 38875136 9141 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9491 9141 231 231 0 9260 0
vsize: 37964
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 9962 0 0 0 22968 35 0 0 25 0 1 0 511852900 72564736 9810 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17716 9810 231 231 0 17485 0
vsize: 70864
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 10772 0 0 0 23966 37 0 0 25 0 1 0 511852900 73486336 10427 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17941 10427 231 231 0 17710 0
vsize: 71764
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 11448 0 0 0 24964 39 0 0 25 0 1 0 511852900 73486336 11103 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17941 11103 231 231 0 17710 0
vsize: 71764
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 12123 0 0 0 25961 42 0 0 25 0 1 0 511852900 73621504 11778 4294967295 134512640 135450300 3221224640 3221223360 134536028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17974 11778 231 231 0 17743 0
vsize: 71896
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 12822 0 0 0 26959 44 0 0 25 0 1 0 511852900 73756672 12477 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18007 12477 231 231 0 17776 0
vsize: 72028
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 13428 0 0 0 27958 45 0 0 25 0 1 0 511852900 74035200 13083 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18075 13083 231 231 0 17844 0
vsize: 72300
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 13991 0 0 0 28956 47 0 0 25 0 1 0 511852900 74174464 13646 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 13646 231 231 0 17878 0
vsize: 72436
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 14440 0 0 0 29955 49 0 0 25 0 1 0 511852900 74174464 14095 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 14095 231 231 0 17878 0
vsize: 72436
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 14994 0 0 0 30954 50 0 0 25 0 1 0 511852900 74174464 14649 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 14649 231 231 0 17878 0
vsize: 72436
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 15507 0 0 0 31952 52 0 0 25 0 1 0 511852900 74313728 15162 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18143 15162 231 231 0 17912 0
vsize: 72572
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 16015 0 0 0 32950 54 0 0 25 0 1 0 511852900 74461184 15670 4294967295 134512640 135450300 3221224640 3221223360 134535971 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18179 15671 231 231 0 17948 0
vsize: 72716
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 16632 0 0 0 33949 56 0 0 25 0 1 0 511852900 74600448 16287 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18213 16287 231 231 0 17982 0
vsize: 72852
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 17152 0 0 0 34947 57 0 0 25 0 1 0 511852900 74739712 16807 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18247 16807 231 231 0 18016 0
vsize: 72988
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 17725 0 0 0 35946 59 0 0 25 0 1 0 511852900 74887168 17380 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18283 17380 231 231 0 18052 0
vsize: 73132
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 18354 0 0 0 36941 64 0 0 25 0 1 0 511852900 141996032 18009 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34667 18009 231 231 0 34436 0
vsize: 138668
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 18932 0 0 0 37939 67 0 0 25 0 1 0 511852900 142135296 18587 4294967295 134512640 135450300 3221224640 3221223580 134530260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34701 18587 231 231 0 34470 0
vsize: 138804
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 19520 0 0 0 38938 68 0 0 25 0 1 0 511852900 142274560 19175 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34735 19175 231 231 0 34504 0
vsize: 138940
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 19991 0 0 0 39936 70 0 0 25 0 1 0 511852900 142561280 19646 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34805 19646 231 231 0 34574 0
vsize: 139220
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 20468 0 0 0 40934 71 0 0 25 0 1 0 511852900 142848000 20123 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34875 20123 231 231 0 34644 0
vsize: 139500
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 21054 0 0 0 41932 74 0 0 25 0 1 0 511852900 142848000 20709 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34875 20709 231 231 0 34644 0
vsize: 139500
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 21466 0 0 0 42931 76 0 0 25 0 1 0 511852900 142848000 21121 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34875 21121 231 231 0 34644 0
vsize: 139500
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 21827 0 0 0 43929 77 0 0 25 0 1 0 511852900 142848000 21482 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34875 21482 231 231 0 34644 0
vsize: 139500
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 22314 0 0 0 44928 78 0 0 25 0 1 0 511852900 142848000 21969 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34875 21969 231 231 0 34644 0
vsize: 139500
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 22910 0 0 0 45926 80 0 0 25 0 1 0 511852900 143126528 22565 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34943 22565 231 231 0 34712 0
vsize: 139772
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 23348 0 0 0 46925 82 0 0 25 0 1 0 511852900 143273984 23003 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34979 23003 231 231 0 34748 0
vsize: 139916
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 23903 0 0 0 47924 83 0 0 25 0 1 0 511852900 143273984 23558 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34979 23558 231 231 0 34748 0
vsize: 139916
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 24414 0 0 0 48923 85 0 0 25 0 1 0 511852900 143421440 24069 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35015 24069 231 231 0 34784 0
vsize: 140060
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 24916 0 0 0 49922 86 0 0 25 0 1 0 511852900 143421440 24571 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35015 24571 231 231 0 34784 0
vsize: 140060
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 25179 0 0 0 50920 88 0 0 25 0 1 0 511852900 143560704 24834 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35049 24834 231 231 0 34818 0
vsize: 140196
[startup+520.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 25580 0 0 0 51919 89 0 0 25 0 1 0 511852900 143708160 25235 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35085 25235 231 231 0 34854 0
vsize: 140340
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 26005 0 0 0 52918 91 0 0 25 0 1 0 511852900 143998976 25660 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35156 25660 231 231 0 34925 0
vsize: 140624
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 26370 0 0 0 53916 92 0 0 25 0 1 0 511852900 143998976 26025 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35156 26025 231 231 0 34925 0
vsize: 140624
[startup+550.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 26800 0 0 0 54915 93 0 0 25 0 1 0 511852900 144146432 26455 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35192 26455 231 231 0 34961 0
vsize: 140768
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 27332 0 0 0 55914 94 0 0 25 0 1 0 511852900 144293888 26987 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35228 26987 231 231 0 34997 0
vsize: 140912
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 27559 0 0 0 56914 95 0 0 25 0 1 0 511852900 144437248 27214 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35263 27214 231 231 0 35032 0
vsize: 141052
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 27614 0 0 0 57913 96 0 0 25 0 1 0 511852900 144584704 27269 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35299 27269 231 231 0 35068 0
vsize: 141196
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 28005 0 0 0 58913 97 0 0 25 0 1 0 511852900 144732160 27660 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35335 27660 231 231 0 35104 0
vsize: 141340
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 28451 0 0 0 59912 98 0 0 25 0 1 0 511852900 144732160 28106 4294967295 134512640 135450300 3221224640 3221223456 134537302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35335 28106 231 231 0 35104 0
vsize: 141340
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 29018 0 0 0 60910 100 0 0 25 0 1 0 511852900 144896000 28673 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35375 28673 231 231 0 35144 0
vsize: 141500
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 29413 0 0 0 61909 101 0 0 25 0 1 0 511852900 144896000 29068 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35375 29068 231 231 0 35144 0
vsize: 141500
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 29592 0 0 0 62909 102 0 0 25 0 1 0 511852900 144896000 29247 4294967295 134512640 135450300 3221224640 3221223104 134532865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35375 29247 231 231 0 35144 0
vsize: 141500
[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 29595 0 0 0 63909 102 0 0 25 0 1 0 511852900 144896000 29250 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35375 29250 231 231 0 35144 0
vsize: 141500
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 29644 0 0 0 64909 102 0 0 25 0 1 0 511852900 145055744 29299 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35414 29299 231 231 0 35183 0
vsize: 141656
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 30042 0 0 0 65907 104 0 0 25 0 1 0 511852900 145055744 29697 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35414 29697 231 231 0 35183 0
vsize: 141656
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 30430 0 0 0 66906 105 0 0 25 0 1 0 511852900 145203200 30085 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35450 30085 231 231 0 35219 0
vsize: 141800
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 30825 0 0 0 67905 106 0 0 25 0 1 0 511852900 145203200 30480 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35450 30480 231 231 0 35219 0
vsize: 141800
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 31099 0 0 0 68905 107 0 0 25 0 1 0 511852900 145203200 30754 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35450 30754 231 231 0 35219 0
vsize: 141800
[startup+700.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 31493 0 0 0 69904 108 0 0 25 0 1 0 511852900 145203200 31148 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35450 31148 231 231 0 35219 0
vsize: 141800
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 31533 0 0 0 70903 109 0 0 25 0 1 0 511852900 145362944 31188 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35489 31188 231 231 0 35258 0
vsize: 141956
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 31540 0 0 0 71903 109 0 0 25 0 1 0 511852900 145362944 31195 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35489 31195 231 231 0 35258 0
vsize: 141956
[startup+730.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 31545 0 0 0 72903 109 0 0 25 0 1 0 511852900 145362944 31200 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35489 31200 231 231 0 35258 0
vsize: 141956
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 31888 0 0 0 73903 110 0 0 25 0 1 0 511852900 145362944 31543 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35489 31543 231 231 0 35258 0
vsize: 141956
[startup+750.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 32818 0 0 0 74901 112 0 0 25 0 1 0 511852900 147083264 32088 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35909 32089 231 231 0 35678 0
vsize: 143636
[startup+760.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 33221 0 0 0 75899 114 0 0 25 0 1 0 511852900 147083264 32491 4294967295 134512640 135450300 3221224640 3221223376 134538546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35909 32491 231 231 0 35678 0
vsize: 143636
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 33457 0 0 0 76898 115 0 0 25 0 1 0 511852900 147083264 32727 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35909 32727 231 231 0 35678 0
vsize: 143636
[startup+780.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 33529 0 0 0 77898 116 0 0 25 0 1 0 511852900 147378176 32799 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35981 32799 231 231 0 35750 0
vsize: 143924
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 33552 0 0 0 78897 116 0 0 25 0 1 0 511852900 147525632 32822 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36017 32822 231 231 0 35786 0
vsize: 144068
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 33561 0 0 0 79897 117 0 0 25 0 1 0 511852900 147525632 32831 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36017 32831 231 231 0 35786 0
vsize: 144068
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 33912 0 0 0 80897 118 0 0 25 0 1 0 511852900 147660800 33182 4294967295 134512640 135450300 3221224640 3221223376 134538619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 33182 231 231 0 35819 0
vsize: 144200
[startup+820.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 34239 0 0 0 81896 119 0 0 25 0 1 0 511852900 147660800 33509 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 33509 231 231 0 35819 0
vsize: 144200
[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 34549 0 0 0 82895 120 0 0 25 0 1 0 511852900 147660800 33819 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 33819 231 231 0 35819 0
vsize: 144200
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 34932 0 0 0 83894 121 0 0 25 0 1 0 511852900 147660800 34202 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36050 34202 231 231 0 35819 0
vsize: 144200
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 35116 0 0 0 84893 122 0 0 25 0 1 0 511852900 147972096 34386 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36126 34386 231 231 0 35895 0
vsize: 144504
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 35120 0 0 0 85893 122 0 0 25 0 1 0 511852900 147972096 34390 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36126 34390 231 231 0 35895 0
vsize: 144504
[startup+870.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 35143 0 0 0 86893 123 0 0 25 0 1 0 511852900 147972096 34413 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36126 34413 231 231 0 35895 0
vsize: 144504
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 35375 0 0 0 87892 124 0 0 25 0 1 0 511852900 148123648 34645 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36163 34645 231 231 0 35932 0
vsize: 144652
[startup+890.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 35794 0 0 0 88891 125 0 0 25 0 1 0 511852900 148123648 35064 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36163 35064 231 231 0 35932 0
vsize: 144652
[startup+900.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 36306 0 0 0 89890 127 0 0 25 0 1 0 511852900 282341376 35576 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68931 35576 231 231 0 68700 0
vsize: 275724
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 36695 0 0 0 90888 128 0 0 25 0 1 0 511852900 282341376 35965 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68931 35965 231 231 0 68700 0
vsize: 275724
[startup+920.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 36878 0 0 0 91888 128 0 0 25 0 1 0 511852900 282341376 36148 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68931 36148 231 231 0 68700 0
vsize: 275724
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 36884 0 0 0 92888 128 0 0 25 0 1 0 511852900 282341376 36154 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68931 36154 231 231 0 68700 0
vsize: 275724
[startup+940.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 36905 0 0 0 93888 129 0 0 25 0 1 0 511852900 282488832 36175 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68967 36175 231 231 0 68736 0
vsize: 275868
[startup+950.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 36907 0 0 0 94888 129 0 0 25 0 1 0 511852900 282488832 36177 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68967 36177 231 231 0 68736 0
vsize: 275868
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 36973 0 0 0 95887 130 0 0 25 0 1 0 511852900 282628096 36243 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69001 36243 231 231 0 68770 0
vsize: 276004
[startup+970.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 37304 0 0 0 96886 131 0 0 25 0 1 0 511852900 282791936 36574 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69041 36574 231 231 0 68810 0
vsize: 276164
[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 37641 0 0 0 97886 132 0 0 25 0 1 0 511852900 282791936 36911 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69041 36911 231 231 0 68810 0
vsize: 276164
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 37974 0 0 0 98884 134 0 0 25 0 1 0 511852900 282791936 37244 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69041 37244 231 231 0 68810 0
vsize: 276164
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 38253 0 0 0 99883 135 0 0 25 0 1 0 511852900 282791936 37523 4294967295 134512640 135450300 3221224640 3221223552 134597352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69041 37523 231 231 0 68810 0
vsize: 276164
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 38261 0 0 0 100883 135 0 0 25 0 1 0 511852900 282791936 37531 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69041 37531 231 231 0 68810 0
vsize: 276164
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 38278 0 0 0 101883 136 0 0 25 0 1 0 511852900 282939392 37548 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69077 37548 231 231 0 68846 0
vsize: 276308
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 38281 0 0 0 102882 136 0 0 25 0 1 0 511852900 282939392 37551 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69077 37551 231 231 0 68846 0
vsize: 276308
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 38413 0 0 0 103882 137 0 0 25 0 1 0 511852900 282939392 37683 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69077 37683 231 231 0 68846 0
vsize: 276308
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 38732 0 0 0 104882 137 0 0 25 0 1 0 511852900 282939392 38002 4294967295 134512640 135450300 3221224640 3221223456 134537251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69077 38002 231 231 0 68846 0
vsize: 276308
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 39071 0 0 0 105880 139 0 0 25 0 1 0 511852900 283095040 38341 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69115 38341 231 231 0 68884 0
vsize: 276460
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 39335 0 0 0 106880 140 0 0 25 0 1 0 511852900 283095040 38605 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69115 38605 231 231 0 68884 0
vsize: 276460
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 39716 0 0 0 107878 141 0 0 25 0 1 0 511852900 283095040 38986 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69115 38986 231 231 0 68884 0
vsize: 276460
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 39834 0 0 0 108878 142 0 0 25 0 1 0 511852900 283095040 39104 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69115 39104 231 231 0 68884 0
vsize: 276460
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 39839 0 0 0 109878 142 0 0 25 0 1 0 511852900 283095040 39109 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69115 39109 231 231 0 68884 0
vsize: 276460
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 39858 0 0 0 110878 142 0 0 25 0 1 0 511852900 283258880 39128 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69155 39128 231 231 0 68924 0
vsize: 276620
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 39860 0 0 0 111878 142 0 0 25 0 1 0 511852900 283258880 39130 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69155 39130 231 231 0 68924 0
vsize: 276620
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 40138 0 0 0 112877 143 0 0 25 0 1 0 511852900 283258880 39408 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69155 39408 231 231 0 68924 0
vsize: 276620
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 40424 0 0 0 113876 144 0 0 25 0 1 0 511852900 283402240 39694 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69190 39694 231 231 0 68959 0
vsize: 276760
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 40724 0 0 0 114875 145 0 0 25 0 1 0 511852900 283402240 39994 4294967295 134512640 135450300 3221224640 3221223472 134549514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69190 39994 231 231 0 68959 0
vsize: 276760
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 41256 0 0 0 115874 147 0 0 25 0 1 0 511852900 283402240 40526 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69190 40526 231 231 0 68959 0
vsize: 276760
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 41327 0 0 0 116874 148 0 0 25 0 1 0 511852900 283713536 40597 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69266 40597 231 231 0 69035 0
vsize: 277064
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 41336 0 0 0 117873 148 0 0 25 0 1 0 511852900 283713536 40606 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69266 40606 231 231 0 69035 0
vsize: 277064
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 41411 0 0 0 118873 149 0 0 25 0 1 0 511852900 284073984 40681 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69354 40681 231 231 0 69123 0
vsize: 277416
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10193
Raw data (stat): 10193 (PBS4) R 10192 18865 18864 0 -1 0 41414 0 0 0 119873 149 0 0 25 0 1 0 511852900 284073984 40684 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69354 40684 231 231 0 69123 0
vsize: 277416
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 10193
Raw data (stat): 10193 (PBS4) Z 10192 18865 18864 0 -1 1036 41414 0 0 0 119873 156 0 0 25 0 1 0 511852900 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.11
CPU time (s): 1200.3
CPU user time (s): 1198.73
CPU system time (s): 1.56976
CPU usage (%): 100.016
Max. virtual memory (Kb): 277416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####