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/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.74658
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120
Trace number 42491

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 08:54:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25704 boxname=wulflinc2 idbench=1004 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stp3d.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stp3d.opb
IDLAUNCH: 25704
/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:        892868 kB
Buffers:          3204 kB
Cached:         115656 kB
SwapCached:       1432 kB
Active:          50480 kB
Inactive:        70448 kB
HighTotal:      131008 kB
HighFree:        33824 kB
LowTotal:       903652 kB
LowFree:        859044 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14964 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:14:31 (client local time) WITH STATUS 0 IN 1202.48 SECONDS
stats: 25704 7 1202.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.92 2/54 8136
Raw data (stat): 8136 (runsolver) R 8135 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969484681 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.0004 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 130 0 0 0 997 2 0 0 25 0 1 0 969484681 1544192 120 4294967295 134512640 135730672 3221224576 3221221776 134579269 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 377 120 301 301 0 76 0
vsize: 1508
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 130 0 0 0 1994 5 0 0 25 0 1 0 969484681 1544192 120 4294967295 134512640 135730672 3221224576 3221221776 134579277 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 377 120 301 301 0 76 0
vsize: 1508
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 2125 0 0 0 2989 10 0 0 25 0 1 0 969484681 7823360 1451 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1910 1451 301 301 0 1609 0
vsize: 7640
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 2662 0 0 0 3988 11 0 0 25 0 1 0 969484681 9310208 1979 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2273 1979 301 301 0 1972 0
vsize: 9092
[startup+50.0012 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 3842 0 0 0 4985 14 0 0 25 0 1 0 969484681 13414400 2447 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2447 301 301 0 2974 0
vsize: 13100
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 4069 0 0 0 5984 15 0 0 25 0 1 0 969484681 13955072 2669 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3407 2669 301 301 0 3106 0
vsize: 13628
[startup+70.0017 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 4334 0 0 0 6984 15 0 0 25 0 1 0 969484681 14630912 2930 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2930 301 301 0 3271 0
vsize: 14288
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 4574 0 0 0 7983 16 0 0 25 0 1 0 969484681 15306752 3166 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3166 301 301 0 3436 0
vsize: 14948
[startup+90.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 4794 0 0 0 8983 17 0 0 25 0 1 0 969484681 15847424 3383 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3383 301 301 0 3568 0
vsize: 15476
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 4998 0 0 0 9982 18 0 0 25 0 1 0 969484681 16388096 3583 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3583 301 301 0 3700 0
vsize: 16004
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 5186 0 0 0 10982 19 0 0 25 0 1 0 969484681 16928768 3768 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3768 301 301 0 3832 0
vsize: 16532
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 5365 0 0 0 11981 19 0 0 25 0 1 0 969484681 17334272 3945 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3945 301 301 0 3931 0
vsize: 16928
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 7446 0 0 0 12976 24 0 0 25 0 1 0 969484681 25407488 4613 4294967295 134512640 135730672 3221224576 3221221728 134576382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4613 301 301 0 5902 0
vsize: 24812
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 7503 0 0 0 13976 25 0 0 25 0 1 0 969484681 25407488 4667 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4667 301 301 0 5902 0
vsize: 24812
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 7558 0 0 0 14976 25 0 0 25 0 1 0 969484681 25407488 4720 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4720 301 301 0 5902 0
vsize: 24812
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 7612 0 0 0 15976 25 0 0 25 0 1 0 969484681 25407488 4771 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4771 301 301 0 5902 0
vsize: 24812
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 7688 0 0 0 16976 26 0 0 25 0 1 0 969484681 25407488 4845 4294967295 134512640 135730672 3221224576 3221220932 134606740 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4845 301 301 0 5902 0
vsize: 24812
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 14538 0 0 0 17958 43 0 0 25 0 1 0 969484681 48648192 9331 4294967295 134512640 135730672 3221224576 3221221448 135339741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 9331 301 301 0 11576 0
vsize: 47508
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 20373 0 0 0 18941 60 0 0 25 0 1 0 969484681 62697472 14346 4294967295 134512640 135730672 3221224576 3221221696 134577280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15307 14346 301 301 0 15006 0
vsize: 61228
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 44072 0 0 0 19885 117 0 0 25 0 1 0 969484681 130678784 27858 4294967295 134512640 135730672 3221224576 3221218960 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31904 27859 301 301 0 31603 0
vsize: 127616
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 76446 0 0 0 20814 188 0 0 25 0 1 0 969484681 234971136 44161 4294967295 134512640 135730672 3221224576 3221219888 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57366 44161 301 301 0 57065 0
vsize: 229464
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 101659 0 0 0 21754 247 0 0 25 0 1 0 969484681 320344064 56850 4294967295 134512640 135730672 3221224576 3221217240 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78209 56850 301 301 0 77908 0
vsize: 312836
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 141349 0 0 0 22678 324 0 0 25 0 1 0 969484681 442605568 77942 4294967295 134512640 135730672 3221224576 3221216308 135281141 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108058 77942 301 301 0 107757 0
vsize: 432232
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 155134 0 0 0 23646 356 0 0 25 0 1 0 969484681 438407168 90440 4294967295 134512640 135730672 3221224576 3221218960 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107033 90441 301 301 0 106732 0
vsize: 428132
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 190808 0 0 0 24565 438 0 0 25 0 1 0 969484681 572624896 101325 4294967295 134512640 135730672 3221224576 3221220272 134784071 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139801 101325 301 301 0 139500 0
vsize: 559204
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 203760 0 0 0 25531 471 0 0 25 0 1 0 969484681 581545984 114069 4294967295 134512640 135730672 3221224576 3221221776 134578426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141979 114069 301 301 0 141678 0
vsize: 567916
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 211916 0 0 0 26510 492 0 0 25 0 1 0 969484681 589520896 122110 4294967295 134512640 135730672 3221224576 3221219008 134770873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143926 122110 301 301 0 143625 0
vsize: 575704
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 223177 0 0 0 27483 519 0 0 25 0 1 0 969484681 623808512 133322 4294967295 134512640 135730672 3221224576 3221222912 134772775 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152297 133322 301 301 0 151996 0
vsize: 609188
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 227698 0 0 0 28454 547 0 0 25 0 1 0 969484681 625827840 133619 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152790 133619 301 301 0 152489 0
vsize: 611160
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 229540 0 0 0 29447 555 0 0 25 0 1 0 969484681 633851904 135458 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154749 135458 301 301 0 154448 0
vsize: 618996
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 229867 0 0 0 30446 556 0 0 25 0 1 0 969484681 635232256 135785 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155086 135785 301 301 0 154785 0
vsize: 620344
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 230560 0 0 0 31445 558 0 0 25 0 1 0 969484681 638517248 136478 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155888 136478 301 301 0 155587 0
vsize: 623552
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8136
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 230830 0 0 0 32444 558 0 0 25 0 1 0 969484681 639709184 136748 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156179 136749 301 301 0 155878 0
vsize: 624716
[startup+340.007 s]
Raw data (loadavg): 1.07 0.99 0.92 3/57 8174
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 231064 0 0 0 33443 559 0 0 25 0 1 0 969484681 640974848 136982 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156488 136982 301 301 0 156187 0
vsize: 625952
[startup+350.008 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 8189
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 231191 0 0 0 34442 560 0 0 25 0 1 0 969484681 641564672 137109 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156632 137109 301 301 0 156331 0
vsize: 626528
[startup+360.008 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 8189
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 231241 0 0 0 35442 561 0 0 25 0 1 0 969484681 641957888 137159 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156728 137159 301 301 0 156427 0
vsize: 626912
[startup+370.007 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 8189
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 231356 0 0 0 36442 561 0 0 25 0 1 0 969484681 642560000 137274 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156875 137274 301 301 0 156574 0
vsize: 627500
[startup+380.007 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 8189
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 231456 0 0 0 37441 562 0 0 25 0 1 0 969484681 642965504 137374 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156974 137374 301 301 0 156673 0
vsize: 627896
[startup+390.007 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 8189
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 231516 0 0 0 38441 562 0 0 25 0 1 0 969484681 643235840 137434 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157040 137434 301 301 0 156739 0
vsize: 628160
[startup+400.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 8189
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 231688 0 0 0 39441 563 0 0 25 0 1 0 969484681 644108288 137606 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157253 137606 301 301 0 156952 0
vsize: 629012
[startup+410.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 231879 0 0 0 40440 564 0 0 25 0 1 0 969484681 644911104 137764 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157449 137764 301 301 0 157148 0
vsize: 629796
[startup+420.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 232047 0 0 0 41440 564 0 0 25 0 1 0 969484681 645722112 137932 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157647 137932 301 301 0 157346 0
vsize: 630588
[startup+430.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 232128 0 0 0 42440 564 0 0 25 0 1 0 969484681 646127616 138013 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157746 138013 301 301 0 157445 0
vsize: 630984
[startup+440.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 232303 0 0 0 43440 564 0 0 25 0 1 0 969484681 647073792 138188 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157977 138188 301 301 0 157676 0
vsize: 631908
[startup+450.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 232826 0 0 0 44439 566 0 0 25 0 1 0 969484681 649170944 138198 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158489 138198 301 301 0 158188 0
vsize: 633956
[startup+460.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 232834 0 0 0 45439 566 0 0 25 0 1 0 969484681 649170944 138206 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158489 138206 301 301 0 158188 0
vsize: 633956
[startup+470.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 232931 0 0 0 46438 567 0 0 25 0 1 0 969484681 649846784 138303 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158654 138303 301 301 0 158353 0
vsize: 634616
[startup+480.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233031 0 0 0 47438 567 0 0 25 0 1 0 969484681 650383360 138403 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158785 138403 301 301 0 158484 0
vsize: 635140
[startup+490.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233275 0 0 0 48437 568 0 0 25 0 1 0 969484681 651587584 138614 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159079 138614 301 301 0 158778 0
vsize: 636316
[startup+500.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233327 0 0 0 49437 568 0 0 25 0 1 0 969484681 651718656 138633 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159111 138633 301 301 0 158810 0
vsize: 636444
[startup+510.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233439 0 0 0 50437 569 0 0 25 0 1 0 969484681 652255232 138712 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159242 138712 301 301 0 158941 0
vsize: 636968
[startup+520.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233445 0 0 0 51437 569 0 0 25 0 1 0 969484681 652255232 138718 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159242 138718 301 301 0 158941 0
vsize: 636968
[startup+530.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233491 0 0 0 52436 570 0 0 25 0 1 0 969484681 652525568 138764 4294967295 134512640 135730672 3221224576 3221223072 134747528 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159308 138764 301 301 0 159007 0
vsize: 637232
[startup+540.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233514 0 0 0 53436 570 0 0 25 0 1 0 969484681 652660736 138787 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159341 138787 301 301 0 159040 0
vsize: 637364
[startup+550.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233566 0 0 0 54436 570 0 0 25 0 1 0 969484681 652931072 138839 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159407 138839 301 301 0 159106 0
vsize: 637628
[startup+560.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233570 0 0 0 55436 570 0 0 25 0 1 0 969484681 652931072 138843 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159407 138843 301 301 0 159106 0
vsize: 637628
[startup+570.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233574 0 0 0 56436 571 0 0 25 0 1 0 969484681 652931072 138847 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159407 138847 301 301 0 159106 0
vsize: 637628
[startup+580.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233661 0 0 0 57436 571 0 0 25 0 1 0 969484681 653328384 138901 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159504 138901 301 301 0 159203 0
vsize: 638016
[startup+590.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233665 0 0 0 58435 572 0 0 25 0 1 0 969484681 653328384 138905 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159504 138905 301 301 0 159203 0
vsize: 638016
[startup+600.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233675 0 0 0 59435 572 0 0 25 0 1 0 969484681 653328384 138915 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159504 138915 301 301 0 159203 0
vsize: 638016
[startup+610.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233755 0 0 0 60435 573 0 0 25 0 1 0 969484681 653594624 138962 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159569 138962 301 301 0 159268 0
vsize: 638276
[startup+620.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233832 0 0 0 61434 573 0 0 25 0 1 0 969484681 653860864 139006 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159634 139006 301 301 0 159333 0
vsize: 638536
[startup+630.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233865 0 0 0 62434 574 0 0 25 0 1 0 969484681 653996032 139039 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159667 139039 301 301 0 159366 0
vsize: 638668
[startup+640.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233920 0 0 0 63434 574 0 0 25 0 1 0 969484681 654262272 139094 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159732 139094 301 301 0 159431 0
vsize: 638928
[startup+650.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 233925 0 0 0 64434 574 0 0 25 0 1 0 969484681 654262272 139099 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159732 139099 301 301 0 159431 0
vsize: 638928
[startup+660.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234026 0 0 0 65434 574 0 0 25 0 1 0 969484681 654524416 139134 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159796 139134 301 301 0 159495 0
vsize: 639184
[startup+670.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234051 0 0 0 66434 575 0 0 25 0 1 0 969484681 654524416 139159 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159796 139159 301 301 0 159495 0
vsize: 639184
[startup+680.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234081 0 0 0 67433 575 0 0 25 0 1 0 969484681 654659584 139189 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159829 139189 301 301 0 159528 0
vsize: 639316
[startup+690.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234163 0 0 0 68433 576 0 0 25 0 1 0 969484681 654925824 139238 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159894 139238 301 301 0 159593 0
vsize: 639576
[startup+700.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8191
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234187 0 0 0 69432 576 0 0 25 0 1 0 969484681 655060992 139262 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159927 139262 301 301 0 159626 0
vsize: 639708
[startup+710.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234311 0 0 0 70432 577 0 0 25 0 1 0 969484681 655728640 139353 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160090 139353 301 301 0 159789 0
vsize: 640360
[startup+720.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234351 0 0 0 71432 577 0 0 25 0 1 0 969484681 655994880 139393 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160155 139393 301 301 0 159854 0
vsize: 640620
[startup+730.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234363 0 0 0 72431 578 0 0 25 0 1 0 969484681 655994880 139405 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160155 139405 301 301 0 159854 0
vsize: 640620
[startup+740.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234422 0 0 0 73431 578 0 0 25 0 1 0 969484681 656261120 139464 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160220 139464 301 301 0 159919 0
vsize: 640880
[startup+750.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234431 0 0 0 74431 579 0 0 25 0 1 0 969484681 656261120 139473 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160220 139473 301 301 0 159919 0
vsize: 640880
[startup+760.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234444 0 0 0 75431 579 0 0 25 0 1 0 969484681 656261120 139486 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160220 139486 301 301 0 159919 0
vsize: 640880
[startup+770.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234556 0 0 0 76430 580 0 0 25 0 1 0 969484681 656523264 139532 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160284 139532 301 301 0 159983 0
vsize: 641136
[startup+780.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234564 0 0 0 77430 580 0 0 25 0 1 0 969484681 656523264 139540 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160284 139540 301 301 0 159983 0
vsize: 641136
[startup+790.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234570 0 0 0 78430 580 0 0 25 0 1 0 969484681 656523264 139546 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160284 139546 301 301 0 159983 0
vsize: 641136
[startup+800.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234630 0 0 0 79430 581 0 0 25 0 1 0 969484681 656654336 139573 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160316 139573 301 301 0 160015 0
vsize: 641264
[startup+810.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234649 0 0 0 80430 581 0 0 25 0 1 0 969484681 656654336 139592 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160316 139592 301 301 0 160015 0
vsize: 641264
[startup+820.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234723 0 0 0 81430 581 0 0 25 0 1 0 969484681 656785408 139633 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160348 139633 301 301 0 160047 0
vsize: 641392
[startup+830.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234729 0 0 0 82430 582 0 0 25 0 1 0 969484681 656785408 139639 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160348 139639 301 301 0 160047 0
vsize: 641392
[startup+840.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234785 0 0 0 83430 582 0 0 25 0 1 0 969484681 657051648 139695 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160413 139695 301 301 0 160112 0
vsize: 641652
[startup+850.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234794 0 0 0 84429 582 0 0 25 0 1 0 969484681 657051648 139704 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160413 139704 301 301 0 160112 0
vsize: 641652
[startup+860.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234834 0 0 0 85428 583 0 0 25 0 1 0 969484681 657182720 139711 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160445 139711 301 301 0 160144 0
vsize: 641780
[startup+870.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234840 0 0 0 86428 584 0 0 25 0 1 0 969484681 657182720 139717 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160445 139717 301 301 0 160144 0
vsize: 641780
[startup+880.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234847 0 0 0 87428 584 0 0 25 0 1 0 969484681 657182720 139724 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160445 139724 301 301 0 160144 0
vsize: 641780
[startup+890.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234852 0 0 0 88428 584 0 0 25 0 1 0 969484681 657182720 139729 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160445 139729 301 301 0 160144 0
vsize: 641780
[startup+900.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234916 0 0 0 89428 585 0 0 25 0 1 0 969484681 657313792 139760 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160477 139760 301 301 0 160176 0
vsize: 641908
[startup+910.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234974 0 0 0 90428 585 0 0 25 0 1 0 969484681 657444864 139785 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160509 139785 301 301 0 160208 0
vsize: 642036
[startup+920.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 234987 0 0 0 91428 585 0 0 25 0 1 0 969484681 657444864 139798 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160509 139798 301 301 0 160208 0
vsize: 642036
[startup+930.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235082 0 0 0 92427 586 0 0 25 0 1 0 969484681 657707008 139828 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160573 139828 301 301 0 160272 0
vsize: 642292
[startup+940.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235130 0 0 0 93427 586 0 0 25 0 1 0 969484681 657838080 139843 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160605 139843 301 301 0 160304 0
vsize: 642420
[startup+950.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235201 0 0 0 94427 586 0 0 25 0 1 0 969484681 658104320 139914 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160670 139914 301 301 0 160369 0
vsize: 642680
[startup+960.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235263 0 0 0 95427 587 0 0 25 0 1 0 969484681 658235392 139943 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160702 139943 301 301 0 160401 0
vsize: 642808
[startup+970.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235266 0 0 0 96426 588 0 0 25 0 1 0 969484681 658235392 139946 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160702 139946 301 301 0 160401 0
vsize: 642808
[startup+980.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235268 0 0 0 97426 588 0 0 25 0 1 0 969484681 658235392 139948 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160702 139948 301 301 0 160401 0
vsize: 642808
[startup+990.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235277 0 0 0 98426 588 0 0 25 0 1 0 969484681 658235392 139957 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160702 139957 301 301 0 160401 0
vsize: 642808
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235310 0 0 0 99426 588 0 0 25 0 1 0 969484681 658235392 139990 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160702 139990 301 301 0 160401 0
vsize: 642808
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235312 0 0 0 100426 588 0 0 25 0 1 0 969484681 658235392 139992 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160702 139992 301 301 0 160401 0
vsize: 642808
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235484 0 0 0 101426 589 0 0 25 0 1 0 969484681 658759680 140032 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160830 140032 301 301 0 160529 0
vsize: 643320
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235524 0 0 0 102426 590 0 0 25 0 1 0 969484681 659025920 140072 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160895 140072 301 301 0 160594 0
vsize: 643580
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235564 0 0 0 103426 590 0 0 25 0 1 0 969484681 659292160 140112 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160960 140112 301 301 0 160659 0
vsize: 643840
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235567 0 0 0 104426 590 0 0 25 0 1 0 969484681 659292160 140115 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160960 140115 301 301 0 160659 0
vsize: 643840
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235577 0 0 0 105426 591 0 0 25 0 1 0 969484681 659292160 140125 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160960 140125 301 301 0 160659 0
vsize: 643840
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235582 0 0 0 106426 591 0 0 25 0 1 0 969484681 659292160 140130 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160960 140130 301 301 0 160659 0
vsize: 643840
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235708 0 0 0 107425 591 0 0 25 0 1 0 969484681 659955712 140223 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161122 140223 301 301 0 160821 0
vsize: 644488
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235833 0 0 0 108425 592 0 0 25 0 1 0 969484681 660217856 140282 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161186 140282 301 301 0 160885 0
vsize: 644744
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235926 0 0 0 109425 592 0 0 25 0 1 0 969484681 660480000 140309 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161250 140309 301 301 0 160949 0
vsize: 645000
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235937 0 0 0 110425 592 0 0 25 0 1 0 969484681 660480000 140320 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161250 140320 301 301 0 160949 0
vsize: 645000
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235945 0 0 0 111425 592 0 0 25 0 1 0 969484681 660480000 140328 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161250 140328 301 301 0 160949 0
vsize: 645000
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235948 0 0 0 112424 593 0 0 25 0 1 0 969484681 660480000 140331 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161250 140331 301 301 0 160949 0
vsize: 645000
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 235989 0 0 0 113424 593 0 0 25 0 1 0 969484681 660611072 140339 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161282 140339 301 301 0 160981 0
vsize: 645128
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 236043 0 0 0 114424 594 0 0 25 0 1 0 969484681 660877312 140393 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161347 140393 301 301 0 161046 0
vsize: 645388
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 236045 0 0 0 115424 594 0 0 25 0 1 0 969484681 660877312 140395 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161347 140395 301 301 0 161046 0
vsize: 645388
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 236098 0 0 0 116424 595 0 0 25 0 1 0 969484681 661008384 140415 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161379 140415 301 301 0 161078 0
vsize: 645516
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 236138 0 0 0 117423 595 0 0 25 0 1 0 969484681 661139456 140422 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161411 140422 301 301 0 161110 0
vsize: 645644
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 236191 0 0 0 118422 597 0 0 25 0 1 0 969484681 661270528 140442 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161443 140442 301 301 0 161142 0
vsize: 645772
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 236196 0 0 0 119422 597 0 0 25 0 1 0 969484681 661270528 140447 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161443 140447 301 301 0 161142 0
vsize: 645772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.31 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 8193
Raw data (stat): 8136 (pb2sat-v2) R 8135 31399 31398 0 -1 0 236196 0 0 0 119422 597 0 0 25 0 1 0 969484681 661270528 140447 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161443 140447 301 301 0 161142 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.31
CPU time (s): 1202.48
CPU user time (s): 1196.22
CPU system time (s): 6.26105
CPU usage (%): 100.014
Max. virtual memory (Kb): 645772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####