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/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb
MD5SUM	373fd65e1136c6c0b1070f70c39b678a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1015
Optimality of the best value was proved	NO
Number of terms in the objective function	2030
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2030
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2030
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.88856
Number of variables	2030
Total number of constraints	4373
Number of constraints which are clauses	4373
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 34917

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        713732 kB
Buffers:         35868 kB
Cached:         264552 kB
SwapCached:        548 kB
Active:          17776 kB
Inactive:       284696 kB
HighTotal:      131008 kB
HighFree:        56336 kB
LowTotal:       903652 kB
LowFree:        657396 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            12948 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:15:17 (client local time) WITH STATUS 0 IN 1202.59 SECONDS
stats: 24128 7 1202.59 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.89 2/54 5603
Raw data (stat): 5603 (runsolver) R 5602 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806029993 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99999 s]
Raw data (loadavg): 0.93 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 29093 0 0 0 933 65 0 0 25 0 1 0 806029993 88858624 18192 4294967295 134512640 135726644 3221224592 3221165424 135280560 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21694 18192 300 300 0 21394 0
vsize: 86776
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 57587 0 0 0 1874 125 0 0 25 0 1 0 806029993 174850048 35730 4294967295 134512640 135726644 3221224592 3220916980 135277617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42688 35730 300 300 0 42388 0
vsize: 170752
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 97944 0 0 0 2791 209 0 0 25 0 1 0 806029993 298680320 54408 4294967295 134512640 135726644 3221224592 3220553680 134767237 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72920 54408 300 300 0 72620 0
vsize: 291680
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 113787 0 0 0 3757 242 0 0 25 0 1 0 806029993 345616384 70027 4294967295 134512640 135726644 3221224592 3220987768 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84379 70027 300 300 0 84079 0
vsize: 337516
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 138915 0 0 0 4705 295 0 0 25 0 1 0 806029993 525668352 94727 4294967295 134512640 135726644 3221224592 3221021376 134771783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128337 94729 300 300 0 128037 0
vsize: 513348
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 194365 0 0 0 5589 410 0 0 25 0 1 0 806029993 595034112 107261 4294967295 134512640 135726644 3221224592 3220701368 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145272 107262 300 300 0 144972 0
vsize: 581088
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 205954 0 0 0 6563 437 0 0 25 0 1 0 806029993 628588544 118644 4294967295 134512640 135726644 3221224592 3220985452 134558555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153464 118644 300 300 0 153164 0
vsize: 613856
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 224142 0 0 0 7526 474 0 0 25 0 1 0 806029993 650620928 136603 4294967295 134512640 135726644 3221224592 3220846968 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158843 136603 300 300 0 158543 0
vsize: 635372
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 240052 0 0 0 8494 507 0 0 25 0 1 0 806029993 723795968 152329 4294967295 134512640 135726644 3221224592 3221206648 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176708 152329 300 300 0 176408 0
vsize: 706832
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 259871 0 0 0 9452 549 0 0 25 0 1 0 806029993 752181248 171917 4294967295 134512640 135726644 3221224592 3221207368 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183638 171917 300 300 0 183338 0
vsize: 734552
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 272471 0 0 0 10419 579 0 0 25 0 1 0 806029993 778825728 179971 4294967295 134512640 135726644 3221224592 3221222896 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190143 179971 300 300 0 189843 0
vsize: 760572
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 279898 0 0 0 11405 594 0 0 25 0 1 0 806029993 804020224 185048 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196294 185048 300 300 0 195994 0
vsize: 785176
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 280761 0 0 0 12404 595 0 0 25 0 1 0 806029993 806260736 185427 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196841 185427 300 300 0 196541 0
vsize: 787364
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 281216 0 0 0 13403 596 0 0 25 0 1 0 806029993 807575552 185592 4294967295 134512640 135726644 3221224592 3221223216 134744503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197162 185592 300 300 0 196862 0
vsize: 788648
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 281596 0 0 0 14402 597 0 0 25 0 1 0 806029993 808361984 185778 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197354 185778 300 300 0 197054 0
vsize: 789416
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 281597 0 0 0 15402 597 0 0 25 0 1 0 806029993 808361984 185779 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197354 185779 300 300 0 197054 0
vsize: 789416
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 281611 0 0 0 16402 597 0 0 25 0 1 0 806029993 808361984 185793 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197354 185793 300 300 0 197054 0
vsize: 789416
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 282392 0 0 0 17401 599 0 0 25 0 1 0 806029993 810987520 185962 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197995 185962 300 300 0 197695 0
vsize: 791980
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 282878 0 0 0 18400 600 0 0 25 0 1 0 806029993 812175360 186191 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198285 186191 300 300 0 197985 0
vsize: 793140
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 282909 0 0 0 19400 600 0 0 25 0 1 0 806029993 812310528 186222 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198318 186222 300 300 0 198018 0
vsize: 793272
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 282911 0 0 0 20400 600 0 0 25 0 1 0 806029993 812310528 186224 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198318 186224 300 300 0 198018 0
vsize: 793272
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 282915 0 0 0 21400 600 0 0 25 0 1 0 806029993 812310528 186228 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198318 186228 300 300 0 198018 0
vsize: 793272
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 282915 0 0 0 22400 600 0 0 25 0 1 0 806029993 812310528 186228 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198318 186228 300 300 0 198018 0
vsize: 793272
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 283524 0 0 0 23399 602 0 0 25 0 1 0 806029993 813801472 186675 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198682 186675 300 300 0 198382 0
vsize: 794728
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 284654 0 0 0 24397 604 0 0 25 0 1 0 806029993 816685056 187097 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199386 187097 300 300 0 199086 0
vsize: 797544
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 285550 0 0 0 25395 606 0 0 25 0 1 0 806029993 818528256 187574 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199836 187574 300 300 0 199536 0
vsize: 799344
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 285572 0 0 0 26395 606 0 0 25 0 1 0 806029993 818528256 187596 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199836 187596 300 300 0 199536 0
vsize: 799344
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5603
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 285573 0 0 0 27396 606 0 0 25 0 1 0 806029993 818528256 187597 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199836 187597 300 300 0 199536 0
vsize: 799344
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 5606
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 285581 0 0 0 28396 606 0 0 25 0 1 0 806029993 818528256 187605 4294967295 134512640 135726644 3221224592 3221223184 134760402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199836 187605 300 300 0 199536 0
vsize: 799344
[startup+300.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5656
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 285593 0 0 0 29389 613 0 0 25 0 1 0 806029993 818675712 187617 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199872 187617 300 300 0 199572 0
vsize: 799488
[startup+310.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5656
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 285599 0 0 0 30389 613 0 0 25 0 1 0 806029993 818675712 187623 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199872 187623 300 300 0 199572 0
vsize: 799488
[startup+320.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5656
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 285747 0 0 0 31389 613 0 0 25 0 1 0 806029993 818937856 187706 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199936 187706 300 300 0 199636 0
vsize: 799744
[startup+330.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5656
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286009 0 0 0 32389 614 0 0 25 0 1 0 806029993 819593216 187806 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187806 300 300 0 199796 0
vsize: 800384
[startup+340.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5656
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286010 0 0 0 33389 614 0 0 25 0 1 0 806029993 819593216 187807 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187807 300 300 0 199796 0
vsize: 800384
[startup+350.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5656
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286010 0 0 0 34389 614 0 0 25 0 1 0 806029993 819593216 187807 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187807 300 300 0 199796 0
vsize: 800384
[startup+360.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286012 0 0 0 35389 614 0 0 25 0 1 0 806029993 819593216 187809 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187809 300 300 0 199796 0
vsize: 800384
[startup+370.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286013 0 0 0 36389 614 0 0 25 0 1 0 806029993 819593216 187810 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187810 300 300 0 199796 0
vsize: 800384
[startup+380.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286015 0 0 0 37389 614 0 0 25 0 1 0 806029993 819593216 187812 4294967295 134512640 135726644 3221224592 3221222840 135280796 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187812 300 300 0 199796 0
vsize: 800384
[startup+390.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286016 0 0 0 38389 615 0 0 25 0 1 0 806029993 819593216 187813 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187813 300 300 0 199796 0
vsize: 800384
[startup+400.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286017 0 0 0 39389 615 0 0 25 0 1 0 806029993 819593216 187814 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187814 300 300 0 199796 0
vsize: 800384
[startup+410.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286036 0 0 0 40389 615 0 0 25 0 1 0 806029993 819593216 187833 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187833 300 300 0 199796 0
vsize: 800384
[startup+420.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286042 0 0 0 41390 615 0 0 25 0 1 0 806029993 819593216 187839 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200096 187839 300 300 0 199796 0
vsize: 800384
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286179 0 0 0 42389 615 0 0 25 0 1 0 806029993 819855360 187911 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200160 187911 300 300 0 199860 0
vsize: 800640
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 286497 0 0 0 43389 616 0 0 25 0 1 0 806029993 820903936 187972 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200416 187972 300 300 0 200116 0
vsize: 801664
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287068 0 0 0 44388 617 0 0 25 0 1 0 806029993 822476800 188157 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188157 300 300 0 200500 0
vsize: 803200
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287097 0 0 0 45388 617 0 0 25 0 1 0 806029993 822476800 188186 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188186 300 300 0 200500 0
vsize: 803200
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287098 0 0 0 46388 617 0 0 25 0 1 0 806029993 822476800 188187 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188187 300 300 0 200500 0
vsize: 803200
[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287232 0 0 0 47388 617 0 0 25 0 1 0 806029993 822476800 188321 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188321 300 300 0 200500 0
vsize: 803200
[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287234 0 0 0 48388 617 0 0 25 0 1 0 806029993 822476800 188323 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188323 300 300 0 200500 0
vsize: 803200
[startup+500.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287235 0 0 0 49388 617 0 0 25 0 1 0 806029993 822476800 188324 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188324 300 300 0 200500 0
vsize: 803200
[startup+510.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287236 0 0 0 50388 617 0 0 25 0 1 0 806029993 822476800 188325 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188325 300 300 0 200500 0
vsize: 803200
[startup+520.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287236 0 0 0 51389 618 0 0 25 0 1 0 806029993 822476800 188325 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188325 300 300 0 200500 0
vsize: 803200
[startup+530.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287238 0 0 0 52389 618 0 0 25 0 1 0 806029993 822476800 188327 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188327 300 300 0 200500 0
vsize: 803200
[startup+540.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287239 0 0 0 53389 618 0 0 25 0 1 0 806029993 822476800 188328 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188328 300 300 0 200500 0
vsize: 803200
[startup+550.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287239 0 0 0 54389 618 0 0 25 0 1 0 806029993 822476800 188328 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188328 300 300 0 200500 0
vsize: 803200
[startup+560.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287240 0 0 0 55389 618 0 0 25 0 1 0 806029993 822476800 188329 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200800 188329 300 300 0 200500 0
vsize: 803200
[startup+570.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287241 0 0 0 56388 618 0 0 25 0 1 0 806029993 822476800 188330 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200800 188330 300 300 0 200500 0
vsize: 803200
[startup+580.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287271 0 0 0 57388 618 0 0 25 0 1 0 806029993 822476800 188360 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188360 300 300 0 200500 0
vsize: 803200
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5658
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287272 0 0 0 58388 618 0 0 25 0 1 0 806029993 822476800 188361 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188361 300 300 0 200500 0
vsize: 803200
[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287273 0 0 0 59388 618 0 0 25 0 1 0 806029993 822476800 188362 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188362 300 300 0 200500 0
vsize: 803200
[startup+610.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287275 0 0 0 60388 618 0 0 25 0 1 0 806029993 822476800 188364 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188364 300 300 0 200500 0
vsize: 803200
[startup+620.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287281 0 0 0 61388 618 0 0 25 0 1 0 806029993 822476800 188370 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188370 300 300 0 200500 0
vsize: 803200
[startup+630.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287282 0 0 0 62389 618 0 0 25 0 1 0 806029993 822476800 188371 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188371 300 300 0 200500 0
vsize: 803200
[startup+640.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287293 0 0 0 63389 618 0 0 25 0 1 0 806029993 822476800 188382 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200800 188382 300 300 0 200500 0
vsize: 803200
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287385 0 0 0 64389 618 0 0 25 0 1 0 806029993 822738944 188409 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200864 188409 300 300 0 200564 0
vsize: 803456
[startup+660.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 287386 0 0 0 65389 619 0 0 25 0 1 0 806029993 822738944 188410 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200864 188410 300 300 0 200564 0
vsize: 803456
[startup+670.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288116 0 0 0 66387 620 0 0 25 0 1 0 806029993 824848384 188721 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201379 188721 300 300 0 201079 0
vsize: 805516
[startup+680.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288162 0 0 0 67387 620 0 0 25 0 1 0 806029993 824987648 188767 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188767 300 300 0 201113 0
vsize: 805652
[startup+690.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288166 0 0 0 68387 620 0 0 25 0 1 0 806029993 824987648 188771 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188771 300 300 0 201113 0
vsize: 805652
[startup+700.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288166 0 0 0 69388 620 0 0 25 0 1 0 806029993 824987648 188771 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188771 300 300 0 201113 0
vsize: 805652
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288167 0 0 0 70388 620 0 0 25 0 1 0 806029993 824987648 188772 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188772 300 300 0 201113 0
vsize: 805652
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288168 0 0 0 71388 621 0 0 25 0 1 0 806029993 824987648 188773 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188773 300 300 0 201113 0
vsize: 805652
[startup+730.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288239 0 0 0 72388 621 0 0 25 0 1 0 806029993 824987648 188844 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188844 300 300 0 201113 0
vsize: 805652
[startup+740.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288240 0 0 0 73388 621 0 0 25 0 1 0 806029993 824987648 188845 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188845 300 300 0 201113 0
vsize: 805652
[startup+750.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288241 0 0 0 74388 621 0 0 25 0 1 0 806029993 824987648 188846 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188846 300 300 0 201113 0
vsize: 805652
[startup+760.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288241 0 0 0 75389 621 0 0 25 0 1 0 806029993 824987648 188846 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188846 300 300 0 201113 0
vsize: 805652
[startup+770.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288243 0 0 0 76389 621 0 0 25 0 1 0 806029993 824987648 188848 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188848 300 300 0 201113 0
vsize: 805652
[startup+780.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288244 0 0 0 77389 621 0 0 25 0 1 0 806029993 824987648 188849 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188849 300 300 0 201113 0
vsize: 805652
[startup+790.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288245 0 0 0 78389 621 0 0 25 0 1 0 806029993 824987648 188850 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188850 300 300 0 201113 0
vsize: 805652
[startup+800.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288246 0 0 0 79389 621 0 0 25 0 1 0 806029993 824987648 188851 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188851 300 300 0 201113 0
vsize: 805652
[startup+810.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288246 0 0 0 80389 621 0 0 25 0 1 0 806029993 824987648 188851 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188851 300 300 0 201113 0
vsize: 805652
[startup+820.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288256 0 0 0 81390 621 0 0 25 0 1 0 806029993 824987648 188861 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188861 300 300 0 201113 0
vsize: 805652
[startup+830.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288257 0 0 0 82390 621 0 0 25 0 1 0 806029993 824987648 188862 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188862 300 300 0 201113 0
vsize: 805652
[startup+840.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288258 0 0 0 83390 621 0 0 25 0 1 0 806029993 824987648 188863 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188863 300 300 0 201113 0
vsize: 805652
[startup+850.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288260 0 0 0 84390 621 0 0 25 0 1 0 806029993 824987648 188865 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188865 300 300 0 201113 0
vsize: 805652
[startup+860.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288264 0 0 0 85390 621 0 0 25 0 1 0 806029993 824987648 188869 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188869 300 300 0 201113 0
vsize: 805652
[startup+870.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288264 0 0 0 86390 621 0 0 25 0 1 0 806029993 824987648 188869 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188869 300 300 0 201113 0
vsize: 805652
[startup+880.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288282 0 0 0 87390 621 0 0 25 0 1 0 806029993 824987648 188887 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188887 300 300 0 201113 0
vsize: 805652
[startup+890.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288283 0 0 0 88391 621 0 0 25 0 1 0 806029993 824987648 188888 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188888 300 300 0 201113 0
vsize: 805652
[startup+900.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288283 0 0 0 89391 621 0 0 25 0 1 0 806029993 824987648 188888 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188888 300 300 0 201113 0
vsize: 805652
[startup+910.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288284 0 0 0 90391 621 0 0 25 0 1 0 806029993 824987648 188889 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188889 300 300 0 201113 0
vsize: 805652
[startup+920.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288288 0 0 0 91391 621 0 0 25 0 1 0 806029993 824987648 188893 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188893 300 300 0 201113 0
vsize: 805652
[startup+930.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288288 0 0 0 92391 621 0 0 25 0 1 0 806029993 824987648 188893 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188893 300 300 0 201113 0
vsize: 805652
[startup+940.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288290 0 0 0 93392 621 0 0 25 0 1 0 806029993 824987648 188895 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188895 300 300 0 201113 0
vsize: 805652
[startup+950.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288296 0 0 0 94392 621 0 0 25 0 1 0 806029993 824987648 188901 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188901 300 300 0 201113 0
vsize: 805652
[startup+960.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288346 0 0 0 95392 621 0 0 25 0 1 0 806029993 824987648 188951 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188951 300 300 0 201113 0
vsize: 805652
[startup+970.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 288346 0 0 0 96392 621 0 0 25 0 1 0 806029993 824987648 188951 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201413 188951 300 300 0 201113 0
vsize: 805652
[startup+980.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289134 0 0 0 97390 623 0 0 25 0 1 0 806029993 827002880 189288 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189288 300 300 0 201605 0
vsize: 807620
[startup+990.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289153 0 0 0 98390 623 0 0 25 0 1 0 806029993 827002880 189307 4294967295 134512640 135726644 3221224592 3221222976 135105719 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189307 300 300 0 201605 0
vsize: 807620
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289153 0 0 0 99391 623 0 0 25 0 1 0 806029993 827002880 189307 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189307 300 300 0 201605 0
vsize: 807620
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289154 0 0 0 100391 623 0 0 25 0 1 0 806029993 827002880 189308 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189308 300 300 0 201605 0
vsize: 807620
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289158 0 0 0 101391 623 0 0 25 0 1 0 806029993 827002880 189312 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189312 300 300 0 201605 0
vsize: 807620
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289159 0 0 0 102391 623 0 0 25 0 1 0 806029993 827002880 189313 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189313 300 300 0 201605 0
vsize: 807620
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289160 0 0 0 103391 624 0 0 25 0 1 0 806029993 827002880 189314 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189314 300 300 0 201605 0
vsize: 807620
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289160 0 0 0 104391 624 0 0 25 0 1 0 806029993 827002880 189314 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189314 300 300 0 201605 0
vsize: 807620
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289161 0 0 0 105391 624 0 0 25 0 1 0 806029993 827002880 189315 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189315 300 300 0 201605 0
vsize: 807620
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289162 0 0 0 106392 624 0 0 25 0 1 0 806029993 827002880 189316 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189316 300 300 0 201605 0
vsize: 807620
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289162 0 0 0 107392 624 0 0 25 0 1 0 806029993 827002880 189316 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189316 300 300 0 201605 0
vsize: 807620
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289163 0 0 0 108392 624 0 0 25 0 1 0 806029993 827002880 189317 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189317 300 300 0 201605 0
vsize: 807620
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289164 0 0 0 109392 624 0 0 25 0 1 0 806029993 827002880 189318 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189318 300 300 0 201605 0
vsize: 807620
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289164 0 0 0 110392 624 0 0 25 0 1 0 806029993 827002880 189318 4294967295 134512640 135726644 3221224592 3221223088 134744195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189318 300 300 0 201605 0
vsize: 807620
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289166 0 0 0 111392 624 0 0 25 0 1 0 806029993 827002880 189320 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189320 300 300 0 201605 0
vsize: 807620
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289166 0 0 0 112392 624 0 0 25 0 1 0 806029993 827002880 189320 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189320 300 300 0 201605 0
vsize: 807620
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289167 0 0 0 113392 624 0 0 25 0 1 0 806029993 827002880 189321 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189321 300 300 0 201605 0
vsize: 807620
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289169 0 0 0 114393 624 0 0 25 0 1 0 806029993 827002880 189323 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189323 300 300 0 201605 0
vsize: 807620
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289170 0 0 0 115393 624 0 0 25 0 1 0 806029993 827002880 189324 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189324 300 300 0 201605 0
vsize: 807620
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289170 0 0 0 116393 624 0 0 25 0 1 0 806029993 827002880 189324 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189324 300 300 0 201605 0
vsize: 807620
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289361 0 0 0 117393 624 0 0 25 0 1 0 806029993 827002880 189515 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189515 300 300 0 201605 0
vsize: 807620
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289361 0 0 0 118394 624 0 0 25 0 1 0 806029993 827002880 189515 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201905 189515 300 300 0 201605 0
vsize: 807620
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289978 0 0 0 119393 626 0 0 25 0 1 0 806029993 829100032 189619 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202417 189619 300 300 0 202117 0
vsize: 809668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.43 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 5660
Raw data (stat): 5603 (pb2sat) R 5602 1269 1268 0 -1 0 289978 0 0 0 119393 626 0 0 25 0 1 0 806029993 829100032 189619 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202417 189619 300 300 0 202117 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.42
CPU time (s): 1202.59
CPU user time (s): 1195.94
CPU system time (s): 6.65399
CPU usage (%): 100.014
Max. virtual memory (Kb): 809668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####