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/ttp/normalized-circ8_3.opb
MD5SUM	2ea3853c4fb57dccc00d289069858df9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	172
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	4
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	1024
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	24
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	1024
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.06
Number of variables	1344
Total number of constraints	16096
Number of constraints which are clauses	8208
Number of constraints which are cardinality constraints (but not clauses)	496
Number of constraints which are nor clauses,nor cardinality constraints	7392
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 40808

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 22:22:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28873 boxname=wulflinc5 idbench=259 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2ea3853c4fb57dccc00d289069858df9  /oldhome/oroussel/tmp/wulflinc5/normalized-circ8_3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-circ8_3.opb
IDLAUNCH: 28873
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        832640 kB
Buffers:         29812 kB
Cached:         150352 kB
SwapCached:        648 kB
Active:          41740 kB
Inactive:       140504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        832388 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            14136 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:42:12 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 28873 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1344 variables and 16376 constraints.
c After prepocess the problem consists of 1344 variables and 15618 constraints.
c preprocess terminated 52.625 s
c Initial Lower Bound: 96
c Lower Bound Elapsed time: 289.993
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.15 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): 0.93 0.97 0.91 1/54 23242
Raw data (stat): 23242 (runsolver) R 23241 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905200970 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 6037 0 0 0 983 14 0 0 25 0 1 0 905200970 25317376 5317 4294967295 134512640 134716908 3221224576 3221223100 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6181 5317 1111 63 0 6118 0
vsize: 24724
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 6727 0 0 0 1981 15 0 0 25 0 1 0 905200970 26238976 5570 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6406 5570 1111 63 0 6343 0
vsize: 25624
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 7198 0 0 0 2980 16 0 0 25 0 1 0 905200970 27766784 5938 4294967295 134512640 134716908 3221224576 3221222968 1077377401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5938 1111 63 0 6716 0
vsize: 27116
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 7430 0 0 0 3980 17 0 0 25 0 1 0 905200970 28479488 6110 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6110 1111 63 0 6890 0
vsize: 27812
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 7430 0 0 0 4980 17 0 0 25 0 1 0 905200970 28479488 6110 4294967295 134512640 134716908 3221224576 3221223224 134558617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6110 1111 63 0 6890 0
vsize: 27812
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 7637 0 0 0 5978 19 0 0 25 0 1 0 905200970 29274112 6317 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7147 6317 1111 63 0 7084 0
vsize: 28588
[startup+70.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 7780 0 0 0 6976 20 0 0 25 0 1 0 905200970 29532160 6397 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6397 1111 63 0 7147 0
vsize: 28840
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.97 0.91 3/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 7863 0 0 0 7975 21 0 0 25 0 1 0 905200970 29888512 6480 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7297 6480 1111 63 0 7234 0
vsize: 29188
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 7906 0 0 0 8975 22 0 0 25 0 1 0 905200970 30064640 6523 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7340 6523 1111 63 0 7277 0
vsize: 29360
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 8081 0 0 0 9974 23 0 0 25 0 1 0 905200970 30703616 6683 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6683 1111 63 0 7433 0
vsize: 29984
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 8117 0 0 0 10974 23 0 0 25 0 1 0 905200970 30851072 6719 4294967295 134512640 134716908 3221224576 3221222288 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7532 6719 1111 63 0 7469 0
vsize: 30128
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 8147 0 0 0 11974 24 0 0 25 0 1 0 905200970 30973952 6749 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7562 6749 1111 63 0 7499 0
vsize: 30248
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 11892 0 0 0 12965 33 0 0 25 0 1 0 905200970 44552192 8899 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10877 8899 1111 63 0 10814 0
vsize: 43508
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 12589 0 0 0 13963 34 0 0 25 0 1 0 905200970 42999808 9139 4294967295 134512640 134716908 3221224576 3221220688 1074815241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10498 9139 1111 63 0 10435 0
vsize: 41992
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 12704 0 0 0 14963 35 0 0 25 0 1 0 905200970 43429888 9254 4294967295 134512640 134716908 3221224576 3221220640 1074883509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10603 9254 1111 63 0 10540 0
vsize: 42412
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 12841 0 0 0 15963 35 0 0 25 0 1 0 905200970 43921408 9391 4294967295 134512640 134716908 3221224576 3221220524 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10723 9391 1111 63 0 10660 0
vsize: 42892
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 12907 0 0 0 16963 35 0 0 25 0 1 0 905200970 44183552 9457 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 9457 1111 63 0 10724 0
vsize: 43148
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 12965 0 0 0 17963 36 0 0 25 0 1 0 905200970 44457984 9515 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10854 9515 1111 63 0 10791 0
vsize: 43416
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13011 0 0 0 18963 36 0 0 25 0 1 0 905200970 44752896 9561 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10926 9561 1111 63 0 10863 0
vsize: 43704
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13083 0 0 0 19963 36 0 0 25 0 1 0 905200970 45051904 9633 4294967295 134512640 134716908 3221224576 3221220640 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10999 9633 1111 63 0 10936 0
vsize: 43996
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13084 0 0 0 20963 36 0 0 25 0 1 0 905200970 45051904 9634 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10999 9634 1111 63 0 10936 0
vsize: 43996
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13117 0 0 0 21963 36 0 0 25 0 1 0 905200970 45363200 9667 4294967295 134512640 134716908 3221224576 3221220688 1074815231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9667 1111 63 0 11012 0
vsize: 44300
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13129 0 0 0 22963 36 0 0 25 0 1 0 905200970 45363200 9679 4294967295 134512640 134716908 3221224576 3221220752 1074961183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9679 1111 63 0 11012 0
vsize: 44300
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13131 0 0 0 23963 36 0 0 25 0 1 0 905200970 45363200 9681 4294967295 134512640 134716908 3221224576 3221220524 1074873537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13131 0 0 0 24964 36 0 0 25 0 1 0 905200970 45363200 9681 4294967295 134512640 134716908 3221224576 3221221408 1075960291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13131 0 0 0 25964 36 0 0 25 0 1 0 905200970 45363200 9681 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13131 0 0 0 26964 36 0 0 25 0 1 0 905200970 45363200 9681 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9681 1111 63 0 11012 0
vsize: 44300
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13151 0 0 0 27964 37 0 0 25 0 1 0 905200970 45703168 9701 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9701 1111 63 0 11095 0
vsize: 44632
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13181 0 0 0 28964 37 0 0 25 0 1 0 905200970 45703168 9731 4294967295 134512640 134716908 3221224576 3221221024 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9731 1111 63 0 11095 0
vsize: 44632
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13190 0 0 0 29964 37 0 0 25 0 1 0 905200970 45703168 9736 4294967295 134512640 134716908 3221224576 3221220656 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9736 1111 63 0 11095 0
vsize: 44632
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13190 0 0 0 30964 37 0 0 25 0 1 0 905200970 45703168 9736 4294967295 134512640 134716908 3221224576 3221220752 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9736 1111 63 0 11095 0
vsize: 44632
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 13190 0 0 0 31964 37 0 0 25 0 1 0 905200970 45703168 9736 4294967295 134512640 134716908 3221224576 3221220812 1076111462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9736 1111 63 0 11095 0
vsize: 44632
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 18458 0 0 0 32951 51 0 0 25 0 1 0 905200970 34144256 7602 4294967295 134512640 134716908 3221224576 3221222784 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8336 7602 1111 63 0 8273 0
vsize: 33344
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 20850 0 0 0 33942 60 0 0 25 0 1 0 905200970 34144256 7602 4294967295 134512640 134716908 3221224576 3221222992 134646788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8336 7602 1111 63 0 8273 0
vsize: 33344
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21452 0 0 0 34939 63 0 0 25 0 1 0 905200970 34144256 7604 4294967295 134512640 134716908 3221224576 3221223168 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8336 7604 1111 63 0 8273 0
vsize: 33344
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21453 0 0 0 35938 63 0 0 25 0 1 0 905200970 34144256 7605 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8336 7605 1111 63 0 8273 0
vsize: 33344
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21453 0 0 0 36938 64 0 0 25 0 1 0 905200970 34144256 7605 4294967295 134512640 134716908 3221224576 3221223360 134529266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8336 7605 1111 63 0 8273 0
vsize: 33344
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21476 0 0 0 37938 64 0 0 25 0 1 0 905200970 34279424 7628 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8369 7628 1111 63 0 8306 0
vsize: 33476
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21533 0 0 0 38937 65 0 0 25 0 1 0 905200970 34414592 7685 4294967295 134512640 134716908 3221224576 3221223156 134542763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8402 7685 1111 63 0 8339 0
vsize: 33608
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21609 0 0 0 39937 65 0 0 25 0 1 0 905200970 34820096 7761 4294967295 134512640 134716908 3221224576 3221223168 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8501 7761 1111 63 0 8438 0
vsize: 34004
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21644 0 0 0 40937 65 0 0 25 0 1 0 905200970 34955264 7796 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8534 7796 1111 63 0 8471 0
vsize: 34136
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21692 0 0 0 41937 66 0 0 25 0 1 0 905200970 35090432 7844 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8567 7844 1111 63 0 8504 0
vsize: 34268
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21766 0 0 0 42937 66 0 0 25 0 1 0 905200970 35360768 7918 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 7918 1111 63 0 8570 0
vsize: 34532
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21825 0 0 0 43937 66 0 0 25 0 1 0 905200970 35631104 7977 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8699 7977 1111 63 0 8636 0
vsize: 34796
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21894 0 0 0 44936 67 0 0 25 0 1 0 905200970 35901440 8046 4294967295 134512640 134716908 3221224576 3221223304 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8765 8046 1111 63 0 8702 0
vsize: 35060
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 21954 0 0 0 45937 67 0 0 25 0 1 0 905200970 36171776 8106 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8831 8106 1111 63 0 8768 0
vsize: 35324
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22001 0 0 0 46936 68 0 0 25 0 1 0 905200970 36442112 8153 4294967295 134512640 134716908 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8897 8153 1111 63 0 8834 0
vsize: 35588
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22079 0 0 0 47935 69 0 0 25 0 1 0 905200970 36712448 8231 4294967295 134512640 134716908 3221224576 3221223116 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8963 8231 1111 63 0 8900 0
vsize: 35852
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22145 0 0 0 48935 69 0 0 25 0 1 0 905200970 36978688 8297 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 8297 1111 63 0 8965 0
vsize: 36112
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22219 0 0 0 49935 69 0 0 25 0 1 0 905200970 37249024 8371 4294967295 134512640 134716908 3221224576 3221223304 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9094 8371 1111 63 0 9031 0
vsize: 36376
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22265 0 0 0 50935 70 0 0 25 0 1 0 905200970 37519360 8417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9160 8417 1111 63 0 9097 0
vsize: 36640
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22316 0 0 0 51934 70 0 0 25 0 1 0 905200970 37654528 8468 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9193 8468 1111 63 0 9130 0
vsize: 36772
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22360 0 0 0 52934 71 0 0 25 0 1 0 905200970 37924864 8512 4294967295 134512640 134716908 3221224576 3221223168 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9259 8512 1111 63 0 9196 0
vsize: 37036
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22426 0 0 0 53933 72 0 0 25 0 1 0 905200970 38195200 8578 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9325 8578 1111 63 0 9262 0
vsize: 37300
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22494 0 0 0 54933 73 0 0 25 0 1 0 905200970 38465536 8646 4294967295 134512640 134716908 3221224576 3221223196 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9391 8646 1111 63 0 9328 0
vsize: 37564
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22565 0 0 0 55933 73 0 0 25 0 1 0 905200970 38735872 8717 4294967295 134512640 134716908 3221224576 3221223300 134529375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9457 8717 1111 63 0 9394 0
vsize: 37828
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22635 0 0 0 56933 73 0 0 25 0 1 0 905200970 39006208 8787 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9523 8787 1111 63 0 9460 0
vsize: 38092
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22688 0 0 0 57932 73 0 0 25 0 1 0 905200970 39141376 8840 4294967295 134512640 134716908 3221224576 3221223304 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9556 8840 1111 63 0 9493 0
vsize: 38224
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22717 0 0 0 58933 73 0 0 25 0 1 0 905200970 39276544 8869 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9589 8869 1111 63 0 9526 0
vsize: 38356
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22780 0 0 0 59932 74 0 0 25 0 1 0 905200970 39534592 8932 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9652 8932 1111 63 0 9589 0
vsize: 38608
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22851 0 0 0 60932 74 0 0 25 0 1 0 905200970 39804928 9003 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 9003 1111 63 0 9655 0
vsize: 38872
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22909 0 0 0 61931 75 0 0 25 0 1 0 905200970 40075264 9061 4294967295 134512640 134716908 3221224576 3221223084 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9784 9061 1111 63 0 9721 0
vsize: 39136
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 22961 0 0 0 62931 76 0 0 25 0 1 0 905200970 40345600 9113 4294967295 134512640 134716908 3221224576 3221223116 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9850 9113 1111 63 0 9787 0
vsize: 39400
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23031 0 0 0 63930 76 0 0 25 0 1 0 905200970 40615936 9183 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9916 9183 1111 63 0 9853 0
vsize: 39664
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23085 0 0 0 64930 76 0 0 25 0 1 0 905200970 40886272 9237 4294967295 134512640 134716908 3221224576 3221223216 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9982 9237 1111 63 0 9919 0
vsize: 39928
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23159 0 0 0 65930 77 0 0 25 0 1 0 905200970 41156608 9311 4294967295 134512640 134716908 3221224576 3221223296 134535762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 9311 1111 63 0 9985 0
vsize: 40192
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23242 0 0 0 66930 77 0 0 25 0 1 0 905200970 41422848 9394 4294967295 134512640 134716908 3221224576 3221223180 134536769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10113 9394 1111 63 0 10050 0
vsize: 40452
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23322 0 0 0 67930 78 0 0 25 0 1 0 905200970 41820160 9474 4294967295 134512640 134716908 3221224576 3221223232 134536624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10210 9474 1111 63 0 10147 0
vsize: 40840
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23407 0 0 0 68930 78 0 0 25 0 1 0 905200970 42086400 9559 4294967295 134512640 134716908 3221224576 3221223084 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10275 9559 1111 63 0 10212 0
vsize: 41100
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23488 0 0 0 69929 79 0 0 25 0 1 0 905200970 42491904 9640 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10374 9640 1111 63 0 10311 0
vsize: 41496
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23553 0 0 0 70929 79 0 0 25 0 1 0 905200970 42762240 9705 4294967295 134512640 134716908 3221224576 3221223144 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10440 9705 1111 63 0 10377 0
vsize: 41760
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23635 0 0 0 71929 79 0 0 25 0 1 0 905200970 43032576 9787 4294967295 134512640 134716908 3221224576 3221223084 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10506 9787 1111 63 0 10443 0
vsize: 42024
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23696 0 0 0 72929 80 0 0 25 0 1 0 905200970 43302912 9848 4294967295 134512640 134716908 3221224576 3221223360 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9848 1111 63 0 10509 0
vsize: 42288
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23770 0 0 0 73928 80 0 0 25 0 1 0 905200970 43573248 9922 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10638 9922 1111 63 0 10575 0
vsize: 42552
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23824 0 0 0 74928 81 0 0 25 0 1 0 905200970 43843584 9976 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10704 9976 1111 63 0 10641 0
vsize: 42816
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23897 0 0 0 75928 81 0 0 25 0 1 0 905200970 44113920 10049 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 10049 1111 63 0 10707 0
vsize: 43080
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 23959 0 0 0 76928 81 0 0 25 0 1 0 905200970 44384256 10111 4294967295 134512640 134716908 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10836 10111 1111 63 0 10773 0
vsize: 43344
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24027 0 0 0 77928 82 0 0 25 0 1 0 905200970 44654592 10179 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10902 10179 1111 63 0 10839 0
vsize: 43608
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24090 0 0 0 78928 82 0 0 25 0 1 0 905200970 44924928 10242 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10968 10242 1111 63 0 10905 0
vsize: 43872
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24169 0 0 0 79927 83 0 0 25 0 1 0 905200970 45330432 10321 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11067 10321 1111 63 0 11004 0
vsize: 44268
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24221 0 0 0 80927 83 0 0 25 0 1 0 905200970 45465600 10373 4294967295 134512640 134716908 3221224576 3221223192 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11100 10373 1111 63 0 11037 0
vsize: 44400
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24277 0 0 0 81927 83 0 0 25 0 1 0 905200970 45735936 10429 4294967295 134512640 134716908 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11166 10429 1111 63 0 11103 0
vsize: 44664
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24334 0 0 0 82927 84 0 0 25 0 1 0 905200970 46006272 10486 4294967295 134512640 134716908 3221224576 3221223248 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11232 10486 1111 63 0 11169 0
vsize: 44928
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24385 0 0 0 83927 84 0 0 25 0 1 0 905200970 46141440 10537 4294967295 134512640 134716908 3221224576 3221222856 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11265 10537 1111 63 0 11202 0
vsize: 45060
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24451 0 0 0 84926 85 0 0 25 0 1 0 905200970 46411776 10603 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11331 10603 1111 63 0 11268 0
vsize: 45324
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24501 0 0 0 85926 85 0 0 25 0 1 0 905200970 46682112 10653 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11397 10653 1111 63 0 11334 0
vsize: 45588
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24568 0 0 0 86926 85 0 0 25 0 1 0 905200970 46940160 10720 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11460 10720 1111 63 0 11397 0
vsize: 45840
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24633 0 0 0 87926 86 0 0 25 0 1 0 905200970 47210496 10785 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11526 10785 1111 63 0 11463 0
vsize: 46104
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24707 0 0 0 88925 87 0 0 25 0 1 0 905200970 47480832 10859 4294967295 134512640 134716908 3221224576 3221223248 134535762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11592 10859 1111 63 0 11529 0
vsize: 46368
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24773 0 0 0 89924 87 0 0 25 0 1 0 905200970 47751168 10925 4294967295 134512640 134716908 3221224576 3221223376 134597728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11658 10925 1111 63 0 11595 0
vsize: 46632
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24836 0 0 0 90924 88 0 0 25 0 1 0 905200970 48021504 10988 4294967295 134512640 134716908 3221224576 3221223212 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11724 10988 1111 63 0 11661 0
vsize: 46896
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24901 0 0 0 91923 89 0 0 25 0 1 0 905200970 48291840 11053 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11790 11053 1111 63 0 11727 0
vsize: 47160
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 24963 0 0 0 92922 90 0 0 25 0 1 0 905200970 48562176 11115 4294967295 134512640 134716908 3221224576 3221223168 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11856 11115 1111 63 0 11793 0
vsize: 47424
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25027 0 0 0 93922 90 0 0 25 0 1 0 905200970 48832512 11179 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11922 11179 1111 63 0 11859 0
vsize: 47688
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25100 0 0 0 94922 91 0 0 25 0 1 0 905200970 49102848 11252 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11988 11252 1111 63 0 11925 0
vsize: 47952
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25161 0 0 0 95922 91 0 0 25 0 1 0 905200970 49373184 11313 4294967295 134512640 134716908 3221224576 3221223328 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12054 11313 1111 63 0 11991 0
vsize: 48216
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25225 0 0 0 96921 92 0 0 25 0 1 0 905200970 49643520 11377 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12120 11377 1111 63 0 12057 0
vsize: 48480
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25278 0 0 0 97921 93 0 0 25 0 1 0 905200970 49778688 11430 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12153 11430 1111 63 0 12090 0
vsize: 48612
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25338 0 0 0 98920 93 0 0 25 0 1 0 905200970 50049024 11490 4294967295 134512640 134716908 3221224576 3221223184 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12219 11490 1111 63 0 12156 0
vsize: 48876
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25398 0 0 0 99920 93 0 0 25 0 1 0 905200970 50319360 11550 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11550 1111 63 0 12222 0
vsize: 49140
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25453 0 0 0 100920 94 0 0 25 0 1 0 905200970 50589696 11605 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12351 11605 1111 63 0 12288 0
vsize: 49404
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25517 0 0 0 101920 95 0 0 25 0 1 0 905200970 50724864 11669 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12384 11669 1111 63 0 12321 0
vsize: 49536
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25583 0 0 0 102919 95 0 0 25 0 1 0 905200970 50995200 11735 4294967295 134512640 134716908 3221224576 3221223312 134535835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12450 11735 1111 63 0 12387 0
vsize: 49800
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25644 0 0 0 103919 96 0 0 25 0 1 0 905200970 51265536 11796 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12516 11796 1111 63 0 12453 0
vsize: 50064
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25702 0 0 0 104918 97 0 0 25 0 1 0 905200970 51535872 11854 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 11854 1111 63 0 12519 0
vsize: 50328
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25772 0 0 0 105918 97 0 0 25 0 1 0 905200970 51806208 11924 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11924 1111 63 0 12585 0
vsize: 50592
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25839 0 0 0 106918 98 0 0 25 0 1 0 905200970 52076544 11991 4294967295 134512640 134716908 3221224576 3221223168 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12714 11991 1111 63 0 12651 0
vsize: 50856
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25911 0 0 0 107917 98 0 0 25 0 1 0 905200970 52346880 12063 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12780 12063 1111 63 0 12717 0
vsize: 51120
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 25981 0 0 0 108917 98 0 0 25 0 1 0 905200970 52752384 12133 4294967295 134512640 134716908 3221224576 3221223212 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12879 12133 1111 63 0 12816 0
vsize: 51516
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26064 0 0 0 109917 99 0 0 25 0 1 0 905200970 53022720 12216 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12945 12216 1111 63 0 12882 0
vsize: 51780
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26137 0 0 0 110916 100 0 0 25 0 1 0 905200970 53293056 12289 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13011 12289 1111 63 0 12948 0
vsize: 52044
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26208 0 0 0 111916 100 0 0 25 0 1 0 905200970 53563392 12360 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13077 12360 1111 63 0 13014 0
vsize: 52308
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26258 0 0 0 112915 101 0 0 25 0 1 0 905200970 53833728 12410 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13143 12410 1111 63 0 13080 0
vsize: 52572
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26323 0 0 0 113915 101 0 0 25 0 1 0 905200970 54104064 12475 4294967295 134512640 134716908 3221224576 3221223248 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13209 12475 1111 63 0 13146 0
vsize: 52836
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26394 0 0 0 114915 101 0 0 25 0 1 0 905200970 54374400 12546 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13275 12546 1111 63 0 13212 0
vsize: 53100
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26467 0 0 0 115915 102 0 0 25 0 1 0 905200970 54644736 12619 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13341 12619 1111 63 0 13278 0
vsize: 53364
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26515 0 0 0 116915 102 0 0 25 0 1 0 905200970 54915072 12667 4294967295 134512640 134716908 3221224576 3221223240 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13407 12667 1111 63 0 13344 0
vsize: 53628
[startup+1175.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 23242
Raw data (stat): 23242 (bsolo_lpr_cuts-) R 23241 7266 7265 0 -1 0 26515 0 0 0 116915 102 0 0 25 0 1 0 905200970 54915072 12667 4294967295 134512640 134716908 3221224576 3221223240 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13407 12667 1111 63 0 13344 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.18
CPU user time (s): 1174.13
CPU system time (s): 1.05284
CPU usage (%): 100.013
Max. virtual memory (Kb): 53628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####