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/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb
MD5SUM	3c0f03289c4bde51025003af805c294c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	2355200
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	2939977599
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	134.456
Number of variables	6641
Total number of constraints	7355
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6951
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	1
Maximum length of a constraint	6641
Trace number 42858

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 16:39:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26073 boxname=wulflinc5 idbench=1373 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3c0f03289c4bde51025003af805c294c  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-nsrand-ipx.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-nsrand-ipx.opb
IDLAUNCH: 26073
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        701904 kB
Buffers:         24152 kB
Cached:         285132 kB
SwapCached:        660 kB
Active:          28016 kB
Inactive:       283320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701652 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15548 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:00:01 (client local time) WITH STATUS 0 IN 1202.31 SECONDS
stats: 26073 7 1202.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 17375
Raw data (stat): 17375 (runsolver) R 17374 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972274122 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 26254 0 0 0 945 53 0 0 25 0 1 0 972274122 79507456 15155 4294967295 134512640 135730672 3221224576 3218365496 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19411 15157 301 301 0 19110 0
vsize: 77644
[startup+20.001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 53905 0 0 0 1886 113 0 0 25 0 1 0 972274122 173314048 31600 4294967295 134512640 135730672 3221224576 3218567800 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42313 31600 301 301 0 42012 0
vsize: 169252
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 75063 0 0 0 2843 156 0 0 25 0 1 0 972274122 223657984 42853 4294967295 134512640 135730672 3221224576 3221062864 135282763 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54604 42853 301 301 0 54303 0
vsize: 218416
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 98000 0 0 0 3789 209 0 0 25 0 1 0 972274122 307544064 53299 4294967295 134512640 135730672 3221224576 3220971360 134788136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75084 53299 301 301 0 74783 0
vsize: 300336
[startup+50.0036 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 112802 0 0 0 4752 246 0 0 25 0 1 0 972274122 312274944 67847 4294967295 134512640 135730672 3221224576 3221050576 134770867 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76239 67848 301 301 0 75938 0
vsize: 304956
[startup+60.0037 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 150005 0 0 0 5683 314 0 0 25 0 1 0 972274122 434675712 85473 4294967295 134512640 135730672 3221224576 3220893576 135291065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106122 85473 301 301 0 105821 0
vsize: 424488
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 185251 0 0 0 6602 396 0 0 25 0 1 0 972274122 535339008 95941 4294967295 134512640 135730672 3221224576 3220998384 134813928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130698 95941 301 301 0 130397 0
vsize: 522792
[startup+80.0057 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 196301 0 0 0 7572 425 0 0 25 0 1 0 972274122 580382720 104082 4294967295 134512640 135730672 3221224576 3221223120 134749367 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141695 104082 301 301 0 141394 0
vsize: 566780
[startup+90.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 198650 0 0 0 8566 431 0 0 25 0 1 0 972274122 586715136 105193 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143241 105193 301 301 0 142940 0
vsize: 572964
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 198752 0 0 0 9566 431 0 0 25 0 1 0 972274122 587255808 105295 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143373 105295 301 301 0 143072 0
vsize: 573492
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 198773 0 0 0 10566 431 0 0 25 0 1 0 972274122 587255808 105316 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143373 105316 301 301 0 143072 0
vsize: 573492
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 198789 0 0 0 11566 431 0 0 25 0 1 0 972274122 587255808 105332 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143373 105332 301 301 0 143072 0
vsize: 573492
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 200559 0 0 0 12563 434 0 0 25 0 1 0 972274122 591708160 106228 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144460 106228 301 301 0 144159 0
vsize: 577840
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 202224 0 0 0 13560 438 0 0 25 0 1 0 972274122 596217856 107111 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145561 107111 301 301 0 145260 0
vsize: 582244
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 203496 0 0 0 14557 441 0 0 25 0 1 0 972274122 599392256 107796 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146336 107796 301 301 0 146035 0
vsize: 585344
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 204571 0 0 0 15555 443 0 0 25 0 1 0 972274122 602411008 108255 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147073 108255 301 301 0 146772 0
vsize: 588292
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 205970 0 0 0 16554 445 0 0 25 0 1 0 972274122 605736960 108947 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147885 108947 301 301 0 147584 0
vsize: 591540
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 206459 0 0 0 17553 446 0 0 25 0 1 0 972274122 607191040 109179 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148240 109179 301 301 0 147939 0
vsize: 592960
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 208438 0 0 0 18550 449 0 0 25 0 1 0 972274122 612716544 109935 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149589 109935 301 301 0 149288 0
vsize: 598356
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 211732 0 0 0 19543 455 0 0 25 0 1 0 972274122 621907968 111370 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151833 111370 301 301 0 151532 0
vsize: 607332
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 214427 0 0 0 20539 460 0 0 25 0 1 0 972274122 629018624 112576 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153569 112576 301 301 0 153268 0
vsize: 614276
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 214810 0 0 0 21538 461 0 0 25 0 1 0 972274122 630067200 112702 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153825 112702 301 301 0 153524 0
vsize: 615300
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 214910 0 0 0 22539 461 0 0 25 0 1 0 972274122 630067200 112802 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153825 112802 301 301 0 153524 0
vsize: 615300
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 214912 0 0 0 23539 461 0 0 25 0 1 0 972274122 630067200 112804 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153825 112804 301 301 0 153524 0
vsize: 615300
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 214977 0 0 0 24539 461 0 0 25 0 1 0 972274122 630067200 112869 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153825 112869 301 301 0 153524 0
vsize: 615300
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 215693 0 0 0 25538 462 0 0 25 0 1 0 972274122 631640064 113199 4294967295 134512640 135730672 3221224576 3221223168 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154209 113199 301 301 0 153908 0
vsize: 616836
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 215698 0 0 0 26538 462 0 0 25 0 1 0 972274122 631640064 113204 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154209 113204 301 301 0 153908 0
vsize: 616836
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 215704 0 0 0 27538 462 0 0 25 0 1 0 972274122 631640064 113210 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154209 113210 301 301 0 153908 0
vsize: 616836
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 215710 0 0 0 28538 462 0 0 25 0 1 0 972274122 631640064 113216 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154209 113216 301 301 0 153908 0
vsize: 616836
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 215719 0 0 0 29539 462 0 0 25 0 1 0 972274122 631640064 113225 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154209 113225 301 301 0 153908 0
vsize: 616836
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 215726 0 0 0 30539 462 0 0 25 0 1 0 972274122 631640064 113232 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154209 113232 301 301 0 153908 0
vsize: 616836
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219524 0 0 0 31531 470 0 0 25 0 1 0 972274122 641916928 114988 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156718 114988 301 301 0 156417 0
vsize: 626872
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219525 0 0 0 32531 470 0 0 25 0 1 0 972274122 641916928 114989 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156718 114989 301 301 0 156417 0
vsize: 626872
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219525 0 0 0 33532 470 0 0 25 0 1 0 972274122 641916928 114989 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156718 114989 301 301 0 156417 0
vsize: 626872
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219526 0 0 0 34532 470 0 0 25 0 1 0 972274122 641916928 114990 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156718 114990 301 301 0 156417 0
vsize: 626872
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219528 0 0 0 35532 470 0 0 25 0 1 0 972274122 641916928 114992 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156718 114992 301 301 0 156417 0
vsize: 626872
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219529 0 0 0 36532 470 0 0 25 0 1 0 972274122 641916928 114993 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156718 114993 301 301 0 156417 0
vsize: 626872
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219530 0 0 0 37532 470 0 0 25 0 1 0 972274122 642052096 114994 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156751 114994 301 301 0 156450 0
vsize: 627004
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219531 0 0 0 38532 470 0 0 25 0 1 0 972274122 642052096 114995 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156751 114995 301 301 0 156450 0
vsize: 627004
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219534 0 0 0 39532 470 0 0 25 0 1 0 972274122 642052096 114998 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156751 114998 301 301 0 156450 0
vsize: 627004
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219539 0 0 0 40532 470 0 0 25 0 1 0 972274122 642052096 115003 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156751 115003 301 301 0 156450 0
vsize: 627004
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219540 0 0 0 41533 470 0 0 25 0 1 0 972274122 642052096 115004 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156751 115004 301 301 0 156450 0
vsize: 627004
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219542 0 0 0 42533 471 0 0 25 0 1 0 972274122 642052096 115006 4294967295 134512640 135730672 3221224576 3221223168 134764029 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156751 115006 301 301 0 156450 0
vsize: 627004
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219544 0 0 0 43533 471 0 0 25 0 1 0 972274122 642052096 115008 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156751 115008 301 301 0 156450 0
vsize: 627004
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 219546 0 0 0 44534 471 0 0 25 0 1 0 972274122 642052096 115010 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156751 115010 301 301 0 156450 0
vsize: 627004
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 222281 0 0 0 45530 475 0 0 25 0 1 0 972274122 648134656 116391 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158236 116391 301 301 0 157935 0
vsize: 632944
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 224520 0 0 0 46525 479 0 0 25 0 1 0 972274122 653639680 117280 4294967295 134512640 135730672 3221224576 3221223184 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159580 117280 301 301 0 159279 0
vsize: 638320
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 226917 0 0 0 47521 484 0 0 25 0 1 0 972274122 660385792 118195 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161227 118195 301 301 0 160926 0
vsize: 644908
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 228118 0 0 0 48519 486 0 0 25 0 1 0 972274122 663560192 118655 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162002 118655 301 301 0 161701 0
vsize: 648008
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 230758 0 0 0 49514 491 0 0 25 0 1 0 972274122 670760960 119887 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163760 119887 301 301 0 163459 0
vsize: 655040
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 232504 0 0 0 50511 494 0 0 25 0 1 0 972274122 675364864 120678 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164884 120678 301 301 0 164583 0
vsize: 659536
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 234086 0 0 0 51508 497 0 0 25 0 1 0 972274122 680304640 121448 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166090 121448 301 301 0 165789 0
vsize: 664360
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 235978 0 0 0 52505 501 0 0 25 0 1 0 972274122 685654016 122494 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167396 122494 301 301 0 167095 0
vsize: 669584
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 236451 0 0 0 53504 502 0 0 25 0 1 0 972274122 686841856 122740 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167686 122740 301 301 0 167385 0
vsize: 670744
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 238633 0 0 0 54500 506 0 0 25 0 1 0 972274122 693080064 123699 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169209 123699 301 301 0 168908 0
vsize: 676836
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 240906 0 0 0 55496 510 0 0 25 0 1 0 972274122 699035648 124817 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170663 124817 301 301 0 170362 0
vsize: 682652
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 245060 0 0 0 56490 517 0 0 25 0 1 0 972274122 709025792 126788 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173102 126788 301 301 0 172801 0
vsize: 692408
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 248252 0 0 0 57483 523 0 0 25 0 1 0 972274122 716394496 128393 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174901 128393 301 301 0 174600 0
vsize: 699604
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 250326 0 0 0 58480 527 0 0 25 0 1 0 972274122 721641472 129212 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176182 129212 301 301 0 175881 0
vsize: 704728
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 253062 0 0 0 59476 531 0 0 25 0 1 0 972274122 728981504 130150 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177974 130150 301 301 0 177673 0
vsize: 711896
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 253104 0 0 0 60476 531 0 0 25 0 1 0 972274122 728981504 130192 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177974 130192 301 301 0 177673 0
vsize: 711896
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 253866 0 0 0 61475 532 0 0 25 0 1 0 972274122 731082752 130470 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178487 130470 301 301 0 178186 0
vsize: 713948
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 254372 0 0 0 62475 533 0 0 25 0 1 0 972274122 732135424 130782 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178744 130782 301 301 0 178443 0
vsize: 714976
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 257413 0 0 0 63470 538 0 0 25 0 1 0 972274122 740851712 132226 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180872 132226 301 301 0 180571 0
vsize: 723488
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 260387 0 0 0 64464 544 0 0 25 0 1 0 972274122 749445120 133498 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182970 133498 301 301 0 182669 0
vsize: 731880
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 262852 0 0 0 65459 549 0 0 25 0 1 0 972274122 755113984 134613 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184354 134613 301 301 0 184053 0
vsize: 737416
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 265624 0 0 0 66454 554 0 0 25 0 1 0 972274122 762466304 135743 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186149 135743 301 301 0 185848 0
vsize: 744596
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 268605 0 0 0 67449 560 0 0 25 0 1 0 972274122 771022848 136917 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188238 136917 301 301 0 187937 0
vsize: 752952
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 270165 0 0 0 68446 563 0 0 25 0 1 0 972274122 775225344 137542 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189264 137542 301 301 0 188963 0
vsize: 757056
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 271995 0 0 0 69442 567 0 0 25 0 1 0 972274122 779530240 138359 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190315 138359 301 301 0 190014 0
vsize: 761260
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 274772 0 0 0 70436 573 0 0 25 0 1 0 972274122 786624512 139653 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192047 139653 301 301 0 191746 0
vsize: 768188
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 276325 0 0 0 71433 576 0 0 25 0 1 0 972274122 790560768 140272 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193008 140272 301 301 0 192707 0
vsize: 772032
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 277677 0 0 0 72431 578 0 0 25 0 1 0 972274122 793706496 140852 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193776 140852 301 301 0 193475 0
vsize: 775104
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 278586 0 0 0 73430 579 0 0 25 0 1 0 972274122 795803648 141246 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194288 141246 301 301 0 193987 0
vsize: 777152
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 280293 0 0 0 74427 583 0 0 25 0 1 0 972274122 799735808 141989 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195248 141989 301 301 0 194947 0
vsize: 780992
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 280520 0 0 0 75426 584 0 0 25 0 1 0 972274122 800526336 142054 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195441 142054 301 301 0 195140 0
vsize: 781764
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 281258 0 0 0 76425 585 0 0 25 0 1 0 972274122 802623488 142279 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195953 142279 301 301 0 195652 0
vsize: 783812
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 282640 0 0 0 77423 588 0 0 25 0 1 0 972274122 806293504 142762 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196849 142762 301 301 0 196548 0
vsize: 787396
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 283601 0 0 0 78421 589 0 0 25 0 1 0 972274122 808525824 143204 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197394 143204 301 301 0 197093 0
vsize: 789576
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 285166 0 0 0 79418 593 0 0 25 0 1 0 972274122 813019136 143955 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198491 143955 301 301 0 198190 0
vsize: 793964
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 287291 0 0 0 80415 596 0 0 25 0 1 0 972274122 818655232 144697 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199867 144697 301 301 0 199566 0
vsize: 799468
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 288402 0 0 0 81413 598 0 0 25 0 1 0 972274122 821284864 145226 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200509 145226 301 301 0 200208 0
vsize: 802036
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 289999 0 0 0 82410 601 0 0 25 0 1 0 972274122 825221120 145888 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201470 145888 301 301 0 201169 0
vsize: 805880
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 291158 0 0 0 83408 604 0 0 25 0 1 0 972274122 828514304 146368 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202274 146368 301 301 0 201973 0
vsize: 809096
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 291159 0 0 0 84408 604 0 0 25 0 1 0 972274122 828514304 146369 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202274 146369 301 301 0 201973 0
vsize: 809096
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 291744 0 0 0 85407 605 0 0 25 0 1 0 972274122 830087168 146568 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202658 146568 301 301 0 202357 0
vsize: 810632
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 295745 0 0 0 86399 613 0 0 25 0 1 0 972274122 840605696 148246 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 205226 148246 301 301 0 204925 0
vsize: 820904
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 296527 0 0 0 87398 614 0 0 25 0 1 0 972274122 842178560 148642 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 205610 148642 301 301 0 205309 0
vsize: 822440
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 297516 0 0 0 88397 615 0 0 25 0 1 0 972274122 844800000 148988 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 206250 148988 301 301 0 205949 0
vsize: 825000
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 298247 0 0 0 89396 617 0 0 25 0 1 0 972274122 846897152 149206 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 206762 149206 301 301 0 206461 0
vsize: 827048
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 298395 0 0 0 90396 617 0 0 25 0 1 0 972274122 846897152 149354 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 206762 149354 301 301 0 206461 0
vsize: 827048
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 299088 0 0 0 91395 618 0 0 25 0 1 0 972274122 849125376 149501 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 207306 149501 301 301 0 207005 0
vsize: 829224
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 299296 0 0 0 92395 619 0 0 25 0 1 0 972274122 849649664 149580 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 207434 149580 301 301 0 207133 0
vsize: 829736
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 299300 0 0 0 93395 619 0 0 25 0 1 0 972274122 849649664 149584 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 207434 149584 301 301 0 207133 0
vsize: 829736
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 299762 0 0 0 94394 620 0 0 25 0 1 0 972274122 850698240 149789 4294967295 134512640 135730672 3221224576 3221223168 134763568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 207690 149789 301 301 0 207389 0
vsize: 830760
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 301457 0 0 0 95391 623 0 0 25 0 1 0 972274122 854450176 150739 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 208606 150739 301 301 0 208305 0
vsize: 834424
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 301841 0 0 0 96391 623 0 0 25 0 1 0 972274122 855498752 150866 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 208862 150866 301 301 0 208561 0
vsize: 835448
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 301842 0 0 0 97391 623 0 0 25 0 1 0 972274122 855498752 150867 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 208862 150867 301 301 0 208561 0
vsize: 835448
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 302143 0 0 0 98391 624 0 0 25 0 1 0 972274122 856547328 150911 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 209118 150911 301 301 0 208817 0
vsize: 836472
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 302145 0 0 0 99391 624 0 0 25 0 1 0 972274122 856547328 150913 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 209118 150913 301 301 0 208817 0
vsize: 836472
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 302979 0 0 0 100389 626 0 0 25 0 1 0 972274122 859168768 151104 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 209758 151104 301 301 0 209457 0
vsize: 839032
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 304304 0 0 0 101387 628 0 0 25 0 1 0 972274122 862801920 151762 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 210645 151762 301 301 0 210344 0
vsize: 842580
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 305774 0 0 0 102385 631 0 0 25 0 1 0 972274122 866889728 152417 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 211643 152417 301 301 0 211342 0
vsize: 846572
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 305863 0 0 0 103385 631 0 0 25 0 1 0 972274122 867020800 152473 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 211675 152473 301 301 0 211374 0
vsize: 846700
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 305873 0 0 0 104385 631 0 0 25 0 1 0 972274122 867020800 152483 4294967295 134512640 135730672 3221224576 3221223168 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 211675 152483 301 301 0 211374 0
vsize: 846700
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 306082 0 0 0 105385 631 0 0 25 0 1 0 972274122 867282944 152627 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 211739 152627 301 301 0 211438 0
vsize: 846956
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 306159 0 0 0 106385 631 0 0 25 0 1 0 972274122 867282944 152704 4294967295 134512640 135730672 3221224576 3221223184 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 211739 152704 301 301 0 211438 0
vsize: 846956
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 307129 0 0 0 107383 633 0 0 25 0 1 0 972274122 869904384 153031 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212379 153031 301 301 0 212078 0
vsize: 849516
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 307505 0 0 0 108383 634 0 0 25 0 1 0 972274122 870952960 153149 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212635 153149 301 301 0 212334 0
vsize: 850540
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 308187 0 0 0 109382 635 0 0 25 0 1 0 972274122 872525824 153445 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213019 153445 301 301 0 212718 0
vsize: 852076
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 308742 0 0 0 110381 636 0 0 25 0 1 0 972274122 873574400 153743 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213275 153743 301 301 0 212974 0
vsize: 853100
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 310974 0 0 0 111377 640 0 0 25 0 1 0 972274122 879689728 154556 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 214768 154556 301 301 0 214467 0
vsize: 859072
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 311583 0 0 0 112376 642 0 0 25 0 1 0 972274122 881528832 154779 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 215217 154779 301 301 0 214916 0
vsize: 860868
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 311770 0 0 0 113376 642 0 0 25 0 1 0 972274122 882053120 154837 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 215345 154837 301 301 0 215044 0
vsize: 861380
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 312626 0 0 0 114375 643 0 0 25 0 1 0 972274122 884150272 155178 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 215857 155178 301 301 0 215556 0
vsize: 863428
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 313066 0 0 0 115374 644 0 0 25 0 1 0 972274122 885198848 155361 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 216113 155361 301 301 0 215812 0
vsize: 864452
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 313067 0 0 0 116374 644 0 0 25 0 1 0 972274122 885198848 155362 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 216113 155362 301 301 0 215812 0
vsize: 864452
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 313068 0 0 0 117375 644 0 0 25 0 1 0 972274122 885198848 155363 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 216113 155363 301 301 0 215812 0
vsize: 864452
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 313656 0 0 0 118374 645 0 0 25 0 1 0 972274122 886247424 155694 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 216369 155694 301 301 0 216068 0
vsize: 865476
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 313656 0 0 0 119374 645 0 0 25 0 1 0 972274122 886247424 155694 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 216369 155694 301 301 0 216068 0
vsize: 865476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17375
Raw data (stat): 17375 (pb2sat-v2) R 17374 7266 7265 0 -1 0 313656 0 0 0 119374 645 0 0 25 0 1 0 972274122 886247424 155694 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 216369 155694 301 301 0 216068 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.15
CPU time (s): 1202.31
CPU user time (s): 1195.55
CPU system time (s): 6.75997
CPU usage (%): 100.013
Max. virtual memory (Kb): 865476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####