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-neos7.opb
MD5SUM	a0c0383d4386a0d720647b21fc890d47
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	3056
Biggest coefficient in the objective function	7864320000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	588566085150
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	524288000000
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	1048577097151
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1252.35
Number of variables	22900
Total number of constraints	2578
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	566
Number of constraints which are nor clauses,nor cardinality constraints	2012
Minimum length of a constraint	1
Maximum length of a constraint	387
Trace number 43014

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 20:58:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26219 boxname=wulflinc2 idbench=1519 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a0c0383d4386a0d720647b21fc890d47  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos7.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos7.opb
IDLAUNCH: 26219
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        654108 kB
Buffers:         25444 kB
Cached:         332516 kB
SwapCached:       1420 kB
Active:          28020 kB
Inactive:       331980 kB
HighTotal:      131008 kB
HighFree:         8456 kB
LowTotal:       903652 kB
LowFree:        645652 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14936 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 21:18:48 (client local time) WITH STATUS 0 IN 1202.3 SECONDS
stats: 26219 7 1202.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 395797/1441932	Time: 726.936/86400
c Decision: 396232/1441932	Time: 1095.01/86400s 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.93 0.99 0.92 1/54 15488
Raw data (stat): 15488 (runsolver) R 15487 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973830983 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.94 0.99 0.92 2/54 15488
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 25094 0 0 0 941 58 0 0 25 0 1 0 973830983 77078528 14187 4294967295 134512640 135730672 3221224576 3221207264 134785866 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18818 14187 301 301 0 18517 0
vsize: 75272
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.99 0.92 2/54 15488
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 52240 0 0 0 1878 121 0 0 25 0 1 0 973830983 153473024 30329 4294967295 134512640 135730672 3221224576 3221221708 135159516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37469 30329 301 301 0 37168 0
vsize: 149876
[startup+30.0008 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 15488
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 89739 0 0 0 2798 200 0 0 25 0 1 0 973830983 262975488 46116 4294967295 134512640 135730672 3221224576 3221203784 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64203 46117 301 301 0 63902 0
vsize: 256812
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 15488
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 105733 0 0 0 3762 236 0 0 25 0 1 0 973830983 304910336 61829 4294967295 134512640 135730672 3221224576 3221202856 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74441 61829 301 301 0 74140 0
vsize: 297764
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 15488
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 143523 0 0 0 4689 309 0 0 25 0 1 0 973830983 421765120 81020 4294967295 134512640 135730672 3221224576 3221214304 134743059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102970 81020 301 301 0 102669 0
vsize: 411880
[startup+60.002 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 15488
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 180717 0 0 0 5606 392 0 0 25 0 1 0 973830983 522428416 93390 4294967295 134512640 135730672 3221224576 3221202856 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127546 93390 301 301 0 127245 0
vsize: 510184
[startup+70.0029 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 15488
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 188732 0 0 0 6586 412 0 0 25 0 1 0 973830983 533966848 98543 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130363 98543 301 301 0 130062 0
vsize: 521452
[startup+80.0031 s]
Raw data (loadavg): 1.06 1.00 0.93 3/57 15525
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 190233 0 0 0 7581 416 0 0 25 0 1 0 973830983 540057600 99760 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131850 99760 301 301 0 131549 0
vsize: 527400
[startup+90.0043 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 15541
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 192804 0 0 0 8576 422 0 0 25 0 1 0 973830983 550481920 101894 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134395 101894 301 301 0 134094 0
vsize: 537580
[startup+100.005 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 15541
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 194747 0 0 0 9573 425 0 0 25 0 1 0 973830983 558039040 103232 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136240 103232 301 301 0 135939 0
vsize: 544960
[startup+110.005 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 15541
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 196188 0 0 0 10570 428 0 0 25 0 1 0 973830983 563867648 104151 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137663 104151 301 301 0 137362 0
vsize: 550652
[startup+120.006 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 15541
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 197112 0 0 0 11568 430 0 0 25 0 1 0 973830983 567746560 104779 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138610 104779 301 301 0 138309 0
vsize: 554440
[startup+130.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15541
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 197807 0 0 0 12567 432 0 0 25 0 1 0 973830983 570421248 105243 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139263 105243 301 301 0 138962 0
vsize: 557052
[startup+140.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15541
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 198525 0 0 0 13565 434 0 0 25 0 1 0 973830983 573210624 105796 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139944 105796 301 301 0 139643 0
vsize: 559776
[startup+150.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 199131 0 0 0 14563 436 0 0 25 0 1 0 973830983 576012288 106303 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140628 106303 301 301 0 140327 0
vsize: 562512
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 199850 0 0 0 15561 438 0 0 25 0 1 0 973830983 578662400 106694 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141275 106694 301 301 0 140974 0
vsize: 565100
[startup+170.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 200664 0 0 0 16559 440 0 0 25 0 1 0 973830983 581562368 107052 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141983 107052 301 301 0 141682 0
vsize: 567932
[startup+180.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 200925 0 0 0 17558 442 0 0 25 0 1 0 973830983 582909952 107280 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142312 107280 301 301 0 142011 0
vsize: 569248
[startup+190.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 201284 0 0 0 18556 443 0 0 25 0 1 0 973830983 584245248 107507 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142638 107507 301 301 0 142337 0
vsize: 570552
[startup+200.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 201493 0 0 0 19556 444 0 0 25 0 1 0 973830983 585453568 107716 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142933 107716 301 301 0 142632 0
vsize: 571732
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 201778 0 0 0 20555 445 0 0 25 0 1 0 973830983 586649600 107935 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143225 107935 301 301 0 142924 0
vsize: 572900
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 202557 0 0 0 21554 447 0 0 25 0 1 0 973830983 590077952 108387 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144062 108387 301 301 0 143761 0
vsize: 576248
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 203122 0 0 0 22553 448 0 0 25 0 1 0 973830983 592326656 108723 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144611 108723 301 301 0 144310 0
vsize: 578444
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 203260 0 0 0 23552 448 0 0 25 0 1 0 973830983 592855040 108795 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144740 108795 301 301 0 144439 0
vsize: 578960
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 203268 0 0 0 24552 449 0 0 25 0 1 0 973830983 592855040 108803 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144740 108803 301 301 0 144439 0
vsize: 578960
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 203496 0 0 0 25551 450 0 0 25 0 1 0 973830983 594046976 108932 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145031 108932 301 301 0 144730 0
vsize: 580124
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 203812 0 0 0 26551 450 0 0 25 0 1 0 973830983 595103744 109117 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145289 109117 301 301 0 144988 0
vsize: 581156
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 204138 0 0 0 27550 451 0 0 25 0 1 0 973830983 596553728 109280 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145643 109280 301 301 0 145342 0
vsize: 582572
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 204264 0 0 0 28550 451 0 0 25 0 1 0 973830983 597217280 109373 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145805 109373 301 301 0 145504 0
vsize: 583220
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 204346 0 0 0 29550 451 0 0 25 0 1 0 973830983 597614592 109422 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145902 109422 301 301 0 145601 0
vsize: 583608
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 204383 0 0 0 30550 452 0 0 25 0 1 0 973830983 597880832 109459 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145967 109459 301 301 0 145666 0
vsize: 583868
[startup+320.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 204427 0 0 0 31550 452 0 0 25 0 1 0 973830983 598147072 109503 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146032 109503 301 301 0 145731 0
vsize: 584128
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 204582 0 0 0 32549 453 0 0 25 0 1 0 973830983 598409216 109592 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146096 109592 301 301 0 145795 0
vsize: 584384
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 204673 0 0 0 33549 453 0 0 25 0 1 0 973830983 598540288 109650 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146128 109650 301 301 0 145827 0
vsize: 584512
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 204798 0 0 0 34549 454 0 0 25 0 1 0 973830983 599072768 109775 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146258 109775 301 301 0 145957 0
vsize: 585032
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 205223 0 0 0 35548 454 0 0 25 0 1 0 973830983 600252416 109907 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146546 109907 301 301 0 146245 0
vsize: 586184
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 205467 0 0 0 36548 455 0 0 25 0 1 0 973830983 600907776 109988 4294967295 134512640 135730672 3221224576 3221223200 134748194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146706 109988 301 301 0 146405 0
vsize: 586824
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 205545 0 0 0 37547 456 0 0 25 0 1 0 973830983 601440256 110066 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146836 110066 301 301 0 146535 0
vsize: 587344
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 205713 0 0 0 38547 457 0 0 25 0 1 0 973830983 601968640 110168 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146965 110168 301 301 0 146664 0
vsize: 587860
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 205764 0 0 0 39546 457 0 0 25 0 1 0 973830983 602099712 110186 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146997 110186 301 301 0 146696 0
vsize: 587988
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206007 0 0 0 40546 458 0 0 25 0 1 0 973830983 602886144 110234 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147189 110234 301 301 0 146888 0
vsize: 588756
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206043 0 0 0 41545 458 0 0 25 0 1 0 973830983 603152384 110270 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147254 110270 301 301 0 146953 0
vsize: 589016
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15543
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206164 0 0 0 42546 459 0 0 25 0 1 0 973830983 603951104 110391 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147449 110391 301 301 0 147148 0
vsize: 589796
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206514 0 0 0 43545 460 0 0 25 0 1 0 973830983 606011392 110659 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147952 110659 301 301 0 147651 0
vsize: 591808
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206550 0 0 0 44545 460 0 0 25 0 1 0 973830983 606277632 110695 4294967295 134512640 135730672 3221224576 3221223072 134747590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148017 110695 301 301 0 147716 0
vsize: 592068
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206660 0 0 0 45544 460 0 0 25 0 1 0 973830983 606539776 110740 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148081 110740 301 301 0 147780 0
vsize: 592324
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206977 0 0 0 46544 461 0 0 25 0 1 0 973830983 607326208 110862 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148273 110862 301 301 0 147972 0
vsize: 593092
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206982 0 0 0 47544 462 0 0 25 0 1 0 973830983 607326208 110867 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148273 110867 301 301 0 147972 0
vsize: 593092
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 206985 0 0 0 48543 462 0 0 25 0 1 0 973830983 607326208 110870 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148273 110870 301 301 0 147972 0
vsize: 593092
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 207000 0 0 0 49543 462 0 0 25 0 1 0 973830983 607326208 110885 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148273 110885 301 301 0 147972 0
vsize: 593092
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 207063 0 0 0 50543 463 0 0 25 0 1 0 973830983 607326208 110948 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148273 110948 301 301 0 147972 0
vsize: 593092
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 207441 0 0 0 51542 464 0 0 25 0 1 0 973830983 608653312 111260 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148597 111260 301 301 0 148296 0
vsize: 594388
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 207742 0 0 0 52542 464 0 0 25 0 1 0 973830983 609980416 111496 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148921 111496 301 301 0 148620 0
vsize: 595684
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 207743 0 0 0 53542 465 0 0 25 0 1 0 973830983 609980416 111497 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148921 111497 301 301 0 148620 0
vsize: 595684
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 207860 0 0 0 54541 465 0 0 25 0 1 0 973830983 610242560 111549 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148985 111549 301 301 0 148684 0
vsize: 595940
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 207873 0 0 0 55541 466 0 0 25 0 1 0 973830983 610242560 111562 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148985 111562 301 301 0 148684 0
vsize: 595940
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208099 0 0 0 56541 466 0 0 25 0 1 0 973830983 610766848 111658 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149113 111658 301 301 0 148812 0
vsize: 596452
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208102 0 0 0 57541 467 0 0 25 0 1 0 973830983 610766848 111661 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149113 111661 301 301 0 148812 0
vsize: 596452
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208220 0 0 0 58540 467 0 0 25 0 1 0 973830983 611028992 111714 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149177 111714 301 301 0 148876 0
vsize: 596708
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208297 0 0 0 59540 468 0 0 25 0 1 0 973830983 611295232 111791 4294967295 134512640 135730672 3221224576 3221223224 134748261 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149242 111791 301 301 0 148941 0
vsize: 596968
[startup+610.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208304 0 0 0 60540 468 0 0 25 0 1 0 973830983 611295232 111798 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149242 111798 301 301 0 148941 0
vsize: 596968
[startup+620.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208311 0 0 0 61539 469 0 0 25 0 1 0 973830983 611295232 111805 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149242 111805 301 301 0 148941 0
vsize: 596968
[startup+630.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208362 0 0 0 62539 469 0 0 25 0 1 0 973830983 611426304 111823 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149274 111823 301 301 0 148973 0
vsize: 597096
[startup+640.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208617 0 0 0 63539 470 0 0 25 0 1 0 973830983 612478976 111948 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149531 111948 301 301 0 149230 0
vsize: 598124
[startup+650.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208699 0 0 0 64538 470 0 0 25 0 1 0 973830983 612741120 111965 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149595 111965 301 301 0 149294 0
vsize: 598380
[startup+660.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208787 0 0 0 65538 471 0 0 25 0 1 0 973830983 613003264 111988 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149659 111988 301 301 0 149358 0
vsize: 598636
[startup+670.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208802 0 0 0 66538 471 0 0 25 0 1 0 973830983 613003264 112003 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149659 112003 301 301 0 149358 0
vsize: 598636
[startup+680.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208805 0 0 0 67537 472 0 0 25 0 1 0 973830983 613003264 112006 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149659 112006 301 301 0 149358 0
vsize: 598636
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208827 0 0 0 68537 472 0 0 25 0 1 0 973830983 613003264 112028 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149659 112028 301 301 0 149358 0
vsize: 598636
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 208920 0 0 0 69537 473 0 0 25 0 1 0 973830983 613265408 112056 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149723 112056 301 301 0 149422 0
vsize: 598892
[startup+710.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 209130 0 0 0 70536 473 0 0 25 0 1 0 973830983 614055936 112136 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149916 112136 301 301 0 149615 0
vsize: 599664
[startup+720.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 209368 0 0 0 71536 474 0 0 25 0 1 0 973830983 615260160 112308 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150210 112308 301 301 0 149909 0
vsize: 600840
[startup+730.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 209498 0 0 0 72535 475 0 0 25 0 1 0 973830983 615931904 112405 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150374 112405 301 301 0 150073 0
vsize: 601496
[startup+740.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 209741 0 0 0 73534 476 0 0 25 0 1 0 973830983 617127936 112615 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150666 112615 301 301 0 150365 0
vsize: 602664
[startup+750.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 209775 0 0 0 74534 476 0 0 25 0 1 0 973830983 617394176 112649 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150731 112649 301 301 0 150430 0
vsize: 602924
[startup+760.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 210059 0 0 0 75533 477 0 0 25 0 1 0 973830983 618180608 112738 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150923 112738 301 301 0 150622 0
vsize: 603692
[startup+770.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 210331 0 0 0 76533 478 0 0 25 0 1 0 973830983 619102208 112815 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151148 112815 301 301 0 150847 0
vsize: 604592
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 210550 0 0 0 77532 479 0 0 25 0 1 0 973830983 619892736 112904 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151341 112904 301 301 0 151040 0
vsize: 605364
[startup+790.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213468 0 0 0 78526 486 0 0 25 0 1 0 973830983 620154880 112940 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151405 112940 301 301 0 151104 0
vsize: 605620
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213531 0 0 0 79525 486 0 0 25 0 1 0 973830983 620290048 113003 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151438 113003 301 301 0 151137 0
vsize: 605752
[startup+810.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213682 0 0 0 80524 487 0 0 25 0 1 0 973830983 620830720 113154 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151570 113154 301 301 0 151269 0
vsize: 606280
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213682 0 0 0 81524 487 0 0 25 0 1 0 973830983 620830720 113154 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151570 113154 301 301 0 151269 0
vsize: 606280
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213685 0 0 0 82524 488 0 0 25 0 1 0 973830983 620830720 113157 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151570 113157 301 301 0 151269 0
vsize: 606280
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213686 0 0 0 83524 488 0 0 25 0 1 0 973830983 620830720 113158 4294967295 134512640 135730672 3221224576 3221223264 134748446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151570 113158 301 301 0 151269 0
vsize: 606280
[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213687 0 0 0 84523 489 0 0 25 0 1 0 973830983 620830720 113159 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151570 113159 301 301 0 151269 0
vsize: 606280
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213695 0 0 0 85523 489 0 0 25 0 1 0 973830983 620830720 113167 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151570 113167 301 301 0 151269 0
vsize: 606280
[startup+870.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213718 0 0 0 86524 489 0 0 25 0 1 0 973830983 620965888 113190 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151603 113190 301 301 0 151302 0
vsize: 606412
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213879 0 0 0 87523 489 0 0 25 0 1 0 973830983 621961216 113351 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151846 113351 301 301 0 151545 0
vsize: 607384
[startup+890.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213933 0 0 0 88523 489 0 0 25 0 1 0 973830983 621961216 113405 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151846 113405 301 301 0 151545 0
vsize: 607384
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 213937 0 0 0 89523 490 0 0 25 0 1 0 973830983 621961216 113409 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151846 113409 301 301 0 151545 0
vsize: 607384
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 214392 0 0 0 90522 491 0 0 25 0 1 0 973830983 623534080 113474 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152230 113474 301 301 0 151929 0
vsize: 608920
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 214657 0 0 0 91521 493 0 0 25 0 1 0 973830983 624586752 113544 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152487 113544 301 301 0 152186 0
vsize: 609948
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 214739 0 0 0 92521 493 0 0 25 0 1 0 973830983 624848896 113561 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152551 113561 301 301 0 152250 0
vsize: 610204
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215240 0 0 0 93520 494 0 0 25 0 1 0 973830983 626421760 113672 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152935 113672 301 301 0 152634 0
vsize: 611740
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.93 3/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215509 0 0 0 94519 495 0 0 25 0 1 0 973830983 627208192 113746 4294967295 134512640 135730672 3221224576 3221222896 134732486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153127 113746 301 301 0 152826 0
vsize: 612508
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215600 0 0 0 95519 495 0 0 25 0 1 0 973830983 627470336 113772 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153191 113772 301 301 0 152890 0
vsize: 612764
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215681 0 0 0 96519 496 0 0 25 0 1 0 973830983 627867648 113820 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153288 113820 301 301 0 152987 0
vsize: 613152
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215686 0 0 0 97519 496 0 0 25 0 1 0 973830983 627867648 113825 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153288 113825 301 301 0 152987 0
vsize: 613152
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215706 0 0 0 98518 496 0 0 25 0 1 0 973830983 627867648 113845 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153288 113845 301 301 0 152987 0
vsize: 613152
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215709 0 0 0 99518 497 0 0 25 0 1 0 973830983 627867648 113848 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153288 113848 301 301 0 152987 0
vsize: 613152
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215730 0 0 0 100518 497 0 0 25 0 1 0 973830983 627867648 113869 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153288 113869 301 301 0 152987 0
vsize: 613152
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215731 0 0 0 101518 497 0 0 25 0 1 0 973830983 627867648 113870 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153288 113870 301 301 0 152987 0
vsize: 613152
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215810 0 0 0 102518 498 0 0 25 0 1 0 973830983 628129792 113884 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153352 113884 301 301 0 153051 0
vsize: 613408
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 215886 0 0 0 103518 498 0 0 25 0 1 0 973830983 628391936 113895 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153416 113895 301 301 0 153115 0
vsize: 613664
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 216075 0 0 0 104517 499 0 0 25 0 1 0 973830983 628916224 113954 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153544 113954 301 301 0 153243 0
vsize: 614176
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 216552 0 0 0 105516 499 0 0 25 0 1 0 973830983 631287808 114236 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154123 114236 301 301 0 153822 0
vsize: 616492
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 216832 0 0 0 106516 500 0 0 25 0 1 0 973830983 632074240 114321 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154315 114321 301 301 0 154014 0
vsize: 617260
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 217108 0 0 0 107515 502 0 0 25 0 1 0 973830983 632860672 114402 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154507 114402 301 301 0 154206 0
vsize: 618028
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 217542 0 0 0 108514 503 0 0 25 0 1 0 973830983 634171392 114511 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154827 114511 301 301 0 154526 0
vsize: 619308
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 217548 0 0 0 109514 503 0 0 25 0 1 0 973830983 634171392 114517 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154827 114517 301 301 0 154526 0
vsize: 619308
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 217555 0 0 0 110513 503 0 0 25 0 1 0 973830983 634171392 114524 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154827 114524 301 301 0 154526 0
vsize: 619308
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 217559 0 0 0 111513 504 0 0 25 0 1 0 973830983 634171392 114528 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154827 114528 301 301 0 154526 0
vsize: 619308
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 217562 0 0 0 112513 504 0 0 25 0 1 0 973830983 667725824 114531 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163019 114531 301 301 0 162718 0
vsize: 652076
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 217731 0 0 0 113513 504 0 0 25 0 1 0 973830983 668250112 114570 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163147 114570 301 301 0 162846 0
vsize: 652588
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 217914 0 0 0 114512 505 0 0 25 0 1 0 973830983 668774400 114623 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163275 114623 301 301 0 162974 0
vsize: 653100
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 220732 0 0 0 115505 512 0 0 25 0 1 0 973830983 668774400 114624 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163275 114624 301 301 0 162974 0
vsize: 653100
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 220812 0 0 0 116505 513 0 0 25 0 1 0 973830983 669036544 114639 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163339 114639 301 301 0 163038 0
vsize: 653356
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 220984 0 0 0 117504 514 0 0 25 0 1 0 973830983 669560832 114681 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163467 114681 301 301 0 163166 0
vsize: 653868
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 220986 0 0 0 118504 514 0 0 25 0 1 0 973830983 669560832 114683 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163467 114683 301 301 0 163166 0
vsize: 653868
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 220989 0 0 0 119504 514 0 0 25 0 1 0 973830983 669560832 114686 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163467 114686 301 301 0 163166 0
vsize: 653868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.14 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 15545
Raw data (stat): 15488 (pb2sat-v2) R 15487 31399 31398 0 -1 0 220989 0 0 0 119504 514 0 0 25 0 1 0 973830983 669560832 114686 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163467 114686 301 301 0 163166 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.14
CPU time (s): 1202.3
CPU user time (s): 1196.93
CPU system time (s): 5.37218
CPU usage (%): 100.013
Max. virtual memory (Kb): 653868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####