PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb
MD5SUM	b6007187ad037f56a5e2b97a0b86cea8
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5120
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2421502
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	675
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	95
Trace number 35749

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-28 13:43:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24971 boxname=wulflinc24 idbench=1443 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b6007187ad037f56a5e2b97a0b86cea8  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 24971
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        710196 kB
Buffers:         34776 kB
Cached:         267800 kB
SwapCached:        636 kB
Active:          24364 kB
Inactive:       280276 kB
HighTotal:      131008 kB
HighFree:         6720 kB
LowTotal:       903652 kB
LowFree:        703476 kB
SwapTotal:     2097892 kB
SwapFree:      2096360 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            13972 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:03:31 (client local time) WITH STATUS 0 IN 1202.2 SECONDS
stats: 24971 7 1202.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 486/908666	Time: 276.541/86400
Decision: 486/908666	Time: 453.678/86400
Decision: 486/908666	Time: 680.872/86400
Decision: 489/908666	Time: 907.628/86400
Decision: 489/908666	Time: 1004.73/86400
Decision: 489/908666	Time: 1125.51/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 2/54 22866
Raw data (stat): 22866 (runsolver) R 22865 4613 4612 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865252176 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+9.99964 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 27526 0 0 0 935 64 0 0 25 0 1 0 865252176 78659584 16438 4294967295 134512640 135726644 3221224592 3221211912 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19204 16439 300 300 0 18904 0
vsize: 76816
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 53940 0 0 0 1880 118 0 0 25 0 1 0 865252176 153432064 31880 4294967295 134512640 135726644 3221224592 3221207840 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37459 31880 300 300 0 37159 0
vsize: 149836
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 91319 0 0 0 2802 196 0 0 25 0 1 0 865252176 301490176 47591 4294967295 134512640 135726644 3221224592 3221202160 134780450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73606 47591 300 300 0 73306 0
vsize: 294424
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 106442 0 0 0 3770 228 0 0 25 0 1 0 865252176 302710784 62444 4294967295 134512640 135726644 3221224592 3221202312 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73904 62444 300 300 0 73604 0
vsize: 295616
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 114242 0 0 0 4752 246 0 0 25 0 1 0 865252176 326279168 68389 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79658 68389 300 300 0 79358 0
vsize: 318632
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 116771 0 0 0 5746 251 0 0 25 0 1 0 865252176 335343616 69943 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81871 69943 300 300 0 81571 0
vsize: 327484
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 117511 0 0 0 6744 252 0 0 25 0 1 0 865252176 337186816 70262 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82321 70262 300 300 0 82021 0
vsize: 329284
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 118340 0 0 0 7743 254 0 0 25 0 1 0 865252176 339206144 70766 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82814 70766 300 300 0 82514 0
vsize: 331256
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 119731 0 0 0 8740 257 0 0 25 0 1 0 865252176 343019520 71379 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83745 71379 300 300 0 83445 0
vsize: 334980
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 120621 0 0 0 9739 259 0 0 25 0 1 0 865252176 345116672 71753 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84257 71753 300 300 0 83957 0
vsize: 337028
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 120642 0 0 0 10739 259 0 0 25 0 1 0 865252176 345116672 71774 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84257 71774 300 300 0 83957 0
vsize: 337028
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 121824 0 0 0 11737 261 0 0 25 0 1 0 865252176 348409856 72339 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85061 72339 300 300 0 84761 0
vsize: 340244
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 122155 0 0 0 12736 262 0 0 25 0 1 0 865252176 349458432 72412 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85317 72412 300 300 0 85017 0
vsize: 341268
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 122521 0 0 0 13737 262 0 0 25 0 1 0 865252176 350507008 72520 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85573 72520 300 300 0 85273 0
vsize: 342292
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 122773 0 0 0 14736 263 0 0 25 0 1 0 865252176 351031296 72643 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85701 72643 300 300 0 85401 0
vsize: 342804
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 123269 0 0 0 15735 264 0 0 25 0 1 0 865252176 351948800 72912 4294967295 134512640 135726644 3221224592 3221223184 134760398 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85925 72912 300 300 0 85625 0
vsize: 343700
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 123643 0 0 0 16735 265 0 0 25 0 1 0 865252176 352735232 73092 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86117 73092 300 300 0 85817 0
vsize: 344468
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 124244 0 0 0 17734 265 0 0 25 0 1 0 865252176 354574336 73307 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86566 73307 300 300 0 86266 0
vsize: 346264
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 124388 0 0 0 18734 266 0 0 25 0 1 0 865252176 354836480 73386 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86630 73386 300 300 0 86330 0
vsize: 346520
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125035 0 0 0 19732 267 0 0 25 0 1 0 865252176 356413440 73710 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73710 300 300 0 86715 0
vsize: 348060
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125070 0 0 0 20733 267 0 0 25 0 1 0 865252176 356413440 73745 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73745 300 300 0 86715 0
vsize: 348060
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125096 0 0 0 21733 268 0 0 25 0 1 0 865252176 356413440 73771 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73771 300 300 0 86715 0
vsize: 348060
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125098 0 0 0 22733 268 0 0 25 0 1 0 865252176 356413440 73773 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73773 300 300 0 86715 0
vsize: 348060
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125099 0 0 0 23733 268 0 0 25 0 1 0 865252176 356413440 73774 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73774 300 300 0 86715 0
vsize: 348060
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125101 0 0 0 24733 268 0 0 25 0 1 0 865252176 356413440 73776 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73776 300 300 0 86715 0
vsize: 348060
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125104 0 0 0 25734 268 0 0 25 0 1 0 865252176 356413440 73779 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73779 300 300 0 86715 0
vsize: 348060
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125106 0 0 0 26734 268 0 0 25 0 1 0 865252176 356413440 73781 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73781 300 300 0 86715 0
vsize: 348060
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125146 0 0 0 27733 268 0 0 25 0 1 0 865252176 356413440 73821 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73821 300 300 0 86715 0
vsize: 348060
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125149 0 0 0 28734 269 0 0 25 0 1 0 865252176 356413440 73824 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73824 300 300 0 86715 0
vsize: 348060
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125152 0 0 0 29734 269 0 0 25 0 1 0 865252176 356413440 73827 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87015 73827 300 300 0 86715 0
vsize: 348060
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 125432 0 0 0 30733 269 0 0 25 0 1 0 865252176 357199872 73913 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87207 73913 300 300 0 86907 0
vsize: 348828
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 127406 0 0 0 31718 275 0 0 25 0 1 0 865252176 357728256 74014 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87336 74014 300 300 0 87036 0
vsize: 349344
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 127408 0 0 0 32718 275 0 0 25 0 1 0 865252176 357728256 74016 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87336 74016 300 300 0 87036 0
vsize: 349344
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 127542 0 0 0 33718 275 0 0 25 0 1 0 865252176 357990400 74084 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87400 74084 300 300 0 87100 0
vsize: 349600
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 127614 0 0 0 34718 275 0 0 25 0 1 0 865252176 358256640 74123 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87465 74123 300 300 0 87165 0
vsize: 349860
[startup+360.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 127906 0 0 0 35717 276 0 0 25 0 1 0 865252176 359043072 74221 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87657 74221 300 300 0 87357 0
vsize: 350628
[startup+370.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128085 0 0 0 36717 276 0 0 25 0 1 0 865252176 359567360 74271 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87785 74271 300 300 0 87485 0
vsize: 351140
[startup+380.019 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128086 0 0 0 37717 277 0 0 25 0 1 0 865252176 359567360 74272 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87785 74272 300 300 0 87485 0
vsize: 351140
[startup+390.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128087 0 0 0 38717 277 0 0 25 0 1 0 865252176 359567360 74273 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87785 74273 300 300 0 87485 0
vsize: 351140
[startup+400.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128088 0 0 0 39717 277 0 0 25 0 1 0 865252176 359567360 74274 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87785 74274 300 300 0 87485 0
vsize: 351140
[startup+410.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128091 0 0 0 40717 277 0 0 25 0 1 0 865252176 359567360 74277 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87785 74277 300 300 0 87485 0
vsize: 351140
[startup+420.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128092 0 0 0 41717 277 0 0 25 0 1 0 865252176 359567360 74278 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87785 74278 300 300 0 87485 0
vsize: 351140
[startup+430.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128113 0 0 0 42717 277 0 0 25 0 1 0 865252176 359817216 74299 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87846 74299 300 300 0 87546 0
vsize: 351384
[startup+440.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128123 0 0 0 43718 277 0 0 25 0 1 0 865252176 359817216 74309 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87846 74309 300 300 0 87546 0
vsize: 351384
[startup+450.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128140 0 0 0 44718 277 0 0 25 0 1 0 865252176 359817216 74326 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87846 74326 300 300 0 87546 0
vsize: 351384
[startup+460.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128152 0 0 0 45718 277 0 0 25 0 1 0 865252176 359817216 74338 4294967295 134512640 135726644 3221224592 3221223088 134744145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87846 74338 300 300 0 87546 0
vsize: 351384
[startup+470.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 128441 0 0 0 46717 278 0 0 25 0 1 0 865252176 360882176 74496 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88106 74496 300 300 0 87806 0
vsize: 352424
[startup+480.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 129067 0 0 0 47716 280 0 0 25 0 1 0 865252176 362463232 74828 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88492 74828 300 300 0 88192 0
vsize: 353968
[startup+490.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 129540 0 0 0 48716 280 0 0 25 0 1 0 865252176 364048384 75041 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88879 75041 300 300 0 88579 0
vsize: 355516
[startup+500.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 131606 0 0 0 49711 284 0 0 25 0 1 0 865252176 365113344 75201 4294967295 134512640 135726644 3221224592 3221223204 134744633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89139 75201 300 300 0 88839 0
vsize: 356556
[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 131608 0 0 0 50711 285 0 0 25 0 1 0 865252176 365113344 75203 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89139 75203 300 300 0 88839 0
vsize: 356556
[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 131609 0 0 0 51711 285 0 0 25 0 1 0 865252176 365113344 75204 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89139 75204 300 300 0 88839 0
vsize: 356556
[startup+530.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 131743 0 0 0 52711 285 0 0 25 0 1 0 865252176 365506560 75240 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89235 75240 300 300 0 88935 0
vsize: 356940
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 132193 0 0 0 53710 286 0 0 25 0 1 0 865252176 366809088 75494 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89553 75494 300 300 0 89253 0
vsize: 358212
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 132585 0 0 0 54709 287 0 0 25 0 1 0 865252176 367726592 75659 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89777 75659 300 300 0 89477 0
vsize: 359108
[startup+560.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 133280 0 0 0 55708 288 0 0 25 0 1 0 865252176 369561600 75903 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90225 75903 300 300 0 89925 0
vsize: 360900
[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 133487 0 0 0 56708 288 0 0 25 0 1 0 865252176 370085888 75981 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90353 75981 300 300 0 90053 0
vsize: 361412
[startup+580.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 134045 0 0 0 57707 289 0 0 25 0 1 0 865252176 371658752 76153 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90737 76153 300 300 0 90437 0
vsize: 362948
[startup+590.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 134179 0 0 0 58707 289 0 0 25 0 1 0 865252176 371920896 76222 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90801 76222 300 300 0 90501 0
vsize: 363204
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 135676 0 0 0 59705 292 0 0 25 0 1 0 865252176 375861248 76847 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91763 76847 300 300 0 91463 0
vsize: 367052
[startup+610.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 136312 0 0 0 60703 294 0 0 25 0 1 0 865252176 377438208 77160 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92148 77160 300 300 0 91848 0
vsize: 368592
[startup+620.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 137541 0 0 0 61701 296 0 0 25 0 1 0 865252176 381128704 77773 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93049 77773 300 300 0 92749 0
vsize: 372196
[startup+630.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 137890 0 0 0 62701 297 0 0 25 0 1 0 865252176 381919232 77993 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93242 77993 300 300 0 92942 0
vsize: 372968
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 138161 0 0 0 63700 298 0 0 25 0 1 0 865252176 382705664 78070 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93434 78070 300 300 0 93134 0
vsize: 373736
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 138981 0 0 0 64699 299 0 0 25 0 1 0 865252176 384806912 78439 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93947 78439 300 300 0 93647 0
vsize: 375788
[startup+660.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 139682 0 0 0 65698 300 0 0 25 0 1 0 865252176 386510848 78719 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94363 78719 300 300 0 94063 0
vsize: 377452
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 139796 0 0 0 66698 300 0 0 25 0 1 0 865252176 386510848 78833 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94363 78833 300 300 0 94063 0
vsize: 377452
[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 140093 0 0 0 67698 301 0 0 25 0 1 0 865252176 387559424 78873 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94619 78873 300 300 0 94319 0
vsize: 378476
[startup+690.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 140097 0 0 0 68698 301 0 0 25 0 1 0 865252176 387559424 78877 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94619 78877 300 300 0 94319 0
vsize: 378476
[startup+700.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 140669 0 0 0 69699 302 0 0 25 0 1 0 865252176 389132288 79062 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95003 79062 300 300 0 94703 0
vsize: 380012
[startup+710.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 140671 0 0 0 70699 302 0 0 25 0 1 0 865252176 389132288 79064 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95003 79064 300 300 0 94703 0
vsize: 380012
[startup+720.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 142779 0 0 0 71695 307 0 0 25 0 1 0 865252176 397451264 80915 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97034 80915 300 300 0 96734 0
vsize: 388136
[startup+730.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 143633 0 0 0 72693 308 0 0 25 0 1 0 865252176 392687616 79637 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95871 79637 300 300 0 95571 0
vsize: 383484
[startup+740.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 143637 0 0 0 73694 308 0 0 25 0 1 0 865252176 392687616 79641 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95871 79641 300 300 0 95571 0
vsize: 383484
[startup+750.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 143640 0 0 0 74694 309 0 0 25 0 1 0 865252176 392687616 79644 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95871 79644 300 300 0 95571 0
vsize: 383484
[startup+760.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 144617 0 0 0 75692 311 0 0 25 0 1 0 865252176 395186176 80135 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96481 80135 300 300 0 96181 0
vsize: 385924
[startup+770.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 144912 0 0 0 76692 311 0 0 25 0 1 0 865252176 395972608 80235 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96673 80235 300 300 0 96373 0
vsize: 386692
[startup+780.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 144914 0 0 0 77691 311 0 0 25 0 1 0 865252176 395972608 80237 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96673 80237 300 300 0 96373 0
vsize: 386692
[startup+790.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 144915 0 0 0 78692 311 0 0 25 0 1 0 865252176 395972608 80238 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96673 80238 300 300 0 96373 0
vsize: 386692
[startup+800.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 144916 0 0 0 79692 311 0 0 25 0 1 0 865252176 395972608 80239 4294967295 134512640 135726644 3221224592 3221223216 134744523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96673 80239 300 300 0 96373 0
vsize: 386692
[startup+810.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 144973 0 0 0 80692 311 0 0 25 0 1 0 865252176 396238848 80296 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96738 80296 300 300 0 96438 0
vsize: 386952
[startup+820.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 145432 0 0 0 81692 312 0 0 25 0 1 0 865252176 397824000 80561 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97125 80561 300 300 0 96825 0
vsize: 388500
[startup+830.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 145850 0 0 0 82691 313 0 0 25 0 1 0 865252176 398872576 80722 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97381 80722 300 300 0 97081 0
vsize: 389524
[startup+840.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 146226 0 0 0 83690 314 0 0 25 0 1 0 865252176 399921152 80841 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97637 80841 300 300 0 97337 0
vsize: 390548
[startup+850.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 146226 0 0 0 84690 314 0 0 25 0 1 0 865252176 399921152 80841 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97637 80841 300 300 0 97337 0
vsize: 390548
[startup+860.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 146601 0 0 0 85690 314 0 0 25 0 1 0 865252176 400969728 80959 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97893 80959 300 300 0 97593 0
vsize: 391572
[startup+870.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 146643 0 0 0 86691 314 0 0 25 0 1 0 865252176 400969728 81001 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97893 81001 300 300 0 97593 0
vsize: 391572
[startup+880.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 146646 0 0 0 87691 315 0 0 25 0 1 0 865252176 400969728 81004 4294967295 134512640 135726644 3221224592 3221222840 135281017 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97893 81004 300 300 0 97593 0
vsize: 391572
[startup+890.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 147058 0 0 0 88690 315 0 0 25 0 1 0 865252176 402018304 81159 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98149 81159 300 300 0 97849 0
vsize: 392596
[startup+900.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 147064 0 0 0 89690 316 0 0 25 0 1 0 865252176 402018304 81165 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98149 81165 300 300 0 97849 0
vsize: 392596
[startup+910.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 147065 0 0 0 90691 316 0 0 25 0 1 0 865252176 402018304 81166 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98149 81166 300 300 0 97849 0
vsize: 392596
[startup+920.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 147102 0 0 0 91691 316 0 0 25 0 1 0 865252176 402018304 81203 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98149 81203 300 300 0 97849 0
vsize: 392596
[startup+930.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 147104 0 0 0 92691 316 0 0 25 0 1 0 865252176 402018304 81205 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98149 81205 300 300 0 97849 0
vsize: 392596
[startup+940.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 147116 0 0 0 93691 316 0 0 25 0 1 0 865252176 402018304 81217 4294967295 134512640 135726644 3221224592 3221223280 134744864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98149 81217 300 300 0 97849 0
vsize: 392596
[startup+950.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149283 0 0 0 94686 321 0 0 25 0 1 0 865252176 403206144 81415 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98439 81415 300 300 0 98139 0
vsize: 393756
[startup+960.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149290 0 0 0 95686 321 0 0 25 0 1 0 865252176 403206144 81422 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98439 81422 300 300 0 98139 0
vsize: 393756
[startup+970.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149521 0 0 0 96686 322 0 0 25 0 1 0 865252176 404135936 81588 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98666 81588 300 300 0 98366 0
vsize: 394664
[startup+980.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149541 0 0 0 97685 323 0 0 25 0 1 0 865252176 404275200 81608 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98700 81608 300 300 0 98400 0
vsize: 394800
[startup+990.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22866
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149542 0 0 0 98685 323 0 0 25 0 1 0 865252176 404275200 81609 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98700 81609 300 300 0 98400 0
vsize: 394800
[startup+1000.08 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 22919
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149581 0 0 0 99681 326 0 0 25 0 1 0 865252176 404541440 81648 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98765 81648 300 300 0 98465 0
vsize: 395060
[startup+1010.08 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 22919
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149621 0 0 0 100681 327 0 0 25 0 1 0 865252176 404807680 81688 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98830 81688 300 300 0 98530 0
vsize: 395320
[startup+1020.08 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 22919
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149622 0 0 0 101681 327 0 0 25 0 1 0 865252176 404807680 81689 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98830 81689 300 300 0 98530 0
vsize: 395320
[startup+1030.08 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 22919
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149624 0 0 0 102681 327 0 0 25 0 1 0 865252176 404807680 81691 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98830 81691 300 300 0 98530 0
vsize: 395320
[startup+1040.08 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22919
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149630 0 0 0 103681 327 0 0 25 0 1 0 865252176 404807680 81697 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98830 81697 300 300 0 98530 0
vsize: 395320
[startup+1050.08 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22919
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149679 0 0 0 104681 327 0 0 25 0 1 0 865252176 404807680 81746 4294967295 134512640 135726644 3221224592 3221223192 134743853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98830 81746 300 300 0 98530 0
vsize: 395320
[startup+1060.08 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22919
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 149682 0 0 0 105681 327 0 0 25 0 1 0 865252176 404807680 81749 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98830 81749 300 300 0 98530 0
vsize: 395320
[startup+1070.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 150015 0 0 0 106681 328 0 0 25 0 1 0 865252176 406142976 81984 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99156 81984 300 300 0 98856 0
vsize: 396624
[startup+1080.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 150351 0 0 0 107680 329 0 0 25 0 1 0 865252176 407060480 82093 4294967295 134512640 135726644 3221224592 3221223088 134744229 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99380 82093 300 300 0 99080 0
vsize: 397520
[startup+1090.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 150525 0 0 0 108680 329 0 0 25 0 1 0 865252176 407867392 82234 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99577 82234 300 300 0 99277 0
vsize: 398308
[startup+1100.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 150679 0 0 0 109679 330 0 0 25 0 1 0 865252176 408264704 82323 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99674 82323 300 300 0 99374 0
vsize: 398696
[startup+1110.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 150889 0 0 0 110679 330 0 0 25 0 1 0 865252176 408788992 82404 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99802 82404 300 300 0 99502 0
vsize: 399208
[startup+1120.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 151012 0 0 0 111679 331 0 0 25 0 1 0 865252176 409051136 82462 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99866 82462 300 300 0 99566 0
vsize: 399464
[startup+1130.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 151013 0 0 0 112679 331 0 0 25 0 1 0 865252176 409051136 82463 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99866 82463 300 300 0 99566 0
vsize: 399464
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 151320 0 0 0 113679 331 0 0 25 0 1 0 865252176 409841664 82640 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100059 82640 300 300 0 99759 0
vsize: 400236
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 151357 0 0 0 114679 331 0 0 25 0 1 0 865252176 409841664 82677 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100059 82677 300 300 0 99759 0
vsize: 400236
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 151360 0 0 0 115679 332 0 0 25 0 1 0 865252176 409841664 82680 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100059 82680 300 300 0 99759 0
vsize: 400236
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 153135 0 0 0 116674 336 0 0 25 0 1 0 865252176 409841664 82680 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100059 82680 300 300 0 99759 0
vsize: 400236
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 153181 0 0 0 117674 336 0 0 25 0 1 0 865252176 409841664 82726 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100059 82726 300 300 0 99759 0
vsize: 400236
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 153377 0 0 0 118674 337 0 0 25 0 1 0 865252176 410636288 82857 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100253 82857 300 300 0 99953 0
vsize: 401012
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 153377 0 0 0 119675 337 0 0 25 0 1 0 865252176 410636288 82857 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100253 82857 300 300 0 99953 0
vsize: 401012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 22921
Raw data (stat): 22866 (pb2sat) R 22865 4613 4612 0 -1 0 153377 0 0 0 119675 337 0 0 25 0 1 0 865252176 410636288 82857 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100253 82857 300 300 0 99953 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.16
CPU time (s): 1202.2
CPU user time (s): 1198.66
CPU system time (s): 3.53546
CPU usage (%): 100.003
Max. virtual memory (Kb): 401012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####