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/milp/normalized-mps-v2-20-10-neos15.opb
MD5SUM	584a89cb58a30b93d7847990b5296729
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	10400
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	77389326876814405009408
Number of bits of the sum of numbers in the objective function	77
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	77389326876814405009408
Number of bits of the biggest sum of numbers	77
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1240.48
Number of variables	17600
Total number of constraints	792
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	160
Number of constraints which are nor clauses,nor cardinality constraints	632
Minimum length of a constraint	1
Maximum length of a constraint	150
Trace number 42613

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 12:31:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25822 boxname=wulflinc2 idbench=1122 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  584a89cb58a30b93d7847990b5296729  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-neos15.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-neos15.opb
IDLAUNCH: 25822
/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:        709304 kB
Buffers:         21184 kB
Cached:         281480 kB
SwapCached:       1432 kB
Active:          27792 kB
Inactive:       276980 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        709052 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14892 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:51:59 (client local time) WITH STATUS 0 IN 1202.22 SECONDS
stats: 25822 7 1202.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 62277/1093407	Time: 160.285/86400
c Decision: 64110/1093407	Time: 277.448/86400
c Decision: 64903/1093407	Time: 311.158/86400
c Decision: 64903/1093407	Time: 325.56/86400
c Decision: 64903/1093407	Time: 341.137/86400
c Decision: 65099/1093407	Time: 360.351/86400
c Decision: 65099/1093407	Time: 374.601/86400
c Decision: 65345/1093407	Time: 400.868/86400
c Decision: 65683/1093407	Time: 413.795/86400
c Decision: 65683/1093407	Time: 428.552/86400
c Decision: 65683/1093407	Time: 446.768/86400
c Decision: 65683/1093407	Time: 462.031/86400
c Decision: 65683/1093407	Time: 472.937/86400
c Decision: 65702/1093407	Time: 487.697/86400
c Decision: 65752/1093407	Time: 512.466/86400
c Decision: 65756/1093407	Time: 533.73/86400
c Decision: 65756/1093407	Time: 547.27/86400
c Decision: 66303/1093407	Time: 583.235/86400
c Decision: 66303/1093407	Time: 596.61/86400
c Decision: 66327/1093407	Time: 625.513/86400
c Decision: 66331/1093407	Time: 651.594/86400
c Decision: 66331/1093407	Time: 666.244/86400
c Decision: 66337/1093407	Time: 690.467/86400
c Decision: 66337/1093407	Time: 705.906/86400
c Decision: 66343/1093407	Time: 724.218/86400
c Decision: 66351/1093407	Time: 754.591/86400
c Decision: 66351/1093407	Time: 769.193/86400
c Decision: 66368/1093407	Time: 808.459/86400
c Decision: 66369/1093407	Time: 834.25/86400
c Decision: 66390/1093407	Time: 870.982/86400
c Decision: 66565/1093407	Time: 888.86/86400
c Decision: 66565/1093407	Time: 904.781/86400
c Decision: 66655/1093407	Time: 935.776/86400
c Decision: 66660/1093407	Time: 958.546/86400
c Decision: 66672/1093407	Time: 1002.12/86400
c Decision: 66674/1093407	Time: 1026.69/86400
c Decision: 66674/1093407	Time: 1044.14/86400
c Decision: 66674/1093407	Time: 1059.07/86400
c Decision: 66674/1093407	Time: 1075.26/86400
c Decision: 66678/1093407	Time: 1100.56/86400
c Decision: 66678/1093407	Time: 1120.46/86400
c Decision: 66678/1093407	Time: 1137.11/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.91 0.95 0.90 1/54 10216
Raw data (stat): 10216 (runsolver) R 10215 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970789670 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.0011 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 24195 0 0 0 945 53 0 0 25 0 1 0 970789670 77881344 13281 4294967295 134512640 135730672 3221224576 3221217680 134610906 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19014 13281 301 301 0 18713 0
vsize: 76056
[startup+20.0023 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 50594 0 0 0 1884 113 0 0 25 0 1 0 970789670 151945216 28436 4294967295 134512640 135730672 3221224576 3221209660 134608058 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37096 28436 301 301 0 36795 0
vsize: 148384
[startup+30.003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 88918 0 0 0 2805 192 0 0 25 0 1 0 970789670 266924032 44543 4294967295 134512640 135730672 3221224576 3221207836 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65167 44543 301 301 0 64866 0
vsize: 260668
[startup+40.0032 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 102311 0 0 0 3776 220 0 0 25 0 1 0 970789670 301559808 57669 4294967295 134512640 135730672 3221224576 3221206112 134608735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73623 57669 301 301 0 73322 0
vsize: 294492
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 140219 0 0 0 4700 296 0 0 25 0 1 0 970789670 417865728 75967 4294967295 134512640 135730672 3221224576 3221207408 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102018 75967 301 301 0 101717 0
vsize: 408072
[startup+60.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145983 0 0 0 5685 311 0 0 25 0 1 0 970789670 426614784 79564 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104154 79564 301 301 0 103853 0
vsize: 416616
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145984 0 0 0 6683 312 0 0 25 0 1 0 970789670 426614784 79565 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104154 79565 301 301 0 103853 0
vsize: 416616
[startup+80.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145985 0 0 0 7681 314 0 0 25 0 1 0 970789670 426614784 79566 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104154 79566 301 301 0 103853 0
vsize: 416616
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145985 0 0 0 8679 316 0 0 25 0 1 0 970789670 426614784 79566 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104154 79566 301 301 0 103853 0
vsize: 416616
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145986 0 0 0 9678 317 0 0 25 0 1 0 970789670 426614784 79567 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104154 79567 301 301 0 103853 0
vsize: 416616
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145986 0 0 0 10676 318 0 0 25 0 1 0 970789670 426614784 79567 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104154 79567 301 301 0 103853 0
vsize: 416616
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145987 0 0 0 11675 320 0 0 25 0 1 0 970789670 426614784 79568 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79568 301 301 0 103853 0
vsize: 416616
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145987 0 0 0 12673 322 0 0 25 0 1 0 970789670 426614784 79568 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79568 301 301 0 103853 0
vsize: 416616
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145989 0 0 0 13671 324 0 0 25 0 1 0 970789670 426614784 79570 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79570 301 301 0 103853 0
vsize: 416616
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145989 0 0 0 14670 325 0 0 25 0 1 0 970789670 426614784 79570 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79570 301 301 0 103853 0
vsize: 416616
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145990 0 0 0 15669 327 0 0 25 0 1 0 970789670 426614784 79571 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79571 301 301 0 103853 0
vsize: 416616
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145990 0 0 0 16668 328 0 0 25 0 1 0 970789670 426614784 79571 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79571 301 301 0 103853 0
vsize: 416616
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145991 0 0 0 17666 330 0 0 25 0 1 0 970789670 426614784 79572 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79572 301 301 0 103853 0
vsize: 416616
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 145995 0 0 0 18665 331 0 0 25 0 1 0 970789670 426614784 79576 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79576 301 301 0 103853 0
vsize: 416616
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 146016 0 0 0 19665 332 0 0 25 0 1 0 970789670 426614784 79597 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79597 301 301 0 103853 0
vsize: 416616
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148166 0 0 0 20660 337 0 0 25 0 1 0 970789670 426614784 79611 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79611 301 301 0 103853 0
vsize: 416616
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148187 0 0 0 21659 338 0 0 25 0 1 0 970789670 426614784 79632 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79632 301 301 0 103853 0
vsize: 416616
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148201 0 0 0 22658 339 0 0 25 0 1 0 970789670 426614784 79646 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104154 79646 301 301 0 103853 0
vsize: 416616
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148235 0 0 0 23657 339 0 0 25 0 1 0 970789670 426758144 79680 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104189 79680 301 301 0 103888 0
vsize: 416756
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148305 0 0 0 24656 340 0 0 25 0 1 0 970789670 427032576 79750 4294967295 134512640 135730672 3221224576 3221222520 134788705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104256 79750 301 301 0 103955 0
vsize: 417024
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148440 0 0 0 25655 342 0 0 25 0 1 0 970789670 427753472 79885 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104432 79885 301 301 0 104131 0
vsize: 417728
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148567 0 0 0 26655 342 0 0 25 0 1 0 970789670 428359680 80012 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104580 80012 301 301 0 104279 0
vsize: 418320
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148680 0 0 0 27655 344 0 0 25 0 1 0 970789670 428834816 80125 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104696 80125 301 301 0 104395 0
vsize: 418784
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148748 0 0 0 28654 345 0 0 25 0 1 0 970789670 428998656 80193 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104736 80193 301 301 0 104435 0
vsize: 418944
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148874 0 0 0 29652 346 0 0 25 0 1 0 970789670 429637632 80319 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104892 80319 301 301 0 104591 0
vsize: 419568
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 148991 0 0 0 30651 348 0 0 25 0 1 0 970789670 430133248 80436 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105013 80436 301 301 0 104712 0
vsize: 420052
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 149165 0 0 0 31650 349 0 0 25 0 1 0 970789670 431124480 80610 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105255 80610 301 301 0 104954 0
vsize: 421020
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 151397 0 0 0 32644 355 0 0 25 0 1 0 970789670 431452160 80706 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105335 80706 301 301 0 105034 0
vsize: 421340
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 151488 0 0 0 33643 356 0 0 25 0 1 0 970789670 431845376 80797 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105431 80797 301 301 0 105130 0
vsize: 421724
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 151593 0 0 0 34642 357 0 0 25 0 1 0 970789670 432369664 80902 4294967295 134512640 135730672 3221224576 3221222896 134732486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105559 80902 301 301 0 105258 0
vsize: 422236
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 153878 0 0 0 35635 364 0 0 25 0 1 0 970789670 441892864 83187 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107884 83187 301 301 0 107583 0
vsize: 431536
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 153902 0 0 0 36634 365 0 0 25 0 1 0 970789670 433143808 81075 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105748 81075 301 301 0 105447 0
vsize: 422992
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 156053 0 0 0 37627 372 0 0 25 0 1 0 970789670 433143808 81090 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105748 81090 301 301 0 105447 0
vsize: 422992
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 158384 0 0 0 38621 378 0 0 25 0 1 0 970789670 442892288 83421 4294967295 134512640 135730672 3221224576 3221222728 134765469 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108128 83421 301 301 0 107827 0
vsize: 432512
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 158464 0 0 0 39619 380 0 0 25 0 1 0 970789670 434438144 81365 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106064 81365 301 301 0 105763 0
vsize: 424256
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 160620 0 0 0 40615 385 0 0 25 0 1 0 970789670 434438144 81385 4294967295 134512640 135730672 3221224576 3221223200 134783330 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106064 81385 301 301 0 105763 0
vsize: 424256
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 160663 0 0 0 41614 386 0 0 25 0 1 0 970789670 434601984 81428 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106104 81428 301 301 0 105803 0
vsize: 424416
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 162867 0 0 0 42609 391 0 0 25 0 1 0 970789670 434962432 81496 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106192 81496 301 301 0 105891 0
vsize: 424768
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 162939 0 0 0 43608 392 0 0 25 0 1 0 970789670 435322880 81568 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106280 81568 301 301 0 105979 0
vsize: 425120
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 165096 0 0 0 44602 398 0 0 25 0 1 0 970789670 444071936 83725 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108416 83725 301 301 0 108115 0
vsize: 433664
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 165183 0 0 0 45602 399 0 0 25 0 1 0 970789670 435851264 81676 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106409 81676 301 301 0 106108 0
vsize: 425636
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 167362 0 0 0 46597 404 0 0 25 0 1 0 970789670 436015104 81719 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106449 81719 301 301 0 106148 0
vsize: 425796
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 169540 0 0 0 47591 410 0 0 25 0 1 0 970789670 436211712 81761 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106497 81761 301 301 0 106196 0
vsize: 425988
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 169721 0 0 0 48589 412 0 0 25 0 1 0 970789670 436936704 81942 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106674 81942 301 301 0 106373 0
vsize: 426696
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 171887 0 0 0 49584 417 0 0 25 0 1 0 970789670 437071872 81972 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106707 81972 301 301 0 106406 0
vsize: 426828
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 171975 0 0 0 50584 417 0 0 25 0 1 0 970789670 437538816 82060 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106821 82060 301 301 0 106520 0
vsize: 427284
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 174114 0 0 0 51578 423 0 0 25 0 1 0 970789670 437538816 82063 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106821 82063 301 301 0 106520 0
vsize: 427284
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 174184 0 0 0 52577 424 0 0 25 0 1 0 970789670 437735424 82133 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106869 82133 301 301 0 106568 0
vsize: 427476
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 176336 0 0 0 53571 430 0 0 25 0 1 0 970789670 437735424 82149 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106869 82149 301 301 0 106568 0
vsize: 427476
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 176397 0 0 0 54570 432 0 0 25 0 1 0 970789670 438128640 82210 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106965 82210 301 301 0 106664 0
vsize: 427860
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 176481 0 0 0 55569 432 0 0 25 0 1 0 970789670 438398976 82294 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107031 82294 301 301 0 106730 0
vsize: 428124
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 178630 0 0 0 56563 439 0 0 25 0 1 0 970789670 438398976 82307 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107031 82307 301 301 0 106730 0
vsize: 428124
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 180778 0 0 0 57558 445 0 0 25 0 1 0 970789670 447148032 84455 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109167 84455 301 301 0 108866 0
vsize: 436668
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 180780 0 0 0 58557 445 0 0 25 0 1 0 970789670 438398976 82321 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107031 82321 301 301 0 106730 0
vsize: 428124
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 182921 0 0 0 59552 450 0 0 25 0 1 0 970789670 438398976 82326 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107031 82326 301 301 0 106730 0
vsize: 428124
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 182955 0 0 0 60551 452 0 0 25 0 1 0 970789670 438595584 82360 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107079 82360 301 301 0 106778 0
vsize: 428316
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 182976 0 0 0 61551 452 0 0 25 0 1 0 970789670 438595584 82381 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107079 82381 301 301 0 106778 0
vsize: 428316
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 183031 0 0 0 62550 453 0 0 25 0 1 0 970789670 438730752 82436 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107112 82436 301 301 0 106811 0
vsize: 428448
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 185188 0 0 0 63545 459 0 0 25 0 1 0 970789670 438730752 82457 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107112 82457 301 301 0 106811 0
vsize: 428448
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 187336 0 0 0 64539 464 0 0 25 0 1 0 970789670 438730752 82469 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107112 82469 301 301 0 106811 0
vsize: 428448
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 187353 0 0 0 65538 465 0 0 25 0 1 0 970789670 438730752 82486 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107112 82486 301 301 0 106811 0
vsize: 428448
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 187371 0 0 0 66536 467 0 0 25 0 1 0 970789670 438730752 82504 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107112 82504 301 301 0 106811 0
vsize: 428448
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 189542 0 0 0 67531 473 0 0 25 0 1 0 970789670 438865920 82539 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107145 82539 301 301 0 106844 0
vsize: 428580
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 189583 0 0 0 68531 474 0 0 25 0 1 0 970789670 439001088 82580 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107178 82580 301 301 0 106877 0
vsize: 428712
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 191776 0 0 0 69525 479 0 0 25 0 1 0 970789670 439361536 82637 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107266 82637 301 301 0 106965 0
vsize: 429064
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 191800 0 0 0 70524 480 0 0 25 0 1 0 970789670 439361536 82661 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107266 82661 301 301 0 106965 0
vsize: 429064
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 193989 0 0 0 71518 487 0 0 25 0 1 0 970789670 439693312 82714 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107347 82714 301 301 0 107046 0
vsize: 429388
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 194010 0 0 0 72517 488 0 0 25 0 1 0 970789670 439693312 82735 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107347 82735 301 301 0 107046 0
vsize: 429388
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 196178 0 0 0 73512 494 0 0 25 0 1 0 970789670 448638976 84903 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109531 84903 301 301 0 109230 0
vsize: 438124
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 196226 0 0 0 74510 496 0 0 25 0 1 0 970789670 440086528 82815 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107443 82815 301 301 0 107142 0
vsize: 429772
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 198393 0 0 0 75504 501 0 0 25 0 1 0 970789670 440283136 82846 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107491 82846 301 301 0 107190 0
vsize: 429964
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 198422 0 0 0 76503 502 0 0 25 0 1 0 970789670 440283136 82875 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107491 82875 301 301 0 107190 0
vsize: 429964
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 200568 0 0 0 77498 508 0 0 25 0 1 0 970789670 440283136 82885 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107491 82885 301 301 0 107190 0
vsize: 429964
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 200601 0 0 0 78497 509 0 0 25 0 1 0 970789670 440283136 82918 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107491 82918 301 301 0 107190 0
vsize: 429964
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 200618 0 0 0 79495 510 0 0 25 0 1 0 970789670 440283136 82935 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107491 82935 301 301 0 107190 0
vsize: 429964
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 202756 0 0 0 80490 516 0 0 25 0 1 0 970789670 440283136 82937 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107491 82937 301 301 0 107190 0
vsize: 429964
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 204911 0 0 0 81485 521 0 0 25 0 1 0 970789670 449228800 85092 4294967295 134512640 135730672 3221224576 3221222744 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109675 85092 301 301 0 109374 0
vsize: 438700
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 204996 0 0 0 82483 523 0 0 25 0 1 0 970789670 440614912 83041 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107572 83041 301 301 0 107271 0
vsize: 430288
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 205010 0 0 0 83483 524 0 0 25 0 1 0 970789670 440614912 83055 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107572 83055 301 301 0 107271 0
vsize: 430288
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 205029 0 0 0 84481 525 0 0 25 0 1 0 970789670 440614912 83074 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107572 83074 301 301 0 107271 0
vsize: 430288
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 207174 0 0 0 85476 531 0 0 25 0 1 0 970789670 440614912 83083 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107572 83083 301 301 0 107271 0
vsize: 430288
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 207204 0 0 0 86475 532 0 0 25 0 1 0 970789670 440811520 83113 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107620 83113 301 301 0 107319 0
vsize: 430480
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 207234 0 0 0 87474 533 0 0 25 0 1 0 970789670 440811520 83143 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107620 83143 301 301 0 107319 0
vsize: 430480
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 209380 0 0 0 88468 539 0 0 25 0 1 0 970789670 440811520 83153 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107620 83153 301 301 0 107319 0
vsize: 430480
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 209478 0 0 0 89468 540 0 0 25 0 1 0 970789670 441081856 83251 4294967295 134512640 135730672 3221224576 3221223120 134740323 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107686 83251 301 301 0 107385 0
vsize: 430744
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 209492 0 0 0 90466 541 0 0 25 0 1 0 970789670 441081856 83265 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107686 83265 301 301 0 107385 0
vsize: 430744
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 211663 0 0 0 91461 547 0 0 25 0 1 0 970789670 450027520 85436 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109870 85436 301 301 0 109569 0
vsize: 439480
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 211689 0 0 0 92459 548 0 0 25 0 1 0 970789670 441278464 83326 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107734 83326 301 301 0 107433 0
vsize: 430936
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 213830 0 0 0 93455 553 0 0 25 0 1 0 970789670 441278464 83331 4294967295 134512640 135730672 3221224576 3221223072 134747573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107734 83331 301 301 0 107433 0
vsize: 430936
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 213835 0 0 0 94454 554 0 0 25 0 1 0 970789670 441278464 83336 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107734 83336 301 301 0 107433 0
vsize: 430936
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 215988 0 0 0 95448 561 0 0 25 0 1 0 970789670 441475072 83353 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107782 83353 301 301 0 107481 0
vsize: 431128
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 216014 0 0 0 96447 561 0 0 25 0 1 0 970789670 441475072 83379 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107782 83379 301 301 0 107481 0
vsize: 431128
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 216133 0 0 0 97446 563 0 0 25 0 1 0 970789670 441880576 83498 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107881 83498 301 301 0 107580 0
vsize: 431524
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 218281 0 0 0 98440 569 0 0 25 0 1 0 970789670 441880576 83510 4294967295 134512640 135730672 3221224576 3221222940 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107881 83510 301 301 0 107580 0
vsize: 431524
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 218305 0 0 0 99438 571 0 0 25 0 1 0 970789670 441880576 83534 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107881 83534 301 301 0 107580 0
vsize: 431524
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 220450 0 0 0 100432 577 0 0 25 0 1 0 970789670 441880576 83543 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107881 83543 301 301 0 107580 0
vsize: 431524
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 220490 0 0 0 101431 578 0 0 25 0 1 0 970789670 442015744 83583 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107914 83583 301 301 0 107613 0
vsize: 431656
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 220532 0 0 0 102429 581 0 0 25 0 1 0 970789670 442212352 83625 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107962 83625 301 301 0 107661 0
vsize: 431848
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 220549 0 0 0 103428 582 0 0 25 0 1 0 970789670 442212352 83642 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107962 83642 301 301 0 107661 0
vsize: 431848
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 220622 0 0 0 104427 583 0 0 25 0 1 0 970789670 442544128 83715 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108043 83715 301 301 0 107742 0
vsize: 432172
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 222822 0 0 0 105421 589 0 0 25 0 1 0 970789670 442814464 83779 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108109 83779 301 301 0 107808 0
vsize: 432436
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 222838 0 0 0 106420 591 0 0 25 0 1 0 970789670 442814464 83795 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108109 83795 301 301 0 107808 0
vsize: 432436
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 224976 0 0 0 107414 597 0 0 25 0 1 0 970789670 442814464 83797 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108109 83797 301 301 0 107808 0
vsize: 432436
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 225031 0 0 0 108413 598 0 0 25 0 1 0 970789670 443146240 83852 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108190 83852 301 301 0 107889 0
vsize: 432760
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 227169 0 0 0 109408 603 0 0 25 0 1 0 970789670 443146240 83854 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108190 83854 301 301 0 107889 0
vsize: 432760
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 229356 0 0 0 110403 609 0 0 25 0 1 0 970789670 443281408 83905 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108223 83905 301 301 0 107922 0
vsize: 432892
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 229362 0 0 0 111402 610 0 0 25 0 1 0 970789670 443281408 83911 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108223 83911 301 301 0 107922 0
vsize: 432892
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 231515 0 0 0 112395 615 0 0 25 0 1 0 970789670 443281408 83928 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108223 83928 301 301 0 107922 0
vsize: 432892
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 231546 0 0 0 113395 616 0 0 25 0 1 0 970789670 443478016 83959 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108271 83959 301 301 0 107970 0
vsize: 433084
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 233693 0 0 0 114390 621 0 0 25 0 1 0 970789670 452227072 86106 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110407 86106 301 301 0 110106 0
vsize: 441628
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 233742 0 0 0 115388 623 0 0 25 0 1 0 970789670 443478016 84019 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108271 84019 301 301 0 107970 0
vsize: 433084
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 235884 0 0 0 116383 629 0 0 25 0 1 0 970789670 443478016 84025 4294967295 134512640 135730672 3221224576 3221223200 134783294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108271 84025 301 301 0 107970 0
vsize: 433084
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 235893 0 0 0 117382 630 0 0 25 0 1 0 970789670 443478016 84034 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108271 84034 301 301 0 107970 0
vsize: 433084
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 238053 0 0 0 118376 636 0 0 25 0 1 0 970789670 443674624 84058 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108319 84058 301 301 0 108018 0
vsize: 433276
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 238079 0 0 0 119375 637 0 0 25 0 1 0 970789670 443674624 84084 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108319 84084 301 301 0 108018 0
vsize: 433276
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10216
Raw data (stat): 10216 (pb2sat-v2) R 10215 31399 31398 0 -1 0 238079 0 0 0 119375 637 0 0 25 0 1 0 970789670 443674624 84084 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108319 84084 301 301 0 108018 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.13
CPU time (s): 1202.22
CPU user time (s): 1195.68
CPU system time (s): 6.543
CPU usage (%): 100.008
Max. virtual memory (Kb): 441628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####