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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb
MD5SUM	54df16ee65da54d5975ffedee80d2bb9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1408128
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11486079
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	280
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	253
Trace number 15114

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-21 02:56:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18583 boxname=wulflinc30 idbench=1430 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  54df16ee65da54d5975ffedee80d2bb9  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-misc07.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-misc07.opb
IDLAUNCH: 18583
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        789952 kB
Buffers:         11912 kB
Cached:         201200 kB
SwapCached:          0 kB
Active:          51576 kB
Inactive:       164352 kB
HighTotal:      131008 kB
HighFree:         5068 kB
LowTotal:       903652 kB
LowFree:        784884 kB
SwapTotal:     2097892 kB
SwapFree:      2097824 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            23124 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 03:16:22 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 18583 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-misc07.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.91 2/54 10431
Raw data (stat): 10431 (runsolver) R 10430 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541644989 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.99996 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 960 0 0 0 995 3 0 0 25 0 1 0 541644989 6180864 907 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1509 907 231 231 0 1278 0
vsize: 6036
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 1305 0 0 0 1994 5 0 0 25 0 1 0 541644989 6451200 1252 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1575 1252 231 231 0 1344 0
vsize: 6300
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 1736 0 0 0 2992 7 0 0 25 0 1 0 541644989 11309056 1586 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2761 1586 231 231 0 2530 0
vsize: 11044
[startup+40.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 2443 0 0 0 3989 10 0 0 25 0 1 0 541644989 11579392 2293 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2827 2293 231 231 0 2596 0
vsize: 11308
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 2690 0 0 0 4987 12 0 0 25 0 1 0 541644989 11862016 2540 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2896 2540 231 231 0 2665 0
vsize: 11584
[startup+60.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 2946 0 0 0 5986 14 0 0 25 0 1 0 541644989 12787712 2603 4294967295 134512640 135450300 3221224624 3221223456 134538631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2603 231 231 0 2891 0
vsize: 12488
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 3201 0 0 0 6985 15 0 0 25 0 1 0 541644989 21450752 2858 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2858 231 231 0 5006 0
vsize: 20948
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 3739 0 0 0 7983 17 0 0 25 0 1 0 541644989 21585920 3396 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5270 3396 231 231 0 5039 0
vsize: 21080
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 4228 0 0 0 8981 19 0 0 25 0 1 0 541644989 21860352 3885 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5337 3885 231 231 0 5106 0
vsize: 21348
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 4658 0 0 0 9979 21 0 0 25 0 1 0 541644989 22138880 4315 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5405 4315 231 231 0 5174 0
vsize: 21620
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 4942 0 0 0 10978 22 0 0 25 0 1 0 541644989 22282240 4599 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5440 4599 231 231 0 5209 0
vsize: 21760
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5159 0 0 0 11977 24 0 0 25 0 1 0 541644989 22425600 4816 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5475 4816 231 231 0 5244 0
vsize: 21900
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5206 0 0 0 12975 25 0 0 25 0 1 0 541644989 22564864 4863 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4863 231 231 0 5278 0
vsize: 22036
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5268 0 0 0 13974 27 0 0 25 0 1 0 541644989 22843392 4925 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5577 4925 231 231 0 5346 0
vsize: 22308
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5309 0 0 0 14974 27 0 0 25 0 1 0 541644989 22843392 4966 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5577 4966 231 231 0 5346 0
vsize: 22308
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 5764 0 0 0 15973 29 0 0 25 0 1 0 541644989 24690688 5036 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6028 5036 231 231 0 5797 0
vsize: 24112
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 6017 0 0 0 16972 30 0 0 25 0 1 0 541644989 24690688 5289 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6028 5289 231 231 0 5797 0
vsize: 24112
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 6115 0 0 0 17972 30 0 0 25 0 1 0 541644989 24969216 5387 4294967295 134512640 135450300 3221224624 3221223440 134536841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 5387 231 231 0 5865 0
vsize: 24384
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 6426 0 0 0 18970 32 0 0 25 0 1 0 541644989 41746432 5698 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10192 5698 231 231 0 9961 0
vsize: 40768
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 6581 0 0 0 19970 33 0 0 25 0 1 0 541644989 41893888 5853 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10228 5853 231 231 0 9997 0
vsize: 40912
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 7011 0 0 0 20968 34 0 0 25 0 1 0 541644989 42033152 6283 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10262 6283 231 231 0 10031 0
vsize: 41048
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10431
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 7442 0 0 0 21968 35 0 0 25 0 1 0 541644989 42033152 6714 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10262 6714 231 231 0 10031 0
vsize: 41048
[startup+230.004 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 10484
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 7789 0 0 0 22965 37 0 0 25 0 1 0 541644989 42328064 7061 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10334 7061 231 231 0 10103 0
vsize: 41336
[startup+240.004 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 10484
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8041 0 0 0 23964 38 0 0 25 0 1 0 541644989 42491904 7313 4294967295 134512640 135450300 3221224624 3221223360 134538446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10374 7313 231 231 0 10143 0
vsize: 41496
[startup+250.005 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 10484
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8235 0 0 0 24963 39 0 0 25 0 1 0 541644989 42643456 7507 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10411 7507 231 231 0 10180 0
vsize: 41644
[startup+260.005 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 10484
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8643 0 0 0 25962 41 0 0 25 0 1 0 541644989 42831872 7915 4294967295 134512640 135450300 3221224624 3221223440 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10457 7915 231 231 0 10226 0
vsize: 41828
[startup+270.005 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 10484
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8716 0 0 0 26962 41 0 0 25 0 1 0 541644989 43118592 7988 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10527 7988 231 231 0 10296 0
vsize: 42108
[startup+280.005 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 10484
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8845 0 0 0 27961 42 0 0 25 0 1 0 541644989 43282432 8117 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10567 8117 231 231 0 10336 0
vsize: 42268
[startup+290.005 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 10484
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8874 0 0 0 28960 43 0 0 25 0 1 0 541644989 43282432 8146 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10567 8146 231 231 0 10336 0
vsize: 42268
[startup+300.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 8934 0 0 0 29960 43 0 0 25 0 1 0 541644989 43446272 8206 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10607 8206 231 231 0 10376 0
vsize: 42428
[startup+310.005 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 9375 0 0 0 30958 45 0 0 25 0 1 0 541644989 43610112 8647 4294967295 134512640 135450300 3221224624 3221223440 134537251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10647 8647 231 231 0 10416 0
vsize: 42588
[startup+320.006 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 9528 0 0 0 31958 46 0 0 25 0 1 0 541644989 43769856 8800 4294967295 134512640 135450300 3221224624 3221223360 134538774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10686 8800 231 231 0 10455 0
vsize: 42744
[startup+330.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 9727 0 0 0 32957 47 0 0 25 0 1 0 541644989 43769856 8999 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10686 8999 231 231 0 10455 0
vsize: 42744
[startup+340.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 10035 0 0 0 33955 49 0 0 25 0 1 0 541644989 44072960 9307 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10760 9307 231 231 0 10529 0
vsize: 43040
[startup+350.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 10387 0 0 0 34954 50 0 0 25 0 1 0 541644989 44220416 9659 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10796 9659 231 231 0 10565 0
vsize: 43184
[startup+360.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 10706 0 0 0 35953 51 0 0 25 0 1 0 541644989 44367872 9978 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10832 9978 231 231 0 10601 0
vsize: 43328
[startup+370.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 10910 0 0 0 36953 52 0 0 25 0 1 0 541644989 44531712 10182 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10872 10182 231 231 0 10641 0
vsize: 43488
[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11142 0 0 0 37952 53 0 0 25 0 1 0 541644989 44531712 10414 4294967295 134512640 135450300 3221224624 3221223360 134538976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10872 10414 231 231 0 10641 0
vsize: 43488
[startup+390.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11558 0 0 0 38951 54 0 0 25 0 1 0 541644989 78233600 10830 4294967295 134512640 135450300 3221224624 3221223440 134536520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19100 10830 231 231 0 18869 0
vsize: 76400
[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11684 0 0 0 39951 55 0 0 25 0 1 0 541644989 78381056 10956 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19136 10956 231 231 0 18905 0
vsize: 76544
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11702 0 0 0 40950 55 0 0 25 0 1 0 541644989 78381056 10974 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19136 10974 231 231 0 18905 0
vsize: 76544
[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11746 0 0 0 41950 56 0 0 25 0 1 0 541644989 78553088 11018 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19178 11018 231 231 0 18947 0
vsize: 76712
[startup+430.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11777 0 0 0 42949 56 0 0 25 0 1 0 541644989 78716928 11049 4294967295 134512640 135450300 3221224624 3221223344 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19218 11049 231 231 0 18987 0
vsize: 76872
[startup+440.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11797 0 0 0 43949 57 0 0 25 0 1 0 541644989 78716928 11069 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19218 11069 231 231 0 18987 0
vsize: 76872
[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11845 0 0 0 44949 57 0 0 25 0 1 0 541644989 78864384 11117 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19254 11117 231 231 0 19023 0
vsize: 77016
[startup+460.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 11907 0 0 0 45948 58 0 0 25 0 1 0 541644989 79028224 11179 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19294 11179 231 231 0 19063 0
vsize: 77176
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 12295 0 0 0 46947 59 0 0 25 0 1 0 541644989 79028224 11567 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19294 11567 231 231 0 19063 0
vsize: 77176
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 12636 0 0 0 47946 61 0 0 25 0 1 0 541644989 79028224 11908 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19294 11908 231 231 0 19063 0
vsize: 77176
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 12838 0 0 0 48945 62 0 0 25 0 1 0 541644989 79028224 12110 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19294 12110 231 231 0 19063 0
vsize: 77176
[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 13016 0 0 0 49945 62 0 0 25 0 1 0 541644989 79192064 12288 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19334 12288 231 231 0 19103 0
vsize: 77336
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14117 0 0 0 50943 65 0 0 25 0 1 0 541644989 82501632 12620 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20142 12620 231 231 0 19911 0
vsize: 80568
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14346 0 0 0 51942 66 0 0 25 0 1 0 541644989 82501632 12849 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20142 12849 231 231 0 19911 0
vsize: 80568
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14626 0 0 0 52941 67 0 0 25 0 1 0 541644989 82890752 13129 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20237 13129 231 231 0 20006 0
vsize: 80948
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14798 0 0 0 53940 68 0 0 25 0 1 0 541644989 82890752 13301 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20237 13301 231 231 0 20006 0
vsize: 80948
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14822 0 0 0 54940 68 0 0 25 0 1 0 541644989 83054592 13325 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 13325 231 231 0 20046 0
vsize: 81108
[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14849 0 0 0 55940 68 0 0 25 0 1 0 541644989 83054592 13352 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 13352 231 231 0 20046 0
vsize: 81108
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10486
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14857 0 0 0 56940 69 0 0 25 0 1 0 541644989 83054592 13360 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 13360 231 231 0 20046 0
vsize: 81108
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14882 0 0 0 57939 70 0 0 25 0 1 0 541644989 83054592 13385 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 13385 231 231 0 20046 0
vsize: 81108
[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14899 0 0 0 58938 71 0 0 25 0 1 0 541644989 83218432 13402 4294967295 134512640 135450300 3221224624 3221223440 134536465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20317 13402 231 231 0 20086 0
vsize: 81268
[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14950 0 0 0 59938 71 0 0 25 0 1 0 541644989 83398656 13453 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20361 13453 231 231 0 20130 0
vsize: 81444
[startup+610.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14961 0 0 0 60938 71 0 0 25 0 1 0 541644989 83398656 13464 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20361 13464 231 231 0 20130 0
vsize: 81444
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 14993 0 0 0 61938 72 0 0 25 0 1 0 541644989 83546112 13496 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20397 13496 231 231 0 20166 0
vsize: 81588
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15035 0 0 0 62937 73 0 0 25 0 1 0 541644989 83709952 13538 4294967295 134512640 135450300 3221224624 3221223440 134536531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20437 13538 231 231 0 20206 0
vsize: 81748
[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15072 0 0 0 63937 73 0 0 25 0 1 0 541644989 83873792 13575 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20477 13575 231 231 0 20246 0
vsize: 81908
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15147 0 0 0 64937 74 0 0 25 0 1 0 541644989 83873792 13650 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20477 13650 231 231 0 20246 0
vsize: 81908
[startup+660.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15373 0 0 0 65936 75 0 0 25 0 1 0 541644989 83873792 13876 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20477 13876 231 231 0 20246 0
vsize: 81908
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15676 0 0 0 66934 76 0 0 25 0 1 0 541644989 83873792 14179 4294967295 134512640 135450300 3221224624 3221223008 134579732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20477 14179 231 231 0 20246 0
vsize: 81908
[startup+680.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 15997 0 0 0 67933 77 0 0 25 0 1 0 541644989 83873792 14500 4294967295 134512640 135450300 3221224624 3221223536 134597282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20477 14500 231 231 0 20246 0
vsize: 81908
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16255 0 0 0 68932 79 0 0 25 0 1 0 541644989 84070400 14758 4294967295 134512640 135450300 3221224624 3221223440 134536464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20525 14758 231 231 0 20294 0
vsize: 82100
[startup+700.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16637 0 0 0 69931 81 0 0 25 0 1 0 541644989 84393984 15140 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20604 15140 231 231 0 20373 0
vsize: 82416
[startup+710.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16778 0 0 0 70930 82 0 0 25 0 1 0 541644989 84393984 15281 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20604 15281 231 231 0 20373 0
vsize: 82416
[startup+720.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16804 0 0 0 71930 82 0 0 25 0 1 0 541644989 84549632 15307 4294967295 134512640 135450300 3221224624 3221223104 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20642 15307 231 231 0 20411 0
vsize: 82568
[startup+730.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16825 0 0 0 72930 82 0 0 25 0 1 0 541644989 84549632 15328 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20642 15328 231 231 0 20411 0
vsize: 82568
[startup+740.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16842 0 0 0 73929 83 0 0 25 0 1 0 541644989 84549632 15345 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20642 15345 231 231 0 20411 0
vsize: 82568
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16874 0 0 0 74929 83 0 0 25 0 1 0 541644989 84881408 15377 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20723 15377 231 231 0 20492 0
vsize: 82892
[startup+760.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16901 0 0 0 75929 83 0 0 25 0 1 0 541644989 84881408 15404 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20723 15404 231 231 0 20492 0
vsize: 82892
[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16934 0 0 0 76929 84 0 0 25 0 1 0 541644989 85078016 15437 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20771 15437 231 231 0 20540 0
vsize: 83084
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16941 0 0 0 77929 84 0 0 25 0 1 0 541644989 85078016 15444 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20771 15444 231 231 0 20540 0
vsize: 83084
[startup+790.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16966 0 0 0 78929 84 0 0 25 0 1 0 541644989 85274624 15469 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20819 15469 231 231 0 20588 0
vsize: 83276
[startup+800.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 16999 0 0 0 79930 85 0 0 25 0 1 0 541644989 85274624 15502 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20819 15502 231 231 0 20588 0
vsize: 83276
[startup+810.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17023 0 0 0 80929 85 0 0 25 0 1 0 541644989 85471232 15526 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20867 15526 231 231 0 20636 0
vsize: 83468
[startup+820.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17075 0 0 0 81929 86 0 0 25 0 1 0 541644989 85606400 15578 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20900 15578 231 231 0 20669 0
vsize: 83600
[startup+830.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17086 0 0 0 82929 86 0 0 25 0 1 0 541644989 85606400 15589 4294967295 134512640 135450300 3221224624 3221223360 134538607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20900 15589 231 231 0 20669 0
vsize: 83600
[startup+840.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17105 0 0 0 83929 86 0 0 25 0 1 0 541644989 85606400 15608 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20900 15608 231 231 0 20669 0
vsize: 83600
[startup+850.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17179 0 0 0 84928 87 0 0 25 0 1 0 541644989 85827584 15682 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20954 15682 231 231 0 20723 0
vsize: 83816
[startup+860.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17202 0 0 0 85928 88 0 0 25 0 1 0 541644989 85827584 15705 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20954 15705 231 231 0 20723 0
vsize: 83816
[startup+870.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17211 0 0 0 86928 88 0 0 25 0 1 0 541644989 85827584 15714 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20954 15714 231 231 0 20723 0
vsize: 83816
[startup+880.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17230 0 0 0 87927 89 0 0 25 0 1 0 541644989 85827584 15733 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20954 15733 231 231 0 20723 0
vsize: 83816
[startup+890.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17249 0 0 0 88927 89 0 0 25 0 1 0 541644989 86024192 15752 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21002 15752 231 231 0 20771 0
vsize: 84008
[startup+900.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17277 0 0 0 89927 90 0 0 25 0 1 0 541644989 86024192 15780 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21002 15780 231 231 0 20771 0
vsize: 84008
[startup+910.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17327 0 0 0 90927 90 0 0 25 0 1 0 541644989 86388736 15830 4294967295 134512640 135450300 3221224624 3221223440 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21091 15830 231 231 0 20860 0
vsize: 84364
[startup+920.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17359 0 0 0 91927 90 0 0 25 0 1 0 541644989 86388736 15862 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21091 15862 231 231 0 20860 0
vsize: 84364
[startup+930.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17379 0 0 0 92926 91 0 0 25 0 1 0 541644989 86585344 15882 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21139 15882 231 231 0 20908 0
vsize: 84556
[startup+940.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17549 0 0 0 93925 92 0 0 25 0 1 0 541644989 86585344 16052 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21139 16052 231 231 0 20908 0
vsize: 84556
[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17731 0 0 0 94925 93 0 0 25 0 1 0 541644989 86585344 16234 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21139 16234 231 231 0 20908 0
vsize: 84556
[startup+960.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 17961 0 0 0 95923 95 0 0 25 0 1 0 541644989 86585344 16464 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21139 16464 231 231 0 20908 0
vsize: 84556
[startup+970.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18209 0 0 0 96921 97 0 0 25 0 1 0 541644989 86781952 16712 4294967295 134512640 135450300 3221224624 3221223360 134538466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21187 16712 231 231 0 20956 0
vsize: 84748
[startup+980.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18298 0 0 0 97921 97 0 0 25 0 1 0 541644989 86781952 16801 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21187 16801 231 231 0 20956 0
vsize: 84748
[startup+990.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18393 0 0 0 98921 98 0 0 25 0 1 0 541644989 86781952 16896 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21187 16896 231 231 0 20956 0
vsize: 84748
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18530 0 0 0 99920 98 0 0 25 0 1 0 541644989 86781952 17033 4294967295 134512640 135450300 3221224624 3221223360 134538490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21187 17033 231 231 0 20956 0
vsize: 84748
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18706 0 0 0 100920 99 0 0 25 0 1 0 541644989 86917120 17209 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21220 17209 231 231 0 20989 0
vsize: 84880
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 18902 0 0 0 101919 100 0 0 25 0 1 0 541644989 86917120 17405 4294967295 134512640 135450300 3221224624 3221223360 134538793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21220 17405 231 231 0 20989 0
vsize: 84880
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 19202 0 0 0 102918 102 0 0 25 0 1 0 541644989 87048192 17672 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21252 17672 231 231 0 21021 0
vsize: 85008
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 19398 0 0 0 103917 102 0 0 25 0 1 0 541644989 87183360 17868 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21285 17868 231 231 0 21054 0
vsize: 85140
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 19642 0 0 0 104917 103 0 0 25 0 1 0 541644989 87416832 18112 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21342 18112 231 231 0 21111 0
vsize: 85368
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 19873 0 0 0 105916 104 0 0 25 0 1 0 541644989 87416832 18343 4294967295 134512640 135450300 3221224624 3221223440 134536501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21342 18343 231 231 0 21111 0
vsize: 85368
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20112 0 0 0 106915 105 0 0 25 0 1 0 541644989 87416832 18582 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21342 18582 231 231 0 21111 0
vsize: 85368
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20146 0 0 0 107915 106 0 0 25 0 1 0 541644989 87416832 18616 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21342 18616 231 231 0 21111 0
vsize: 85368
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20157 0 0 0 108915 106 0 0 25 0 1 0 541644989 87416832 18627 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21342 18627 231 231 0 21111 0
vsize: 85368
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20183 0 0 0 109914 106 0 0 25 0 1 0 541644989 87613440 18653 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21390 18653 231 231 0 21159 0
vsize: 85560
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20210 0 0 0 110914 107 0 0 25 0 1 0 541644989 87748608 18680 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21423 18680 231 231 0 21192 0
vsize: 85692
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20243 0 0 0 111914 107 0 0 25 0 1 0 541644989 87945216 18713 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21471 18713 231 231 0 21240 0
vsize: 85884
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20417 0 0 0 112914 108 0 0 25 0 1 0 541644989 87945216 18887 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21471 18887 231 231 0 21240 0
vsize: 85884
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20597 0 0 0 113913 108 0 0 25 0 1 0 541644989 87945216 19067 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21471 19067 231 231 0 21240 0
vsize: 85884
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20704 0 0 0 114913 109 0 0 25 0 1 0 541644989 88125440 19174 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21515 19174 231 231 0 21284 0
vsize: 86060
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 20960 0 0 0 115911 111 0 0 25 0 1 0 541644989 88125440 19430 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21515 19430 231 231 0 21284 0
vsize: 86060
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 21197 0 0 0 116910 112 0 0 25 0 1 0 541644989 88260608 19667 4294967295 134512640 135450300 3221224624 3221223440 134547472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21548 19667 231 231 0 21317 0
vsize: 86192
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 21275 0 0 0 117909 113 0 0 25 0 1 0 541644989 88260608 19745 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21548 19745 231 231 0 21317 0
vsize: 86192
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 21294 0 0 0 118909 113 0 0 25 0 1 0 541644989 88457216 19764 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21596 19764 231 231 0 21365 0
vsize: 86384
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10488
Raw data (stat): 10431 (PBS4) R 10430 11931 11930 0 -1 0 21350 0 0 0 119909 114 0 0 25 0 1 0 541644989 88653824 19820 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21644 19820 231 231 0 21413 0
vsize: 86576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 10488
Raw data (stat): 10431 (PBS4) Z 10430 11931 11930 0 -1 1036 21350 0 0 0 119909 117 0 0 25 0 1 0 541644989 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.09
CPU time (s): 1200.28
CPU user time (s): 1199.1
CPU system time (s): 1.17882
CPU usage (%): 100.015
Max. virtual memory (Kb): 86576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####