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-ssa7552-159.opb
MD5SUM	b7b224de1898888de830ec05fbd5ea69
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
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	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07284
Number of variables	2726
Total number of constraints	4395
Number of constraints which are clauses	4395
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	5
Trace number 40803

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 22:05:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28843 boxname=wulflinc2 idbench=229 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b7b224de1898888de830ec05fbd5ea69  /oldhome/oroussel/tmp/wulflinc2/normalized-ssa7552-159.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ssa7552-159.opb
IDLAUNCH: 28843
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        867044 kB
Buffers:         28524 kB
Cached:         117252 kB
SwapCached:       1376 kB
Active:          30628 kB
Inactive:       117164 kB
HighTotal:      131008 kB
HighFree:        28168 kB
LowTotal:       903652 kB
LowFree:        838876 kB
SwapTotal:     2097136 kB
SwapFree:      2094724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14160 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:25:35 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 28843 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2726 variables and 4395 constraints.
#### 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.85 0.97 0.94 2/54 16274
Raw data (stat): 16274 (runsolver) R 16273 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905102187 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+10.0003 s]
Raw data (loadavg): 0.87 0.97 0.94 2/54 16274
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 46871 0 0 0 878 119 0 0 25 0 1 0 905102187 17383424 3400 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3400 1111 63 0 4181 0
vsize: 16976
[startup+19.9999 s]
Raw data (loadavg): 0.89 0.97 0.94 2/54 16274
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 71562 0 0 0 1813 184 0 0 25 0 1 0 905102187 28188672 6038 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6882 6038 1111 63 0 6819 0
vsize: 27528
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.97 0.94 2/54 16274
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 92562 0 0 0 2756 241 0 0 25 0 1 0 905102187 33390592 7289 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8152 7289 1111 63 0 8089 0
vsize: 32608
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.97 0.94 2/54 16274
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 104164 0 0 0 3729 269 0 0 25 0 1 0 905102187 37756928 8344 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9218 8349 1111 63 0 9155 0
vsize: 36872
[startup+50 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 113373 0 0 0 4709 289 0 0 25 0 1 0 905102187 42745856 9565 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10436 9565 1111 63 0 10373 0
vsize: 41744
[startup+60.0001 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 121842 0 0 0 5692 307 0 0 25 0 1 0 905102187 45867008 10349 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11198 10349 1111 63 0 11135 0
vsize: 44792
[startup+70.0004 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 129141 0 0 0 6674 324 0 0 25 0 1 0 905102187 49250304 11180 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12024 11180 1111 63 0 11961 0
vsize: 48096
[startup+80.0011 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 132907 0 0 0 7666 333 0 0 25 0 1 0 905102187 51994624 11818 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12694 11818 1111 63 0 12631 0
vsize: 50776
[startup+90.0011 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 135952 0 0 0 8659 340 0 0 25 0 1 0 905102187 53485568 12199 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13058 12199 1111 63 0 12995 0
vsize: 52232
[startup+100 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 139304 0 0 0 9652 347 0 0 25 0 1 0 905102187 56393728 12909 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13768 12909 1111 63 0 13705 0
vsize: 55072
[startup+110.001 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 141831 0 0 0 10647 353 0 0 25 0 1 0 905102187 58859520 13526 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 13526 1111 63 0 14307 0
vsize: 57480
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 161685 0 0 0 11600 399 0 0 25 0 1 0 905102187 61227008 14072 4294967295 134512640 134716908 3221224576 3221223064 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14948 14072 1111 63 0 14885 0
vsize: 59792
[startup+130.038 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 162680 0 0 0 12602 401 0 0 25 0 1 0 905102187 61534208 14160 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15023 14160 1111 63 0 14960 0
vsize: 60092
[startup+140.039 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 166868 0 0 0 13593 411 0 0 25 0 1 0 905102187 63217664 14560 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15434 14560 1111 63 0 15371 0
vsize: 61736
[startup+150.04 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 170810 0 0 0 14584 420 0 0 25 0 1 0 905102187 64217088 14810 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15678 14810 1111 63 0 15615 0
vsize: 62712
[startup+160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 174999 0 0 0 15574 430 0 0 25 0 1 0 905102187 67096576 15508 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16381 15508 1111 63 0 16318 0
vsize: 65524
[startup+170.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 178896 0 0 0 16564 440 0 0 25 0 1 0 905102187 67796992 15685 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16552 15685 1111 63 0 16489 0
vsize: 66208
[startup+180.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 181505 0 0 0 17558 447 0 0 25 0 1 0 905102187 69193728 16006 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16893 16006 1111 63 0 16830 0
vsize: 67572
[startup+190.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 184351 0 0 0 18552 453 0 0 25 0 1 0 905102187 71933952 16681 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17562 16681 1111 63 0 17499 0
vsize: 70248
[startup+200.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 186769 0 0 0 19547 457 0 0 25 0 1 0 905102187 73490432 17058 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17942 17058 1111 63 0 17879 0
vsize: 71768
[startup+210.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 189008 0 0 0 20543 462 0 0 25 0 1 0 905102187 74907648 17404 4294967295 134512640 134716908 3221224576 3221223376 134617638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18288 17404 1111 63 0 18225 0
vsize: 73152
[startup+220.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 191956 0 0 0 21536 470 0 0 25 0 1 0 905102187 75038720 17456 4294967295 134512640 134716908 3221224576 3221222996 134542664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18320 17456 1111 63 0 18257 0
vsize: 73280
[startup+230.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 196717 0 0 0 22525 481 0 0 25 0 1 0 905102187 77422592 18014 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18902 18014 1111 63 0 18839 0
vsize: 75608
[startup+240.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 198638 0 0 0 23520 485 0 0 25 0 1 0 905102187 78729216 18345 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19221 18345 1111 63 0 19158 0
vsize: 76884
[startup+250.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 200942 0 0 0 24515 491 0 0 25 0 1 0 905102187 79888384 18630 4294967295 134512640 134716908 3221224576 3221222932 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19504 18630 1111 63 0 19441 0
vsize: 78016
[startup+260.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 201657 0 0 0 25513 493 0 0 25 0 1 0 905102187 79908864 18647 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19509 18647 1111 63 0 19446 0
vsize: 78036
[startup+270.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 204890 0 0 0 26505 501 0 0 25 0 1 0 905102187 81022976 18919 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19781 18919 1111 63 0 19718 0
vsize: 79124
[startup+280.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 208752 0 0 0 27496 510 0 0 25 0 1 0 905102187 83267584 19467 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20329 19467 1111 63 0 20266 0
vsize: 81316
[startup+290.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 209836 0 0 0 28494 513 0 0 25 0 1 0 905102187 83693568 19572 4294967295 134512640 134716908 3221224576 3221223056 134524111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20433 19572 1111 63 0 20370 0
vsize: 81732
[startup+300.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 213971 0 0 0 29486 521 0 0 25 0 1 0 905102187 85307392 19952 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 19952 1111 63 0 20764 0
vsize: 83308
[startup+310.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 217874 0 0 0 30479 528 0 0 25 0 1 0 905102187 85311488 19937 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20828 19937 1111 63 0 20765 0
vsize: 83312
[startup+320.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 220299 0 0 0 31474 534 0 0 25 0 1 0 905102187 88281088 20693 4294967295 134512640 134716908 3221224576 3221223056 134543073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21553 20693 1111 63 0 21490 0
vsize: 86212
[startup+330.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 224161 0 0 0 32466 542 0 0 25 0 1 0 905102187 89296896 20925 4294967295 134512640 134716908 3221224576 3221223192 134536897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21801 20925 1111 63 0 21738 0
vsize: 87204
[startup+340.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 225261 0 0 0 33464 544 0 0 25 0 1 0 905102187 90251264 21151 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22034 21151 1111 63 0 21971 0
vsize: 88136
[startup+350.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 226551 0 0 0 34461 547 0 0 25 0 1 0 905102187 91209728 21377 4294967295 134512640 134716908 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22268 21377 1111 63 0 22205 0
vsize: 89072
[startup+360.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 227878 0 0 0 35458 550 0 0 25 0 1 0 905102187 92057600 21600 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22475 21600 1111 63 0 22412 0
vsize: 89900
[startup+370.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 229781 0 0 0 36454 554 0 0 25 0 1 0 905102187 92954624 21820 4294967295 134512640 134716908 3221224576 3221223088 134542909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22694 21820 1111 63 0 22631 0
vsize: 90776
[startup+380.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 230853 0 0 0 37451 557 0 0 25 0 1 0 905102187 93859840 22038 4294967295 134512640 134716908 3221224576 3221223088 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22915 22038 1111 63 0 22852 0
vsize: 91660
[startup+390.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 231846 0 0 0 38449 559 0 0 25 0 1 0 905102187 94683136 22255 4294967295 134512640 134716908 3221224576 3221223304 134675279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23116 22255 1111 63 0 23053 0
vsize: 92464
[startup+400.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 236402 0 0 0 39439 570 0 0 25 0 1 0 905102187 94773248 22281 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23138 22281 1111 63 0 23075 0
vsize: 92552
[startup+410.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 242046 0 0 0 40425 584 0 0 25 0 1 0 905102187 96583680 22705 4294967295 134512640 134716908 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23580 22705 1111 63 0 23517 0
vsize: 94320
[startup+420.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 243384 0 0 0 41423 587 0 0 25 0 1 0 905102187 96313344 22657 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23514 22657 1111 63 0 23451 0
vsize: 94056
[startup+430.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 244981 0 0 0 42419 590 0 0 25 0 1 0 905102187 97968128 23060 4294967295 134512640 134716908 3221224576 3221223152 134535837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23918 23060 1111 63 0 23855 0
vsize: 95672
[startup+440.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 249293 0 0 0 43409 601 0 0 25 0 1 0 905102187 97652736 22985 4294967295 134512640 134716908 3221224576 3221222988 134542372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23841 22985 1111 63 0 23778 0
vsize: 95364
[startup+450.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 250640 0 0 0 44406 604 0 0 25 0 1 0 905102187 98365440 23160 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24015 23160 1111 63 0 23952 0
vsize: 96060
[startup+460.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 253180 0 0 0 45401 609 0 0 25 0 1 0 905102187 100290560 23622 4294967295 134512640 134716908 3221224576 3221223152 134523953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24485 23622 1111 63 0 24422 0
vsize: 97940
[startup+470.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 254070 0 0 0 46398 612 0 0 25 0 1 0 905102187 101142528 23817 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24693 23817 1111 63 0 24630 0
vsize: 98772
[startup+480.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 255129 0 0 0 47396 614 0 0 25 0 1 0 905102187 100868096 23771 4294967295 134512640 134716908 3221224576 3221222940 134539309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24626 23771 1111 63 0 24563 0
vsize: 98504
[startup+490.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 259867 0 0 0 48386 625 0 0 25 0 1 0 905102187 101568512 23942 4294967295 134512640 134716908 3221224576 3221222908 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24797 23942 1111 63 0 24734 0
vsize: 99188
[startup+500.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 260657 0 0 0 49384 627 0 0 25 0 1 0 905102187 102608896 24197 4294967295 134512640 134716908 3221224576 3221223056 134524108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25051 24197 1111 63 0 24988 0
vsize: 100204
[startup+510.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 264083 0 0 0 50377 635 0 0 25 0 1 0 905102187 102653952 24208 4294967295 134512640 134716908 3221224576 3221223040 134536695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25062 24208 1111 63 0 24999 0
vsize: 100248
[startup+520.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 266832 0 0 0 51370 641 0 0 25 0 1 0 905102187 104497152 24647 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25512 24647 1111 63 0 25449 0
vsize: 102048
[startup+530.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 267351 0 0 0 52370 642 0 0 25 0 1 0 905102187 105287680 24836 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25705 24836 1111 63 0 25642 0
vsize: 102820
[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 268048 0 0 0 53369 643 0 0 25 0 1 0 905102187 105304064 24856 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25709 24856 1111 63 0 25646 0
vsize: 102836
[startup+550.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 275629 0 0 0 54352 661 0 0 25 0 1 0 905102187 107036672 25279 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26132 25279 1111 63 0 26069 0
vsize: 104528
[startup+560.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 277773 0 0 0 55347 665 0 0 25 0 1 0 905102187 107761664 25445 4294967295 134512640 134716908 3221224576 3221223064 134539351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26309 25445 1111 63 0 26246 0
vsize: 105236
[startup+570.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 278235 0 0 0 56346 666 0 0 25 0 1 0 905102187 108498944 25623 4294967295 134512640 134716908 3221224576 3221222992 134538979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26489 25623 1111 63 0 26426 0
vsize: 105956
[startup+580.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 278856 0 0 0 57345 667 0 0 25 0 1 0 905102187 108957696 25749 4294967295 134512640 134716908 3221224576 3221223088 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26601 25749 1111 63 0 26538 0
vsize: 106404
[startup+590.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 279921 0 0 0 58343 670 0 0 25 0 1 0 905102187 108408832 25600 4294967295 134512640 134716908 3221224576 3221222996 134542821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26467 25600 1111 63 0 26404 0
vsize: 105868
[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 283831 0 0 0 59335 678 0 0 25 0 1 0 905102187 108990464 25757 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26609 25757 1111 63 0 26546 0
vsize: 106436
[startup+610.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 286038 0 0 0 60330 683 0 0 25 0 1 0 905102187 110673920 26168 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27020 26168 1111 63 0 26957 0
vsize: 108080
[startup+620.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 287245 0 0 0 61328 685 0 0 25 0 1 0 905102187 111382528 26339 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27193 26339 1111 63 0 27130 0
vsize: 108772
[startup+630.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 288345 0 0 0 62325 688 0 0 25 0 1 0 905102187 110788608 26196 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27048 26196 1111 63 0 26985 0
vsize: 108192
[startup+640.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 291008 0 0 0 63320 694 0 0 25 0 1 0 905102187 112422912 26578 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27447 26578 1111 63 0 27384 0
vsize: 109788
[startup+650.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 294612 0 0 0 64312 702 0 0 25 0 1 0 905102187 111796224 26427 4294967295 134512640 134716908 3221224576 3221223080 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27294 26427 1111 63 0 27231 0
vsize: 109176
[startup+660.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 295711 0 0 0 65310 705 0 0 25 0 1 0 905102187 113565696 26865 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27726 26865 1111 63 0 27663 0
vsize: 110904
[startup+670.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 296725 0 0 0 66307 707 0 0 25 0 1 0 905102187 112787456 26685 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27536 26685 1111 63 0 27473 0
vsize: 110144
[startup+680.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 298284 0 0 0 67304 711 0 0 25 0 1 0 905102187 114507776 27089 4294967295 134512640 134716908 3221224576 3221223044 134539396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27956 27089 1111 63 0 27893 0
vsize: 111824
[startup+690.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 300909 0 0 0 68298 716 0 0 25 0 1 0 905102187 114114560 27009 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27860 27009 1111 63 0 27797 0
vsize: 111440
[startup+700.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 304653 0 0 0 69290 725 0 0 25 0 1 0 905102187 115650560 27370 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28235 27370 1111 63 0 28172 0
vsize: 112940
[startup+710.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 307662 0 0 0 70283 732 0 0 25 0 1 0 905102187 115744768 27408 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28258 27408 1111 63 0 28195 0
vsize: 113032
[startup+720.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 308345 0 0 0 71282 734 0 0 25 0 1 0 905102187 116600832 27588 4294967295 134512640 134716908 3221224576 3221223316 134630799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28467 27588 1111 63 0 28404 0
vsize: 113868
[startup+730.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 310480 0 0 0 72277 738 0 0 25 0 1 0 905102187 117022720 27694 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28570 27694 1111 63 0 28507 0
vsize: 114280
[startup+740.056 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 310714 0 0 0 73277 739 0 0 25 0 1 0 905102187 117014528 27718 4294967295 134512640 134716908 3221224576 3221223056 134524108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28568 27718 1111 63 0 28505 0
vsize: 114272
[startup+750.057 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 311563 0 0 0 74275 741 0 0 25 0 1 0 905102187 118005760 27948 4294967295 134512640 134716908 3221224576 3221223040 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28810 27948 1111 63 0 28747 0
vsize: 115240
[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 314964 0 0 0 75268 748 0 0 25 0 1 0 905102187 118456320 28060 4294967295 134512640 134716908 3221224576 3221223136 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28920 28060 1111 63 0 28857 0
vsize: 115680
[startup+770.057 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 317236 0 0 0 76263 754 0 0 25 0 1 0 905102187 118706176 28132 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28981 28132 1111 63 0 28918 0
vsize: 115924
[startup+780.058 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 317509 0 0 0 77262 754 0 0 25 0 1 0 905102187 118706176 28133 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28981 28133 1111 63 0 28918 0
vsize: 115924
[startup+790.058 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 319662 0 0 0 78258 759 0 0 25 0 1 0 905102187 119701504 28360 4294967295 134512640 134716908 3221224576 3221223200 134529410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29224 28360 1111 63 0 29161 0
vsize: 116896
[startup+800.058 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 320914 0 0 0 79255 762 0 0 25 0 1 0 905102187 119984128 28416 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29293 28416 1111 63 0 29230 0
vsize: 117172
[startup+810.059 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 323083 0 0 0 80250 767 0 0 25 0 1 0 905102187 120061952 28464 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29312 28464 1111 63 0 29249 0
vsize: 117248
[startup+820.059 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 323776 0 0 0 81248 769 0 0 25 0 1 0 905102187 120770560 28621 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29485 28621 1111 63 0 29422 0
vsize: 117940
[startup+830.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 326773 0 0 0 82241 776 0 0 25 0 1 0 905102187 121225216 28732 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29596 28732 1111 63 0 29533 0
vsize: 118384
[startup+840.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 333449 0 0 0 83225 793 0 0 25 0 1 0 905102187 122241024 28975 4294967295 134512640 134716908 3221224576 3221223044 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29844 28975 1111 63 0 29781 0
vsize: 119376
[startup+850.061 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 333780 0 0 0 84225 793 0 0 25 0 1 0 905102187 122671104 29070 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29949 29070 1111 63 0 29886 0
vsize: 119796
[startup+860.061 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 334480 0 0 0 85224 795 0 0 25 0 1 0 905102187 122953728 29163 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30018 29163 1111 63 0 29955 0
vsize: 120072
[startup+870.061 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 335548 0 0 0 86221 797 0 0 25 0 1 0 905102187 122544128 29071 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29918 29071 1111 63 0 29855 0
vsize: 119672
[startup+880.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 336551 0 0 0 87220 799 0 0 25 0 1 0 905102187 122544128 29071 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29918 29071 1111 63 0 29855 0
vsize: 119672
[startup+890.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 337494 0 0 0 88218 801 0 0 25 0 1 0 905102187 124076032 29436 4294967295 134512640 134716908 3221224576 3221222940 134539276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30292 29436 1111 63 0 30229 0
vsize: 121168
[startup+900.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 337674 0 0 0 89218 802 0 0 25 0 1 0 905102187 124157952 29465 4294967295 134512640 134716908 3221224576 3221223040 134536657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30312 29465 1111 63 0 30249 0
vsize: 121248
[startup+910.063 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 338049 0 0 0 90217 803 0 0 25 0 1 0 905102187 124428288 29531 4294967295 134512640 134716908 3221224576 3221223032 134536665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30378 29531 1111 63 0 30315 0
vsize: 121512
[startup+920.063 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 338851 0 0 0 91215 805 0 0 25 0 1 0 905102187 125419520 29742 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30620 29742 1111 63 0 30557 0
vsize: 122480
[startup+930.064 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 339869 0 0 0 92212 808 0 0 25 0 1 0 905102187 125706240 29828 4294967295 134512640 134716908 3221224576 3221223304 134675314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30690 29828 1111 63 0 30627 0
vsize: 122760
[startup+940.065 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 341109 0 0 0 93210 810 0 0 25 0 1 0 905102187 126042112 29912 4294967295 134512640 134716908 3221224576 3221223304 134675306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30772 29912 1111 63 0 30709 0
vsize: 123088
[startup+950.064 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 342348 0 0 0 94207 814 0 0 25 0 1 0 905102187 126386176 29996 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30856 29996 1111 63 0 30793 0
vsize: 123424
[startup+960.065 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 343587 0 0 0 95204 817 0 0 25 0 1 0 905102187 126746624 30080 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30944 30080 1111 63 0 30881 0
vsize: 123776
[startup+970.065 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 345404 0 0 0 96200 821 0 0 25 0 1 0 905102187 127045632 30165 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31017 30165 1111 63 0 30954 0
vsize: 124068
[startup+980.066 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 345655 0 0 0 97200 821 0 0 25 0 1 0 905102187 127361024 30246 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31094 30246 1111 63 0 31031 0
vsize: 124376
[startup+990.067 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 346044 0 0 0 98199 822 0 0 25 0 1 0 905102187 126935040 30145 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30990 30145 1111 63 0 30927 0
vsize: 123960
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 346854 0 0 0 99198 823 0 0 25 0 1 0 905102187 126935040 30145 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30990 30145 1111 63 0 30927 0
vsize: 123960
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 347969 0 0 0 100196 826 0 0 25 0 1 0 905102187 127123456 30159 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31036 30159 1111 63 0 30973 0
vsize: 124144
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 349221 0 0 0 101193 828 0 0 25 0 1 0 905102187 127774720 30336 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31195 30336 1111 63 0 31132 0
vsize: 124780
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 350524 0 0 0 102191 831 0 0 25 0 1 0 905102187 128598016 30551 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31396 30551 1111 63 0 31333 0
vsize: 125584
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 351686 0 0 0 103189 833 0 0 25 0 1 0 905102187 129970176 30867 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31731 30867 1111 63 0 31668 0
vsize: 126924
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 352695 0 0 0 104187 835 0 0 25 0 1 0 905102187 130400256 30942 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31836 30942 1111 63 0 31773 0
vsize: 127344
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 353109 0 0 0 105187 836 0 0 25 0 1 0 905102187 130744320 31015 4294967295 134512640 134716908 3221224576 3221223088 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31920 31015 1111 63 0 31857 0
vsize: 127680
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 353412 0 0 0 106186 837 0 0 25 0 1 0 905102187 131026944 31085 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31989 31085 1111 63 0 31926 0
vsize: 127956
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 353988 0 0 0 107185 838 0 0 25 0 1 0 905102187 131309568 31154 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32058 31154 1111 63 0 31995 0
vsize: 128232
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 354609 0 0 0 108184 840 0 0 25 0 1 0 905102187 131588096 31220 4294967295 134512640 134716908 3221224576 3221222956 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32126 31220 1111 63 0 32063 0
vsize: 128504
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 354686 0 0 0 109184 840 0 0 25 0 1 0 905102187 131670016 31252 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32146 31252 1111 63 0 32083 0
vsize: 128584
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 355118 0 0 0 110183 841 0 0 25 0 1 0 905102187 132157440 31357 4294967295 134512640 134716908 3221224576 3221223088 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32265 31357 1111 63 0 32202 0
vsize: 129060
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 355336 0 0 0 111183 841 0 0 25 0 1 0 905102187 132440064 31421 4294967295 134512640 134716908 3221224576 3221223152 134523971 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32334 31421 1111 63 0 32271 0
vsize: 129336
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 355811 0 0 0 112182 842 0 0 25 0 1 0 905102187 132722688 31486 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32403 31486 1111 63 0 32340 0
vsize: 129612
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 356328 0 0 0 113181 844 0 0 25 0 1 0 905102187 132014080 31337 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32230 31337 1111 63 0 32167 0
vsize: 128920
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 357250 0 0 0 114179 846 0 0 25 0 1 0 905102187 132014080 31337 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32230 31337 1111 63 0 32167 0
vsize: 128920
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 358402 0 0 0 115176 848 0 0 25 0 1 0 905102187 133369856 31646 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32561 31646 1111 63 0 32498 0
vsize: 130244
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 359618 0 0 0 116174 851 0 0 25 0 1 0 905102187 133599232 31708 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32617 31708 1111 63 0 32554 0
vsize: 130468
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 362853 0 0 0 117167 859 0 0 25 0 1 0 905102187 132591616 31478 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32371 31478 1111 63 0 32308 0
vsize: 129484
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 364053 0 0 0 118164 861 0 0 25 0 1 0 905102187 134029312 31826 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32722 31826 1111 63 0 32659 0
vsize: 130888
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) R 16273 31399 31398 0 -1 0 366167 0 0 0 119160 866 0 0 25 0 1 0 905102187 134320128 31887 4294967295 134512640 134716908 3221224576 3221223200 134529103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32793 31887 1111 63 0 32730 0
vsize: 131172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 16276
Raw data (stat): 16274 (bsolo_lpr_cuts-) Z 16273 31399 31398 0 -1 1036 366167 0 0 0 119160 872 0 0 25 0 1 0 905102187 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.33
CPU user time (s): 1191.6
CPU system time (s): 8.72167
CPU usage (%): 100.016
Max. virtual memory (Kb): 131172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####