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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb
MD5SUM	6cda2e87049e07c7829c58ae7ae8c049
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1152
Optimality of the best value was proved	NO
Number of terms in the objective function	3600
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	188743500
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	188743500
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	6100
Total number of constraints	3706
Number of constraints which are clauses	600
Number of constraints which are cardinality constraints (but not clauses)	1020
Number of constraints which are nor clauses,nor cardinality constraints	2086
Minimum length of a constraint	1
Maximum length of a constraint	300
Trace number 42991

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 20:33:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26203 boxname=wulflinc1 idbench=1503 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6cda2e87049e07c7829c58ae7ae8c049  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos11.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos11.opb
IDLAUNCH: 26203
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        647028 kB
Buffers:         19428 kB
Cached:         344040 kB
SwapCached:       1148 kB
Active:          26816 kB
Inactive:       338936 kB
HighTotal:      131008 kB
HighFree:         1792 kB
LowTotal:       903652 kB
LowFree:        645236 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16280 kB
Committed_AS:    92712 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:51:35 (client local time) WITH STATUS 1 IN 1110.96 SECONDS
stats: 26203 7 1110.96 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 23565/82493	Time: 17.0384/86400
c got solution with objective value: 183501900
c big objective detected
c trying from 0 to 511

c Decision: 30872/1822963	Time: 156.336/86400
c Decision: 32848/1822963	Time: 379.459/86400
c Decision: 34000/1822963	Time: 817.174/86400

	Unexpected exception :
	St9bad_alloc
#### 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.92 0.95 0.90 2/55 25300
Raw data (stat): 25300 (runsolver) R 25299 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 916815639 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+9.99985 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 11996 0 0 0 970 29 0 0 25 0 1 0 916815639 37756928 6371 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9218 6371 301 301 0 8917 0
vsize: 36872
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 12381 0 0 0 1968 31 0 0 25 0 1 0 916815639 39485440 6756 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9640 6756 301 301 0 9339 0
vsize: 38560
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 29655 0 0 0 2929 69 0 0 25 0 1 0 916815639 92389376 18216 4294967295 134512640 135730672 3221224576 3220259368 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22556 18217 301 301 0 22255 0
vsize: 90224
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 57188 0 0 0 3872 127 0 0 25 0 1 0 916815639 178003968 34530 4294967295 134512640 135730672 3221224576 3219893752 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43458 34531 301 301 0 43157 0
vsize: 173832
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 84699 0 0 0 4818 181 0 0 25 0 1 0 916815639 349204480 52634 4294967295 134512640 135730672 3221224576 3219721344 134788521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85255 52638 301 301 0 84954 0
vsize: 341020
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 110720 0 0 0 5763 236 0 0 25 0 1 0 916815639 347697152 66155 4294967295 134512640 135730672 3221224576 3220988400 134770727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84887 66156 301 301 0 84586 0
vsize: 339548
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 147061 0 0 0 6701 298 0 0 25 0 1 0 916815639 546131968 101577 4294967295 134512640 135730672 3221224576 3220704528 134775419 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133333 101580 301 301 0 133032 0
vsize: 533332
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 165001 0 0 0 7665 335 0 0 25 0 1 0 916815639 489832448 100613 4294967295 134512640 135730672 3221224576 3220316160 134732179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119588 100615 301 301 0 119287 0
vsize: 478352
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 200530 0 0 0 8590 409 0 0 25 0 1 0 916815639 592117760 111358 4294967295 134512640 135730672 3221224576 3220275660 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144560 111358 301 301 0 144259 0
vsize: 578240
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 216451 0 0 0 9556 444 0 0 25 0 1 0 916815639 649596928 127081 4294967295 134512640 135730672 3221224576 3219728568 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158593 127081 301 301 0 158292 0
vsize: 634372
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 237774 0 0 0 10511 490 0 0 25 0 1 0 916815639 699326464 148067 4294967295 134512640 135730672 3221224576 3221222640 134768865 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170734 148067 301 301 0 170433 0
vsize: 682936
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 245497 0 0 0 11495 505 0 0 25 0 1 0 916815639 706797568 148197 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172558 148197 301 301 0 172257 0
vsize: 690232
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 249407 0 0 0 12489 512 0 0 25 0 1 0 916815639 716767232 149786 4294967295 134512640 135730672 3221224576 3221222992 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174992 149786 301 301 0 174691 0
vsize: 699968
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 252120 0 0 0 13483 517 0 0 25 0 1 0 916815639 724111360 150765 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176785 150765 301 301 0 176484 0
vsize: 707140
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 255614 0 0 0 14478 523 0 0 25 0 1 0 916815639 731975680 152333 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178705 152333 301 301 0 178404 0
vsize: 714820
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 257319 0 0 0 15475 526 0 0 25 0 1 0 916815639 736169984 153009 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179729 153009 301 301 0 179428 0
vsize: 718916
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 259027 0 0 0 16472 530 0 0 25 0 1 0 916815639 741167104 153753 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180949 153753 301 301 0 180648 0
vsize: 723796
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 259807 0 0 0 17471 531 0 0 25 0 1 0 916815639 743264256 154020 4294967295 134512640 135730672 3221224576 3221222956 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181461 154020 301 301 0 181160 0
vsize: 725844
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 261406 0 0 0 18468 534 0 0 25 0 1 0 916815639 747458560 154593 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182485 154593 301 301 0 182184 0
vsize: 729940
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 262472 0 0 0 19466 536 0 0 25 0 1 0 916815639 749821952 155146 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183062 155146 301 301 0 182761 0
vsize: 732248
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 262548 0 0 0 20466 536 0 0 25 0 1 0 916815639 749821952 155222 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183062 155222 301 301 0 182761 0
vsize: 732248
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 262603 0 0 0 21466 537 0 0 25 0 1 0 916815639 749965312 155277 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183097 155277 301 301 0 182796 0
vsize: 732388
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 264605 0 0 0 22462 541 0 0 25 0 1 0 916815639 755687424 156213 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184494 156213 301 301 0 184193 0
vsize: 737976
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 266672 0 0 0 23458 544 0 0 25 0 1 0 916815639 761483264 157086 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185909 157086 301 301 0 185608 0
vsize: 743636
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 269472 0 0 0 24452 551 0 0 25 0 1 0 916815639 769572864 158274 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187884 158274 301 301 0 187583 0
vsize: 751536
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 273091 0 0 0 25443 560 0 0 25 0 1 0 916815639 769843200 158332 4294967295 134512640 135730672 3221224576 3221222928 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187950 158332 301 301 0 187649 0
vsize: 751800
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 273092 0 0 0 26443 560 0 0 25 0 1 0 916815639 769843200 158333 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187950 158333 301 301 0 187649 0
vsize: 751800
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 273106 0 0 0 27442 561 0 0 25 0 1 0 916815639 769843200 158347 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187950 158347 301 301 0 187649 0
vsize: 751800
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 273983 0 0 0 28439 563 0 0 25 0 1 0 916815639 772349952 158740 4294967295 134512640 135730672 3221224576 3221222624 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188562 158740 301 301 0 188261 0
vsize: 754248
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 274888 0 0 0 29437 565 0 0 25 0 1 0 916815639 774717440 159128 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189140 159128 301 301 0 188839 0
vsize: 756560
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 274908 0 0 0 30437 565 0 0 25 0 1 0 916815639 774717440 159148 4294967295 134512640 135730672 3221224576 3221222800 134747908 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189140 159148 301 301 0 188839 0
vsize: 756560
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 276223 0 0 0 31435 568 0 0 25 0 1 0 916815639 778272768 159750 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190008 159750 301 301 0 189707 0
vsize: 760032
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 276650 0 0 0 32434 569 0 0 25 0 1 0 916815639 779460608 160015 4294967295 134512640 135730672 3221224576 3221222928 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190298 160015 301 301 0 189997 0
vsize: 761192
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 277161 0 0 0 33433 570 0 0 25 0 1 0 916815639 781037568 160203 4294967295 134512640 135730672 3221224576 3221222800 134747720 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190683 160203 301 301 0 190382 0
vsize: 762732
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 277195 0 0 0 34433 570 0 0 25 0 1 0 916815639 781172736 160237 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190716 160237 301 301 0 190415 0
vsize: 762864
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 277228 0 0 0 35433 570 0 0 25 0 1 0 916815639 781172736 160270 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190716 160270 301 301 0 190415 0
vsize: 762864
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 278152 0 0 0 36432 572 0 0 25 0 1 0 916815639 783536128 160645 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191293 160645 301 301 0 190992 0
vsize: 765172
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 278179 0 0 0 37432 572 0 0 25 0 1 0 916815639 783536128 160672 4294967295 134512640 135730672 3221224576 3221222960 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191293 160672 301 301 0 190992 0
vsize: 765172
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 278257 0 0 0 38432 572 0 0 25 0 1 0 916815639 783802368 160750 4294967295 134512640 135730672 3221224576 3221222928 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191358 160750 301 301 0 191057 0
vsize: 765432
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 278976 0 0 0 39431 574 0 0 25 0 1 0 916815639 785637376 161018 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191806 161018 301 301 0 191505 0
vsize: 767224
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 278985 0 0 0 40431 574 0 0 25 0 1 0 916815639 785637376 161027 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191806 161027 301 301 0 191505 0
vsize: 767224
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 279001 0 0 0 41431 574 0 0 25 0 1 0 916815639 785637376 161043 4294967295 134512640 135730672 3221224576 3221222960 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191806 161043 301 301 0 191505 0
vsize: 767224
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 279087 0 0 0 42431 574 0 0 25 0 1 0 916815639 785768448 161096 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191838 161096 301 301 0 191537 0
vsize: 767352
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 279891 0 0 0 43429 576 0 0 25 0 1 0 916815639 787869696 161449 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192351 161449 301 301 0 192050 0
vsize: 769404
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 280784 0 0 0 44427 578 0 0 25 0 1 0 916815639 790634496 161858 4294967295 134512640 135730672 3221224576 3221222956 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193026 161858 301 301 0 192725 0
vsize: 772104
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 281215 0 0 0 45426 580 0 0 25 0 1 0 916815639 791683072 162032 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193282 162032 301 301 0 192981 0
vsize: 773128
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 281252 0 0 0 46426 580 0 0 25 0 1 0 916815639 791683072 162069 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193282 162069 301 301 0 192981 0
vsize: 773128
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 281328 0 0 0 47426 581 0 0 25 0 1 0 916815639 791683072 162145 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193282 162145 301 301 0 192981 0
vsize: 773128
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 284908 0 0 0 48416 590 0 0 25 0 1 0 916815639 791683072 162164 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193282 162164 301 301 0 192981 0
vsize: 773128
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 285728 0 0 0 49415 591 0 0 25 0 1 0 916815639 793784320 162500 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193795 162500 301 301 0 193494 0
vsize: 775180
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 285808 0 0 0 50414 592 0 0 25 0 1 0 916815639 793919488 162580 4294967295 134512640 135730672 3221224576 3221222800 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193828 162580 301 301 0 193527 0
vsize: 775312
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 285866 0 0 0 51414 593 0 0 25 0 1 0 916815639 794054656 162638 4294967295 134512640 135730672 3221224576 3221222800 134747534 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193861 162638 301 301 0 193560 0
vsize: 775444
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 286727 0 0 0 52412 595 0 0 25 0 1 0 916815639 796286976 163015 4294967295 134512640 135730672 3221224576 3221222800 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194406 163015 301 301 0 194105 0
vsize: 777624
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 287455 0 0 0 53411 595 0 0 25 0 1 0 916815639 798121984 163292 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194854 163292 301 301 0 194553 0
vsize: 779416
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 287575 0 0 0 54411 596 0 0 25 0 1 0 916815639 798384128 163347 4294967295 134512640 135730672 3221224576 3221222800 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194918 163347 301 301 0 194617 0
vsize: 779672
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 287792 0 0 0 55410 597 0 0 25 0 1 0 916815639 799043584 163466 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195079 163466 301 301 0 194778 0
vsize: 780316
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 287847 0 0 0 56410 597 0 0 25 0 1 0 916815639 799043584 163521 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195079 163521 301 301 0 194778 0
vsize: 780316
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 287908 0 0 0 57410 598 0 0 25 0 1 0 916815639 799043584 163582 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195079 163582 301 301 0 194778 0
vsize: 780316
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 287969 0 0 0 58410 598 0 0 25 0 1 0 916815639 799043584 163643 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195079 163643 301 301 0 194778 0
vsize: 780316
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 288442 0 0 0 59409 599 0 0 25 0 1 0 916815639 800092160 163859 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195335 163859 301 301 0 195034 0
vsize: 781340
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 288536 0 0 0 60408 600 0 0 25 0 1 0 916815639 800092160 163953 4294967295 134512640 135730672 3221224576 3221222624 134732604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195335 163953 301 301 0 195034 0
vsize: 781340
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 289452 0 0 0 61407 602 0 0 25 0 1 0 916815639 802189312 164353 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195847 164353 301 301 0 195546 0
vsize: 783388
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 289505 0 0 0 62406 602 0 0 25 0 1 0 916815639 802189312 164406 4294967295 134512640 135730672 3221224576 3221222960 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195847 164406 301 301 0 195546 0
vsize: 783388
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 289706 0 0 0 63406 603 0 0 25 0 1 0 916815639 802586624 164542 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195944 164542 301 301 0 195643 0
vsize: 783776
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 289782 0 0 0 64406 603 0 0 25 0 1 0 916815639 802586624 164618 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195944 164618 301 301 0 195643 0
vsize: 783776
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 289857 0 0 0 65406 603 0 0 25 0 1 0 916815639 802586624 164693 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195944 164693 301 301 0 195643 0
vsize: 783776
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 289950 0 0 0 66405 604 0 0 25 0 1 0 916815639 802721792 164786 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195977 164786 301 301 0 195676 0
vsize: 783908
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 290237 0 0 0 67405 604 0 0 25 0 1 0 916815639 802721792 165073 4294967295 134512640 135730672 3221224576 3221222928 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195977 165073 301 301 0 195676 0
vsize: 783908
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 293062 0 0 0 68400 610 0 0 25 0 1 0 916815639 810328064 166064 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197834 166064 301 301 0 197533 0
vsize: 791336
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 293236 0 0 0 69399 611 0 0 25 0 1 0 916815639 810328064 166238 4294967295 134512640 135730672 3221224576 3221222896 134763750 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197834 166238 301 301 0 197533 0
vsize: 791336
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 293344 0 0 0 70399 611 0 0 25 0 1 0 916815639 810328064 166346 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197834 166346 301 301 0 197533 0
vsize: 791336
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 293542 0 0 0 71399 611 0 0 25 0 1 0 916815639 810459136 166511 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197866 166511 301 301 0 197565 0
vsize: 791464
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 293735 0 0 0 72399 612 0 0 25 0 1 0 916815639 810725376 166671 4294967295 134512640 135730672 3221224576 3221222992 134748452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197931 166671 301 301 0 197630 0
vsize: 791724
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 293910 0 0 0 73398 612 0 0 25 0 1 0 916815639 810725376 166846 4294967295 134512640 135730672 3221224576 3221222640 134767171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197931 166846 301 301 0 197630 0
vsize: 791724
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 293996 0 0 0 74398 612 0 0 25 0 1 0 916815639 810725376 166932 4294967295 134512640 135730672 3221224576 3221222784 134732790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197931 166932 301 301 0 197630 0
vsize: 791724
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 294229 0 0 0 75397 613 0 0 25 0 1 0 916815639 810856448 167132 4294967295 134512640 135730672 3221224576 3221222800 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197963 167132 301 301 0 197662 0
vsize: 791852
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 294423 0 0 0 76397 614 0 0 25 0 1 0 916815639 810991616 167326 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197996 167326 301 301 0 197695 0
vsize: 791984
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 295209 0 0 0 77396 616 0 0 25 0 1 0 916815639 812564480 167726 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198380 167726 301 301 0 198079 0
vsize: 793520
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 295956 0 0 0 78394 617 0 0 25 0 1 0 916815639 814268416 168054 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198796 168054 301 301 0 198495 0
vsize: 795184
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 296078 0 0 0 79394 618 0 0 25 0 1 0 916815639 814268416 168176 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198796 168176 301 301 0 198495 0
vsize: 795184
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 296127 0 0 0 80394 618 0 0 25 0 1 0 916815639 814268416 168225 4294967295 134512640 135730672 3221224576 3221222928 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198796 168225 301 301 0 198495 0
vsize: 795184
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 296277 0 0 0 81393 619 0 0 25 0 1 0 916815639 814268416 168375 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198796 168375 301 301 0 198495 0
vsize: 795184
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 297135 0 0 0 82391 621 0 0 25 0 1 0 916815639 816103424 168782 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199244 168782 301 301 0 198943 0
vsize: 796976
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 297309 0 0 0 83390 621 0 0 25 0 1 0 916815639 816267264 168956 4294967295 134512640 135730672 3221224576 3221222928 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199284 168956 301 301 0 198983 0
vsize: 797136
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 297564 0 0 0 84390 622 0 0 25 0 1 0 916815639 816398336 169178 4294967295 134512640 135730672 3221224576 3221222800 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199316 169178 301 301 0 199015 0
vsize: 797264
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 297758 0 0 0 85390 623 0 0 25 0 1 0 916815639 816791552 169274 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199412 169274 301 301 0 199111 0
vsize: 797648
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 297859 0 0 0 86389 623 0 0 25 0 1 0 916815639 816791552 169375 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199412 169375 301 301 0 199111 0
vsize: 797648
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 298001 0 0 0 87389 624 0 0 25 0 1 0 916815639 816791552 169517 4294967295 134512640 135730672 3221224576 3221222848 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199412 169517 301 301 0 199111 0
vsize: 797648
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 298219 0 0 0 88388 625 0 0 25 0 1 0 916815639 817197056 169735 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199511 169735 301 301 0 199210 0
vsize: 798044
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 298386 0 0 0 89388 625 0 0 25 0 1 0 916815639 817459200 169837 4294967295 134512640 135730672 3221224576 3221222544 134786643 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199575 169837 301 301 0 199274 0
vsize: 798300
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 299130 0 0 0 90386 627 0 0 25 0 1 0 916815639 819294208 170130 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200023 170130 301 301 0 199722 0
vsize: 800092
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 299338 0 0 0 91386 627 0 0 25 0 1 0 916815639 819556352 170273 4294967295 134512640 135730672 3221224576 3221222816 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200087 170273 301 301 0 199786 0
vsize: 800348
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 303065 0 0 0 92374 640 0 0 25 0 1 0 916815639 870289408 170406 4294967295 134512640 135730672 3221224576 3221222904 134747441 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212473 170406 301 301 0 212172 0
vsize: 849892
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 303227 0 0 0 93373 640 0 0 25 0 1 0 916815639 870551552 170503 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212537 170503 301 301 0 212236 0
vsize: 850148
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 303339 0 0 0 94373 641 0 0 25 0 1 0 916815639 870551552 170615 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212537 170615 301 301 0 212236 0
vsize: 850148
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 303487 0 0 0 95373 641 0 0 25 0 1 0 916815639 870551552 170763 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212537 170763 301 301 0 212236 0
vsize: 850148
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 303598 0 0 0 96372 642 0 0 25 0 1 0 916815639 870551552 170874 4294967295 134512640 135730672 3221224576 3221222624 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212537 170874 301 301 0 212236 0
vsize: 850148
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 303733 0 0 0 97371 643 0 0 25 0 1 0 916815639 870551552 171009 4294967295 134512640 135730672 3221224576 3221222928 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212537 171009 301 301 0 212236 0
vsize: 850148
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 305118 0 0 0 98369 646 0 0 25 0 1 0 916815639 873959424 171557 4294967295 134512640 135730672 3221224576 3221222800 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213369 171557 301 301 0 213068 0
vsize: 853476
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 305180 0 0 0 99369 646 0 0 25 0 1 0 916815639 873959424 171619 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213369 171619 301 301 0 213068 0
vsize: 853476
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 305310 0 0 0 100368 646 0 0 25 0 1 0 916815639 873959424 171749 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213369 171749 301 301 0 213068 0
vsize: 853476
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 305433 0 0 0 101368 647 0 0 25 0 1 0 916815639 873959424 171872 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213369 171872 301 301 0 213068 0
vsize: 853476
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 305544 0 0 0 102368 647 0 0 25 0 1 0 916815639 874094592 171983 4294967295 134512640 135730672 3221224576 3221222928 134748073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213402 171983 301 301 0 213101 0
vsize: 853608
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 305662 0 0 0 103368 648 0 0 25 0 1 0 916815639 874094592 172101 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213402 172101 301 301 0 213101 0
vsize: 853608
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 305852 0 0 0 104368 648 0 0 25 0 1 0 916815639 874094592 172291 4294967295 134512640 135730672 3221224576 3221222624 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213402 172291 301 301 0 213101 0
vsize: 853608
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 306069 0 0 0 105368 648 0 0 25 0 1 0 916815639 874225664 172475 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213434 172475 301 301 0 213133 0
vsize: 853736
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 306300 0 0 0 106367 649 0 0 25 0 1 0 916815639 874356736 172673 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213466 172673 301 301 0 213165 0
vsize: 853864
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 306473 0 0 0 107367 649 0 0 25 0 1 0 916815639 874356736 172846 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213466 172846 301 301 0 213165 0
vsize: 853864
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 306880 0 0 0 108366 650 0 0 25 0 1 0 916815639 875024384 173188 4294967295 134512640 135730672 3221224576 3221222880 134787414 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 213629 173188 301 301 0 213328 0
vsize: 854516
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 323672 0 0 0 109319 696 0 0 25 0 1 0 916815639 943689728 189980 4294967295 134512640 135730672 3221224576 3221222464 135282752 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 230393 189980 301 301 0 230092 0
vsize: 921572
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 323672 0 0 0 110299 716 0 0 25 0 1 0 916815639 362762240 83871 4294967295 134512640 135730672 3221224576 3221222832 135282716 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88565 83871 301 301 0 88264 0
vsize: 354260
[startup+1110.82 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25300
Raw data (stat): 25300 (pb2sat-v2) R 25299 8378 8377 0 -1 0 323672 0 0 0 110299 716 0 0 25 0 1 0 916815639 362762240 83871 4294967295 134512640 135730672 3221224576 3221222832 135282716 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88565 83871 301 301 0 88264 0
vsize: 0

Child status: 1
Real time (s): 1110.82
CPU time (s): 1110.96
CPU user time (s): 1103.62
CPU system time (s): 7.33888
CPU usage (%): 100.013
Max. virtual memory (Kb): 921572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####