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-g125.18.opb
MD5SUM	a18434ce5469ba587063f7e76ce3e080
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4500
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	4500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4500
Total number of constraints	72413
Number of constraints which are clauses	72413
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	2
Maximum length of a constraint	18
Trace number 40680

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 18:02:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28745 boxname=wulflinc3 idbench=131 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a18434ce5469ba587063f7e76ce3e080  /oldhome/oroussel/tmp/wulflinc3/normalized-g125.18.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-g125.18.opb
IDLAUNCH: 28745
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        744824 kB
Buffers:         22404 kB
Cached:         246884 kB
SwapCached:        808 kB
Active:          36360 kB
Inactive:       235012 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        744572 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12732 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 18:22:47 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 28745 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4500 variables and 72413 constraints.
c After prepocess the problem consists of 4500 variables and 72593 constraints.
c preprocess terminated 494.19 s
#### 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.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (runsolver) R 29093 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903632920 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+9.99997 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 44254 0 0 0 889 107 0 0 25 0 1 0 903632920 184471552 44163 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45037 44163 1111 63 0 44974 0
vsize: 180148
[startup+20.0006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 73187 0 0 0 1819 177 0 0 25 0 1 0 903632920 185552896 44427 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45301 44434 1111 63 0 45238 0
vsize: 181204
[startup+30.0016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 122090 0 0 0 2706 291 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+40.0013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 145110 0 0 0 3651 345 0 0 25 0 1 0 903632920 191025152 45768 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46637 45775 1111 63 0 46574 0
vsize: 186548
[startup+50.0031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 167470 0 0 0 4595 402 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+60.0033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 190242 0 0 0 5540 456 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+70.0038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 215490 0 0 0 6476 521 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222940 134539270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+80.0046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 7459 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+90.0045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 8459 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+100.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 9459 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223120 134584759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+110.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 10460 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+120.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 11460 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+130.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 12460 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223080 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+140.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 13460 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+150.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 14460 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+160.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 15461 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+170.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29094
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 16461 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+180.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 17461 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+190.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 18461 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+200.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 19461 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+210.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 20461 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+220.007 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 21462 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+230.007 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 22462 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+240.007 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 23462 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+250.008 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 24462 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223080 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+260.008 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 25462 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+270.007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 26462 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222992 134542680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+280.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 27463 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+290.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 28463 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+300.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 29463 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+310.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 30463 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+320.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 31463 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+330.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 32463 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+340.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 33464 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+350.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 34464 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+360.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 35464 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 36464 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223040 134536695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 37464 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223192 134543834 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 38465 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+400.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 39465 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+410.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 40465 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 41465 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+430.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 42465 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 43465 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.92 3/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 44466 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 45466 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 46466 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 222904 0 0 0 47466 538 0 0 25 0 1 0 903632920 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 223473 0 0 0 48466 539 0 0 25 0 1 0 903632920 186867712 44764 4294967295 134512640 134716908 3221224576 3221223360 134622905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45622 44764 1111 63 0 45559 0
vsize: 182488
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 223779 0 0 0 49464 540 0 0 25 0 1 0 903632920 188588032 45070 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46042 45070 1111 63 0 45979 0
vsize: 184168
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 223899 0 0 0 50462 542 0 0 25 0 1 0 903632920 189181952 45190 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46187 45190 1111 63 0 46124 0
vsize: 184748
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 223941 0 0 0 51461 544 0 0 25 0 1 0 903632920 189329408 45232 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46223 45232 1111 63 0 46160 0
vsize: 184892
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 223975 0 0 0 52460 545 0 0 25 0 1 0 903632920 189460480 45266 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46255 45266 1111 63 0 46192 0
vsize: 185020
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224051 0 0 0 53459 546 0 0 25 0 1 0 903632920 189747200 45342 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46325 45342 1111 63 0 46262 0
vsize: 185300
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224141 0 0 0 54458 547 0 0 25 0 1 0 903632920 190078976 45432 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46406 45432 1111 63 0 46343 0
vsize: 185624
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224166 0 0 0 55457 548 0 0 25 0 1 0 903632920 190177280 45457 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46430 45457 1111 63 0 46367 0
vsize: 185720
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224191 0 0 0 56457 549 0 0 25 0 1 0 903632920 190275584 45482 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46454 45482 1111 63 0 46391 0
vsize: 185816
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224236 0 0 0 57456 550 0 0 25 0 1 0 903632920 190427136 45527 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46491 45527 1111 63 0 46428 0
vsize: 185964
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224258 0 0 0 58456 550 0 0 25 0 1 0 903632920 190513152 45549 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46512 45549 1111 63 0 46449 0
vsize: 186048
[startup+600.017 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224277 0 0 0 59455 551 0 0 25 0 1 0 903632920 190586880 45568 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46530 45568 1111 63 0 46467 0
vsize: 186120
[startup+610.017 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224298 0 0 0 60455 551 0 0 25 0 1 0 903632920 190668800 45589 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46550 45589 1111 63 0 46487 0
vsize: 186200
[startup+620.018 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224368 0 0 0 61455 552 0 0 25 0 1 0 903632920 190836736 45636 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46591 45636 1111 63 0 46528 0
vsize: 186364
[startup+630.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224384 0 0 0 62454 553 0 0 25 0 1 0 903632920 190902272 45652 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46607 45652 1111 63 0 46544 0
vsize: 186428
[startup+640.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224402 0 0 0 63454 554 0 0 25 0 1 0 903632920 190971904 45670 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46624 45670 1111 63 0 46561 0
vsize: 186496
[startup+650.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224416 0 0 0 64453 554 0 0 25 0 1 0 903632920 191025152 45684 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46637 45684 1111 63 0 46574 0
vsize: 186548
[startup+660.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224432 0 0 0 65453 555 0 0 25 0 1 0 903632920 191086592 45700 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46652 45700 1111 63 0 46589 0
vsize: 186608
[startup+670.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224444 0 0 0 66452 555 0 0 25 0 1 0 903632920 191135744 45712 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46664 45712 1111 63 0 46601 0
vsize: 186656
[startup+680.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224460 0 0 0 67452 556 0 0 25 0 1 0 903632920 191197184 45728 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46679 45728 1111 63 0 46616 0
vsize: 186716
[startup+690.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224575 0 0 0 68451 557 0 0 25 0 1 0 903632920 191664128 45843 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46793 45843 1111 63 0 46730 0
vsize: 187172
[startup+700.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224588 0 0 0 69451 557 0 0 25 0 1 0 903632920 191717376 45856 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46806 45856 1111 63 0 46743 0
vsize: 187224
[startup+710.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224603 0 0 0 70451 558 0 0 25 0 1 0 903632920 191774720 45871 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46820 45871 1111 63 0 46757 0
vsize: 187280
[startup+720.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224617 0 0 0 71451 558 0 0 25 0 1 0 903632920 191827968 45885 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46833 45885 1111 63 0 46770 0
vsize: 187332
[startup+730.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224629 0 0 0 72450 558 0 0 25 0 1 0 903632920 191877120 45897 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46845 45897 1111 63 0 46782 0
vsize: 187380
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224644 0 0 0 73450 559 0 0 25 0 1 0 903632920 191934464 45912 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45912 1111 63 0 46796 0
vsize: 187436
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224657 0 0 0 74450 559 0 0 25 0 1 0 903632920 191983616 45925 4294967295 134512640 134716908 3221224576 3221222728 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46871 45925 1111 63 0 46808 0
vsize: 187484
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224669 0 0 0 75450 560 0 0 25 0 1 0 903632920 192032768 45937 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46883 45937 1111 63 0 46820 0
vsize: 187532
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224820 0 0 0 76449 560 0 0 25 0 1 0 903632920 192389120 46025 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46970 46025 1111 63 0 46907 0
vsize: 187880
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224831 0 0 0 77450 560 0 0 25 0 1 0 903632920 192434176 46036 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46981 46036 1111 63 0 46918 0
vsize: 187924
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224843 0 0 0 78449 561 0 0 25 0 1 0 903632920 192479232 46048 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46992 46048 1111 63 0 46929 0
vsize: 187968
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224854 0 0 0 79449 561 0 0 25 0 1 0 903632920 192524288 46059 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47003 46059 1111 63 0 46940 0
vsize: 188012
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224867 0 0 0 80449 562 0 0 25 0 1 0 903632920 192573440 46072 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47015 46072 1111 63 0 46952 0
vsize: 188060
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224877 0 0 0 81449 562 0 0 25 0 1 0 903632920 192614400 46082 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47025 46082 1111 63 0 46962 0
vsize: 188100
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224889 0 0 0 82449 562 0 0 25 0 1 0 903632920 192659456 46094 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47036 46094 1111 63 0 46973 0
vsize: 188144
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224899 0 0 0 83448 563 0 0 25 0 1 0 903632920 192700416 46104 4294967295 134512640 134716908 3221224576 3221222816 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47046 46104 1111 63 0 46983 0
vsize: 188184
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224909 0 0 0 84448 564 0 0 25 0 1 0 903632920 192737280 46114 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47055 46114 1111 63 0 46992 0
vsize: 188220
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224920 0 0 0 85447 564 0 0 25 0 1 0 903632920 192782336 46125 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47066 46125 1111 63 0 47003 0
vsize: 188264
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224930 0 0 0 86447 565 0 0 25 0 1 0 903632920 192819200 46135 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47075 46135 1111 63 0 47012 0
vsize: 188300
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224939 0 0 0 87447 565 0 0 25 0 1 0 903632920 192856064 46144 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47084 46144 1111 63 0 47021 0
vsize: 188336
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 224950 0 0 0 88446 566 0 0 25 0 1 0 903632920 192897024 46155 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47094 46155 1111 63 0 47031 0
vsize: 188376
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225026 0 0 0 89446 567 0 0 25 0 1 0 903632920 193208320 46231 4294967295 134512640 134716908 3221224576 3221222816 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47170 46231 1111 63 0 47107 0
vsize: 188680
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225036 0 0 0 90445 567 0 0 25 0 1 0 903632920 193245184 46241 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47179 46241 1111 63 0 47116 0
vsize: 188716
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225047 0 0 0 91445 568 0 0 25 0 1 0 903632920 193290240 46252 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47190 46252 1111 63 0 47127 0
vsize: 188760
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225057 0 0 0 92445 568 0 0 25 0 1 0 903632920 193327104 46262 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47199 46262 1111 63 0 47136 0
vsize: 188796
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225064 0 0 0 93445 568 0 0 25 0 1 0 903632920 193355776 46269 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47206 46269 1111 63 0 47143 0
vsize: 188824
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225074 0 0 0 94445 568 0 0 25 0 1 0 903632920 193392640 46279 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47215 46279 1111 63 0 47152 0
vsize: 188860
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225085 0 0 0 95445 569 0 0 25 0 1 0 903632920 193437696 46290 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47226 46290 1111 63 0 47163 0
vsize: 188904
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225094 0 0 0 96445 569 0 0 25 0 1 0 903632920 193474560 46299 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47235 46299 1111 63 0 47172 0
vsize: 188940
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225105 0 0 0 97445 569 0 0 25 0 1 0 903632920 193515520 46310 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47245 46310 1111 63 0 47182 0
vsize: 188980
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225114 0 0 0 98445 569 0 0 25 0 1 0 903632920 193552384 46319 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47254 46319 1111 63 0 47191 0
vsize: 189016
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225124 0 0 0 99445 570 0 0 25 0 1 0 903632920 193589248 46329 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47263 46329 1111 63 0 47200 0
vsize: 189052
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225135 0 0 0 100444 570 0 0 25 0 1 0 903632920 193634304 46340 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47274 46340 1111 63 0 47211 0
vsize: 189096
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225145 0 0 0 101444 570 0 0 25 0 1 0 903632920 193671168 46350 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47283 46350 1111 63 0 47220 0
vsize: 189132
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225154 0 0 0 102444 571 0 0 25 0 1 0 903632920 193708032 46359 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47292 46359 1111 63 0 47229 0
vsize: 189168
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225163 0 0 0 103444 571 0 0 25 0 1 0 903632920 193744896 46368 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47301 46368 1111 63 0 47238 0
vsize: 189204
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225171 0 0 0 104444 571 0 0 25 0 1 0 903632920 193773568 46376 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47308 46376 1111 63 0 47245 0
vsize: 189232
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225180 0 0 0 105444 571 0 0 25 0 1 0 903632920 193810432 46385 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47317 46385 1111 63 0 47254 0
vsize: 189268
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225189 0 0 0 106444 572 0 0 25 0 1 0 903632920 193843200 46394 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47325 46394 1111 63 0 47262 0
vsize: 189300
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225198 0 0 0 107443 572 0 0 25 0 1 0 903632920 193880064 46403 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47334 46403 1111 63 0 47271 0
vsize: 189336
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225414 0 0 0 108442 573 0 0 25 0 1 0 903632920 194056192 46446 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47377 46446 1111 63 0 47314 0
vsize: 189508
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225423 0 0 0 109442 574 0 0 25 0 1 0 903632920 194088960 46455 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47385 46455 1111 63 0 47322 0
vsize: 189540
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225432 0 0 0 110442 574 0 0 25 0 1 0 903632920 194125824 46464 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47394 46464 1111 63 0 47331 0
vsize: 189576
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225439 0 0 0 111442 574 0 0 25 0 1 0 903632920 194154496 46471 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47401 46471 1111 63 0 47338 0
vsize: 189604
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225448 0 0 0 112442 575 0 0 25 0 1 0 903632920 194187264 46480 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47409 46480 1111 63 0 47346 0
vsize: 189636
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225457 0 0 0 113442 575 0 0 25 0 1 0 903632920 194224128 46489 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47418 46489 1111 63 0 47355 0
vsize: 189672
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225465 0 0 0 114442 575 0 0 25 0 1 0 903632920 194252800 46497 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47425 46497 1111 63 0 47362 0
vsize: 189700
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225473 0 0 0 115442 575 0 0 25 0 1 0 903632920 194285568 46505 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47433 46505 1111 63 0 47370 0
vsize: 189732
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225480 0 0 0 116442 575 0 0 25 0 1 0 903632920 194314240 46512 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47440 46512 1111 63 0 47377 0
vsize: 189760
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225489 0 0 0 117442 576 0 0 25 0 1 0 903632920 194347008 46521 4294967295 134512640 134716908 3221224576 3221222816 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47448 46521 1111 63 0 47385 0
vsize: 189792
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225496 0 0 0 118442 576 0 0 25 0 1 0 903632920 194375680 46528 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47455 46528 1111 63 0 47392 0
vsize: 189820
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) R 29093 20224 20223 0 -1 0 225504 0 0 0 119442 576 0 0 25 0 1 0 903632920 194408448 46536 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47463 46536 1111 63 0 47400 0
vsize: 189852
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 29096
Raw data (stat): 29094 (bsolo_lpr_cuts-) Z 29093 20224 20223 0 -1 1036 225504 0 0 0 119442 585 0 0 25 0 1 0 903632920 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.12
CPU time (s): 1200.27
CPU user time (s): 1194.42
CPU system time (s): 5.85211
CPU usage (%): 100.013
Max. virtual memory (Kb): 189852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####