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-2.opb
MD5SUM	ff021c96fa8729c0ff59034e5dd63ec7
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	11.3383
Number of variables	2030
Total number of constraints	4389
Number of constraints which are clauses	4389
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 34905

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        934460 kB
Buffers:         32192 kB
Cached:          45880 kB
SwapCached:        604 kB
Active:          43584 kB
Inactive:        36616 kB
HighTotal:      131008 kB
HighFree:        82936 kB
LowTotal:       903652 kB
LowFree:        851524 kB
SwapTotal:     2097136 kB
SwapFree:      2095616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            14520 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:14:45 (client local time) WITH STATUS 0 IN 1202.62 SECONDS
stats: 24122 7 1202.62 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.61 0.84 0.85 1/54 1265
Raw data (stat): 1265 (runsolver) R 1263 23514 23513 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806013851 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0003 s]
Raw data (loadavg): 0.67 0.85 0.85 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 29011 0 0 0 930 68 0 0 25 0 1 0 806013851 88858624 18111 4294967295 134512640 135726644 3221224592 3220664144 134554556 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21694 18111 300 300 0 21394 0
vsize: 86776
[startup+20.0001 s]
Raw data (loadavg): 0.72 0.85 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 57053 0 0 0 1869 129 0 0 25 0 1 0 806013851 174174208 35201 4294967295 134512640 135726644 3221224592 3220742680 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42523 35201 300 300 0 42223 0
vsize: 170092
[startup+30.0013 s]
Raw data (loadavg): 0.76 0.86 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 97411 0 0 0 2784 215 0 0 25 0 1 0 806013851 298680320 53885 4294967295 134512640 135726644 3221224592 3221164568 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72920 53885 300 300 0 72620 0
vsize: 291680
[startup+40.0018 s]
Raw data (loadavg): 0.80 0.86 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 112699 0 0 0 3748 251 0 0 25 0 1 0 806013851 344129536 68952 4294967295 134512640 135726644 3221224592 3221209768 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84016 68952 300 300 0 83716 0
vsize: 336064
[startup+50.0015 s]
Raw data (loadavg): 0.83 0.87 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 132376 0 0 0 4704 296 0 0 25 0 1 0 806013851 372379648 88401 4294967295 134512640 135726644 3221224592 3221183344 134554691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90913 88402 300 300 0 90613 0
vsize: 363652
[startup+60.0017 s]
Raw data (loadavg): 0.85 0.87 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 193319 0 0 0 5580 420 0 0 25 0 1 0 806013851 595034112 106234 4294967295 134512640 135726644 3221224592 3220852800 135287555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145272 106234 300 300 0 144972 0
vsize: 581088
[startup+70.0022 s]
Raw data (loadavg): 0.88 0.87 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 204774 0 0 0 6557 443 0 0 25 0 1 0 806013851 628588544 117485 4294967295 134512640 135726644 3221224592 3221170508 134604415 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153464 117486 300 300 0 153164 0
vsize: 613856
[startup+80.003 s]
Raw data (loadavg): 0.89 0.88 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 222148 0 0 0 7519 481 0 0 25 0 1 0 806013851 647782400 134632 4294967295 134512640 135726644 3221224592 3221187360 134773981 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158150 134632 300 300 0 157850 0
vsize: 632600
[startup+90.0032 s]
Raw data (loadavg): 0.91 0.88 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 239969 0 0 0 8484 516 0 0 25 0 1 0 806013851 723660800 152246 4294967295 134512640 135726644 3221224592 3220932416 134780348 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176675 152246 300 300 0 176375 0
vsize: 706700
[startup+100.003 s]
Raw data (loadavg): 0.92 0.88 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 257329 0 0 0 9450 551 0 0 25 0 1 0 806013851 748531712 169405 4294967295 134512640 135726644 3221224592 3221085672 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182747 169406 300 300 0 182447 0
vsize: 730988
[startup+110.003 s]
Raw data (loadavg): 0.93 0.89 0.86 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 271159 0 0 0 10418 582 0 0 25 0 1 0 806013851 774930432 178916 4294967295 134512640 135726644 3221224592 3221222896 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189192 178916 300 300 0 188892 0
vsize: 756768
[startup+120.005 s]
Raw data (loadavg): 0.94 0.89 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 280301 0 0 0 11400 600 0 0 25 0 1 0 806013851 805138432 185292 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 196567 185293 300 300 0 196267 0
vsize: 786268
[startup+130.005 s]
Raw data (loadavg): 0.95 0.89 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 281698 0 0 0 12398 602 0 0 25 0 1 0 806013851 808583168 185948 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197408 185948 300 300 0 197108 0
vsize: 789632
[startup+140.005 s]
Raw data (loadavg): 0.96 0.90 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 281711 0 0 0 13398 602 0 0 25 0 1 0 806013851 808583168 185961 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197408 185961 300 300 0 197108 0
vsize: 789632
[startup+150.005 s]
Raw data (loadavg): 0.96 0.90 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 282158 0 0 0 14397 604 0 0 25 0 1 0 806013851 809779200 186151 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197700 186151 300 300 0 197400 0
vsize: 790800
[startup+160.006 s]
Raw data (loadavg): 0.97 0.90 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 282415 0 0 0 15397 604 0 0 25 0 1 0 806013851 810438656 186310 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197861 186310 300 300 0 197561 0
vsize: 791444
[startup+170.006 s]
Raw data (loadavg): 0.97 0.91 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 283378 0 0 0 16395 606 0 0 25 0 1 0 806013851 813064192 186693 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198502 186693 300 300 0 198202 0
vsize: 794008
[startup+180.006 s]
Raw data (loadavg): 0.98 0.91 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 283850 0 0 0 17395 607 0 0 25 0 1 0 806013851 814112768 186908 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198758 186908 300 300 0 198458 0
vsize: 795032
[startup+190.007 s]
Raw data (loadavg): 0.98 0.91 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 284655 0 0 0 18394 608 0 0 25 0 1 0 806013851 816209920 187197 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199270 187197 300 300 0 198970 0
vsize: 797080
[startup+200.007 s]
Raw data (loadavg): 0.98 0.91 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 284656 0 0 0 19394 608 0 0 25 0 1 0 806013851 816209920 187198 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199270 187198 300 300 0 198970 0
vsize: 797080
[startup+210.008 s]
Raw data (loadavg): 0.98 0.92 0.87 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 284666 0 0 0 20394 609 0 0 25 0 1 0 806013851 816209920 187208 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199270 187208 300 300 0 198970 0
vsize: 797080
[startup+220.008 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285148 0 0 0 21393 610 0 0 25 0 1 0 806013851 817274880 187496 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199530 187496 300 300 0 199230 0
vsize: 798120
[startup+230.009 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285153 0 0 0 22393 610 0 0 25 0 1 0 806013851 817274880 187501 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199530 187501 300 300 0 199230 0
vsize: 798120
[startup+240.009 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285353 0 0 0 23393 610 0 0 25 0 1 0 806013851 817799168 187572 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199658 187572 300 300 0 199358 0
vsize: 798632
[startup+250.009 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285971 0 0 0 24391 612 0 0 25 0 1 0 806013851 819380224 187835 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200044 187835 300 300 0 199744 0
vsize: 800176
[startup+260.01 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285972 0 0 0 25392 612 0 0 25 0 1 0 806013851 819380224 187836 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200044 187836 300 300 0 199744 0
vsize: 800176
[startup+270.01 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285989 0 0 0 26392 612 0 0 25 0 1 0 806013851 819380224 187853 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200044 187853 300 300 0 199744 0
vsize: 800176
[startup+280.012 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285991 0 0 0 27392 612 0 0 25 0 1 0 806013851 819380224 187855 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200044 187855 300 300 0 199744 0
vsize: 800176
[startup+290.012 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285992 0 0 0 28392 612 0 0 25 0 1 0 806013851 819380224 187856 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200044 187856 300 300 0 199744 0
vsize: 800176
[startup+300.012 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 285992 0 0 0 29392 612 0 0 25 0 1 0 806013851 819380224 187856 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200044 187856 300 300 0 199744 0
vsize: 800176
[startup+310.013 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 286482 0 0 0 30391 613 0 0 25 0 1 0 806013851 820428800 188089 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200300 188089 300 300 0 200000 0
vsize: 801200
[startup+320.013 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287866 0 0 0 31388 616 0 0 25 0 1 0 806013851 824356864 188574 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188574 300 300 0 200959 0
vsize: 805036
[startup+330.014 s]
Raw data (loadavg): 1.07 0.96 0.89 2/54 1320
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287900 0 0 0 32388 616 0 0 25 0 1 0 806013851 824356864 188608 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188608 300 300 0 200959 0
vsize: 805036
[startup+340.014 s]
Raw data (loadavg): 1.06 0.96 0.89 2/54 1320
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287902 0 0 0 33389 616 0 0 25 0 1 0 806013851 824356864 188610 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188610 300 300 0 200959 0
vsize: 805036
[startup+350.014 s]
Raw data (loadavg): 1.05 0.96 0.89 2/54 1320
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287926 0 0 0 34389 617 0 0 25 0 1 0 806013851 824356864 188634 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188634 300 300 0 200959 0
vsize: 805036
[startup+360.015 s]
Raw data (loadavg): 1.04 0.96 0.89 2/54 1320
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287927 0 0 0 35389 617 0 0 25 0 1 0 806013851 824356864 188635 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188635 300 300 0 200959 0
vsize: 805036
[startup+370.015 s]
Raw data (loadavg): 1.04 0.96 0.90 2/54 1320
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287928 0 0 0 36389 617 0 0 25 0 1 0 806013851 824356864 188636 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188636 300 300 0 200959 0
vsize: 805036
[startup+380.015 s]
Raw data (loadavg): 1.03 0.96 0.90 2/54 1320
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287929 0 0 0 37389 617 0 0 25 0 1 0 806013851 824356864 188637 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188637 300 300 0 200959 0
vsize: 805036
[startup+390.016 s]
Raw data (loadavg): 1.03 0.96 0.90 2/54 1320
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287930 0 0 0 38389 617 0 0 25 0 1 0 806013851 824356864 188638 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188638 300 300 0 200959 0
vsize: 805036
[startup+400.016 s]
Raw data (loadavg): 1.02 0.96 0.90 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287931 0 0 0 39390 617 0 0 25 0 1 0 806013851 824356864 188639 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188639 300 300 0 200959 0
vsize: 805036
[startup+410.017 s]
Raw data (loadavg): 1.02 0.96 0.90 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287932 0 0 0 40390 617 0 0 25 0 1 0 806013851 824356864 188640 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188640 300 300 0 200959 0
vsize: 805036
[startup+420.017 s]
Raw data (loadavg): 1.01 0.96 0.90 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287933 0 0 0 41390 617 0 0 25 0 1 0 806013851 824356864 188641 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201259 188641 300 300 0 200959 0
vsize: 805036
[startup+430.017 s]
Raw data (loadavg): 1.01 0.97 0.90 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287971 0 0 0 42390 617 0 0 25 0 1 0 806013851 824487936 188646 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201291 188646 300 300 0 200991 0
vsize: 805164
[startup+440.017 s]
Raw data (loadavg): 1.01 0.97 0.90 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287972 0 0 0 43390 617 0 0 25 0 1 0 806013851 824487936 188647 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201291 188647 300 300 0 200991 0
vsize: 805164
[startup+450.017 s]
Raw data (loadavg): 1.01 0.97 0.90 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287972 0 0 0 44390 617 0 0 25 0 1 0 806013851 824487936 188647 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201291 188647 300 300 0 200991 0
vsize: 805164
[startup+460.018 s]
Raw data (loadavg): 1.01 0.97 0.90 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287979 0 0 0 45391 617 0 0 25 0 1 0 806013851 824487936 188654 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201291 188654 300 300 0 200991 0
vsize: 805164
[startup+470.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 287982 0 0 0 46391 617 0 0 25 0 1 0 806013851 824487936 188657 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201291 188657 300 300 0 200991 0
vsize: 805164
[startup+480.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288278 0 0 0 47391 617 0 0 25 0 1 0 806013851 825421824 188759 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188759 300 300 0 201219 0
vsize: 806076
[startup+490.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288279 0 0 0 48391 617 0 0 25 0 1 0 806013851 825421824 188760 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188760 300 300 0 201219 0
vsize: 806076
[startup+500.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288279 0 0 0 49391 617 0 0 25 0 1 0 806013851 825421824 188760 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188760 300 300 0 201219 0
vsize: 806076
[startup+510.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288281 0 0 0 50391 617 0 0 25 0 1 0 806013851 825421824 188762 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188762 300 300 0 201219 0
vsize: 806076
[startup+520.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288321 0 0 0 51391 617 0 0 25 0 1 0 806013851 825421824 188802 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188802 300 300 0 201219 0
vsize: 806076
[startup+530.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288322 0 0 0 52392 617 0 0 25 0 1 0 806013851 825421824 188803 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188803 300 300 0 201219 0
vsize: 806076
[startup+540.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288323 0 0 0 53392 617 0 0 25 0 1 0 806013851 825421824 188804 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188804 300 300 0 201219 0
vsize: 806076
[startup+550.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288323 0 0 0 54392 617 0 0 25 0 1 0 806013851 825421824 188804 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188804 300 300 0 201219 0
vsize: 806076
[startup+560.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288324 0 0 0 55392 617 0 0 25 0 1 0 806013851 825421824 188805 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188805 300 300 0 201219 0
vsize: 806076
[startup+570.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288325 0 0 0 56392 617 0 0 25 0 1 0 806013851 825421824 188806 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188806 300 300 0 201219 0
vsize: 806076
[startup+580.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288325 0 0 0 57393 617 0 0 25 0 1 0 806013851 825421824 188806 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188806 300 300 0 201219 0
vsize: 806076
[startup+590.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288326 0 0 0 58393 617 0 0 25 0 1 0 806013851 825421824 188807 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188807 300 300 0 201219 0
vsize: 806076
[startup+600.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288327 0 0 0 59393 617 0 0 25 0 1 0 806013851 825421824 188808 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188808 300 300 0 201219 0
vsize: 806076
[startup+610.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288347 0 0 0 60393 617 0 0 25 0 1 0 806013851 825421824 188828 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188828 300 300 0 201219 0
vsize: 806076
[startup+620.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288348 0 0 0 61393 617 0 0 25 0 1 0 806013851 825421824 188829 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188829 300 300 0 201219 0
vsize: 806076
[startup+630.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288348 0 0 0 62394 617 0 0 25 0 1 0 806013851 825421824 188829 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188829 300 300 0 201219 0
vsize: 806076
[startup+640.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288349 0 0 0 63394 617 0 0 25 0 1 0 806013851 825421824 188830 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188830 300 300 0 201219 0
vsize: 806076
[startup+650.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1322
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288349 0 0 0 64394 617 0 0 25 0 1 0 806013851 825421824 188830 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188830 300 300 0 201219 0
vsize: 806076
[startup+660.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288350 0 0 0 65394 617 0 0 25 0 1 0 806013851 825421824 188831 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188831 300 300 0 201219 0
vsize: 806076
[startup+670.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288351 0 0 0 66394 617 0 0 25 0 1 0 806013851 825421824 188832 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201519 188832 300 300 0 201219 0
vsize: 806076
[startup+680.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288922 0 0 0 67394 618 0 0 25 0 1 0 806013851 826470400 189146 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201775 189146 300 300 0 201475 0
vsize: 807100
[startup+690.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288932 0 0 0 68394 618 0 0 25 0 1 0 806013851 826470400 189156 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201775 189156 300 300 0 201475 0
vsize: 807100
[startup+700.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288932 0 0 0 69394 618 0 0 25 0 1 0 806013851 826470400 189156 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201775 189156 300 300 0 201475 0
vsize: 807100
[startup+710.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288933 0 0 0 70394 618 0 0 25 0 1 0 806013851 826470400 189157 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201775 189157 300 300 0 201475 0
vsize: 807100
[startup+720.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288933 0 0 0 71394 618 0 0 25 0 1 0 806013851 826470400 189157 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201775 189157 300 300 0 201475 0
vsize: 807100
[startup+730.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288934 0 0 0 72395 618 0 0 25 0 1 0 806013851 826470400 189158 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201775 189158 300 300 0 201475 0
vsize: 807100
[startup+740.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288935 0 0 0 73395 618 0 0 25 0 1 0 806013851 826470400 189159 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201775 189159 300 300 0 201475 0
vsize: 807100
[startup+750.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 288936 0 0 0 74395 618 0 0 25 0 1 0 806013851 826470400 189160 4294967295 134512640 135726644 3221224592 3221223280 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201775 189160 300 300 0 201475 0
vsize: 807100
[startup+760.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289012 0 0 0 75395 619 0 0 25 0 1 0 806013851 826703872 189203 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201832 189203 300 300 0 201532 0
vsize: 807328
[startup+770.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289014 0 0 0 76395 619 0 0 25 0 1 0 806013851 826703872 189205 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201832 189205 300 300 0 201532 0
vsize: 807328
[startup+780.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289015 0 0 0 77395 619 0 0 25 0 1 0 806013851 826703872 189206 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201832 189206 300 300 0 201532 0
vsize: 807328
[startup+790.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289016 0 0 0 78396 619 0 0 25 0 1 0 806013851 826703872 189207 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201832 189207 300 300 0 201532 0
vsize: 807328
[startup+800.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289017 0 0 0 79396 619 0 0 25 0 1 0 806013851 826703872 189208 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201832 189208 300 300 0 201532 0
vsize: 807328
[startup+810.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289017 0 0 0 80396 619 0 0 25 0 1 0 806013851 826703872 189208 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201832 189208 300 300 0 201532 0
vsize: 807328
[startup+820.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289021 0 0 0 81396 619 0 0 25 0 1 0 806013851 826703872 189212 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201832 189212 300 300 0 201532 0
vsize: 807328
[startup+830.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289022 0 0 0 82396 619 0 0 25 0 1 0 806013851 826703872 189213 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201832 189213 300 300 0 201532 0
vsize: 807328
[startup+840.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289126 0 0 0 83396 619 0 0 25 0 1 0 806013851 826966016 189252 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201896 189252 300 300 0 201596 0
vsize: 807584
[startup+850.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289136 0 0 0 84396 619 0 0 25 0 1 0 806013851 826966016 189262 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201896 189262 300 300 0 201596 0
vsize: 807584
[startup+860.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289815 0 0 0 85395 620 0 0 25 0 1 0 806013851 828538880 189555 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189555 300 300 0 201980 0
vsize: 809120
[startup+870.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289816 0 0 0 86395 620 0 0 25 0 1 0 806013851 828538880 189556 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189556 300 300 0 201980 0
vsize: 809120
[startup+880.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289816 0 0 0 87396 620 0 0 25 0 1 0 806013851 828538880 189556 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189556 300 300 0 201980 0
vsize: 809120
[startup+890.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289817 0 0 0 88396 620 0 0 25 0 1 0 806013851 828538880 189557 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189557 300 300 0 201980 0
vsize: 809120
[startup+900.032 s]
Raw data (loadavg): 1.08 0.99 0.91 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289818 0 0 0 89396 620 0 0 25 0 1 0 806013851 828538880 189558 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189558 300 300 0 201980 0
vsize: 809120
[startup+910.033 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289818 0 0 0 90396 620 0 0 25 0 1 0 806013851 828538880 189558 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189558 300 300 0 201980 0
vsize: 809120
[startup+920.032 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289819 0 0 0 91396 620 0 0 25 0 1 0 806013851 828538880 189559 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189559 300 300 0 201980 0
vsize: 809120
[startup+930.033 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289821 0 0 0 92397 620 0 0 25 0 1 0 806013851 828538880 189561 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189561 300 300 0 201980 0
vsize: 809120
[startup+940.033 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289822 0 0 0 93397 620 0 0 25 0 1 0 806013851 828538880 189562 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189562 300 300 0 201980 0
vsize: 809120
[startup+950.034 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289822 0 0 0 94397 620 0 0 25 0 1 0 806013851 828538880 189562 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189562 300 300 0 201980 0
vsize: 809120
[startup+960.035 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289823 0 0 0 95397 620 0 0 25 0 1 0 806013851 828538880 189563 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189563 300 300 0 201980 0
vsize: 809120
[startup+970.034 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289824 0 0 0 96397 620 0 0 25 0 1 0 806013851 828538880 189564 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189564 300 300 0 201980 0
vsize: 809120
[startup+980.034 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289825 0 0 0 97398 620 0 0 25 0 1 0 806013851 828538880 189565 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189565 300 300 0 201980 0
vsize: 809120
[startup+990.034 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289826 0 0 0 98398 620 0 0 25 0 1 0 806013851 828538880 189566 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189566 300 300 0 201980 0
vsize: 809120
[startup+1000.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289826 0 0 0 99398 620 0 0 25 0 1 0 806013851 828538880 189566 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189566 300 300 0 201980 0
vsize: 809120
[startup+1010.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289827 0 0 0 100398 620 0 0 25 0 1 0 806013851 828538880 189567 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189567 300 300 0 201980 0
vsize: 809120
[startup+1020.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289829 0 0 0 101398 620 0 0 25 0 1 0 806013851 828538880 189569 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189569 300 300 0 201980 0
vsize: 809120
[startup+1030.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289829 0 0 0 102398 620 0 0 25 0 1 0 806013851 828538880 189569 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189569 300 300 0 201980 0
vsize: 809120
[startup+1040.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289831 0 0 0 103399 620 0 0 25 0 1 0 806013851 828538880 189571 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189571 300 300 0 201980 0
vsize: 809120
[startup+1050.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289831 0 0 0 104399 620 0 0 25 0 1 0 806013851 828538880 189571 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189571 300 300 0 201980 0
vsize: 809120
[startup+1060.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289832 0 0 0 105399 620 0 0 25 0 1 0 806013851 828538880 189572 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189572 300 300 0 201980 0
vsize: 809120
[startup+1070.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289832 0 0 0 106399 620 0 0 25 0 1 0 806013851 828538880 189572 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189572 300 300 0 201980 0
vsize: 809120
[startup+1080.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289833 0 0 0 107399 620 0 0 25 0 1 0 806013851 828538880 189573 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189573 300 300 0 201980 0
vsize: 809120
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289834 0 0 0 108400 620 0 0 25 0 1 0 806013851 828538880 189574 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189574 300 300 0 201980 0
vsize: 809120
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289834 0 0 0 109400 620 0 0 25 0 1 0 806013851 828538880 189574 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189574 300 300 0 201980 0
vsize: 809120
[startup+1110.03 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289836 0 0 0 110400 620 0 0 25 0 1 0 806013851 828538880 189576 4294967295 134512640 135726644 3221224592 3221223216 134744538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189576 300 300 0 201980 0
vsize: 809120
[startup+1120.04 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289837 0 0 0 111401 620 0 0 25 0 1 0 806013851 828538880 189577 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189577 300 300 0 201980 0
vsize: 809120
[startup+1130.04 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289837 0 0 0 112401 620 0 0 25 0 1 0 806013851 828538880 189577 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189577 300 300 0 201980 0
vsize: 809120
[startup+1140.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289838 0 0 0 113401 620 0 0 25 0 1 0 806013851 828538880 189578 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189578 300 300 0 201980 0
vsize: 809120
[startup+1150.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289839 0 0 0 114401 620 0 0 25 0 1 0 806013851 828538880 189579 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189579 300 300 0 201980 0
vsize: 809120
[startup+1160.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289839 0 0 0 115401 620 0 0 25 0 1 0 806013851 828538880 189579 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189579 300 300 0 201980 0
vsize: 809120
[startup+1170.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289849 0 0 0 116401 620 0 0 25 0 1 0 806013851 828538880 189589 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189589 300 300 0 201980 0
vsize: 809120
[startup+1180.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289850 0 0 0 117401 620 0 0 25 0 1 0 806013851 828538880 189590 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189590 300 300 0 201980 0
vsize: 809120
[startup+1190.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289850 0 0 0 118402 620 0 0 25 0 1 0 806013851 828538880 189590 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202280 189590 300 300 0 201980 0
vsize: 809120
[startup+1200.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289952 0 0 0 119402 620 0 0 25 0 1 0 806013851 828952576 189692 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202381 189692 300 300 0 202081 0
vsize: 809524
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.44 s]
Raw data (loadavg): 1.01 1.01 0.93 1/53 1324
Raw data (stat): 1265 (pb2sat) R 1263 23514 23513 0 -1 0 289952 0 0 0 119402 620 0 0 25 0 1 0 806013851 828952576 189692 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202381 189692 300 300 0 202081 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.43
CPU time (s): 1202.62
CPU user time (s): 1196.02
CPU system time (s): 6.592
CPU usage (%): 100.015
Max. virtual memory (Kb): 809524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####