PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.01784
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 35282

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 12:21:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24472 boxname=wulflinc30 idbench=944 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-sentoy.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-sentoy.opb
IDLAUNCH: 24472
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        829556 kB
Buffers:         34360 kB
Cached:         147672 kB
SwapCached:        752 kB
Active:          44584 kB
Inactive:       139552 kB
HighTotal:      131008 kB
HighFree:        46088 kB
LowTotal:       903652 kB
LowFree:        783468 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            15376 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:41:29 (client local time) WITH STATUS 0 IN 1202.58 SECONDS
stats: 24472 7 1202.58 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 7180/1910881	Time: 821.84/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.99 0.97 0.91 2/54 818
Raw data (stat): 818 (runsolver) R 817 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864756961 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.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 27381 0 0 0 939 60 0 0 25 0 1 0 864756961 79998976 16236 4294967295 134512640 135726644 3221224576 3221221136 134604379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19531 16236 300 300 0 19231 0
vsize: 78124
[startup+20.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 52678 0 0 0 1887 111 0 0 25 0 1 0 864756961 154234880 30576 4294967295 134512640 135726644 3221224576 3221203824 134782666 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37655 30576 300 300 0 37355 0
vsize: 150620
[startup+30.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 90358 0 0 0 2810 188 0 0 25 0 1 0 864756961 267931648 46577 4294967295 134512640 135726644 3221224576 3221216592 135284891 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65413 46577 300 300 0 65113 0
vsize: 261652
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 103375 0 0 0 3781 217 0 0 25 0 1 0 864756961 301486080 59355 4294967295 134512640 135726644 3221224576 3221215456 134554608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73605 59355 300 300 0 73305 0
vsize: 294420
[startup+50.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 142668 0 0 0 4710 288 0 0 25 0 1 0 864756961 495878144 97559 4294967295 134512640 135726644 3221224576 3221203484 135298017 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121064 97559 300 300 0 120764 0
vsize: 484256
[startup+60.0014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 179125 0 0 0 5624 374 0 0 25 0 1 0 864756961 531046400 91750 4294967295 134512640 135726644 3221224576 3221213036 134604449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129650 91750 300 300 0 129350 0
vsize: 518600
[startup+70.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 191058 0 0 0 6597 402 0 0 25 0 1 0 864756961 564600832 103463 4294967295 134512640 135726644 3221224576 3221213408 134767237 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137842 103463 300 300 0 137542 0
vsize: 551368
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 205186 0 0 0 7567 431 0 0 25 0 1 0 864756961 564600832 117331 4294967295 134512640 135726644 3221224576 3221209472 134554691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137842 117331 300 300 0 137542 0
vsize: 551368
[startup+90.0039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 219800 0 0 0 8537 461 0 0 25 0 1 0 864756961 629170176 131739 4294967295 134512640 135726644 3221224576 3221214196 134766304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153606 131739 300 300 0 153306 0
vsize: 614424
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 231115 0 0 0 9511 487 0 0 25 0 1 0 864756961 658825216 138664 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160846 138664 300 300 0 160546 0
vsize: 643384
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 233445 0 0 0 10506 491 0 0 25 0 1 0 864756961 665657344 139833 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162514 139833 300 300 0 162214 0
vsize: 650056
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 235137 0 0 0 11504 494 0 0 25 0 1 0 864756961 670064640 140718 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163590 140718 300 300 0 163290 0
vsize: 654360
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 237619 0 0 0 12499 499 0 0 25 0 1 0 864756961 677691392 141945 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165452 141945 300 300 0 165152 0
vsize: 661808
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 240722 0 0 0 13494 504 0 0 25 0 1 0 864756961 685879296 143251 4294967295 134512640 135726644 3221224576 3221223232 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167451 143251 300 300 0 167151 0
vsize: 669804
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 241741 0 0 0 14491 507 0 0 25 0 1 0 864756961 688181248 143757 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168013 143757 300 300 0 167713 0
vsize: 672052
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 241893 0 0 0 15491 507 0 0 25 0 1 0 864756961 688934912 143873 4294967295 134512640 135726644 3221224576 3221223072 134744004 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 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 242937 0 0 0 16489 510 0 0 25 0 1 0 864756961 691720192 144339 4294967295 134512640 135726644 3221224576 3221223220 134744476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168877 144340 300 300 0 168577 0
vsize: 675508
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 243486 0 0 0 17488 511 0 0 25 0 1 0 864756961 692969472 144631 4294967295 134512640 135726644 3221224576 3221223168 134760008 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 244029 0 0 0 18487 512 0 0 25 0 1 0 864756961 695066624 144661 4294967295 134512640 135726644 3221224576 3221223072 134743907 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 244876 0 0 0 19485 514 0 0 25 0 1 0 864756961 697565184 144995 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170304 144995 300 300 0 170004 0
vsize: 681216
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 245137 0 0 0 20485 515 0 0 25 0 1 0 864756961 698269696 145256 4294967295 134512640 135726644 3221224576 3221223244 134745062 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 245169 0 0 0 21485 515 0 0 25 0 1 0 864756961 698478592 145288 4294967295 134512640 135726644 3221224576 3221223024 134726831 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 245170 0 0 0 22485 515 0 0 25 0 1 0 864756961 698478592 145289 4294967295 134512640 135726644 3221224576 3221222824 135281375 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 245170 0 0 0 23487 515 0 0 25 0 1 0 864756961 698478592 145289 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 245252 0 0 0 24487 515 0 0 25 0 1 0 864756961 698740736 145306 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 245973 0 0 0 25487 517 0 0 25 0 1 0 864756961 700313600 145641 4294967295 134512640 135726644 3221224576 3221223216 134744477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170975 145641 300 300 0 170675 0
vsize: 683900
[startup+270.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 246998 0 0 0 26487 519 0 0 25 0 1 0 864756961 702672896 146088 4294967295 134512640 135726644 3221224576 3221223264 134744861 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.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 248573 0 0 0 27484 521 0 0 25 0 1 0 864756961 706342912 146764 4294967295 134512640 135726644 3221224576 3221223072 134744195 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.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 248573 0 0 0 28484 522 0 0 25 0 1 0 864756961 706342912 146764 4294967295 134512640 135726644 3221224576 3221223072 134744163 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.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 248646 0 0 0 29484 522 0 0 25 0 1 0 864756961 706342912 146837 4294967295 134512640 135726644 3221224576 3221223168 134760008 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.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 248648 0 0 0 30484 522 0 0 25 0 1 0 864756961 706342912 146839 4294967295 134512640 135726644 3221224576 3221223168 134760008 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.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 248703 0 0 0 31485 522 0 0 25 0 1 0 864756961 706662400 146894 4294967295 134512640 135726644 3221224576 3221222896 134728892 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 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249101 0 0 0 32486 522 0 0 25 0 1 0 864756961 707846144 147098 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172814 147098 300 300 0 172514 0
vsize: 691256
[startup+340.078 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249726 0 0 0 33485 523 0 0 25 0 1 0 864756961 710033408 147465 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173348 147465 300 300 0 173048 0
vsize: 693392
[startup+350.079 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249743 0 0 0 34486 523 0 0 25 0 1 0 864756961 710033408 147482 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173348 147482 300 300 0 173048 0
vsize: 693392
[startup+360.079 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249751 0 0 0 35486 523 0 0 25 0 1 0 864756961 709898240 147457 4294967295 134512640 135726644 3221224576 3221222896 134728934 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.08 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249757 0 0 0 36486 523 0 0 25 0 1 0 864756961 709898240 147463 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173315 147463 300 300 0 173015 0
vsize: 693260
[startup+380.079 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249804 0 0 0 37485 523 0 0 25 0 1 0 864756961 710164480 147510 4294967295 134512640 135726644 3221224576 3221222896 134728892 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.08 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249805 0 0 0 38485 523 0 0 25 0 1 0 864756961 710164480 147511 4294967295 134512640 135726644 3221224576 3221223072 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173380 147511 300 300 0 173080 0
vsize: 693520
[startup+400.081 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249840 0 0 0 39486 523 0 0 25 0 1 0 864756961 710402048 147546 4294967295 134512640 135726644 3221224576 3221223200 134744503 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.081 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249843 0 0 0 40485 524 0 0 25 0 1 0 864756961 710402048 147549 4294967295 134512640 135726644 3221224576 3221222896 134728892 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.081 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249844 0 0 0 41485 524 0 0 25 0 1 0 864756961 710402048 147550 4294967295 134512640 135726644 3221224576 3221223264 134744864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147550 300 300 0 173138 0
vsize: 693752
[startup+430.092 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249845 0 0 0 42486 524 0 0 25 0 1 0 864756961 710402048 147551 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147551 300 300 0 173138 0
vsize: 693752
[startup+440.092 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249847 0 0 0 43486 524 0 0 25 0 1 0 864756961 710402048 147553 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147553 300 300 0 173138 0
vsize: 693752
[startup+450.092 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249850 0 0 0 44486 524 0 0 25 0 1 0 864756961 710402048 147556 4294967295 134512640 135726644 3221224576 3221223072 134743980 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.096 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249851 0 0 0 45487 524 0 0 25 0 1 0 864756961 710402048 147557 4294967295 134512640 135726644 3221224576 3221223168 134760008 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.112 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249853 0 0 0 46489 525 0 0 25 0 1 0 864756961 710402048 147559 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147559 300 300 0 173138 0
vsize: 693752
[startup+480.118 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249859 0 0 0 47489 525 0 0 25 0 1 0 864756961 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.126 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249859 0 0 0 48490 525 0 0 25 0 1 0 864756961 710402048 147565 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147565 300 300 0 173138 0
vsize: 693752
[startup+500.131 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249862 0 0 0 49491 525 0 0 25 0 1 0 864756961 710402048 147568 4294967295 134512640 135726644 3221224576 3221223072 134743931 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.131 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249867 0 0 0 50491 525 0 0 25 0 1 0 864756961 710402048 147573 4294967295 134512640 135726644 3221224576 3221223200 134744544 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.131 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249868 0 0 0 51491 525 0 0 25 0 1 0 864756961 710402048 147574 4294967295 134512640 135726644 3221224576 3221222896 134728892 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.131 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249869 0 0 0 52491 525 0 0 25 0 1 0 864756961 710402048 147575 4294967295 134512640 135726644 3221224576 3221223264 134744861 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.138 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249875 0 0 0 53492 525 0 0 25 0 1 0 864756961 710402048 147581 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147581 300 300 0 173138 0
vsize: 693752
[startup+550.138 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 249876 0 0 0 54492 525 0 0 25 0 1 0 864756961 710402048 147582 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173438 147582 300 300 0 173138 0
vsize: 693752
[startup+560.138 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250255 0 0 0 55491 526 0 0 25 0 1 0 864756961 711450624 147704 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173694 147704 300 300 0 173394 0
vsize: 694776
[startup+570.139 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250318 0 0 0 56492 526 0 0 25 0 1 0 864756961 711450624 147767 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173694 147767 300 300 0 173394 0
vsize: 694776
[startup+580.138 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250578 0 0 0 57491 526 0 0 25 0 1 0 864756961 711712768 147962 4294967295 134512640 135726644 3221224576 3221222896 134728934 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.139 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250580 0 0 0 58492 526 0 0 25 0 1 0 864756961 711712768 147964 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147964 300 300 0 173458 0
vsize: 695032
[startup+600.139 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250581 0 0 0 59492 526 0 0 25 0 1 0 864756961 711712768 147965 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147965 300 300 0 173458 0
vsize: 695032
[startup+610.139 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250584 0 0 0 60492 526 0 0 25 0 1 0 864756961 711712768 147968 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250587 0 0 0 61492 526 0 0 25 0 1 0 864756961 711712768 147971 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147971 300 300 0 173458 0
vsize: 695032
[startup+630.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250591 0 0 0 62492 527 0 0 25 0 1 0 864756961 711712768 147975 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147975 300 300 0 173458 0
vsize: 695032
[startup+640.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250594 0 0 0 63492 527 0 0 25 0 1 0 864756961 711712768 147978 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173758 147978 300 300 0 173458 0
vsize: 695032
[startup+650.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250627 0 0 0 64492 527 0 0 25 0 1 0 864756961 711888896 148011 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173801 148011 300 300 0 173501 0
vsize: 695204
[startup+660.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250663 0 0 0 65492 527 0 0 25 0 1 0 864756961 712097792 148047 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173852 148047 300 300 0 173552 0
vsize: 695408
[startup+670.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250814 0 0 0 66492 527 0 0 25 0 1 0 864756961 712859648 148151 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174038 148151 300 300 0 173738 0
vsize: 696152
[startup+680.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 250986 0 0 0 67492 527 0 0 25 0 1 0 864756961 713064448 148323 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174088 148323 300 300 0 173788 0
vsize: 696352
[startup+690.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 251573 0 0 0 68491 529 0 0 25 0 1 0 864756961 715161600 148397 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174600 148397 300 300 0 174300 0
vsize: 698400
[startup+700.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 251632 0 0 0 69491 529 0 0 25 0 1 0 864756961 715161600 148456 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174600 148456 300 300 0 174300 0
vsize: 698400
[startup+710.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 251956 0 0 0 70490 530 0 0 25 0 1 0 864756961 715685888 148651 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148651 300 300 0 174428 0
vsize: 698912
[startup+720.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 251957 0 0 0 71490 530 0 0 25 0 1 0 864756961 715685888 148652 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 251957 0 0 0 72490 530 0 0 25 0 1 0 864756961 715685888 148652 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148652 300 300 0 174428 0
vsize: 698912
[startup+740.142 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252001 0 0 0 73491 530 0 0 25 0 1 0 864756961 715685888 148696 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148696 300 300 0 174428 0
vsize: 698912
[startup+750.142 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252003 0 0 0 74491 530 0 0 25 0 1 0 864756961 715685888 148698 4294967295 134512640 135726644 3221224576 3221223072 134743901 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.142 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252003 0 0 0 75491 530 0 0 25 0 1 0 864756961 715685888 148698 4294967295 134512640 135726644 3221224576 3221223264 134744861 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.143 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252003 0 0 0 76491 530 0 0 25 0 1 0 864756961 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+780.143 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252004 0 0 0 77491 530 0 0 25 0 1 0 864756961 715685888 148699 4294967295 134512640 135726644 3221224576 3221222896 134728892 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.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252004 0 0 0 78492 530 0 0 25 0 1 0 864756961 715685888 148699 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148699 300 300 0 174428 0
vsize: 698912
[startup+800.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252039 0 0 0 79492 530 0 0 25 0 1 0 864756961 715685888 148734 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148734 300 300 0 174428 0
vsize: 698912
[startup+810.146 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252041 0 0 0 80492 530 0 0 25 0 1 0 864756961 715685888 148736 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148736 300 300 0 174428 0
vsize: 698912
[startup+820.147 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252042 0 0 0 81492 530 0 0 25 0 1 0 864756961 715685888 148737 4294967295 134512640 135726644 3221224576 3221223072 134743901 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.146 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252042 0 0 0 82492 530 0 0 25 0 1 0 864756961 715685888 148737 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.147 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252042 0 0 0 83493 530 0 0 25 0 1 0 864756961 715685888 148737 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.147 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252043 0 0 0 84493 530 0 0 25 0 1 0 864756961 715685888 148738 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148738 300 300 0 174428 0
vsize: 698912
[startup+860.147 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252044 0 0 0 85493 530 0 0 25 0 1 0 864756961 715685888 148739 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.148 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252044 0 0 0 86493 530 0 0 25 0 1 0 864756961 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+880.148 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252046 0 0 0 87493 530 0 0 25 0 1 0 864756961 715685888 148741 4294967295 134512640 135726644 3221224576 3221223232 134745068 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148741 300 300 0 174428 0
vsize: 698912
[startup+890.149 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252047 0 0 0 88494 530 0 0 25 0 1 0 864756961 715685888 148742 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174728 148742 300 300 0 174428 0
vsize: 698912
[startup+900.149 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 252367 0 0 0 89493 531 0 0 25 0 1 0 864756961 716734464 148805 4294967295 134512640 135726644 3221224576 3221223088 134742274 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.149 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256100 0 0 0 90485 540 0 0 25 0 1 0 864756961 716734464 148805 4294967295 134512640 135726644 3221224576 3221223200 134779627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174984 148805 300 300 0 174684 0
vsize: 699936
[startup+920.148 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256117 0 0 0 91484 540 0 0 25 0 1 0 864756961 716734464 148822 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174984 148822 300 300 0 174684 0
vsize: 699936
[startup+930.149 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256117 0 0 0 92484 540 0 0 25 0 1 0 864756961 716734464 148822 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174984 148822 300 300 0 174684 0
vsize: 699936
[startup+940.149 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256750 0 0 0 93484 541 0 0 25 0 1 0 864756961 718577664 149196 4294967295 134512640 135726644 3221224576 3221223072 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149196 300 300 0 175134 0
vsize: 701736
[startup+950.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256753 0 0 0 94484 541 0 0 25 0 1 0 864756961 718577664 149199 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149199 300 300 0 175134 0
vsize: 701736
[startup+960.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256754 0 0 0 95484 541 0 0 25 0 1 0 864756961 718577664 149200 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149200 300 300 0 175134 0
vsize: 701736
[startup+970.151 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256754 0 0 0 96484 541 0 0 25 0 1 0 864756961 718577664 149200 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149200 300 300 0 175134 0
vsize: 701736
[startup+980.151 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256756 0 0 0 97484 541 0 0 25 0 1 0 864756961 718577664 149202 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149202 300 300 0 175134 0
vsize: 701736
[startup+990.153 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256756 0 0 0 98485 541 0 0 25 0 1 0 864756961 718577664 149202 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149202 300 300 0 175134 0
vsize: 701736
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256758 0 0 0 99485 541 0 0 25 0 1 0 864756961 718577664 149204 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149204 300 300 0 175134 0
vsize: 701736
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.92 3/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256760 0 0 0 100485 541 0 0 25 0 1 0 864756961 718577664 149206 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149206 300 300 0 175134 0
vsize: 701736
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256760 0 0 0 101485 542 0 0 25 0 1 0 864756961 718577664 149206 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149206 300 300 0 175134 0
vsize: 701736
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256761 0 0 0 102485 542 0 0 25 0 1 0 864756961 718577664 149207 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149207 300 300 0 175134 0
vsize: 701736
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256761 0 0 0 103485 542 0 0 25 0 1 0 864756961 718577664 149207 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149207 300 300 0 175134 0
vsize: 701736
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256872 0 0 0 104485 542 0 0 25 0 1 0 864756961 718577664 149318 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149318 300 300 0 175134 0
vsize: 701736
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256873 0 0 0 105486 542 0 0 25 0 1 0 864756961 718577664 149319 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149319 300 300 0 175134 0
vsize: 701736
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256873 0 0 0 106486 542 0 0 25 0 1 0 864756961 718577664 149319 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149319 300 300 0 175134 0
vsize: 701736
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256873 0 0 0 107486 542 0 0 25 0 1 0 864756961 718577664 149319 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149319 300 300 0 175134 0
vsize: 701736
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256874 0 0 0 108486 542 0 0 25 0 1 0 864756961 718577664 149320 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149320 300 300 0 175134 0
vsize: 701736
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256874 0 0 0 109486 542 0 0 25 0 1 0 864756961 718577664 149320 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149320 300 300 0 175134 0
vsize: 701736
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256875 0 0 0 110486 542 0 0 25 0 1 0 864756961 718577664 149321 4294967295 134512640 135726644 3221224576 3221223184 134744653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149321 300 300 0 175134 0
vsize: 701736
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256875 0 0 0 111486 542 0 0 25 0 1 0 864756961 718577664 149321 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149321 300 300 0 175134 0
vsize: 701736
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256875 0 0 0 112486 542 0 0 25 0 1 0 864756961 718577664 149321 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149321 300 300 0 175134 0
vsize: 701736
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256876 0 0 0 113487 542 0 0 25 0 1 0 864756961 718577664 149322 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149322 300 300 0 175134 0
vsize: 701736
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256877 0 0 0 114487 542 0 0 25 0 1 0 864756961 718577664 149323 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149323 300 300 0 175134 0
vsize: 701736
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256877 0 0 0 115487 542 0 0 25 0 1 0 864756961 718577664 149323 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149323 300 300 0 175134 0
vsize: 701736
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256877 0 0 0 116487 542 0 0 25 0 1 0 864756961 718577664 149323 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149323 300 300 0 175134 0
vsize: 701736
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256879 0 0 0 117488 542 0 0 25 0 1 0 864756961 718577664 149325 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149325 300 300 0 175134 0
vsize: 701736
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256880 0 0 0 118488 542 0 0 25 0 1 0 864756961 718577664 149326 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149326 300 300 0 175134 0
vsize: 701736
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256880 0 0 0 119488 542 0 0 25 0 1 0 864756961 718577664 149326 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149326 300 300 0 175134 0
vsize: 701736
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.44 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 818
Raw data (stat): 818 (pb2sat) R 817 22056 22055 0 -1 0 256880 0 0 0 119488 542 0 0 25 0 1 0 864756961 718577664 149326 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175434 149326 300 300 0 175134 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.44
CPU time (s): 1202.58
CPU user time (s): 1196.86
CPU system time (s): 5.72113
CPU usage (%): 100.012
Max. virtual memory (Kb): 701736
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####