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-ii16d2.opb
MD5SUM	640e42314ccc494338715717ba212e02
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	785
Optimality of the best value was proved	NO
Number of terms in the objective function	1672
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	1672
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	1672
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	19.988
Number of variables	1672
Total number of constraints	13297
Number of constraints which are clauses	13297
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	16
Trace number 7716

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-17 15:59:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1284 boxname=wulflinc26 idbench=143 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  640e42314ccc494338715717ba212e02  /oldhome/oroussel/tmp/wulflinc26/normalized-ii16d2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-ii16d2.opb
IDLAUNCH: 1284
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        783404 kB
Buffers:         37192 kB
Cached:         172560 kB
SwapCached:       2476 kB
Active:          76224 kB
Inactive:       138856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        783152 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6956 kB
Slab:            30488 kB
Committed_AS:    63616 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:19:32 (client local time) WITH STATUS 0 IN 1200.99 SECONDS
stats: 1284 7 1200.99 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-ii16d2.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.83 0.93 0.69 2/54 18240
Raw data (stat): 18240 (runsolver) R 18239 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511787659 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+10.0003 s]
Raw data (loadavg): 0.86 0.93 0.69 2/54 18240
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 2152 0 0 0 992 6 0 0 25 0 1 0 511787659 10665984 2093 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2604 2093 231 231 0 2373 0
vsize: 10416
[startup+20.0002 s]
Raw data (loadavg): 0.88 0.93 0.69 2/54 18240
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 4204 0 0 0 1986 12 0 0 25 0 1 0 511787659 19054592 4145 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4652 4145 231 231 0 4421 0
vsize: 18608
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.93 0.70 2/54 18240
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 6296 0 0 0 2982 16 0 0 25 0 1 0 511787659 36225024 6140 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8844 6140 231 231 0 8613 0
vsize: 35376
[startup+40.2418 s]
Raw data (loadavg): 0.91 0.93 0.70 4/58 18269
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 8282 0 0 0 4002 20 0 0 25 0 1 0 511787659 36225024 8126 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8844 8126 231 231 0 8613 0
vsize: 35376
[startup+50.372 s]
Raw data (loadavg): 1.29 1.02 0.73 2/54 18293
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 10130 0 0 0 5011 25 0 0 25 0 1 0 511787659 69914624 9974 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17069 9974 231 231 0 16838 0
vsize: 68276
[startup+60.5473 s]
Raw data (loadavg): 1.24 1.02 0.73 2/54 18293
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 11800 0 0 0 6025 28 0 0 25 0 1 0 511787659 69914624 11644 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17069 11644 231 231 0 16838 0
vsize: 68276
[startup+70.5474 s]
Raw data (loadavg): 1.28 1.03 0.74 2/54 18293
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 12829 0 0 0 7022 32 0 0 25 0 1 0 511787659 70049792 12673 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17102 12673 231 231 0 16871 0
vsize: 68408
[startup+80.6456 s]
Raw data (loadavg): 1.24 1.03 0.74 2/54 18293
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 12997 0 0 0 8031 32 0 0 25 0 1 0 511787659 70729728 12841 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17268 12841 231 231 0 17037 0
vsize: 69072
[startup+90.6457 s]
Raw data (loadavg): 1.20 1.03 0.74 2/54 18293
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 13195 0 0 0 9031 33 0 0 25 0 1 0 511787659 70729728 13039 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17268 13039 231 231 0 17037 0
vsize: 69072
[startup+100.645 s]
Raw data (loadavg): 1.17 1.03 0.75 2/54 18293
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 14403 0 0 0 10028 36 0 0 25 0 1 0 511787659 70856704 14247 4294967295 134512640 135450300 3221224640 3221223116 134572063 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17299 14247 231 231 0 17068 0
vsize: 69196
[startup+110.646 s]
Raw data (loadavg): 1.14 1.03 0.75 2/54 18293
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15486 0 0 0 11026 38 0 0 25 0 1 0 511787659 70987776 15330 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 15330 231 231 0 17100 0
vsize: 69324
[startup+120.647 s]
Raw data (loadavg): 1.12 1.03 0.75 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15503 0 0 0 12026 39 0 0 25 0 1 0 511787659 70987776 15347 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 15347 231 231 0 17100 0
vsize: 69324
[startup+130.647 s]
Raw data (loadavg): 1.10 1.02 0.75 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15529 0 0 0 13026 39 0 0 25 0 1 0 511787659 71114752 15373 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17362 15373 231 231 0 17131 0
vsize: 69448
[startup+140.647 s]
Raw data (loadavg): 1.08 1.02 0.75 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15577 0 0 0 14025 40 0 0 25 0 1 0 511787659 71245824 15421 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17394 15421 231 231 0 17163 0
vsize: 69576
[startup+150.647 s]
Raw data (loadavg): 1.07 1.02 0.76 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15609 0 0 0 15024 41 0 0 25 0 1 0 511787659 71380992 15453 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17427 15453 231 231 0 17196 0
vsize: 69708
[startup+160.647 s]
Raw data (loadavg): 1.06 1.02 0.76 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15631 0 0 0 16022 43 0 0 25 0 1 0 511787659 71499776 15475 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17456 15475 231 231 0 17225 0
vsize: 69824
[startup+170.647 s]
Raw data (loadavg): 1.05 1.02 0.76 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15636 0 0 0 17022 43 0 0 25 0 1 0 511787659 71499776 15480 4294967295 134512640 135450300 3221224640 3221223456 134546517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17456 15480 231 231 0 17225 0
vsize: 69824
[startup+180.648 s]
Raw data (loadavg): 1.04 1.02 0.76 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15651 0 0 0 18022 44 0 0 25 0 1 0 511787659 71499776 15495 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17456 15495 231 231 0 17225 0
vsize: 69824
[startup+190.648 s]
Raw data (loadavg): 1.04 1.02 0.76 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15860 0 0 0 19020 46 0 0 25 0 1 0 511787659 72286208 15511 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17648 15511 231 231 0 17417 0
vsize: 70592
[startup+200.648 s]
Raw data (loadavg): 1.03 1.02 0.77 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15886 0 0 0 20019 47 0 0 25 0 1 0 511787659 72441856 15537 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17686 15537 231 231 0 17455 0
vsize: 70744
[startup+210.649 s]
Raw data (loadavg): 1.02 1.02 0.77 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15908 0 0 0 21018 48 0 0 25 0 1 0 511787659 72441856 15559 4294967295 134512640 135450300 3221224640 3221223168 134543632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17686 15559 231 231 0 17455 0
vsize: 70744
[startup+220.649 s]
Raw data (loadavg): 1.02 1.02 0.77 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15929 0 0 0 22017 49 0 0 25 0 1 0 511787659 72581120 15580 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17720 15580 231 231 0 17489 0
vsize: 70880
[startup+230.65 s]
Raw data (loadavg): 1.02 1.01 0.77 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15940 0 0 0 23016 51 0 0 25 0 1 0 511787659 72581120 15591 4294967295 134512640 135450300 3221224640 3221223116 134571954 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17720 15591 231 231 0 17489 0
vsize: 70880
[startup+240.65 s]
Raw data (loadavg): 1.01 1.01 0.77 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15952 0 0 0 24014 53 0 0 25 0 1 0 511787659 72581120 15603 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17720 15603 231 231 0 17489 0
vsize: 70880
[startup+250.65 s]
Raw data (loadavg): 1.01 1.01 0.77 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15972 0 0 0 25011 56 0 0 25 0 1 0 511787659 72581120 15623 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17720 15623 231 231 0 17489 0
vsize: 70880
[startup+260.65 s]
Raw data (loadavg): 1.01 1.01 0.78 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 15994 0 0 0 26010 57 0 0 25 0 1 0 511787659 72749056 15645 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17761 15645 231 231 0 17530 0
vsize: 71044
[startup+270.65 s]
Raw data (loadavg): 1.01 1.01 0.78 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16008 0 0 0 27009 59 0 0 25 0 1 0 511787659 72749056 15659 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17761 15659 231 231 0 17530 0
vsize: 71044
[startup+280.651 s]
Raw data (loadavg): 1.01 1.01 0.78 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16018 0 0 0 28008 60 0 0 25 0 1 0 511787659 72749056 15669 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17761 15669 231 231 0 17530 0
vsize: 71044
[startup+290.651 s]
Raw data (loadavg): 1.00 1.01 0.78 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16043 0 0 0 29006 62 0 0 25 0 1 0 511787659 72916992 15694 4294967295 134512640 135450300 3221224640 3221223104 134532539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17802 15694 231 231 0 17571 0
vsize: 71208
[startup+300.651 s]
Raw data (loadavg): 1.00 1.01 0.78 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16060 0 0 0 30005 63 0 0 25 0 1 0 511787659 72916992 15711 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17802 15711 231 231 0 17571 0
vsize: 71208
[startup+310.652 s]
Raw data (loadavg): 1.00 1.01 0.79 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16075 0 0 0 31003 65 0 0 25 0 1 0 511787659 72916992 15726 4294967295 134512640 135450300 3221224640 3221223376 134538554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17802 15726 231 231 0 17571 0
vsize: 71208
[startup+320.652 s]
Raw data (loadavg): 1.00 1.01 0.79 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16088 0 0 0 32002 66 0 0 25 0 1 0 511787659 72916992 15739 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17802 15739 231 231 0 17571 0
vsize: 71208
[startup+330.653 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16098 0 0 0 33002 67 0 0 25 0 1 0 511787659 72916992 15749 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17802 15749 231 231 0 17571 0
vsize: 71208
[startup+340.653 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16112 0 0 0 34002 67 0 0 25 0 1 0 511787659 73048064 15763 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17834 15763 231 231 0 17603 0
vsize: 71336
[startup+350.652 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16130 0 0 0 35001 68 0 0 25 0 1 0 511787659 73048064 15781 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17834 15781 231 231 0 17603 0
vsize: 71336
[startup+360.653 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16146 0 0 0 36001 68 0 0 25 0 1 0 511787659 73048064 15797 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17834 15797 231 231 0 17603 0
vsize: 71336
[startup+370.654 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16156 0 0 0 37001 69 0 0 25 0 1 0 511787659 73048064 15807 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17834 15807 231 231 0 17603 0
vsize: 71336
[startup+380.654 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16175 0 0 0 38001 69 0 0 25 0 1 0 511787659 73170944 15826 4294967295 134512640 135450300 3221224640 3221223104 134532878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17864 15826 231 231 0 17633 0
vsize: 71456
[startup+390.655 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16187 0 0 0 39000 70 0 0 25 0 1 0 511787659 73170944 15838 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17864 15838 231 231 0 17633 0
vsize: 71456
[startup+400.655 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16204 0 0 0 40000 70 0 0 25 0 1 0 511787659 73170944 15855 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17864 15855 231 231 0 17633 0
vsize: 71456
[startup+410.655 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18295
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16234 0 0 0 41000 71 0 0 25 0 1 0 511787659 73306112 15885 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17897 15885 231 231 0 17666 0
vsize: 71588
[startup+420.655 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16690 0 0 0 41999 72 0 0 25 0 1 0 511787659 73306112 16341 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17897 16341 231 231 0 17666 0
vsize: 71588
[startup+430.656 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16705 0 0 0 42998 72 0 0 25 0 1 0 511787659 73437184 16356 4294967295 134512640 135450300 3221224640 3221223376 134538604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17929 16356 231 231 0 17698 0
vsize: 71716
[startup+440.655 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16720 0 0 0 43998 73 0 0 25 0 1 0 511787659 73437184 16371 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17929 16371 231 231 0 17698 0
vsize: 71716
[startup+450.655 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 16983 0 0 0 44998 74 0 0 25 0 1 0 511787659 73437184 16634 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17929 16634 231 231 0 17698 0
vsize: 71716
[startup+460.656 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 18106 0 0 0 45996 76 0 0 25 0 1 0 511787659 73572352 17757 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17962 17757 231 231 0 17731 0
vsize: 71848
[startup+470.655 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 19428 0 0 0 46993 79 0 0 25 0 1 0 511787659 140681216 19079 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34346 19079 231 231 0 34115 0
vsize: 137384
[startup+480.655 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 20711 0 0 0 47990 82 0 0 25 0 1 0 511787659 140681216 20362 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34346 20362 231 231 0 34115 0
vsize: 137384
[startup+490.656 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 21921 0 0 0 48987 85 0 0 25 0 1 0 511787659 140816384 21572 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34379 21572 231 231 0 34148 0
vsize: 137516
[startup+500.655 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 23105 0 0 0 49984 88 0 0 25 0 1 0 511787659 140816384 22756 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34379 22756 231 231 0 34148 0
vsize: 137516
[startup+510.656 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 24010 0 0 0 50983 90 0 0 25 0 1 0 511787659 140816384 23661 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34379 23663 231 231 0 34148 0
vsize: 137516
[startup+520.656 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 25099 0 0 0 51979 93 0 0 25 0 1 0 511787659 140939264 24750 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34409 24750 231 231 0 34178 0
vsize: 137636
[startup+530.655 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 26553 0 0 0 52976 96 0 0 25 0 1 0 511787659 142512128 25819 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34793 25819 231 231 0 34562 0
vsize: 139172
[startup+540.655 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 27604 0 0 0 53974 99 0 0 25 0 1 0 511787659 142667776 26870 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34831 26870 231 231 0 34600 0
vsize: 139324
[startup+550.655 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 28604 0 0 0 54972 101 0 0 25 0 1 0 511787659 142667776 27870 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34831 27870 231 231 0 34600 0
vsize: 139324
[startup+560.655 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 29332 0 0 0 55971 102 0 0 25 0 1 0 511787659 142667776 28598 4294967295 134512640 135450300 3221224640 3221223552 134597367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34831 28598 231 231 0 34600 0
vsize: 139324
[startup+570.656 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 30423 0 0 0 56968 105 0 0 25 0 1 0 511787659 142802944 29689 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34864 29689 231 231 0 34633 0
vsize: 139456
[startup+580.656 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 31525 0 0 0 57965 108 0 0 25 0 1 0 511787659 142802944 30791 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34864 30791 231 231 0 34633 0
vsize: 139456
[startup+590.655 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 32555 0 0 0 58964 110 0 0 25 0 1 0 511787659 142934016 31821 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34896 31821 231 231 0 34665 0
vsize: 139584
[startup+600.655 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 33428 0 0 0 59962 112 0 0 25 0 1 0 511787659 143069184 32694 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34929 32694 231 231 0 34698 0
vsize: 139716
[startup+610.656 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 34258 0 0 0 60961 113 0 0 25 0 1 0 511787659 143069184 33524 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34929 33524 231 231 0 34698 0
vsize: 139716
[startup+620.655 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 34831 0 0 0 61959 115 0 0 25 0 1 0 511787659 143069184 34097 4294967295 134512640 135450300 3221224640 3221223552 134597367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34929 34097 231 231 0 34698 0
vsize: 139716
[startup+630.655 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 35916 0 0 0 62957 117 0 0 25 0 1 0 511787659 277286912 35182 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67697 35182 231 231 0 67466 0
vsize: 270788
[startup+640.655 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 36835 0 0 0 63955 119 0 0 25 0 1 0 511787659 277417984 36101 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67729 36101 231 231 0 67498 0
vsize: 270916
[startup+650.654 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 37607 0 0 0 64954 121 0 0 25 0 1 0 511787659 277544960 36873 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67760 36873 231 231 0 67529 0
vsize: 271040
[startup+660.655 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 38327 0 0 0 65952 122 0 0 25 0 1 0 511787659 277544960 37593 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67760 37593 231 231 0 67529 0
vsize: 271040
[startup+670.656 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 39225 0 0 0 66951 124 0 0 25 0 1 0 511787659 277680128 38491 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67793 38491 231 231 0 67562 0
vsize: 271172
[startup+680.655 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 40296 0 0 0 67949 126 0 0 25 0 1 0 511787659 277680128 39562 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67793 39562 231 231 0 67562 0
vsize: 271172
[startup+690.655 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 40616 0 0 0 68948 127 0 0 25 0 1 0 511787659 277680128 39882 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67793 39882 231 231 0 67562 0
vsize: 271172
[startup+700.655 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 41417 0 0 0 69947 129 0 0 25 0 1 0 511787659 277680128 40683 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67793 40683 231 231 0 67562 0
vsize: 271172
[startup+710.656 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 42523 0 0 0 70944 132 0 0 25 0 1 0 511787659 277798912 41789 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67822 41789 231 231 0 67591 0
vsize: 271288
[startup+720.655 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 43110 0 0 0 71943 133 0 0 25 0 1 0 511787659 277934080 42376 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67855 42376 231 231 0 67624 0
vsize: 271420
[startup+730.655 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 43644 0 0 0 72941 135 0 0 25 0 1 0 511787659 277934080 42910 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67855 42910 231 231 0 67624 0
vsize: 271420
[startup+740.655 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 44713 0 0 0 73940 136 0 0 25 0 1 0 511787659 277934080 43979 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67855 43979 231 231 0 67624 0
vsize: 271420
[startup+750.654 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 45458 0 0 0 74938 138 0 0 25 0 1 0 511787659 278069248 44724 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67888 44724 231 231 0 67657 0
vsize: 271552
[startup+760.655 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 45818 0 0 0 75938 138 0 0 25 0 1 0 511787659 278069248 45084 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67888 45084 231 231 0 67657 0
vsize: 271552
[startup+770.656 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 46876 0 0 0 76936 141 0 0 25 0 1 0 511787659 278069248 46142 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67888 46142 231 231 0 67657 0
vsize: 271552
[startup+780.655 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 47290 0 0 0 77935 142 0 0 25 0 1 0 511787659 278204416 46556 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67921 46556 231 231 0 67690 0
vsize: 271684
[startup+790.656 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 48002 0 0 0 78934 143 0 0 25 0 1 0 511787659 278204416 47268 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67921 47268 231 231 0 67690 0
vsize: 271684
[startup+800.656 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 48845 0 0 0 79931 146 0 0 25 0 1 0 511787659 278204416 48111 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67921 48111 231 231 0 67690 0
vsize: 271684
[startup+810.656 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 49317 0 0 0 80930 147 0 0 25 0 1 0 511787659 278339584 48583 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67954 48584 231 231 0 67723 0
vsize: 271816
[startup+820.656 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 50196 0 0 0 81928 150 0 0 25 0 1 0 511787659 278339584 49462 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67954 49462 231 231 0 67723 0
vsize: 271816
[startup+830.656 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 50949 0 0 0 82927 151 0 0 25 0 1 0 511787659 278339584 50215 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67954 50215 231 231 0 67723 0
vsize: 271816
[startup+840.657 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 51293 0 0 0 83926 151 0 0 25 0 1 0 511787659 278339584 50559 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67954 50559 231 231 0 67723 0
vsize: 271816
[startup+850.656 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 52174 0 0 0 84924 154 0 0 25 0 1 0 511787659 278339584 51440 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67954 51440 231 231 0 67723 0
vsize: 271816
[startup+860.657 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 52568 0 0 0 85924 154 0 0 25 0 1 0 511787659 278462464 51834 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67984 51834 231 231 0 67753 0
vsize: 271936
[startup+870.657 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 53470 0 0 0 86923 156 0 0 25 0 1 0 511787659 278462464 52736 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67984 52736 231 231 0 67753 0
vsize: 271936
[startup+880.657 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 54102 0 0 0 87921 157 0 0 25 0 1 0 511787659 278462464 53368 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67984 53368 231 231 0 67753 0
vsize: 271936
[startup+890.657 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 54567 0 0 0 88919 160 0 0 25 0 1 0 511787659 278462464 53833 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67984 53833 231 231 0 67753 0
vsize: 271936
[startup+900.657 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 55515 0 0 0 89917 162 0 0 25 0 1 0 511787659 278720512 54781 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68047 54781 231 231 0 67816 0
vsize: 272188
[startup+910.657 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 55832 0 0 0 90916 163 0 0 25 0 1 0 511787659 278720512 55098 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68047 55098 231 231 0 67816 0
vsize: 272188
[startup+920.657 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 56761 0 0 0 91914 166 0 0 25 0 1 0 511787659 278720512 56027 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68047 56027 231 231 0 67816 0
vsize: 272188
[startup+930.656 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 56901 0 0 0 92913 166 0 0 25 0 1 0 511787659 278720512 56167 4294967295 134512640 135450300 3221224640 3221223104 134532761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68047 56167 231 231 0 67816 0
vsize: 272188
[startup+940.657 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 57844 0 0 0 93912 168 0 0 25 0 1 0 511787659 278720512 57110 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68047 57110 231 231 0 67816 0
vsize: 272188
[startup+950.657 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 58278 0 0 0 94910 170 0 0 25 0 1 0 511787659 278720512 57544 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68047 57544 231 231 0 67816 0
vsize: 272188
[startup+960.658 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 58930 0 0 0 95909 172 0 0 25 0 1 0 511787659 278855680 58196 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68080 58196 231 231 0 67849 0
vsize: 272320
[startup+970.658 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 59648 0 0 0 96907 173 0 0 25 0 1 0 511787659 278855680 58914 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68080 58914 231 231 0 67849 0
vsize: 272320
[startup+980.658 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 60035 0 0 0 97907 174 0 0 25 0 1 0 511787659 278855680 59301 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68080 59301 231 231 0 67849 0
vsize: 272320
[startup+990.657 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 60997 0 0 0 98904 177 0 0 25 0 1 0 511787659 278990848 60263 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68113 60263 231 231 0 67882 0
vsize: 272452
[startup+1000.66 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 61267 0 0 0 99903 178 0 0 25 0 1 0 511787659 278990848 60533 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68113 60533 231 231 0 67882 0
vsize: 272452
[startup+1010.66 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 62222 0 0 0 100901 180 0 0 25 0 1 0 511787659 278990848 61488 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68113 61488 231 231 0 67882 0
vsize: 272452
[startup+1020.66 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 62225 0 0 0 101901 180 0 0 25 0 1 0 511787659 278990848 61491 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68113 61491 231 231 0 67882 0
vsize: 272452
[startup+1030.66 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 63185 0 0 0 102899 182 0 0 25 0 1 0 511787659 278990848 62451 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68113 62451 231 231 0 67882 0
vsize: 272452
[startup+1040.66 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 63394 0 0 0 103898 183 0 0 25 0 1 0 511787659 279117824 62660 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68144 62660 231 231 0 67913 0
vsize: 272576
[startup+1050.66 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 64408 0 0 0 104897 185 0 0 25 0 1 0 511787659 279117824 63674 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68144 63674 231 231 0 67913 0
vsize: 272576
[startup+1060.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 64607 0 0 0 105896 186 0 0 25 0 1 0 511787659 279252992 63873 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68177 63873 231 231 0 67946 0
vsize: 272708
[startup+1070.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 65512 0 0 0 106894 188 0 0 25 0 1 0 511787659 279252992 64778 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68177 64778 231 231 0 67946 0
vsize: 272708
[startup+1080.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 65712 0 0 0 107894 189 0 0 25 0 1 0 511787659 279252992 64978 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68177 64978 231 231 0 67946 0
vsize: 272708
[startup+1090.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 66615 0 0 0 108891 192 0 0 25 0 1 0 511787659 279252992 65881 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68177 65881 231 231 0 67946 0
vsize: 272708
[startup+1100.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 66799 0 0 0 109890 192 0 0 25 0 1 0 511787659 279392256 66065 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68211 66065 231 231 0 67980 0
vsize: 272844
[startup+1110.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 67711 0 0 0 110889 194 0 0 25 0 1 0 511787659 279392256 66977 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68211 66977 231 231 0 67980 0
vsize: 272844
[startup+1120.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 67714 0 0 0 111889 194 0 0 25 0 1 0 511787659 279392256 66980 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68211 66980 231 231 0 67980 0
vsize: 272844
[startup+1130.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 68525 0 0 0 112888 196 0 0 25 0 1 0 511787659 279392256 67791 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68211 67791 231 231 0 67980 0
vsize: 272844
[startup+1140.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 68811 0 0 0 113887 196 0 0 25 0 1 0 511787659 413609984 68077 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100979 68077 231 231 0 100748 0
vsize: 403916
[startup+1150.66 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 69656 0 0 0 114885 199 0 0 25 0 1 0 511787659 413745152 68922 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101012 68922 231 231 0 100781 0
vsize: 404048
[startup+1160.66 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 69905 0 0 0 115885 199 0 0 25 0 1 0 511787659 413745152 69171 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101012 69171 231 231 0 100781 0
vsize: 404048
[startup+1170.66 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 70651 0 0 0 116883 202 0 0 25 0 1 0 511787659 413745152 69917 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101012 69917 231 231 0 100781 0
vsize: 404048
[startup+1180.66 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 70995 0 0 0 117883 202 0 0 25 0 1 0 511787659 413745152 70261 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101012 70261 231 231 0 100781 0
vsize: 404048
[startup+1190.66 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 71641 0 0 0 118881 203 0 0 25 0 1 0 511787659 413880320 70907 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101045 70907 231 231 0 100814 0
vsize: 404180
[startup+1200.66 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 18297
Raw data (stat): 18240 (PBS4) R 18239 22612 22611 0 -1 0 72098 0 0 0 119880 205 0 0 25 0 1 0 511787659 413880320 71364 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101045 71364 231 231 0 100814 0
vsize: 404180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.79 s]
Raw data (loadavg): 1.00 1.00 0.89 1/54 18297
Raw data (stat): 18240 (PBS4) Z 18239 22612 22611 0 -1 1036 72098 0 0 0 119880 218 0 0 25 0 1 0 511787659 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.79
CPU time (s): 1200.99
CPU user time (s): 1198.81
CPU system time (s): 2.18267
CPU usage (%): 100.016
Max. virtual memory (Kb): 404180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####