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/miplib/normalized-mps-v2-13-7-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 35656

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-28 13:24:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24856 boxname=wulflinc10 idbench=1328 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-sentoy.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-sentoy.opb
IDLAUNCH: 24856
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        741816 kB
Buffers:          4636 kB
Cached:         268300 kB
SwapCached:         84 kB
Active:          19684 kB
Inactive:       255880 kB
HighTotal:      131008 kB
HighFree:        24556 kB
LowTotal:       903652 kB
LowFree:        717260 kB
SwapTotal:     2097136 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5880 kB
Slab:            11592 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:44:15 (client local time) WITH STATUS 0 IN 1202.52 SECONDS
stats: 24856 7 1202.52 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 7180/1910881	Time: 814.624/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.98 0.97 0.91 2/54 24046
Raw data (stat): 24046 (runsolver) R 24045 15547 15546 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806931047 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 27381 0 0 0 936 63 0 0 25 0 1 0 806931047 79998976 16236 4294967295 134512640 135726644 3221224576 3221221212 135280490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19531 16236 300 300 0 19231 0
vsize: 78124
[startup+20.0018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 52629 0 0 0 1880 119 0 0 25 0 1 0 806931047 154234880 30528 4294967295 134512640 135726644 3221224576 3221204124 135287582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37655 30528 300 300 0 37355 0
vsize: 150620
[startup+30.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 90346 0 0 0 2803 196 0 0 25 0 1 0 806931047 267931648 46565 4294967295 134512640 135726644 3221224576 3221214608 134766815 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65413 46565 300 300 0 65113 0
vsize: 261652
[startup+40.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 103370 0 0 0 3776 223 0 0 25 0 1 0 806931047 301486080 59350 4294967295 134512640 135726644 3221224576 3221215096 135280714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73605 59350 300 300 0 73305 0
vsize: 294420
[startup+50.0035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 141522 0 0 0 4702 297 0 0 25 0 1 0 806931047 494120960 96452 4294967295 134512640 135726644 3221224576 3221203304 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120635 96452 300 300 0 120335 0
vsize: 482540
[startup+60.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 178977 0 0 0 5613 386 0 0 25 0 1 0 806931047 531046400 91604 4294967295 134512640 135726644 3221224576 3221211724 135287588 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129650 91604 300 300 0 129350 0
vsize: 518600
[startup+70.0041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 190925 0 0 0 6585 414 0 0 25 0 1 0 806931047 564600832 103333 4294967295 134512640 135726644 3221224576 3221213424 134782515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137842 103333 300 300 0 137542 0
vsize: 551368
[startup+80.0061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 205003 0 0 0 7554 445 0 0 25 0 1 0 806931047 564600832 117152 4294967295 134512640 135726644 3221224576 3221212208 134739307 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137842 117152 300 300 0 137542 0
vsize: 551368
[startup+90.0067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 219372 0 0 0 8524 475 0 0 25 0 1 0 806931047 628494336 131316 4294967295 134512640 135726644 3221224576 3221212608 134739557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153441 131316 300 300 0 153141 0
vsize: 613764
[startup+100.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 231062 0 0 0 9498 501 0 0 25 0 1 0 806931047 658640896 138611 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160801 138611 300 300 0 160501 0
vsize: 643204
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 233396 0 0 0 10493 507 0 0 25 0 1 0 806931047 665288704 139784 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162424 139784 300 300 0 162124 0
vsize: 649696
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 235021 0 0 0 11490 510 0 0 25 0 1 0 806931047 670064640 140602 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163590 140602 300 300 0 163290 0
vsize: 654360
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 237222 0 0 0 12485 515 0 0 25 0 1 0 806931047 676642816 141805 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165196 141805 300 300 0 164896 0
vsize: 660784
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 240695 0 0 0 13477 523 0 0 25 0 1 0 806931047 685879296 143224 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167451 143224 300 300 0 167151 0
vsize: 669804
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 241715 0 0 0 14474 526 0 0 25 0 1 0 806931047 687976448 143731 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167963 143731 300 300 0 167663 0
vsize: 671852
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 241893 0 0 0 15474 526 0 0 25 0 1 0 806931047 688934912 143873 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168197 143873 300 300 0 167897 0
vsize: 672788
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 242933 0 0 0 16473 527 0 0 25 0 1 0 806931047 691720192 144335 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168877 144335 300 300 0 168577 0
vsize: 675508
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 243486 0 0 0 17473 528 0 0 25 0 1 0 806931047 692969472 144631 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169182 144631 300 300 0 168882 0
vsize: 676728
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 244029 0 0 0 18472 529 0 0 25 0 1 0 806931047 695066624 144661 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169694 144661 300 300 0 169394 0
vsize: 678776
[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 244904 0 0 0 19470 531 0 0 25 0 1 0 806931047 697565184 145023 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170304 145023 300 300 0 170004 0
vsize: 681216
[startup+210.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 245137 0 0 0 20470 532 0 0 25 0 1 0 806931047 698269696 145256 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170476 145256 300 300 0 170176 0
vsize: 681904
[startup+220.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 245169 0 0 0 21472 532 0 0 25 0 1 0 806931047 698478592 145288 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170527 145288 300 300 0 170227 0
vsize: 682108
[startup+230.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 245170 0 0 0 22472 532 0 0 25 0 1 0 806931047 698478592 145289 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170527 145289 300 300 0 170227 0
vsize: 682108
[startup+240.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 245170 0 0 0 23473 532 0 0 25 0 1 0 806931047 698478592 145289 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170527 145289 300 300 0 170227 0
vsize: 682108
[startup+250.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 245252 0 0 0 24473 533 0 0 25 0 1 0 806931047 698740736 145306 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170591 145306 300 300 0 170291 0
vsize: 682364
[startup+260.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 245974 0 0 0 25471 535 0 0 25 0 1 0 806931047 700313600 145642 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170975 145642 300 300 0 170675 0
vsize: 683900
[startup+270.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 246998 0 0 0 26471 536 0 0 25 0 1 0 806931047 702672896 146088 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171551 146088 300 300 0 171251 0
vsize: 686204
[startup+280.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 248573 0 0 0 27469 538 0 0 25 0 1 0 806931047 706342912 146764 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172447 146764 300 300 0 172147 0
vsize: 689788
[startup+290.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 248573 0 0 0 28470 538 0 0 25 0 1 0 806931047 706342912 146764 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172447 146764 300 300 0 172147 0
vsize: 689788
[startup+300.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 248646 0 0 0 29470 539 0 0 25 0 1 0 806931047 706342912 146837 4294967295 134512640 135726644 3221224576 3221222960 135105735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172447 146837 300 300 0 172147 0
vsize: 689788
[startup+310.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 248648 0 0 0 30470 539 0 0 25 0 1 0 806931047 706342912 146839 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172447 146839 300 300 0 172147 0
vsize: 689788
[startup+320.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 248703 0 0 0 31470 539 0 0 25 0 1 0 806931047 706662400 146894 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172525 146894 300 300 0 172225 0
vsize: 690100
[startup+330.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249102 0 0 0 32470 540 0 0 25 0 1 0 806931047 707846144 147099 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172814 147099 300 300 0 172514 0
vsize: 691256
[startup+340.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249730 0 0 0 33469 541 0 0 25 0 1 0 806931047 710033408 147469 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173348 147469 300 300 0 173048 0
vsize: 693392
[startup+350.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249744 0 0 0 34469 541 0 0 25 0 1 0 806931047 710033408 147483 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173348 147483 300 300 0 173048 0
vsize: 693392
[startup+360.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249751 0 0 0 35470 541 0 0 25 0 1 0 806931047 709898240 147457 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173315 147457 300 300 0 173015 0
vsize: 693260
[startup+370.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249759 0 0 0 36471 541 0 0 25 0 1 0 806931047 709898240 147465 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173315 147465 300 300 0 173015 0
vsize: 693260
[startup+380.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249804 0 0 0 37471 542 0 0 25 0 1 0 806931047 710164480 147510 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173380 147510 300 300 0 173080 0
vsize: 693520
[startup+390.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249807 0 0 0 38471 542 0 0 25 0 1 0 806931047 710164480 147513 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173380 147513 300 300 0 173080 0
vsize: 693520
[startup+400.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249840 0 0 0 39471 542 0 0 25 0 1 0 806931047 710402048 147546 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147546 300 300 0 173138 0
vsize: 693752
[startup+410.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249843 0 0 0 40471 542 0 0 25 0 1 0 806931047 710402048 147549 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147549 300 300 0 173138 0
vsize: 693752
[startup+420.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249845 0 0 0 41472 542 0 0 25 0 1 0 806931047 710402048 147551 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147551 300 300 0 173138 0
vsize: 693752
[startup+430.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249846 0 0 0 42472 542 0 0 25 0 1 0 806931047 710402048 147552 4294967295 134512640 135726644 3221224576 3221223072 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147552 300 300 0 173138 0
vsize: 693752
[startup+440.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249848 0 0 0 43472 542 0 0 25 0 1 0 806931047 710402048 147554 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147554 300 300 0 173138 0
vsize: 693752
[startup+450.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249850 0 0 0 44472 542 0 0 25 0 1 0 806931047 710402048 147556 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147556 300 300 0 173138 0
vsize: 693752
[startup+460.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249851 0 0 0 45472 542 0 0 25 0 1 0 806931047 710402048 147557 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147557 300 300 0 173138 0
vsize: 693752
[startup+470.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249859 0 0 0 46473 542 0 0 25 0 1 0 806931047 710402048 147565 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147565 300 300 0 173138 0
vsize: 693752
[startup+480.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249859 0 0 0 47473 542 0 0 25 0 1 0 806931047 710402048 147565 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147565 300 300 0 173138 0
vsize: 693752
[startup+490.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249860 0 0 0 48473 542 0 0 25 0 1 0 806931047 710402048 147566 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147566 300 300 0 173138 0
vsize: 693752
[startup+500.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249862 0 0 0 49473 542 0 0 25 0 1 0 806931047 710402048 147568 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147568 300 300 0 173138 0
vsize: 693752
[startup+510.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249867 0 0 0 50473 543 0 0 25 0 1 0 806931047 710402048 147573 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147573 300 300 0 173138 0
vsize: 693752
[startup+520.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249868 0 0 0 51473 543 0 0 25 0 1 0 806931047 710402048 147574 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147574 300 300 0 173138 0
vsize: 693752
[startup+530.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249869 0 0 0 52474 543 0 0 25 0 1 0 806931047 710402048 147575 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147575 300 300 0 173138 0
vsize: 693752
[startup+540.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249876 0 0 0 53474 543 0 0 25 0 1 0 806931047 710402048 147582 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147582 300 300 0 173138 0
vsize: 693752
[startup+550.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 249919 0 0 0 54474 543 0 0 25 0 1 0 806931047 710402048 147625 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147625 300 300 0 173138 0
vsize: 693752
[startup+560.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250256 0 0 0 55474 543 0 0 25 0 1 0 806931047 711450624 147705 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173694 147705 300 300 0 173394 0
vsize: 694776
[startup+570.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250348 0 0 0 56474 543 0 0 25 0 1 0 806931047 711450624 147797 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173694 147797 300 300 0 173394 0
vsize: 694776
[startup+580.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250578 0 0 0 57474 544 0 0 25 0 1 0 806931047 711712768 147962 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147962 300 300 0 173458 0
vsize: 695032
[startup+590.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250581 0 0 0 58474 544 0 0 25 0 1 0 806931047 711712768 147965 4294967295 134512640 135726644 3221224576 3221223264 134744864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147965 300 300 0 173458 0
vsize: 695032
[startup+600.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250583 0 0 0 59474 544 0 0 25 0 1 0 806931047 711712768 147967 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147967 300 300 0 173458 0
vsize: 695032
[startup+610.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250584 0 0 0 60474 544 0 0 25 0 1 0 806931047 711712768 147968 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147968 300 300 0 173458 0
vsize: 695032
[startup+620.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250589 0 0 0 61474 544 0 0 25 0 1 0 806931047 711712768 147973 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147973 300 300 0 173458 0
vsize: 695032
[startup+630.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250593 0 0 0 62474 544 0 0 25 0 1 0 806931047 711712768 147977 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147977 300 300 0 173458 0
vsize: 695032
[startup+640.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250621 0 0 0 63475 544 0 0 25 0 1 0 806931047 711888896 148005 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173801 148005 300 300 0 173501 0
vsize: 695204
[startup+650.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250631 0 0 0 64475 544 0 0 25 0 1 0 806931047 711888896 148015 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173801 148015 300 300 0 173501 0
vsize: 695204
[startup+660.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250694 0 0 0 65475 544 0 0 25 0 1 0 806931047 712290304 148078 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173899 148078 300 300 0 173599 0
vsize: 695596
[startup+670.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250978 0 0 0 66475 545 0 0 25 0 1 0 806931047 713064448 148315 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174088 148315 300 300 0 173788 0
vsize: 696352
[startup+680.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 250989 0 0 0 67475 545 0 0 25 0 1 0 806931047 713064448 148326 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174088 148326 300 300 0 173788 0
vsize: 696352
[startup+690.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 251578 0 0 0 68474 546 0 0 25 0 1 0 806931047 715161600 148402 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174600 148402 300 300 0 174300 0
vsize: 698400
[startup+700.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 251789 0 0 0 69474 546 0 0 25 0 1 0 806931047 715161600 148613 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174600 148613 300 300 0 174300 0
vsize: 698400
[startup+710.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 251957 0 0 0 70473 547 0 0 25 0 1 0 806931047 715685888 148652 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148652 300 300 0 174428 0
vsize: 698912
[startup+720.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 251957 0 0 0 71474 547 0 0 25 0 1 0 806931047 715685888 148652 4294967295 134512640 135726644 3221224576 3221222904 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148652 300 300 0 174428 0
vsize: 698912
[startup+730.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252001 0 0 0 72474 547 0 0 25 0 1 0 806931047 715685888 148696 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148696 300 300 0 174428 0
vsize: 698912
[startup+740.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252002 0 0 0 73474 547 0 0 25 0 1 0 806931047 715685888 148697 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148697 300 300 0 174428 0
vsize: 698912
[startup+750.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252003 0 0 0 74474 547 0 0 25 0 1 0 806931047 715685888 148698 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148698 300 300 0 174428 0
vsize: 698912
[startup+760.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252003 0 0 0 75474 547 0 0 25 0 1 0 806931047 715685888 148698 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148698 300 300 0 174428 0
vsize: 698912
[startup+770.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252004 0 0 0 76475 547 0 0 25 0 1 0 806931047 715685888 148699 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148699 300 300 0 174428 0
vsize: 698912
[startup+780.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252004 0 0 0 77475 547 0 0 25 0 1 0 806931047 715685888 148699 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148699 300 300 0 174428 0
vsize: 698912
[startup+790.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252039 0 0 0 78475 547 0 0 25 0 1 0 806931047 715685888 148734 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148734 300 300 0 174428 0
vsize: 698912
[startup+800.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252041 0 0 0 79475 547 0 0 25 0 1 0 806931047 715685888 148736 4294967295 134512640 135726644 3221224576 3221223168 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148736 300 300 0 174428 0
vsize: 698912
[startup+810.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252042 0 0 0 80475 547 0 0 25 0 1 0 806931047 715685888 148737 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148737 300 300 0 174428 0
vsize: 698912
[startup+820.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252042 0 0 0 81475 547 0 0 25 0 1 0 806931047 715685888 148737 4294967295 134512640 135726644 3221224576 3221223264 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148737 300 300 0 174428 0
vsize: 698912
[startup+830.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252042 0 0 0 82476 547 0 0 25 0 1 0 806931047 715685888 148737 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148737 300 300 0 174428 0
vsize: 698912
[startup+840.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252042 0 0 0 83476 547 0 0 25 0 1 0 806931047 715685888 148737 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148737 300 300 0 174428 0
vsize: 698912
[startup+850.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252044 0 0 0 84476 547 0 0 25 0 1 0 806931047 715685888 148739 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148739 300 300 0 174428 0
vsize: 698912
[startup+860.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252044 0 0 0 85476 547 0 0 25 0 1 0 806931047 715685888 148739 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148739 300 300 0 174428 0
vsize: 698912
[startup+870.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252045 0 0 0 86476 547 0 0 25 0 1 0 806931047 715685888 148740 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148740 300 300 0 174428 0
vsize: 698912
[startup+880.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252047 0 0 0 87476 547 0 0 25 0 1 0 806931047 715685888 148742 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148742 300 300 0 174428 0
vsize: 698912
[startup+890.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 252366 0 0 0 88476 548 0 0 25 0 1 0 806931047 716734464 148804 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174984 148804 300 300 0 174684 0
vsize: 699936
[startup+900.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256100 0 0 0 89467 557 0 0 25 0 1 0 806931047 716734464 148805 4294967295 134512640 135726644 3221224576 3221223116 135298010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174984 148805 300 300 0 174684 0
vsize: 699936
[startup+910.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256116 0 0 0 90464 557 0 0 25 0 1 0 806931047 716734464 148821 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174984 148821 300 300 0 174684 0
vsize: 699936
[startup+920.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256117 0 0 0 91464 558 0 0 25 0 1 0 806931047 716734464 148822 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174984 148822 300 300 0 174684 0
vsize: 699936
[startup+930.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256719 0 0 0 92462 558 0 0 25 0 1 0 806931047 718577664 149165 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149165 300 300 0 175134 0
vsize: 701736
[startup+940.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256753 0 0 0 93462 559 0 0 25 0 1 0 806931047 718577664 149199 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149199 300 300 0 175134 0
vsize: 701736
[startup+950.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256753 0 0 0 94462 559 0 0 25 0 1 0 806931047 718577664 149199 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149199 300 300 0 175134 0
vsize: 701736
[startup+960.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256754 0 0 0 95462 559 0 0 25 0 1 0 806931047 718577664 149200 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149200 300 300 0 175134 0
vsize: 701736
[startup+970.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256755 0 0 0 96461 560 0 0 25 0 1 0 806931047 718577664 149201 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149201 300 300 0 175134 0
vsize: 701736
[startup+980.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256756 0 0 0 97461 560 0 0 25 0 1 0 806931047 718577664 149202 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149202 300 300 0 175134 0
vsize: 701736
[startup+990.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256757 0 0 0 98461 560 0 0 25 0 1 0 806931047 718577664 149203 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149203 300 300 0 175134 0
vsize: 701736
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256760 0 0 0 99460 561 0 0 25 0 1 0 806931047 718577664 149206 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149206 300 300 0 175134 0
vsize: 701736
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256760 0 0 0 100460 561 0 0 25 0 1 0 806931047 718577664 149206 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149206 300 300 0 175134 0
vsize: 701736
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256761 0 0 0 101460 561 0 0 25 0 1 0 806931047 718577664 149207 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149207 300 300 0 175134 0
vsize: 701736
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256761 0 0 0 102460 562 0 0 25 0 1 0 806931047 718577664 149207 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149207 300 300 0 175134 0
vsize: 701736
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256871 0 0 0 103459 562 0 0 25 0 1 0 806931047 718577664 149317 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149317 300 300 0 175134 0
vsize: 701736
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256873 0 0 0 104459 562 0 0 25 0 1 0 806931047 718577664 149319 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149319 300 300 0 175134 0
vsize: 701736
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256873 0 0 0 105459 563 0 0 25 0 1 0 806931047 718577664 149319 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149319 300 300 0 175134 0
vsize: 701736
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256873 0 0 0 106459 563 0 0 25 0 1 0 806931047 718577664 149319 4294967295 134512640 135726644 3221224576 3221223200 134744544 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149319 300 300 0 175134 0
vsize: 701736
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256874 0 0 0 107458 563 0 0 25 0 1 0 806931047 718577664 149320 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149320 300 300 0 175134 0
vsize: 701736
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256874 0 0 0 108458 564 0 0 25 0 1 0 806931047 718577664 149320 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149320 300 300 0 175134 0
vsize: 701736
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256874 0 0 0 109458 564 0 0 25 0 1 0 806931047 718577664 149320 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149320 300 300 0 175134 0
vsize: 701736
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256875 0 0 0 110457 565 0 0 25 0 1 0 806931047 718577664 149321 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149321 300 300 0 175134 0
vsize: 701736
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256875 0 0 0 111457 565 0 0 25 0 1 0 806931047 718577664 149321 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149321 300 300 0 175134 0
vsize: 701736
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256875 0 0 0 112457 565 0 0 25 0 1 0 806931047 718577664 149321 4294967295 134512640 135726644 3221224576 3221223232 134745068 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149321 300 300 0 175134 0
vsize: 701736
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256877 0 0 0 113457 566 0 0 25 0 1 0 806931047 718577664 149323 4294967295 134512640 135726644 3221224576 3221223088 135279378 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149323 300 300 0 175134 0
vsize: 701736
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256877 0 0 0 114456 566 0 0 25 0 1 0 806931047 718577664 149323 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149323 300 300 0 175134 0
vsize: 701736
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256877 0 0 0 115456 566 0 0 25 0 1 0 806931047 718577664 149323 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149323 300 300 0 175134 0
vsize: 701736
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256878 0 0 0 116456 566 0 0 25 0 1 0 806931047 718577664 149324 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149324 300 300 0 175134 0
vsize: 701736
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256879 0 0 0 117456 566 0 0 25 0 1 0 806931047 718577664 149325 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149325 300 300 0 175134 0
vsize: 701736
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256880 0 0 0 118456 567 0 0 25 0 1 0 806931047 718577664 149326 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149326 300 300 0 175134 0
vsize: 701736
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256882 0 0 0 119456 567 0 0 25 0 1 0 806931047 718577664 149328 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149328 300 300 0 175134 0
vsize: 701736
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.4 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 24046
Raw data (stat): 24046 (pb2sat) R 24045 15547 15546 0 -1 0 256882 0 0 0 119456 567 0 0 25 0 1 0 806931047 718577664 149328 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175434 149328 300 300 0 175134 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.4
CPU time (s): 1202.52
CPU user time (s): 1196.55
CPU system time (s): 5.97509
CPU usage (%): 100.01
Max. virtual memory (Kb): 701736
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####