PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb
MD5SUM	8298f3392c738b735ea9c7e42f541654
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29694485111877
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29694485111877
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44378
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 26292

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 14:58:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14146 boxname=wulflinc11 idbench=1089 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 14146
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        632140 kB
Buffers:         38088 kB
Cached:         328484 kB
SwapCached:         84 kB
Active:          79468 kB
Inactive:       299760 kB
HighTotal:      131008 kB
HighFree:        61152 kB
LowTotal:       903652 kB
LowFree:        570988 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:          195304 kB
Writeback:           0 kB
Mapped:           6880 kB
Slab:            17688 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:18:11 (client local time) WITH STATUS 0 IN 1200.16 SECONDS
stats: 14146 7 1200.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.37 1.09 1.18 2/54 26078
Raw data (stat): 26078 (runsolver) R 26077 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772912480 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.31 1.09 1.18 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 1289 0 6 0 972 6 0 0 25 0 1 0 772912480 15511552 1219 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1219 1111 63 0 3724 0
vsize: 15148
[startup+20.0013 s]
Raw data (loadavg): 1.27 1.09 1.18 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 1399 0 6 0 1972 6 0 0 25 0 1 0 772912480 15941632 1329 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1329 1111 63 0 3829 0
vsize: 15568
[startup+30.0011 s]
Raw data (loadavg): 1.22 1.08 1.18 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 1502 0 6 0 2972 6 0 0 25 0 1 0 772912480 16379904 1432 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0023 s]
Raw data (loadavg): 1.19 1.08 1.18 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 1612 0 6 0 3971 6 0 0 25 0 1 0 772912480 16834560 1542 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1542 1111 63 0 4047 0
vsize: 16440
[startup+50.0026 s]
Raw data (loadavg): 1.16 1.08 1.17 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 1724 0 6 0 4972 6 0 0 25 0 1 0 772912480 17264640 1654 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0024 s]
Raw data (loadavg): 1.13 1.07 1.17 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 1828 0 6 0 5971 6 0 0 25 0 1 0 772912480 17715200 1758 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.0022 s]
Raw data (loadavg): 1.11 1.07 1.17 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 1937 0 6 0 6971 7 0 0 25 0 1 0 772912480 18161664 1867 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1867 1111 63 0 4371 0
vsize: 17736
[startup+80.0023 s]
Raw data (loadavg): 1.10 1.07 1.17 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2047 0 6 0 7971 7 0 0 25 0 1 0 772912480 18616320 1977 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.0028 s]
Raw data (loadavg): 1.08 1.07 1.17 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2156 0 6 0 8971 7 0 0 25 0 1 0 772912480 19058688 2086 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2086 1111 63 0 4590 0
vsize: 18612
[startup+100.003 s]
Raw data (loadavg): 1.07 1.06 1.16 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2271 0 6 0 9971 8 0 0 25 0 1 0 772912480 19501056 2201 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 2201 1111 63 0 4698 0
vsize: 19044
[startup+110.004 s]
Raw data (loadavg): 1.06 1.06 1.16 2/54 26078
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2375 0 6 0 10971 8 0 0 25 0 1 0 772912480 19955712 2305 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 2305 1111 63 0 4809 0
vsize: 19488
[startup+120.004 s]
Raw data (loadavg): 1.05 1.06 1.16 2/54 26131
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2485 0 6 0 11970 8 0 0 25 0 1 0 772912480 20402176 2415 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2415 1111 63 0 4918 0
vsize: 19924
[startup+130.004 s]
Raw data (loadavg): 1.04 1.06 1.16 2/54 26131
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2594 0 6 0 12970 9 0 0 25 0 1 0 772912480 20856832 2524 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2524 1111 63 0 5029 0
vsize: 20368
[startup+140.005 s]
Raw data (loadavg): 1.03 1.05 1.16 2/54 26131
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2704 0 6 0 13970 9 0 0 25 0 1 0 772912480 21299200 2634 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2634 1111 63 0 5137 0
vsize: 20800
[startup+150.006 s]
Raw data (loadavg): 1.03 1.05 1.15 2/54 26131
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2813 0 6 0 14970 10 0 0 25 0 1 0 772912480 21725184 2743 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2743 1111 63 0 5241 0
vsize: 21216
[startup+160.007 s]
Raw data (loadavg): 1.02 1.05 1.15 2/54 26131
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 2917 0 6 0 15970 10 0 0 25 0 1 0 772912480 22171648 2847 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2847 1111 63 0 5350 0
vsize: 21652
[startup+170.007 s]
Raw data (loadavg): 1.02 1.05 1.15 2/54 26131
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3026 0 6 0 16969 11 0 0 25 0 1 0 772912480 22622208 2956 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 2956 1111 63 0 5460 0
vsize: 22092
[startup+180.007 s]
Raw data (loadavg): 1.02 1.05 1.15 2/54 26131
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3137 0 6 0 17969 12 0 0 25 0 1 0 772912480 23072768 3067 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5633 3067 1111 63 0 5570 0
vsize: 22532
[startup+190.008 s]
Raw data (loadavg): 1.09 1.06 1.15 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3252 0 6 0 18968 12 0 0 25 0 1 0 772912480 23662592 3182 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3182 1111 63 0 5714 0
vsize: 23108
[startup+200.008 s]
Raw data (loadavg): 1.07 1.06 1.15 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3363 0 6 0 19968 12 0 0 25 0 1 0 772912480 24113152 3293 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3293 1111 63 0 5824 0
vsize: 23548
[startup+210.009 s]
Raw data (loadavg): 1.06 1.06 1.15 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3472 0 6 0 20968 13 0 0 25 0 1 0 772912480 24559616 3402 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3402 1111 63 0 5933 0
vsize: 23984
[startup+220.01 s]
Raw data (loadavg): 1.05 1.05 1.15 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3583 0 6 0 21968 14 0 0 25 0 1 0 772912480 25010176 3513 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3513 1111 63 0 6043 0
vsize: 24424
[startup+230.009 s]
Raw data (loadavg): 1.04 1.05 1.14 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3693 0 6 0 22967 14 0 0 25 0 1 0 772912480 25460736 3623 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3623 1111 63 0 6153 0
vsize: 24864
[startup+240.01 s]
Raw data (loadavg): 1.04 1.05 1.14 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3803 0 6 0 23967 14 0 0 25 0 1 0 772912480 25911296 3733 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3733 1111 63 0 6263 0
vsize: 25304
[startup+250.01 s]
Raw data (loadavg): 1.03 1.05 1.14 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 3906 0 6 0 24967 15 0 0 25 0 1 0 772912480 26210304 3836 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6399 3836 1111 63 0 6336 0
vsize: 25596
[startup+260.01 s]
Raw data (loadavg): 1.02 1.05 1.14 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4024 0 6 0 25967 15 0 0 25 0 1 0 772912480 26804224 3954 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3954 1111 63 0 6481 0
vsize: 26176
[startup+270.01 s]
Raw data (loadavg): 1.02 1.04 1.14 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4127 0 6 0 26966 16 0 0 25 0 1 0 772912480 27107328 4057 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6618 4057 1111 63 0 6555 0
vsize: 26472
[startup+280.01 s]
Raw data (loadavg): 1.02 1.04 1.13 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4244 0 6 0 27966 17 0 0 25 0 1 0 772912480 27705344 4174 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4174 1111 63 0 6701 0
vsize: 27056
[startup+290.011 s]
Raw data (loadavg): 1.01 1.04 1.13 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4347 0 6 0 28965 17 0 0 25 0 1 0 772912480 28008448 4277 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 4277 1111 63 0 6775 0
vsize: 27352
[startup+300.011 s]
Raw data (loadavg): 1.01 1.04 1.13 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4462 0 6 0 29965 18 0 0 25 0 1 0 772912480 28602368 4392 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4392 1111 63 0 6920 0
vsize: 27932
[startup+310.011 s]
Raw data (loadavg): 1.01 1.04 1.13 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4568 0 6 0 30965 18 0 0 25 0 1 0 772912480 29028352 4498 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4498 1111 63 0 7024 0
vsize: 28348
[startup+320.011 s]
Raw data (loadavg): 1.01 1.03 1.13 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4683 0 6 0 31965 18 0 0 25 0 1 0 772912480 29474816 4613 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4613 1111 63 0 7133 0
vsize: 28784
[startup+330.011 s]
Raw data (loadavg): 1.01 1.03 1.12 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4788 0 6 0 32965 19 0 0 25 0 1 0 772912480 29925376 4718 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4718 1111 63 0 7243 0
vsize: 29224
[startup+340.012 s]
Raw data (loadavg): 1.00 1.03 1.12 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 4903 0 6 0 33965 19 0 0 25 0 1 0 772912480 30375936 4833 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4833 1111 63 0 7353 0
vsize: 29664
[startup+350.013 s]
Raw data (loadavg): 1.00 1.03 1.12 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5013 0 6 0 34964 19 0 0 25 0 1 0 772912480 30826496 4943 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4943 1111 63 0 7463 0
vsize: 30104
[startup+360.013 s]
Raw data (loadavg): 1.00 1.03 1.12 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5134 0 6 0 35965 19 0 0 25 0 1 0 772912480 31309824 5064 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5064 1111 63 0 7581 0
vsize: 30576
[startup+370.013 s]
Raw data (loadavg): 1.00 1.03 1.12 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5245 0 6 0 36964 20 0 0 25 0 1 0 772912480 31760384 5175 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5175 1111 63 0 7691 0
vsize: 31016
[startup+380.013 s]
Raw data (loadavg): 1.00 1.03 1.11 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5355 0 6 0 37964 21 0 0 25 0 1 0 772912480 32210944 5285 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5285 1111 63 0 7801 0
vsize: 31456
[startup+390.014 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5466 0 6 0 38964 21 0 0 25 0 1 0 772912480 32661504 5396 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5396 1111 63 0 7911 0
vsize: 31896
[startup+400.015 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5575 0 6 0 39963 21 0 0 25 0 1 0 772912480 33107968 5505 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 5505 1111 63 0 8020 0
vsize: 32332
[startup+410.015 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5692 0 6 0 40963 22 0 0 25 0 1 0 772912480 33558528 5622 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5622 1111 63 0 8130 0
vsize: 32772
[startup+420.015 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 26133
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5797 0 6 0 41962 23 0 0 25 0 1 0 772912480 34009088 5727 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8303 5727 1111 63 0 8240 0
vsize: 33212
[startup+430.015 s]
Raw data (loadavg): 1.00 1.02 1.10 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 5913 0 6 0 42961 24 0 0 25 0 1 0 772912480 34459648 5843 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8413 5843 1111 63 0 8350 0
vsize: 33652
[startup+440.016 s]
Raw data (loadavg): 1.00 1.02 1.10 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6024 0 6 0 43960 25 0 0 25 0 1 0 772912480 34906112 5954 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 5954 1111 63 0 8459 0
vsize: 34088
[startup+450.018 s]
Raw data (loadavg): 1.00 1.02 1.10 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6134 0 6 0 44960 26 0 0 25 0 1 0 772912480 35360768 6064 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 6064 1111 63 0 8570 0
vsize: 34532
[startup+460.121 s]
Raw data (loadavg): 1.08 1.03 1.10 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6252 0 6 0 45970 27 0 0 25 0 1 0 772912480 35958784 6182 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6182 1111 63 0 8716 0
vsize: 35116
[startup+470.122 s]
Raw data (loadavg): 1.07 1.03 1.10 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6356 0 6 0 46969 27 0 0 25 0 1 0 772912480 36257792 6286 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8852 6286 1111 63 0 8789 0
vsize: 35408
[startup+480.122 s]
Raw data (loadavg): 1.06 1.03 1.10 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6473 0 6 0 47969 28 0 0 25 0 1 0 772912480 36859904 6403 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6403 1111 63 0 8936 0
vsize: 35996
[startup+490.123 s]
Raw data (loadavg): 1.05 1.03 1.10 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6582 0 6 0 48969 28 0 0 25 0 1 0 772912480 37306368 6512 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6512 1111 63 0 9045 0
vsize: 36432
[startup+500.123 s]
Raw data (loadavg): 1.04 1.03 1.10 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6694 0 6 0 49969 28 0 0 25 0 1 0 772912480 37761024 6624 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6624 1111 63 0 9156 0
vsize: 36876
[startup+510.124 s]
Raw data (loadavg): 1.03 1.03 1.09 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6809 0 6 0 50968 29 0 0 25 0 1 0 772912480 38207488 6739 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6739 1111 63 0 9265 0
vsize: 37312
[startup+520.124 s]
Raw data (loadavg): 1.03 1.03 1.09 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 6921 0 6 0 51968 30 0 0 25 0 1 0 772912480 38658048 6851 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6851 1111 63 0 9375 0
vsize: 37752
[startup+530.124 s]
Raw data (loadavg): 1.02 1.02 1.09 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7031 0 6 0 52968 30 0 0 25 0 1 0 772912480 39108608 6961 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6961 1111 63 0 9485 0
vsize: 38192
[startup+540.125 s]
Raw data (loadavg): 1.02 1.02 1.09 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7149 0 6 0 53967 31 0 0 25 0 1 0 772912480 39559168 7079 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7079 1111 63 0 9595 0
vsize: 38632
[startup+550.124 s]
Raw data (loadavg): 1.02 1.02 1.09 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7258 0 6 0 54967 31 0 0 25 0 1 0 772912480 40005632 7188 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7188 1111 63 0 9704 0
vsize: 39068
[startup+560.125 s]
Raw data (loadavg): 1.01 1.02 1.09 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7370 0 6 0 55966 32 0 0 25 0 1 0 772912480 40456192 7300 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7300 1111 63 0 9814 0
vsize: 39508
[startup+570.126 s]
Raw data (loadavg): 1.01 1.02 1.09 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7485 0 6 0 56966 33 0 0 25 0 1 0 772912480 40906752 7415 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7415 1111 63 0 9924 0
vsize: 39948
[startup+580.126 s]
Raw data (loadavg): 1.01 1.02 1.09 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7597 0 6 0 57966 33 0 0 25 0 1 0 772912480 41357312 7527 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 7527 1111 63 0 10034 0
vsize: 40388
[startup+590.126 s]
Raw data (loadavg): 1.01 1.02 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7707 0 6 0 58965 34 0 0 25 0 1 0 772912480 41803776 7637 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10206 7637 1111 63 0 10143 0
vsize: 40824
[startup+600.126 s]
Raw data (loadavg): 1.00 1.02 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7824 0 6 0 59965 34 0 0 25 0 1 0 772912480 42250240 7754 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 7754 1111 63 0 10252 0
vsize: 41260
[startup+610.127 s]
Raw data (loadavg): 1.00 1.02 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 7934 0 6 0 60965 34 0 0 25 0 1 0 772912480 42704896 7864 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10426 7864 1111 63 0 10363 0
vsize: 41704
[startup+620.127 s]
Raw data (loadavg): 1.00 1.02 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8046 0 6 0 61965 34 0 0 25 0 1 0 772912480 43151360 7976 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 7976 1111 63 0 10472 0
vsize: 42140
[startup+630.127 s]
Raw data (loadavg): 1.00 1.02 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8161 0 6 0 62965 35 0 0 25 0 1 0 772912480 43753472 8091 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8091 1111 63 0 10619 0
vsize: 42728
[startup+640.128 s]
Raw data (loadavg): 1.00 1.01 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8272 0 6 0 63965 35 0 0 25 0 1 0 772912480 44183552 8202 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8202 1111 63 0 10724 0
vsize: 43148
[startup+650.128 s]
Raw data (loadavg): 1.00 1.01 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8383 0 6 0 64965 36 0 0 25 0 1 0 772912480 44621824 8313 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8313 1111 63 0 10831 0
vsize: 43576
[startup+660.129 s]
Raw data (loadavg): 1.00 1.01 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8500 0 6 0 65964 36 0 0 25 0 1 0 772912480 45072384 8430 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8430 1111 63 0 10941 0
vsize: 44016
[startup+670.129 s]
Raw data (loadavg): 1.00 1.01 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8616 0 6 0 66964 37 0 0 25 0 1 0 772912480 45522944 8546 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8546 1111 63 0 11051 0
vsize: 44456
[startup+680.129 s]
Raw data (loadavg): 1.00 1.01 1.08 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8727 0 6 0 67964 37 0 0 25 0 1 0 772912480 45973504 8657 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8657 1111 63 0 11161 0
vsize: 44896
[startup+690.129 s]
Raw data (loadavg): 1.00 1.01 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8836 0 6 0 68963 38 0 0 25 0 1 0 772912480 46419968 8766 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8766 1111 63 0 11270 0
vsize: 45332
[startup+700.129 s]
Raw data (loadavg): 1.00 1.01 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 8954 0 6 0 69963 38 0 0 25 0 1 0 772912480 46874624 8884 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8884 1111 63 0 11381 0
vsize: 45776
[startup+710.13 s]
Raw data (loadavg): 1.00 1.01 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 9088 0 6 0 70963 38 0 0 25 0 1 0 772912480 47579136 9018 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9018 1111 63 0 11553 0
vsize: 46464
[startup+720.13 s]
Raw data (loadavg): 1.00 1.01 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 9200 0 6 0 71963 39 0 0 25 0 1 0 772912480 47996928 9130 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11718 9130 1111 63 0 11655 0
vsize: 46872
[startup+730.129 s]
Raw data (loadavg): 1.00 1.01 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 9316 0 6 0 72962 39 0 0 25 0 1 0 772912480 48590848 9246 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9246 1111 63 0 11800 0
vsize: 47452
[startup+740.13 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 9427 0 6 0 73962 40 0 0 25 0 1 0 772912480 49041408 9357 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9357 1111 63 0 11910 0
vsize: 47892
[startup+750.131 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 9543 0 6 0 74962 40 0 0 25 0 1 0 772912480 49491968 9473 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9473 1111 63 0 12020 0
vsize: 48332
[startup+760.132 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 9663 0 6 0 75961 41 0 0 25 0 1 0 772912480 49942528 9593 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9593 1111 63 0 12130 0
vsize: 48772
[startup+770.133 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 9772 0 6 0 76961 41 0 0 25 0 1 0 772912480 50388992 9702 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9702 1111 63 0 12239 0
vsize: 49208
[startup+780.132 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 9890 0 6 0 77961 42 0 0 25 0 1 0 772912480 50814976 9820 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9820 1111 63 0 12343 0
vsize: 49624
[startup+790.133 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10000 0 6 0 78960 43 0 0 25 0 1 0 772912480 51257344 9930 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12514 9930 1111 63 0 12451 0
vsize: 50056
[startup+800.133 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10119 0 6 0 79960 44 0 0 25 0 1 0 772912480 51859456 10049 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10049 1111 63 0 12598 0
vsize: 50644
[startup+810.134 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10235 0 6 0 80960 44 0 0 25 0 1 0 772912480 52310016 10165 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10165 1111 63 0 12708 0
vsize: 51084
[startup+820.135 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10352 0 6 0 81959 45 0 0 25 0 1 0 772912480 52760576 10282 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10282 1111 63 0 12818 0
vsize: 51524
[startup+830.134 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10464 0 6 0 82958 45 0 0 25 0 1 0 772912480 53207040 10394 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10394 1111 63 0 12927 0
vsize: 51960
[startup+840.135 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10581 0 6 0 83959 46 0 0 25 0 1 0 772912480 53657600 10511 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10511 1111 63 0 13037 0
vsize: 52400
[startup+850.136 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10693 0 6 0 84959 46 0 0 25 0 1 0 772912480 54108160 10623 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10623 1111 63 0 13147 0
vsize: 52840
[startup+860.137 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10809 0 6 0 85958 47 0 0 25 0 1 0 772912480 54558720 10739 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13320 10739 1111 63 0 13257 0
vsize: 53280
[startup+870.136 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 10927 0 6 0 86958 47 0 0 25 0 1 0 772912480 55160832 10857 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10857 1111 63 0 13404 0
vsize: 53868
[startup+880.136 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11043 0 6 0 87957 48 0 0 25 0 1 0 772912480 55607296 10973 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10973 1111 63 0 13513 0
vsize: 54304
[startup+890.137 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11162 0 6 0 88957 48 0 0 25 0 1 0 772912480 56057856 11092 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11092 1111 63 0 13623 0
vsize: 54744
[startup+900.137 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11272 0 6 0 89957 48 0 0 25 0 1 0 772912480 56508416 11202 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11202 1111 63 0 13733 0
vsize: 55184
[startup+910.138 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11390 0 6 0 90957 49 0 0 25 0 1 0 772912480 56958976 11320 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 11320 1111 63 0 13843 0
vsize: 55624
[startup+920.138 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11507 0 6 0 91957 49 0 0 25 0 1 0 772912480 57405440 11437 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14015 11437 1111 63 0 13952 0
vsize: 56060
[startup+930.138 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11619 0 6 0 92956 50 0 0 25 0 1 0 772912480 57856000 11549 4294967295 134512640 134714508 3221224576 3221222804 1077414418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14125 11549 1111 63 0 14062 0
vsize: 56500
[startup+940.139 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11735 0 6 0 93956 50 0 0 25 0 1 0 772912480 58454016 11665 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11665 1111 63 0 14208 0
vsize: 57084
[startup+950.14 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11853 0 6 0 94956 51 0 0 25 0 1 0 772912480 58908672 11783 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11783 1111 63 0 14319 0
vsize: 57528
[startup+960.14 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 11969 0 6 0 95956 51 0 0 25 0 1 0 772912480 59351040 11899 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11899 1111 63 0 14427 0
vsize: 57960
[startup+970.14 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 12088 0 6 0 96955 52 0 0 25 0 1 0 772912480 59805696 12018 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14601 12018 1111 63 0 14538 0
vsize: 58404
[startup+980.14 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 12205 0 6 0 97955 52 0 0 25 0 1 0 772912480 60252160 12135 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14710 12135 1111 63 0 14647 0
vsize: 58840
[startup+990.141 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 12323 0 6 0 98955 53 0 0 25 0 1 0 772912480 60854272 12253 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12253 1111 63 0 14794 0
vsize: 59428
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 12439 0 6 0 99955 53 0 0 25 0 1 0 772912480 61300736 12369 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12369 1111 63 0 14903 0
vsize: 59864
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 12557 0 6 0 100954 54 0 0 25 0 1 0 772912480 61755392 12487 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12487 1111 63 0 15014 0
vsize: 60308
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 12674 0 6 0 101953 55 0 0 25 0 1 0 772912480 62201856 12604 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15186 12604 1111 63 0 15123 0
vsize: 60744
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 12792 0 6 0 102953 55 0 0 25 0 1 0 772912480 62652416 12722 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15296 12722 1111 63 0 15233 0
vsize: 61184
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 12909 0 6 0 103952 56 0 0 25 0 1 0 772912480 63254528 12839 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12839 1111 63 0 15380 0
vsize: 61772
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13027 0 6 0 104952 56 0 0 25 0 1 0 772912480 63700992 12957 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12957 1111 63 0 15489 0
vsize: 62208
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13146 0 6 0 105952 56 0 0 25 0 1 0 772912480 64155648 13076 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 13076 1111 63 0 15600 0
vsize: 62652
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13262 0 6 0 106952 57 0 0 25 0 1 0 772912480 64602112 13192 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15772 13192 1111 63 0 15709 0
vsize: 63088
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13380 0 6 0 107952 57 0 0 25 0 1 0 772912480 65052672 13310 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15882 13310 1111 63 0 15819 0
vsize: 63528
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13497 0 6 0 108952 57 0 0 25 0 1 0 772912480 65650688 13427 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13427 1111 63 0 15965 0
vsize: 64112
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13616 0 6 0 109952 58 0 0 25 0 1 0 772912480 66105344 13546 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13546 1111 63 0 16076 0
vsize: 64556
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13733 0 6 0 110951 58 0 0 25 0 1 0 772912480 66547712 13663 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16247 13663 1111 63 0 16184 0
vsize: 64988
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13851 0 6 0 111951 59 0 0 25 0 1 0 772912480 67002368 13781 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16358 13781 1111 63 0 16295 0
vsize: 65432
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 13968 0 6 0 112951 59 0 0 25 0 1 0 772912480 67448832 13898 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 13898 1111 63 0 16404 0
vsize: 65868
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 14086 0 6 0 113950 60 0 0 25 0 1 0 772912480 68050944 14016 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14016 1111 63 0 16551 0
vsize: 66456
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 14203 0 6 0 114950 61 0 0 25 0 1 0 772912480 68497408 14133 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16723 14133 1111 63 0 16660 0
vsize: 66892
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 14321 0 6 0 115949 61 0 0 25 0 1 0 772912480 68947968 14251 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16833 14251 1111 63 0 16770 0
vsize: 67332
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 14445 0 6 0 116949 62 0 0 25 0 1 0 772912480 69398528 14375 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16943 14375 1111 63 0 16880 0
vsize: 67772
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 14563 0 6 0 117949 62 0 0 25 0 1 0 772912480 70000640 14493 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14493 1111 63 0 17027 0
vsize: 68360
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 14682 0 6 0 118949 63 0 0 25 0 1 0 772912480 70451200 14612 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14612 1111 63 0 17137 0
vsize: 68800
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) R 26077 25830 25829 0 -1 0 14805 0 6 0 119948 63 0 0 25 0 1 0 772912480 70897664 14735 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17309 14735 1111 63 0 17246 0
vsize: 69236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.02 1/54 26135
Raw data (stat): 26078 (bsolo_lpr_cuts) Z 26077 25830 25829 0 -1 1036 14805 0 6 0 119948 66 0 0 25 0 1 0 772912480 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.18
CPU time (s): 1200.16
CPU user time (s): 1199.49
CPU system time (s): 0.666898
CPU usage (%): 99.998
Max. virtual memory (Kb): 69236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####