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/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 24548

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 01:35:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2531 boxname=wulflinc31 idbench=282 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 2531
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906436 kB
Buffers:         16160 kB
Cached:          85604 kB
SwapCached:       3500 kB
Active:          70856 kB
Inactive:        35480 kB
HighTotal:      131008 kB
HighFree:        43960 kB
LowTotal:       903652 kB
LowFree:        862476 kB
SwapTotal:     2097892 kB
SwapFree:      2093236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4692 kB
Slab:            15968 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 01:53:19 (client local time) WITH STATUS 0 IN 1067.21 SECONDS
stats: 2531 7 1067.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 201731 variables and 592525 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.95 0.90 2/54 20386
Raw data (stat): 20386 (runsolver) R 20385 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 713969019 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 22022 0 0 0 941 53 0 0 25 0 1 0 713969019 42860544 7147 4294967295 134512640 134714508 3221221760 3221220476 1077409794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10464 7147 1111 63 0 10401 0
vsize: 41856
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 115272 0 0 0 1771 223 0 0 25 0 1 0 713969019 60657664 11498 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14809 11498 1111 63 0 14746 0
vsize: 59236
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 333251 0 0 0 2373 621 0 0 25 0 1 0 713969019 70938624 13966 4294967295 134512640 134714508 3221221760 3221219772 1077360259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17319 13966 1111 63 0 17256 0
vsize: 69276
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 553732 0 0 0 2986 1008 0 0 25 0 1 0 713969019 79925248 16157 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19513 16157 1111 63 0 19450 0
vsize: 78052
[startup+50.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 770410 0 0 0 3597 1397 0 0 25 0 1 0 713969019 87805952 18100 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21388 18056 1111 63 0 21325 0
vsize: 85748
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 988809 0 0 0 4208 1786 0 0 25 0 1 0 713969019 95002624 19848 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23194 19853 1111 63 0 23131 0
vsize: 92776
[startup+70.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 1202307 0 0 0 4823 2172 0 0 25 0 1 0 713969019 102318080 21652 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24980 21658 1111 63 0 24917 0
vsize: 99920
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 1413362 0 0 0 5435 2560 0 0 25 0 1 0 713969019 108183552 23118 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26412 23118 1111 63 0 26349 0
vsize: 105648
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 1622901 0 0 0 6043 2952 0 0 25 0 1 0 713969019 114135040 24559 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27865 24565 1111 63 0 27802 0
vsize: 111460
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 1828992 0 0 0 6658 3336 0 0 25 0 1 0 713969019 119439360 25862 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29160 25868 1111 63 0 29097 0
vsize: 116640
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 2035475 0 0 0 7275 3720 0 0 25 0 1 0 713969019 125497344 27115 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30639 27121 1111 63 0 30576 0
vsize: 122556
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 2241541 0 0 0 7881 4114 0 0 25 0 1 0 713969019 130383872 28371 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31832 28376 1111 63 0 31769 0
vsize: 127328
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 2444138 0 0 0 8506 4490 0 0 25 0 1 0 713969019 135139328 29518 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32918 29446 1111 63 0 32855 0
vsize: 131972
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 2645118 0 0 0 9120 4876 0 0 25 0 1 0 713969019 139493376 30596 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34056 30601 1111 63 0 33993 0
vsize: 136224
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 2844732 0 0 0 9732 5264 0 0 25 0 1 0 713969019 143704064 31642 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35084 31648 1111 63 0 35021 0
vsize: 140336
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 3042594 0 0 0 10348 5647 0 0 25 0 1 0 713969019 147910656 32664 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36111 32669 1111 63 0 36048 0
vsize: 144444
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 3239310 0 0 0 10957 6038 0 0 25 0 1 0 713969019 151855104 33642 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37074 33647 1111 63 0 37011 0
vsize: 148296
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 3432890 0 0 0 11576 6419 0 0 25 0 1 0 713969019 155656192 34518 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38002 34523 1111 63 0 37939 0
vsize: 152008
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 3628559 0 0 0 12193 6802 0 0 25 0 1 0 713969019 159322112 35435 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38897 35440 1111 63 0 38834 0
vsize: 155588
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 3824024 0 0 0 12809 7187 0 0 25 0 1 0 713969019 163131392 36387 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39827 36391 1111 63 0 39764 0
vsize: 159308
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 4017505 0 0 0 13431 7565 0 0 25 0 1 0 713969019 166666240 37228 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40690 37233 1111 63 0 40627 0
vsize: 162760
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 4209909 0 0 0 14049 7946 0 0 25 0 1 0 713969019 170065920 38048 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41520 38053 1111 63 0 41457 0
vsize: 166080
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 4402746 0 0 0 14678 8318 0 0 25 0 1 0 713969019 173461504 38947 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42349 38951 1111 63 0 42286 0
vsize: 169396
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 4595318 0 0 0 15301 8695 0 0 25 0 1 0 713969019 176721920 39752 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43145 39757 1111 63 0 43082 0
vsize: 172580
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 4785838 0 0 0 15925 9072 0 0 25 0 1 0 713969019 179986432 40538 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43942 40543 1111 63 0 43879 0
vsize: 175768
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 4975433 0 0 0 16552 9445 0 0 25 0 1 0 713969019 182693888 41229 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44603 41230 1111 63 0 44540 0
vsize: 178412
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 5166444 0 0 0 17171 9826 0 0 25 0 1 0 713969019 186245120 42003 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45470 42007 1111 63 0 45407 0
vsize: 181880
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 5355795 0 0 0 17786 10210 0 0 25 0 1 0 713969019 189227008 42743 4294967295 134512640 134714508 3221221760 3221219804 1077387418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46198 42748 1111 63 0 46135 0
vsize: 184792
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 5544039 0 0 0 18405 10592 0 0 25 0 1 0 713969019 193904640 43975 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47340 43980 1111 63 0 47277 0
vsize: 189360
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 5732967 0 0 0 19030 10967 0 0 25 0 1 0 713969019 196894720 44645 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48070 44651 1111 63 0 48007 0
vsize: 192280
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 5920718 0 0 0 19658 11339 0 0 25 0 1 0 713969019 199741440 45354 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48765 45359 1111 63 0 48702 0
vsize: 195060
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 6107543 0 0 0 20280 11717 0 0 25 0 1 0 713969019 202461184 46047 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49429 46051 1111 63 0 49366 0
vsize: 197716
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 6297006 0 0 0 20895 12102 0 0 25 0 1 0 713969019 205316096 46719 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50126 46723 1111 63 0 50063 0
vsize: 200504
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 6483032 0 0 0 21524 12473 0 0 25 0 1 0 713969019 208027648 47433 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50788 47438 1111 63 0 50725 0
vsize: 203152
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 6671296 0 0 0 22146 12851 0 0 25 0 1 0 713969019 210612224 48009 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51419 48014 1111 63 0 51356 0
vsize: 205676
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 6858391 0 0 0 22770 13227 0 0 25 0 1 0 713969019 212836352 48634 4294967295 134512640 134714508 3221221760 3221220296 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52081 48636 1111 63 0 52018 0
vsize: 207848
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 7044364 0 0 0 23392 13605 0 0 25 0 1 0 713969019 215912448 49373 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52713 49378 1111 63 0 52650 0
vsize: 210852
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 7230254 0 0 0 24008 13989 0 0 25 0 1 0 713969019 218624000 49999 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53375 50004 1111 63 0 53312 0
vsize: 213500
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 7417095 0 0 0 24632 14365 0 0 25 0 1 0 713969019 221073408 50572 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53973 50577 1111 63 0 53910 0
vsize: 215892
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 7604025 0 0 0 25258 14739 0 0 25 0 1 0 713969019 223653888 51193 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54603 51198 1111 63 0 54540 0
vsize: 218412
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 7789182 0 0 0 25888 15109 0 0 25 0 1 0 713969019 226103296 51878 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55201 51882 1111 63 0 55138 0
vsize: 220804
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 7975560 0 0 0 26508 15489 0 0 25 0 1 0 713969019 230080512 52435 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56172 52440 1111 63 0 56109 0
vsize: 224688
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 8161952 0 0 0 27132 15866 0 0 25 0 1 0 713969019 232521728 53044 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56768 53049 1111 63 0 56705 0
vsize: 227072
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 8348359 0 0 0 27748 16250 0 0 25 0 1 0 713969019 234971136 53684 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57366 53689 1111 63 0 57303 0
vsize: 229464
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 8532928 0 0 0 28376 16622 0 0 25 0 1 0 713969019 237412352 54279 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57962 54284 1111 63 0 57899 0
vsize: 231848
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 8715438 0 0 0 29003 16995 0 0 25 0 1 0 713969019 239726592 54871 4294967295 134512640 134714508 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58527 54871 1111 63 0 58464 0
vsize: 234108
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 8897716 0 0 0 29631 17367 0 0 25 0 1 0 713969019 242036736 55356 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59091 55356 1111 63 0 59028 0
vsize: 236364
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 9080428 0 0 0 30253 17745 0 0 25 0 1 0 713969019 244342784 55951 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59654 55951 1111 63 0 59591 0
vsize: 238616
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 9262735 0 0 0 30875 18124 0 0 25 0 1 0 713969019 246648832 56532 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60217 56532 1111 63 0 60154 0
vsize: 240868
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 9446421 0 0 0 31502 18497 0 0 25 0 1 0 713969019 248963072 57012 4294967295 134512640 134714508 3221221760 3221220064 134568032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60782 57012 1111 63 0 60719 0
vsize: 243128
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 9629820 0 0 0 32126 18873 0 0 25 0 1 0 713969019 251269120 57635 4294967295 134512640 134714508 3221221760 3221220064 134568032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61345 57635 1111 63 0 61282 0
vsize: 245380
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 9812576 0 0 0 32747 19251 0 0 25 0 1 0 713969019 253448192 58132 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61877 58132 1111 63 0 61814 0
vsize: 247508
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 9996022 0 0 0 33377 19622 0 0 25 0 1 0 713969019 255762432 58684 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62442 58684 1111 63 0 62379 0
vsize: 249768
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 10179381 0 0 0 34000 19999 0 0 25 0 1 0 713969019 257798144 59260 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62939 59260 1111 63 0 62876 0
vsize: 251756
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 10362051 0 0 0 34618 20381 0 0 25 0 1 0 713969019 259969024 59792 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63469 59792 1111 63 0 63406 0
vsize: 253876
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 10544796 0 0 0 35244 20755 0 0 25 0 1 0 713969019 262004736 60357 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63966 60357 1111 63 0 63903 0
vsize: 255864
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 10729638 0 0 0 35871 21129 0 0 25 0 1 0 713969019 264179712 60804 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64497 60809 1111 63 0 64434 0
vsize: 257988
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 10912410 0 0 0 36492 21508 0 0 25 0 1 0 713969019 266219520 61337 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64995 61337 1111 63 0 64932 0
vsize: 259980
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 11095820 0 0 0 37119 21881 0 0 25 0 1 0 713969019 268390400 61816 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65525 61816 1111 63 0 65462 0
vsize: 262100
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 11278132 0 0 0 37743 22257 0 0 25 0 1 0 713969019 270426112 62338 4294967295 134512640 134714508 3221221760 3221220064 134568040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66022 62338 1111 63 0 65959 0
vsize: 264088
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 11462367 0 0 0 38364 22636 0 0 25 0 1 0 713969019 272461824 62783 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66519 62783 1111 63 0 66456 0
vsize: 266076
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 11644777 0 0 0 38993 23007 0 0 25 0 1 0 713969019 274497536 63368 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67016 63368 1111 63 0 66953 0
vsize: 268064
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 11826516 0 0 0 39618 23382 0 0 25 0 1 0 713969019 276406272 63852 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67482 63852 1111 63 0 67419 0
vsize: 269928
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 12008946 0 0 0 40244 23756 0 0 25 0 1 0 713969019 278441984 64243 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67979 64243 1111 63 0 67916 0
vsize: 271916
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 12191129 0 0 0 40874 24127 0 0 25 0 1 0 713969019 280477696 64792 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68476 64792 1111 63 0 68413 0
vsize: 273904
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 12373294 0 0 0 41498 24502 0 0 25 0 1 0 713969019 282378240 65287 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68940 65287 1111 63 0 68877 0
vsize: 275760
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 12555917 0 0 0 42119 24882 0 0 25 0 1 0 713969019 284418048 65751 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69438 65751 1111 63 0 69375 0
vsize: 277752
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 12738529 0 0 0 42739 25261 0 0 25 0 1 0 713969019 286318592 66210 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69902 66210 1111 63 0 69839 0
vsize: 279608
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 12920966 0 0 0 43367 25634 0 0 25 0 1 0 713969019 288219136 66685 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70366 66685 1111 63 0 70303 0
vsize: 281464
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 13103580 0 0 0 43982 26019 0 0 25 0 1 0 713969019 290254848 67231 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70863 67231 1111 63 0 70800 0
vsize: 283452
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 13285776 0 0 0 44610 26391 0 0 25 0 1 0 713969019 292163584 67754 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71329 67754 1111 63 0 71266 0
vsize: 285316
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 13468410 0 0 0 45228 26774 0 0 25 0 1 0 713969019 293933056 68086 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71761 68086 1111 63 0 71698 0
vsize: 287044
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 13650837 0 0 0 45848 27154 0 0 25 0 1 0 713969019 295153664 68508 4294967295 134512640 134714508 3221221760 3221220528 134566111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72059 68508 1111 63 0 71996 0
vsize: 288236
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 13833380 0 0 0 46471 27530 0 0 25 0 1 0 713969019 297738240 69035 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72690 69035 1111 63 0 72627 0
vsize: 290760
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 14016221 0 0 0 47094 27907 0 0 25 0 1 0 713969019 299503616 69534 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73121 69534 1111 63 0 73058 0
vsize: 292484
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 14199218 0 0 0 47719 28283 0 0 25 0 1 0 713969019 301404160 69878 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73585 69878 1111 63 0 73522 0
vsize: 294340
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 14382906 0 0 0 48345 28657 0 0 25 0 1 0 713969019 303169536 70447 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74016 70447 1111 63 0 73953 0
vsize: 296064
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 14566659 0 0 0 48972 29030 0 0 25 0 1 0 713969019 305070080 70798 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74480 70798 1111 63 0 74417 0
vsize: 297920
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 14749002 0 0 0 49594 29408 0 0 25 0 1 0 713969019 306970624 71363 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74944 71363 1111 63 0 74881 0
vsize: 299776
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 14931151 0 0 0 50218 29784 0 0 25 0 1 0 713969019 308736000 71849 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75375 71849 1111 63 0 75312 0
vsize: 301500
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 15113851 0 0 0 50846 30156 0 0 25 0 1 0 713969019 310501376 72152 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75806 72152 1111 63 0 75743 0
vsize: 303224
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 15296529 0 0 0 51469 30533 0 0 25 0 1 0 713969019 312266752 72580 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76237 72580 1111 63 0 76174 0
vsize: 304948
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 15479107 0 0 0 52085 30917 0 0 25 0 1 0 713969019 314032128 73076 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76668 73076 1111 63 0 76605 0
vsize: 306672
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 15662229 0 0 0 52704 31299 0 0 25 0 1 0 713969019 315797504 73420 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77099 73420 1111 63 0 77036 0
vsize: 308396
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 15845394 0 0 0 53311 31691 0 0 25 0 1 0 713969019 317562880 74007 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77530 74007 1111 63 0 77467 0
vsize: 310120
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 16028251 0 0 0 53938 32065 0 0 25 0 1 0 713969019 319328256 74328 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77961 74328 1111 63 0 77898 0
vsize: 311844
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 16210893 0 0 0 54559 32444 0 0 25 0 1 0 713969019 320958464 74854 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78359 74854 1111 63 0 78296 0
vsize: 313436
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 16393352 0 0 0 55170 32833 0 0 25 0 1 0 713969019 322723840 75279 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78790 75279 1111 63 0 78727 0
vsize: 315160
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 16575471 0 0 0 55796 33207 0 0 25 0 1 0 713969019 324354048 75646 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79188 75646 1111 63 0 79125 0
vsize: 316752
[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 16757669 0 0 0 56412 33591 0 0 25 0 1 0 713969019 326119424 76029 4294967295 134512640 134714508 3221221760 3221220064 134568040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79619 76029 1111 63 0 79556 0
vsize: 318476
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 16939779 0 0 0 57035 33969 0 0 25 0 1 0 713969019 327749632 76460 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80017 76460 1111 63 0 79954 0
vsize: 320068
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 17122955 0 0 0 57654 34350 0 0 25 0 1 0 713969019 329379840 76816 4294967295 134512640 134714508 3221221760 3221220064 134568040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80415 76816 1111 63 0 80352 0
vsize: 321660
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 17306231 0 0 0 58264 34740 0 0 25 0 1 0 713969019 331145216 77244 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80846 77244 1111 63 0 80783 0
vsize: 323384
[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 17489713 0 0 0 58889 35115 0 0 25 0 1 0 713969019 332775424 77678 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81244 77678 1111 63 0 81181 0
vsize: 324976
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 17672779 0 0 0 59511 35493 0 0 25 0 1 0 713969019 334405632 78072 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81642 78072 1111 63 0 81579 0
vsize: 326568
[startup+960.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 17856173 0 0 0 60134 35870 0 0 25 0 1 0 713969019 336035840 78435 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82040 78435 1111 63 0 81977 0
vsize: 328160
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 18039181 0 0 0 60761 36243 0 0 25 0 1 0 713969019 337666048 78821 4294967295 134512640 134714508 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82438 78821 1111 63 0 82375 0
vsize: 329752
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 18221712 0 0 0 61380 36624 0 0 25 0 1 0 713969019 339296256 79350 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82836 79350 1111 63 0 82773 0
vsize: 331344
[startup+990.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 18404520 0 0 0 62003 37002 0 0 25 0 1 0 713969019 340926464 79648 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83234 79648 1111 63 0 83171 0
vsize: 332936
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 18587807 0 0 0 62614 37390 0 0 25 0 1 0 713969019 342421504 80115 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83599 80115 1111 63 0 83536 0
vsize: 334396
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 18770740 0 0 0 63244 37760 0 0 25 0 1 0 713969019 344047616 80470 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83996 80470 1111 63 0 83933 0
vsize: 335984
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 18953752 0 0 0 63860 38144 0 0 25 0 1 0 713969019 345677824 80774 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84394 80774 1111 63 0 84331 0
vsize: 337576
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 19137177 0 0 0 64474 38530 0 0 25 0 1 0 713969019 347172864 81215 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84759 81215 1111 63 0 84696 0
vsize: 339036
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 19320283 0 0 0 65099 38906 0 0 25 0 1 0 713969019 348803072 81657 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85157 81657 1111 63 0 85094 0
vsize: 340628
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 19502855 0 0 0 65711 39294 0 0 25 0 1 0 713969019 349626368 81905 4294967295 134512640 134714508 3221221760 3221218524 1077191111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85358 81905 1111 63 0 85295 0
vsize: 341432
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 19584794 0 0 0 66534 39471 0 0 25 0 1 0 713969019 364904448 85630 4294967295 134512640 134714508 3221221760 3221220308 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89088 85630 1111 63 0 89025 0
vsize: 356352
[startup+1067.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20386
Raw data (stat): 20386 (bsolo_lpr_cuts) R 20385 7876 7672 0 -1 0 19584794 0 0 0 66534 39471 0 0 25 0 1 0 713969019 364904448 85630 4294967295 134512640 134714508 3221221760 3221220308 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89088 85630 1111 63 0 89025 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1067.21
CPU time (s): 1067.21
CPU user time (s): 668.684
CPU system time (s): 398.53
CPU usage (%): 100
Max. virtual memory (Kb): 356352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####