PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
MD5SUM	fd20bcfe4a71405dc1e0ef3cb894b630
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	87370
Biggest coefficient in the objective function	1310720000
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	13573186735
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	10240000000000000927712935936
Number of bits of the biggest number in a constraint	94
Biggest sum of numbers in a constraint	29801266744107043904416645120
Number of bits of the biggest sum of numbers	95
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.893863
Number of variables	93400
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	1018
Trace number 41137

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 06:36:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29199 boxname=wulflinc6 idbench=983 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  fd20bcfe4a71405dc1e0ef3cb894b630  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-momentum3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-momentum3.opb
IDLAUNCH: 29199
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        202292 kB
Buffers:         30720 kB
Cached:         776656 kB
SwapCached:       4068 kB
Active:         340668 kB
Inactive:       471884 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        202040 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14200 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:56:29 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 29199 7 1200.43 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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): 1.02 0.99 0.93 1/54 7832
Raw data (stat): 7832 (runsolver) R 7831 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908163417 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 1219 0 0 0 993 4 0 0 25 0 1 0 908163417 16711680 1139 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 1139 1111 63 0 4017 0
vsize: 16320
[startup+20.0002 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 1618 0 0 0 1993 5 0 0 25 0 1 0 908163417 18345984 1538 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4479 1538 1111 63 0 4416 0
vsize: 17916
[startup+30.0004 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 2027 0 0 0 2992 6 0 0 25 0 1 0 908163417 19992576 1947 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 1947 1111 63 0 4818 0
vsize: 19524
[startup+40.0004 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 2432 0 0 0 3991 7 0 0 25 0 1 0 908163417 21762048 2352 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5313 2352 1111 63 0 5250 0
vsize: 21252
[startup+50.0001 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 2836 0 0 0 4991 7 0 0 25 0 1 0 908163417 23392256 2756 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5711 2756 1111 63 0 5648 0
vsize: 22844
[startup+59.9996 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 3243 0 0 0 5991 8 0 0 25 0 1 0 908163417 25026560 3163 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6110 3163 1111 63 0 6047 0
vsize: 24440
[startup+69.9997 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 3685 0 0 0 6990 9 0 0 25 0 1 0 908163417 26841088 3605 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6553 3605 1111 63 0 6490 0
vsize: 26212
[startup+79.9995 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 4229 0 0 0 7990 10 0 0 25 0 1 0 908163417 28991488 4149 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7078 4149 1111 63 0 7015 0
vsize: 28312
[startup+89.9994 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 4743 0 0 0 8989 11 0 0 25 0 1 0 908163417 31137792 4663 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7602 4663 1111 63 0 7539 0
vsize: 30408
[startup+99.9991 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 5239 0 0 0 9988 12 0 0 25 0 1 0 908163417 33271808 5159 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8123 5159 1111 63 0 8060 0
vsize: 32492
[startup+110.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 5741 0 0 0 10988 13 0 0 25 0 1 0 908163417 35274752 5661 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8612 5661 1111 63 0 8549 0
vsize: 34448
[startup+120.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 6246 0 0 0 11988 14 0 0 25 0 1 0 908163417 37392384 6166 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9129 6166 1111 63 0 9066 0
vsize: 36516
[startup+130.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 6741 0 0 0 12987 14 0 0 25 0 1 0 908163417 39391232 6661 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9617 6661 1111 63 0 9554 0
vsize: 38468
[startup+140.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 7251 0 0 0 13986 16 0 0 25 0 1 0 908163417 41394176 7171 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10106 7171 1111 63 0 10043 0
vsize: 40424
[startup+150.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 7759 0 0 0 14985 17 0 0 25 0 1 0 908163417 43528192 7679 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10627 7679 1111 63 0 10564 0
vsize: 42508
[startup+160.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 8267 0 0 0 15985 18 0 0 25 0 1 0 908163417 45662208 8187 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11148 8187 1111 63 0 11085 0
vsize: 44592
[startup+170.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 8771 0 0 0 16984 19 0 0 25 0 1 0 908163417 47648768 8691 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11633 8691 1111 63 0 11570 0
vsize: 46532
[startup+180.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 9295 0 0 0 17984 20 0 0 25 0 1 0 908163417 49795072 9215 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12157 9215 1111 63 0 12094 0
vsize: 48628
[startup+190.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 9804 0 0 0 18983 21 0 0 25 0 1 0 908163417 51933184 9724 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12679 9724 1111 63 0 12616 0
vsize: 50716
[startup+200.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 10314 0 0 0 19982 22 0 0 25 0 1 0 908163417 54067200 10234 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13200 10234 1111 63 0 13137 0
vsize: 52800
[startup+210.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 10830 0 0 0 20982 23 0 0 25 0 1 0 908163417 56205312 10750 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13722 10750 1111 63 0 13659 0
vsize: 54888
[startup+220.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 11347 0 0 0 21981 23 0 0 25 0 1 0 908163417 58208256 11267 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14211 11267 1111 63 0 14148 0
vsize: 56844
[startup+230.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 11868 0 0 0 22981 24 0 0 25 0 1 0 908163417 60342272 11788 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14732 11788 1111 63 0 14669 0
vsize: 58928
[startup+240.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 12385 0 0 0 23980 25 0 0 25 0 1 0 908163417 62476288 12305 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15253 12305 1111 63 0 15190 0
vsize: 61012
[startup+250.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 12908 0 0 0 24979 26 0 0 25 0 1 0 908163417 64610304 12828 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15774 12828 1111 63 0 15711 0
vsize: 63096
[startup+260.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 13437 0 0 0 25979 27 0 0 25 0 1 0 908163417 66752512 13357 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16297 13357 1111 63 0 16234 0
vsize: 65188
[startup+270.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 13959 0 0 0 26978 28 0 0 25 0 1 0 908163417 68886528 13879 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16818 13879 1111 63 0 16755 0
vsize: 67272
[startup+280.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 14482 0 0 0 27977 30 0 0 25 0 1 0 908163417 71020544 14402 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17339 14402 1111 63 0 17276 0
vsize: 69356
[startup+290.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 15018 0 0 0 28976 31 0 0 25 0 1 0 908163417 73297920 14938 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17895 14938 1111 63 0 17832 0
vsize: 71580
[startup+300.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 15553 0 0 0 29975 32 0 0 25 0 1 0 908163417 75431936 15473 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18416 15473 1111 63 0 18353 0
vsize: 73664
[startup+310.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 16082 0 0 0 30975 33 0 0 25 0 1 0 908163417 77570048 16002 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18938 16002 1111 63 0 18875 0
vsize: 75752
[startup+320.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 16623 0 0 0 31974 33 0 0 25 0 1 0 908163417 79839232 16543 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19492 16543 1111 63 0 19429 0
vsize: 77968
[startup+330.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 17159 0 0 0 32973 35 0 0 25 0 1 0 908163417 81981440 17079 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20015 17079 1111 63 0 19952 0
vsize: 80060
[startup+340.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 17694 0 0 0 33973 35 0 0 25 0 1 0 908163417 84271104 17614 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20574 17614 1111 63 0 20511 0
vsize: 82296
[startup+350.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 18260 0 0 0 34973 36 0 0 25 0 1 0 908163417 86626304 18180 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21149 18180 1111 63 0 21086 0
vsize: 84596
[startup+360.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 18809 0 0 0 35972 37 0 0 25 0 1 0 908163417 88903680 18729 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21705 18729 1111 63 0 21642 0
vsize: 86820
[startup+370.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 19358 0 0 0 36971 38 0 0 25 0 1 0 908163417 91193344 19278 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22264 19278 1111 63 0 22201 0
vsize: 89056
[startup+380.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 19906 0 0 0 37971 39 0 0 25 0 1 0 908163417 93327360 19826 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22785 19826 1111 63 0 22722 0
vsize: 91140
[startup+390.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 20457 0 0 0 38970 40 0 0 25 0 1 0 908163417 95604736 20377 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23341 20377 1111 63 0 23278 0
vsize: 93364
[startup+400.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 21017 0 0 0 39970 41 0 0 25 0 1 0 908163417 97873920 20937 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23895 20937 1111 63 0 23832 0
vsize: 95580
[startup+410.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 21566 0 0 0 40969 42 0 0 25 0 1 0 908163417 100167680 21486 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24455 21486 1111 63 0 24392 0
vsize: 97820
[startup+420.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 22129 0 0 0 41969 42 0 0 25 0 1 0 908163417 102440960 22049 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25010 22049 1111 63 0 24947 0
vsize: 100040
[startup+430.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 22690 0 0 0 42968 43 0 0 25 0 1 0 908163417 104714240 22610 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25565 22610 1111 63 0 25502 0
vsize: 102260
[startup+440.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 23251 0 0 0 43968 44 0 0 25 0 1 0 908163417 107003904 23171 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26124 23171 1111 63 0 26061 0
vsize: 104496
[startup+450.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 23814 0 0 0 44967 45 0 0 25 0 1 0 908163417 109412352 23734 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26712 23734 1111 63 0 26649 0
vsize: 106848
[startup+460.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 24375 0 0 0 45966 46 0 0 25 0 1 0 908163417 111681536 24295 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27266 24295 1111 63 0 27203 0
vsize: 109064
[startup+470.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 24937 0 0 0 46966 47 0 0 25 0 1 0 908163417 113946624 24857 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27819 24857 1111 63 0 27756 0
vsize: 111276
[startup+480.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 25512 0 0 0 47965 48 0 0 25 0 1 0 908163417 116224000 25432 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28375 25432 1111 63 0 28312 0
vsize: 113500
[startup+490.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 26074 0 0 0 48964 49 0 0 25 0 1 0 908163417 118648832 25994 4294967295 134512640 134716908 3221224560 3221221276 1077199804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28967 25994 1111 63 0 28904 0
vsize: 115868
[startup+500.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 26649 0 0 0 49964 50 0 0 25 0 1 0 908163417 120918016 26569 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29521 26569 1111 63 0 29458 0
vsize: 118084
[startup+510.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 27224 0 0 0 50963 51 0 0 25 0 1 0 908163417 123351040 27144 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30115 27144 1111 63 0 30052 0
vsize: 120460
[startup+520.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 27799 0 0 0 51962 52 0 0 25 0 1 0 908163417 125620224 27719 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30669 27719 1111 63 0 30606 0
vsize: 122676
[startup+530.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 28386 0 0 0 52962 53 0 0 25 0 1 0 908163417 128049152 28306 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31262 28306 1111 63 0 31199 0
vsize: 125048
[startup+540.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 28962 0 0 0 53961 54 0 0 25 0 1 0 908163417 130457600 28882 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31850 28882 1111 63 0 31787 0
vsize: 127400
[startup+550.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 29542 0 0 0 54961 55 0 0 25 0 1 0 908163417 132751360 29462 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32410 29462 1111 63 0 32347 0
vsize: 129640
[startup+560.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 30124 0 0 0 55960 56 0 0 25 0 1 0 908163417 135159808 30044 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32998 30044 1111 63 0 32935 0
vsize: 131992
[startup+570.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 30710 0 0 0 56959 57 0 0 25 0 1 0 908163417 137588736 30630 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33591 30630 1111 63 0 33528 0
vsize: 134364
[startup+580.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 31298 0 0 0 57958 59 0 0 25 0 1 0 908163417 140013568 31218 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34183 31218 1111 63 0 34120 0
vsize: 136732
[startup+590.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 31887 0 0 0 58958 59 0 0 25 0 1 0 908163417 142422016 31807 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34771 31807 1111 63 0 34708 0
vsize: 139084
[startup+600.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 32475 0 0 0 59957 61 0 0 25 0 1 0 908163417 144822272 32395 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35357 32395 1111 63 0 35294 0
vsize: 141428
[startup+610.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 33076 0 0 0 60956 62 0 0 25 0 1 0 908163417 147206144 32996 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35939 32996 1111 63 0 35876 0
vsize: 143756
[startup+620.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 33663 0 0 0 61955 63 0 0 25 0 1 0 908163417 149635072 33583 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36532 33583 1111 63 0 36469 0
vsize: 146128
[startup+630.003 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 34264 0 0 0 62954 64 0 0 25 0 1 0 908163417 152064000 34184 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37125 34184 1111 63 0 37062 0
vsize: 148500
[startup+640.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 34863 0 0 0 63954 65 0 0 25 0 1 0 908163417 154492928 34783 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37718 34783 1111 63 0 37655 0
vsize: 150872
[startup+650.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 35496 0 0 0 64953 66 0 0 25 0 1 0 908163417 157442048 35416 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38438 35416 1111 63 0 38375 0
vsize: 153752
[startup+660.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 36111 0 0 0 65952 67 0 0 25 0 1 0 908163417 159850496 36031 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39026 36031 1111 63 0 38963 0
vsize: 156104
[startup+670.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 36724 0 0 0 66952 68 0 0 25 0 1 0 908163417 162414592 36644 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39652 36644 1111 63 0 39589 0
vsize: 158608
[startup+680.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 37339 0 0 0 67951 69 0 0 25 0 1 0 908163417 164978688 37259 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40278 37259 1111 63 0 40215 0
vsize: 161112
[startup+690.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 37952 0 0 0 68950 70 0 0 25 0 1 0 908163417 167407616 37872 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40871 37872 1111 63 0 40808 0
vsize: 163484
[startup+700.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 38568 0 0 0 69949 71 0 0 25 0 1 0 908163417 169971712 38488 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41497 38488 1111 63 0 41434 0
vsize: 165988
[startup+710.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 39186 0 0 0 70948 73 0 0 25 0 1 0 908163417 172400640 39106 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42090 39106 1111 63 0 42027 0
vsize: 168360
[startup+720.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 39809 0 0 0 71947 74 0 0 25 0 1 0 908163417 174964736 39729 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42716 39729 1111 63 0 42653 0
vsize: 170864
[startup+730.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 40434 0 0 0 72946 75 0 0 25 0 1 0 908163417 177528832 40354 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43342 40354 1111 63 0 43279 0
vsize: 173368
[startup+740.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 41056 0 0 0 73945 77 0 0 25 0 1 0 908163417 180092928 40976 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43968 40976 1111 63 0 43905 0
vsize: 175872
[startup+750.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 41682 0 0 0 74944 78 0 0 25 0 1 0 908163417 182632448 41602 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44588 41602 1111 63 0 44525 0
vsize: 178352
[startup+760.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 42317 0 0 0 75943 80 0 0 25 0 1 0 908163417 185221120 42237 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45220 42237 1111 63 0 45157 0
vsize: 180880
[startup+770.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 42950 0 0 0 76942 81 0 0 25 0 1 0 908163417 187916288 42870 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45878 42870 1111 63 0 45815 0
vsize: 183512
[startup+780.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 43584 0 0 0 77941 83 0 0 25 0 1 0 908163417 190484480 43504 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46505 43504 1111 63 0 46442 0
vsize: 186020
[startup+790.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 44224 0 0 0 78940 84 0 0 25 0 1 0 908163417 193044480 44144 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47130 44144 1111 63 0 47067 0
vsize: 188520
[startup+800.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 44870 0 0 0 79939 85 0 0 25 0 1 0 908163417 195747840 44790 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47790 44790 1111 63 0 47727 0
vsize: 191160
[startup+810.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 45517 0 0 0 80938 86 0 0 25 0 1 0 908163417 198307840 45437 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48415 45437 1111 63 0 48352 0
vsize: 193660
[startup+820.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 46170 0 0 0 81938 87 0 0 25 0 1 0 908163417 201031680 46090 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49080 46090 1111 63 0 49017 0
vsize: 196320
[startup+830.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 46823 0 0 0 82937 89 0 0 25 0 1 0 908163417 203735040 46743 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49740 46743 1111 63 0 49677 0
vsize: 198960
[startup+840.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 47476 0 0 0 83936 90 0 0 25 0 1 0 908163417 206295040 47396 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50365 47396 1111 63 0 50302 0
vsize: 201460
[startup+850.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 48135 0 0 0 84935 91 0 0 25 0 1 0 908163417 208994304 48055 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51024 48055 1111 63 0 50961 0
vsize: 204096
[startup+860.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 48795 0 0 0 85935 92 0 0 25 0 1 0 908163417 211820544 48715 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51714 48715 1111 63 0 51651 0
vsize: 206856
[startup+870.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 49463 0 0 0 86934 93 0 0 25 0 1 0 908163417 214495232 49383 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52367 49383 1111 63 0 52304 0
vsize: 209468
[startup+880.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 50127 0 0 0 87932 95 0 0 25 0 1 0 908163417 217214976 50047 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53031 50047 1111 63 0 52968 0
vsize: 212124
[startup+890.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 50795 0 0 0 88931 96 0 0 25 0 1 0 908163417 219914240 50715 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53690 50715 1111 63 0 53627 0
vsize: 214760
[startup+900.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 51474 0 0 0 89929 97 0 0 25 0 1 0 908163417 222773248 51394 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54388 51394 1111 63 0 54325 0
vsize: 217552
[startup+910.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 52153 0 0 0 90928 98 0 0 25 0 1 0 908163417 225468416 52073 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55046 52073 1111 63 0 54983 0
vsize: 220184
[startup+920.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 52840 0 0 0 91927 100 0 0 25 0 1 0 908163417 228327424 52760 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55744 52760 1111 63 0 55681 0
vsize: 222976
[startup+930.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 53532 0 0 0 92926 101 0 0 25 0 1 0 908163417 231165952 53452 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56437 53452 1111 63 0 56374 0
vsize: 225748
[startup+940.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 54230 0 0 0 93924 102 0 0 25 0 1 0 908163417 234016768 54150 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57133 54150 1111 63 0 57070 0
vsize: 228532
[startup+950.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 54923 0 0 0 94923 103 0 0 25 0 1 0 908163417 236875776 54843 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57831 54843 1111 63 0 57768 0
vsize: 231324
[startup+960.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 55622 0 0 0 95922 104 0 0 25 0 1 0 908163417 239710208 55542 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58523 55542 1111 63 0 58460 0
vsize: 234092
[startup+970.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 56321 0 0 0 96921 105 0 0 25 0 1 0 908163417 242561024 56241 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59219 56241 1111 63 0 59156 0
vsize: 236876
[startup+980.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 57033 0 0 0 97920 107 0 0 25 0 1 0 908163417 245370880 56953 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59905 56953 1111 63 0 59842 0
vsize: 239620
[startup+990.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 57746 0 0 0 98919 107 0 0 25 0 1 0 908163417 248365056 57666 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60636 57666 1111 63 0 60573 0
vsize: 242544
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 58464 0 0 0 99918 109 0 0 25 0 1 0 908163417 251351040 58384 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61365 58384 1111 63 0 61302 0
vsize: 245460
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 59189 0 0 0 100917 110 0 0 25 0 1 0 908163417 254210048 59109 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62063 59109 1111 63 0 62000 0
vsize: 248252
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 59914 0 0 0 101916 111 0 0 25 0 1 0 908163417 257200128 59834 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62793 59834 1111 63 0 62730 0
vsize: 251172
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 60647 0 0 0 102915 112 0 0 25 0 1 0 908163417 260194304 60567 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63524 60567 1111 63 0 63461 0
vsize: 254096
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 61377 0 0 0 103914 114 0 0 25 0 1 0 908163417 263180288 61297 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64253 61297 1111 63 0 64190 0
vsize: 257012
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 62121 0 0 0 104913 114 0 0 25 0 1 0 908163417 266174464 62041 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64984 62041 1111 63 0 64921 0
vsize: 259936
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 62854 0 0 0 105911 116 0 0 25 0 1 0 908163417 269299712 62774 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65747 62774 1111 63 0 65684 0
vsize: 262988
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 63605 0 0 0 106910 117 0 0 25 0 1 0 908163417 272240640 63525 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66465 63525 1111 63 0 66402 0
vsize: 265860
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 64348 0 0 0 107909 118 0 0 25 0 1 0 908163417 275382272 64268 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67232 64268 1111 63 0 67169 0
vsize: 268928
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 65101 0 0 0 108908 120 0 0 25 0 1 0 908163417 278376448 65021 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67963 65021 1111 63 0 67900 0
vsize: 271852
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 65859 0 0 0 109906 121 0 0 25 0 1 0 908163417 281505792 65779 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68727 65779 1111 63 0 68664 0
vsize: 274908
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 66629 0 0 0 110905 122 0 0 25 0 1 0 908163417 284631040 66549 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69490 66549 1111 63 0 69427 0
vsize: 277960
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 67394 0 0 0 111903 124 0 0 25 0 1 0 908163417 287780864 67314 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70259 67314 1111 63 0 70196 0
vsize: 281036
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 68165 0 0 0 112902 126 0 0 25 0 1 0 908163417 290910208 68085 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71023 68085 1111 63 0 70960 0
vsize: 284092
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 68941 0 0 0 113900 127 0 0 25 0 1 0 908163417 294187008 68861 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71823 68861 1111 63 0 71760 0
vsize: 287292
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 69712 0 0 0 114899 129 0 0 25 0 1 0 908163417 297316352 69632 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72587 69632 1111 63 0 72524 0
vsize: 290348
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 70623 0 0 0 115897 131 0 0 25 0 1 0 908163417 301191168 70417 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73533 70417 1111 63 0 73470 0
vsize: 294132
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 71409 0 0 0 116895 133 0 0 25 0 1 0 908163417 304447488 71203 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74328 71203 1111 63 0 74265 0
vsize: 297312
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 72193 0 0 0 117894 134 0 0 25 0 1 0 908163417 307732480 71987 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75130 71987 1111 63 0 75067 0
vsize: 300520
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 72991 0 0 0 118893 135 0 0 25 0 1 0 908163417 310861824 72785 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75894 72785 1111 63 0 75831 0
vsize: 303576
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) R 7831 25568 25567 0 -1 0 73782 0 0 0 119892 136 0 0 25 0 1 0 908163417 314142720 73576 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76695 73576 1111 63 0 76632 0
vsize: 306780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 7832
Raw data (stat): 7832 (bsolo_lpr_cuts-) Z 7831 25568 25567 0 -1 1036 73782 0 0 0 119892 150 0 0 25 0 1 0 908163417 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.16
CPU time (s): 1200.43
CPU user time (s): 1198.92
CPU system time (s): 1.50777
CPU usage (%): 100.023
Max. virtual memory (Kb): 306780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####