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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb
MD5SUM	7cb58e3aea22e107ecbc4e74969c24f1
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	780
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1074509823
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1024000000
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2147731454
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	22.6916
Number of variables	142226
Total number of constraints	28077
Number of constraints which are clauses	2438
Number of constraints which are cardinality constraints (but not clauses)	7196
Number of constraints which are nor clauses,nor cardinality constraints	18443
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 42653

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 13:09:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25855 boxname=wulflinc1 idbench=1155 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7cb58e3aea22e107ecbc4e74969c24f1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-CMS750_4.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-CMS750_4.opb
IDLAUNCH: 25855
/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:        590968 kB
Buffers:         26836 kB
Cached:         391764 kB
SwapCached:       1164 kB
Active:          44780 kB
Inactive:       376068 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        590716 kB
SwapTotal:     2097136 kB
SwapFree:      2094888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            17020 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 13:28:44 (client local time) WITH STATUS 1 IN 1133.41 SECONDS
stats: 25855 7 1133.41 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 35704/1969421	Time: 143.894/86400
c Decision: 36183/1969421	Time: 390.104/86400
c Decision: 37032/1969421	Time: 753.267/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.91 0.95 0.90 2/55 18763
Raw data (stat): 18763 (runsolver) R 18762 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 914155985 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 16235 0 0 0 960 39 0 0 25 0 1 0 914155985 48472064 9978 4294967295 134512640 135730672 3221224576 3221221504 134541073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11834 9978 301 301 0 11533 0
vsize: 47336
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 37118 0 0 0 1914 85 0 0 25 0 1 0 914155985 114532352 21455 4294967295 134512640 135730672 3221224576 3221196800 135282197 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27962 21456 301 301 0 27661 0
vsize: 111848
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 67149 0 0 0 2853 146 0 0 25 0 1 0 914155985 223088640 35971 4294967295 134512640 135730672 3221224576 3221205424 134784071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54465 35971 301 301 0 54164 0
vsize: 217860
[startup+40.0012 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 77882 0 0 0 3827 173 0 0 25 0 1 0 914155985 223088640 46492 4294967295 134512640 135730672 3221224576 3221202752 134546607 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54465 46492 301 301 0 54164 0
vsize: 217860
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 100309 0 0 0 4771 229 0 0 25 0 1 0 914155985 310218752 56446 4294967295 134512640 135730672 3221224576 3221221776 134577611 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75737 56446 301 301 0 75436 0
vsize: 302948
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 135697 0 0 0 5701 299 0 0 25 0 1 0 914155985 422334464 72259 4294967295 134512640 135730672 3221224576 3221221592 135291065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103109 72259 301 301 0 102808 0
vsize: 412436
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 145574 0 0 0 6676 324 0 0 25 0 1 0 914155985 422334464 81937 4294967295 134512640 135730672 3221224576 3221221776 134579228 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103109 81937 301 301 0 102808 0
vsize: 412436
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 178182 0 0 0 7598 402 0 0 25 0 1 0 914155985 522997760 89805 4294967295 134512640 135730672 3221224576 3221200536 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 127685 89805 301 301 0 127384 0
vsize: 510740
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 188014 0 0 0 8576 425 0 0 25 0 1 0 914155985 525565952 99451 4294967295 134512640 135730672 3221224576 3221221292 134637875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128312 99452 301 301 0 128011 0
vsize: 513248
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 198694 0 0 0 9546 454 0 0 25 0 1 0 914155985 569798656 109968 4294967295 134512640 135730672 3221224576 3221207360 134787109 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139111 109968 301 301 0 138810 0
vsize: 556444
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 210901 0 0 0 10513 486 0 0 25 0 1 0 914155985 581963776 121989 4294967295 134512640 135730672 3221224576 3221223248 134742369 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142081 121989 301 301 0 141780 0
vsize: 568324
[startup+120.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 221087 0 0 0 11489 510 0 0 25 0 1 0 914155985 607461376 128003 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148306 128003 301 301 0 148005 0
vsize: 593224
[startup+130.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 225662 0 0 0 12481 518 0 0 25 0 1 0 914155985 622534656 131219 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151986 131219 301 301 0 151685 0
vsize: 607944
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 230460 0 0 0 13472 528 0 0 25 0 1 0 914155985 634822656 133864 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154986 133864 301 301 0 154685 0
vsize: 619944
[startup+150.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 234742 0 0 0 14462 537 0 0 25 0 1 0 914155985 649871360 136679 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158660 136679 301 301 0 158359 0
vsize: 634640
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 236447 0 0 0 15442 557 0 0 25 0 1 0 914155985 656699392 138242 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160327 138242 301 301 0 160026 0
vsize: 641308
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 237167 0 0 0 16418 582 0 0 25 0 1 0 914155985 659623936 138962 4294967295 134512640 135730672 3221224576 3221223184 134744912 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161041 138962 301 301 0 160740 0
vsize: 644164
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 237364 0 0 0 17403 598 0 0 25 0 1 0 914155985 660422656 139159 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161236 139159 301 301 0 160935 0
vsize: 644944
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 237554 0 0 0 18388 613 0 0 25 0 1 0 914155985 661221376 139349 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161431 139349 301 301 0 161130 0
vsize: 645724
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 237906 0 0 0 19366 635 0 0 25 0 1 0 914155985 662679552 139701 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161787 139701 301 301 0 161486 0
vsize: 647148
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 238067 0 0 0 20348 653 0 0 25 0 1 0 914155985 663343104 139862 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161949 139862 301 301 0 161648 0
vsize: 647796
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 238362 0 0 0 21325 676 0 0 25 0 1 0 914155985 664543232 140157 4294967295 134512640 135730672 3221224576 3221223184 134744917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162242 140157 301 301 0 161941 0
vsize: 648968
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 238556 0 0 0 22306 695 0 0 25 0 1 0 914155985 665354240 140351 4294967295 134512640 135730672 3221224576 3221223184 134744919 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162440 140351 301 301 0 162139 0
vsize: 649760
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 239018 0 0 0 23303 698 0 0 25 0 1 0 914155985 667693056 140813 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163011 140813 301 301 0 162710 0
vsize: 652044
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 242865 0 0 0 24293 708 0 0 25 0 1 0 914155985 667693056 140813 4294967295 134512640 135730672 3221224576 3221223124 135301647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163011 140813 301 301 0 162710 0
vsize: 652044
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 245675 0 0 0 25287 715 0 0 25 0 1 0 914155985 675016704 142044 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164799 142044 301 301 0 164498 0
vsize: 659196
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 246710 0 0 0 26283 718 0 0 25 0 1 0 914155985 677781504 142497 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165474 142497 301 301 0 165173 0
vsize: 661896
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 250652 0 0 0 27275 726 0 0 25 0 1 0 914155985 688300032 144258 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168042 144258 301 301 0 167741 0
vsize: 672168
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 253805 0 0 0 28269 732 0 0 25 0 1 0 914155985 696336384 145861 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170004 145861 301 301 0 169703 0
vsize: 680016
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 258022 0 0 0 29260 741 0 0 25 0 1 0 914155985 708161536 147406 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172891 147406 301 301 0 172590 0
vsize: 691564
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 258766 0 0 0 30259 743 0 0 25 0 1 0 914155985 710991872 147637 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173582 147637 301 301 0 173281 0
vsize: 694328
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 261869 0 0 0 31250 751 0 0 25 0 1 0 914155985 720384000 149084 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175875 149084 301 301 0 175574 0
vsize: 703500
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 263952 0 0 0 32243 757 0 0 25 0 1 0 914155985 726142976 150208 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177281 150208 301 301 0 176980 0
vsize: 709124
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 268183 0 0 0 33236 764 0 0 25 0 1 0 914155985 736784384 152019 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179879 152019 301 301 0 179578 0
vsize: 719516
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 268391 0 0 0 34235 765 0 0 25 0 1 0 914155985 737640448 152194 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180088 152194 301 301 0 179787 0
vsize: 720352
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 268961 0 0 0 35234 767 0 0 25 0 1 0 914155985 739590144 152488 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180564 152488 301 301 0 180263 0
vsize: 722256
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 269938 0 0 0 36232 769 0 0 25 0 1 0 914155985 741892096 153014 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181126 153014 301 301 0 180825 0
vsize: 724504
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 275597 0 0 0 37221 780 0 0 25 0 1 0 914155985 758878208 154722 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185273 154722 301 301 0 184972 0
vsize: 741092
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 279776 0 0 0 38212 789 0 0 25 0 1 0 914155985 770367488 156448 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188078 156448 301 301 0 187777 0
vsize: 752312
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 281421 0 0 0 39209 792 0 0 25 0 1 0 914155985 775610368 156810 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189358 156810 301 301 0 189057 0
vsize: 757432
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 281888 0 0 0 40206 795 0 0 25 0 1 0 914155985 777396224 157145 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189794 157145 301 301 0 189493 0
vsize: 759176
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 283036 0 0 0 41204 798 0 0 25 0 1 0 914155985 780185600 157679 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190475 157679 301 301 0 190174 0
vsize: 761900
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 284688 0 0 0 42200 801 0 0 25 0 1 0 914155985 784478208 158496 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191523 158496 301 301 0 191222 0
vsize: 766092
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 285547 0 0 0 43198 804 0 0 25 0 1 0 914155985 786051072 158969 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191907 158969 301 301 0 191606 0
vsize: 767628
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 287633 0 0 0 44194 808 0 0 25 0 1 0 914155985 791498752 160120 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193237 160120 301 301 0 192936 0
vsize: 772948
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 287868 0 0 0 45194 809 0 0 25 0 1 0 914155985 791896064 160339 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193334 160339 301 301 0 193033 0
vsize: 773336
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 287960 0 0 0 46194 809 0 0 25 0 1 0 914155985 791896064 160431 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193334 160431 301 301 0 193033 0
vsize: 773336
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 288037 0 0 0 47193 809 0 0 25 0 1 0 914155985 792485888 160508 4294967295 134512640 135730672 3221224576 3221223184 134744788 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193478 160508 301 301 0 193177 0
vsize: 773912
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 288078 0 0 0 48191 812 0 0 25 0 1 0 914155985 792682496 160549 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193526 160549 301 301 0 193225 0
vsize: 774104
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 291944 0 0 0 49180 823 0 0 25 0 1 0 914155985 792821760 160568 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193560 160568 301 301 0 193259 0
vsize: 774240
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 299984 0 0 0 50164 839 0 0 25 0 1 0 914155985 810684416 164509 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197921 164509 301 301 0 197620 0
vsize: 791684
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 304334 0 0 0 51155 848 0 0 25 0 1 0 914155985 820133888 166633 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200228 166633 301 301 0 199927 0
vsize: 800912
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 308233 0 0 0 52146 858 0 0 25 0 1 0 914155985 828665856 168531 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202311 168531 301 301 0 202010 0
vsize: 809244
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 308674 0 0 0 53143 860 0 0 25 0 1 0 914155985 830230528 168793 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202693 168793 301 301 0 202392 0
vsize: 810772
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 308905 0 0 0 54140 864 0 0 25 0 1 0 914155985 831025152 168943 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202887 168943 301 301 0 202586 0
vsize: 811548
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 309154 0 0 0 55137 867 0 0 25 0 1 0 914155985 831881216 169094 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 203096 169094 301 301 0 202795 0
vsize: 812384
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 309441 0 0 0 56134 870 0 0 25 0 1 0 914155985 832917504 169315 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 203349 169315 301 301 0 203048 0
vsize: 813396
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 309950 0 0 0 57133 871 0 0 25 0 1 0 914155985 834371584 169562 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 203704 169562 301 301 0 203403 0
vsize: 814816
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 310194 0 0 0 58131 874 0 0 25 0 1 0 914155985 835293184 169741 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 203929 169741 301 301 0 203628 0
vsize: 815716
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 310268 0 0 0 59130 874 0 0 25 0 1 0 914155985 835559424 169815 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 203994 169815 301 301 0 203693 0
vsize: 815976
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 311358 0 0 0 60127 878 0 0 25 0 1 0 914155985 839901184 169879 4294967295 134512640 135730672 3221224576 3221223200 134748168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 205054 169879 301 301 0 204753 0
vsize: 820216
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 313157 0 0 0 61123 882 0 0 25 0 1 0 914155985 846192640 170139 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 206590 170139 301 301 0 206289 0
vsize: 826360
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 313185 0 0 0 62122 883 0 0 25 0 1 0 914155985 846192640 170167 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 206590 170167 301 301 0 206289 0
vsize: 826360
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 313186 0 0 0 63122 883 0 0 25 0 1 0 914155985 846192640 170168 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 206590 170168 301 301 0 206289 0
vsize: 826360
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 319289 0 0 0 64110 895 0 0 25 0 1 0 914155985 859430912 173015 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 209822 173015 301 301 0 209521 0
vsize: 839288
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 321276 0 0 0 65106 900 0 0 25 0 1 0 914155985 863506432 174034 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 210817 174034 301 301 0 210516 0
vsize: 843268
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 324094 0 0 0 66100 905 0 0 25 0 1 0 914155985 870686720 175401 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212570 175401 301 301 0 212269 0
vsize: 850280
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 326829 0 0 0 67095 911 0 0 25 0 1 0 914155985 876589056 176717 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 214011 176717 301 301 0 213710 0
vsize: 856044
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 328426 0 0 0 68092 915 0 0 25 0 1 0 914155985 880095232 177542 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 214867 177542 301 301 0 214566 0
vsize: 859468
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 330817 0 0 0 69087 920 0 0 25 0 1 0 914155985 885424128 178836 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 216168 178836 301 301 0 215867 0
vsize: 864672
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 333447 0 0 0 70083 924 0 0 25 0 1 0 914155985 891473920 180142 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 217645 180142 301 301 0 217344 0
vsize: 870580
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 333586 0 0 0 71083 924 0 0 25 0 1 0 914155985 892006400 180215 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 217775 180215 301 301 0 217474 0
vsize: 871100
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 333589 0 0 0 72083 924 0 0 25 0 1 0 914155985 892006400 180218 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 217775 180218 301 301 0 217474 0
vsize: 871100
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334653 0 0 0 73082 926 0 0 25 0 1 0 914155985 894509056 180765 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 218386 180765 301 301 0 218085 0
vsize: 873544
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334680 0 0 0 74081 926 0 0 25 0 1 0 914155985 894644224 180792 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 218419 180792 301 301 0 218118 0
vsize: 873676
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334680 0 0 0 75081 927 0 0 25 0 1 0 914155985 894644224 180792 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 218419 180792 301 301 0 218118 0
vsize: 873676
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334683 0 0 0 76082 927 0 0 25 0 1 0 914155985 894644224 180795 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 218419 180795 301 301 0 218118 0
vsize: 873676
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334686 0 0 0 77082 927 0 0 25 0 1 0 914155985 894644224 180798 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 218419 180798 301 301 0 218118 0
vsize: 873676
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334686 0 0 0 78082 927 0 0 25 0 1 0 914155985 894644224 180798 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 218419 180798 301 301 0 218118 0
vsize: 873676
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 335563 0 0 0 79080 929 0 0 25 0 1 0 914155985 896479232 181224 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 218867 181224 301 301 0 218566 0
vsize: 875468
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 338327 0 0 0 80075 934 0 0 25 0 1 0 914155985 902516736 182569 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 220341 182569 301 301 0 220040 0
vsize: 881364
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 341153 0 0 0 81070 940 0 0 25 0 1 0 914155985 908685312 183943 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 221847 183943 301 301 0 221546 0
vsize: 887388
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 342056 0 0 0 82068 942 0 0 25 0 1 0 914155985 910655488 184395 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 222328 184395 301 301 0 222027 0
vsize: 889312
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 343875 0 0 0 83065 945 0 0 25 0 1 0 914155985 914591744 185279 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 223289 185279 301 301 0 222988 0
vsize: 893156
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 344868 0 0 0 84063 947 0 0 25 0 1 0 914155985 916963328 185788 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 223868 185788 301 301 0 223567 0
vsize: 895472
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 348716 0 0 0 85052 959 0 0 25 0 1 0 914155985 932720640 189636 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 227715 189636 301 301 0 227414 0
vsize: 910860
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 348788 0 0 0 86050 960 0 0 25 0 1 0 914155985 917098496 185861 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 223901 185861 301 301 0 223600 0
vsize: 895604
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 349663 0 0 0 87048 962 0 0 25 0 1 0 914155985 918933504 186285 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 224349 186285 301 301 0 224048 0
vsize: 897396
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 349754 0 0 0 88048 963 0 0 25 0 1 0 914155985 919474176 186376 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 224481 186376 301 301 0 224180 0
vsize: 897924
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 349850 0 0 0 89047 964 0 0 25 0 1 0 914155985 919875584 186472 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 224579 186472 301 301 0 224278 0
vsize: 898316
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 351259 0 0 0 90043 969 0 0 25 0 1 0 914155985 923684864 187044 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 225509 187044 301 301 0 225208 0
vsize: 902036
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 351408 0 0 0 91041 970 0 0 25 0 1 0 914155985 923684864 187193 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 225509 187193 301 301 0 225208 0
vsize: 902036
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353417 0 0 0 92035 976 0 0 25 0 1 0 914155985 928944128 188038 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 226793 188038 301 301 0 226492 0
vsize: 907172
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353424 0 0 0 93034 978 0 0 25 0 1 0 914155985 928944128 188045 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 226793 188045 301 301 0 226492 0
vsize: 907172
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353425 0 0 0 94034 978 0 0 25 0 1 0 914155985 928944128 188046 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 226793 188046 301 301 0 226492 0
vsize: 907172
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353426 0 0 0 95034 978 0 0 25 0 1 0 914155985 928944128 188047 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 226793 188047 301 301 0 226492 0
vsize: 907172
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353484 0 0 0 96034 978 0 0 25 0 1 0 914155985 929075200 188072 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 226825 188072 301 301 0 226524 0
vsize: 907300
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356682 0 0 0 97027 985 0 0 25 0 1 0 914155985 936439808 189653 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 228623 189653 301 301 0 228322 0
vsize: 914492
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356779 0 0 0 98027 986 0 0 25 0 1 0 914155985 936439808 189750 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 228623 189750 301 301 0 228322 0
vsize: 914492
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356779 0 0 0 99027 986 0 0 25 0 1 0 914155985 936439808 189750 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 228623 189750 301 301 0 228322 0
vsize: 914492
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356779 0 0 0 100027 986 0 0 25 0 1 0 914155985 936439808 189750 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 228623 189750 301 301 0 228322 0
vsize: 914492
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356779 0 0 0 101027 986 0 0 25 0 1 0 914155985 936439808 189750 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 228623 189750 301 301 0 228322 0
vsize: 914492
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356903 0 0 0 102026 987 0 0 25 0 1 0 914155985 937103360 189874 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 228785 189874 301 301 0 228484 0
vsize: 915140
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356947 0 0 0 103027 987 0 0 25 0 1 0 914155985 937238528 189918 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 228818 189918 301 301 0 228517 0
vsize: 915272
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357520 0 0 0 104025 989 0 0 25 0 1 0 914155985 939335680 189978 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 229330 189978 301 301 0 229029 0
vsize: 917320
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357641 0 0 0 105024 990 0 0 25 0 1 0 914155985 939483136 190099 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 229366 190099 301 301 0 229065 0
vsize: 917464
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357651 0 0 0 106024 991 0 0 25 0 1 0 914155985 939483136 190109 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 229366 190109 301 301 0 229065 0
vsize: 917464
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357916 0 0 0 107022 993 0 0 25 0 1 0 914155985 940593152 190322 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 229637 190322 301 301 0 229336 0
vsize: 918548
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357922 0 0 0 108021 993 0 0 25 0 1 0 914155985 940593152 190328 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 229637 190328 301 301 0 229336 0
vsize: 918548
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357971 0 0 0 109021 994 0 0 25 0 1 0 914155985 940789760 190377 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 229685 190377 301 301 0 229384 0
vsize: 918740
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 358048 0 0 0 110020 995 0 0 25 0 1 0 914155985 941056000 190421 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 229750 190421 301 301 0 229449 0
vsize: 919000
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 358776 0 0 0 111018 997 0 0 25 0 1 0 914155985 942899200 190807 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 230200 190807 301 301 0 229899 0
vsize: 920800
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 358854 0 0 0 111996 1020 0 0 25 0 1 0 914155985 326909952 77131 4294967295 134512640 135730672 3221224576 3221222764 135281170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79812 77131 301 301 0 79511 0
vsize: 319248
[startup+1133.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18763
Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 358854 0 0 0 111996 1020 0 0 25 0 1 0 914155985 326909952 77131 4294967295 134512640 135730672 3221224576 3221222764 135281170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79812 77131 301 301 0 79511 0
vsize: 0

Child status: 1
Real time (s): 1133.29
CPU time (s): 1133.41
CPU user time (s): 1123.05
CPU system time (s): 10.3624
CPU usage (%): 100.011
Max. virtual memory (Kb): 920800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####