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/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
MD5SUM	df5f31774bab40070962f7d0b16d093c
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.107983
Number of variables	3600
Total number of constraints	170
Number of constraints which are clauses	90
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	45
Trace number 39394

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 07:52:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27460 boxname=wulflinc6 idbench=18 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  df5f31774bab40070962f7d0b16d093c  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl40_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl40_45_pb.cnf.cr.opb
IDLAUNCH: 27460
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        255208 kB
Buffers:         33828 kB
Cached:         723156 kB
SwapCached:        536 kB
Active:          58880 kB
Inactive:       700136 kB
HighTotal:      131008 kB
HighFree:        14084 kB
LowTotal:       903652 kB
LowFree:        241124 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            14676 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:11:35 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27460 7 1175.02 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 3600 variables and 170 constraints.
c After prepocess the problem consists of 3600 variables and 170 constraints.
c preprocess terminated 1.485 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.91 0.95 0.87 1/54 11582
Raw data (stat): 11582 (runsolver) R 11581 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891334490 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.95 0.87 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1502 0 0 0 992 4 0 0 25 0 1 0 891334490 9310208 1420 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1420 1111 63 0 2210 0
vsize: 9092
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.87 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1516 0 0 0 1991 6 0 0 25 0 1 0 891334490 9396224 1434 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1434 1111 63 0 2231 0
vsize: 9176
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.87 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1540 0 0 0 2990 7 0 0 25 0 1 0 891334490 9531392 1458 4294967295 134512640 134716908 3221224576 3221223280 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2327 1458 1111 63 0 2264 0
vsize: 9308
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.87 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1555 0 0 0 3989 9 0 0 25 0 1 0 891334490 9531392 1473 4294967295 134512640 134716908 3221224576 3221223320 134675297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2327 1473 1111 63 0 2264 0
vsize: 9308
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.96 0.87 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1566 0 0 0 4987 11 0 0 25 0 1 0 891334490 9666560 1484 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2360 1484 1111 63 0 2297 0
vsize: 9440
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.87 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1574 0 0 0 5986 12 0 0 25 0 1 0 891334490 9666560 1492 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2360 1492 1111 63 0 2297 0
vsize: 9440
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.87 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1574 0 0 0 6986 13 0 0 25 0 1 0 891334490 9666560 1492 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2360 1492 1111 63 0 2297 0
vsize: 9440
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1579 0 0 0 7984 15 0 0 25 0 1 0 891334490 9666560 1497 4294967295 134512640 134716908 3221224576 3221223216 134524198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2360 1497 1111 63 0 2297 0
vsize: 9440
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1584 0 0 0 8983 16 0 0 25 0 1 0 891334490 9666560 1502 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2360 1502 1111 63 0 2297 0
vsize: 9440
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1612 0 0 0 9981 19 0 0 25 0 1 0 891334490 9797632 1530 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 1530 1111 63 0 2329 0
vsize: 9568
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1620 0 0 0 10980 21 0 0 25 0 1 0 891334490 9797632 1538 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 1538 1111 63 0 2329 0
vsize: 9568
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1650 0 0 0 11979 22 0 0 25 0 1 0 891334490 9932800 1568 4294967295 134512640 134716908 3221224576 3221222744 134699807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1568 1111 63 0 2362 0
vsize: 9700
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1650 0 0 0 12978 23 0 0 25 0 1 0 891334490 9932800 1568 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1568 1111 63 0 2362 0
vsize: 9700
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1650 0 0 0 13976 25 0 0 25 0 1 0 891334490 9932800 1568 4294967295 134512640 134716908 3221224576 3221223204 134698595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1568 1111 63 0 2362 0
vsize: 9700
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1664 0 0 0 14975 27 0 0 25 0 1 0 891334490 10067968 1582 4294967295 134512640 134716908 3221224576 3221223336 134535685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2458 1582 1111 63 0 2395 0
vsize: 9832
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1673 0 0 0 15974 28 0 0 25 0 1 0 891334490 10067968 1591 4294967295 134512640 134716908 3221224576 3221223228 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2458 1591 1111 63 0 2395 0
vsize: 9832
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1691 0 0 0 16973 30 0 0 25 0 1 0 891334490 10067968 1609 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2458 1609 1111 63 0 2395 0
vsize: 9832
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1714 0 0 0 17971 32 0 0 25 0 1 0 891334490 10203136 1632 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2491 1632 1111 63 0 2428 0
vsize: 9964
[startup+190.011 s]
Raw data (loadavg): 1.07 0.99 0.89 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1721 0 0 0 18970 34 0 0 25 0 1 0 891334490 10203136 1639 4294967295 134512640 134716908 3221224576 3221223196 134613982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2491 1639 1111 63 0 2428 0
vsize: 9964
[startup+200.011 s]
Raw data (loadavg): 1.06 0.99 0.89 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1736 0 0 0 19968 36 0 0 25 0 1 0 891334490 10338304 1654 4294967295 134512640 134716908 3221224576 3221222964 1077378722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1654 1111 63 0 2461 0
vsize: 10096
[startup+210.011 s]
Raw data (loadavg): 1.05 0.99 0.89 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1748 0 0 0 20967 37 0 0 25 0 1 0 891334490 10338304 1666 4294967295 134512640 134716908 3221224576 3221223360 134529365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2524 1666 1111 63 0 2461 0
vsize: 10096
[startup+220.011 s]
Raw data (loadavg): 1.04 0.99 0.89 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1767 0 0 0 21966 38 0 0 25 0 1 0 891334490 10473472 1685 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2557 1685 1111 63 0 2494 0
vsize: 10228
[startup+230.012 s]
Raw data (loadavg): 1.04 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1801 0 0 0 22965 40 0 0 25 0 1 0 891334490 10608640 1719 4294967295 134512640 134716908 3221224576 3221223280 134528451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2590 1719 1111 63 0 2527 0
vsize: 10360
[startup+240.012 s]
Raw data (loadavg): 1.03 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1833 0 0 0 23964 41 0 0 25 0 1 0 891334490 10743808 1751 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2623 1751 1111 63 0 2560 0
vsize: 10492
[startup+250.012 s]
Raw data (loadavg): 1.03 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1852 0 0 0 24963 43 0 0 25 0 1 0 891334490 10743808 1770 4294967295 134512640 134716908 3221224576 3221223408 134590253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2623 1770 1111 63 0 2560 0
vsize: 10492
[startup+260.014 s]
Raw data (loadavg): 1.02 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1892 0 0 0 25962 44 0 0 25 0 1 0 891334490 10878976 1810 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2656 1810 1111 63 0 2593 0
vsize: 10624
[startup+270.013 s]
Raw data (loadavg): 1.02 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1900 0 0 0 26960 46 0 0 25 0 1 0 891334490 11010048 1818 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1818 1111 63 0 2625 0
vsize: 10752
[startup+280.014 s]
Raw data (loadavg): 1.01 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1900 0 0 0 27959 48 0 0 25 0 1 0 891334490 11010048 1818 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1818 1111 63 0 2625 0
vsize: 10752
[startup+290.015 s]
Raw data (loadavg): 1.01 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1900 0 0 0 28958 50 0 0 25 0 1 0 891334490 11010048 1818 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1818 1111 63 0 2625 0
vsize: 10752
[startup+300.015 s]
Raw data (loadavg): 1.01 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1901 0 0 0 29957 51 0 0 25 0 1 0 891334490 11010048 1819 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1819 1111 63 0 2625 0
vsize: 10752
[startup+310.015 s]
Raw data (loadavg): 1.01 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1908 0 0 0 30956 52 0 0 25 0 1 0 891334490 11010048 1826 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1826 1111 63 0 2625 0
vsize: 10752
[startup+320.016 s]
Raw data (loadavg): 1.01 0.99 0.90 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1922 0 0 0 31954 54 0 0 25 0 1 0 891334490 11010048 1840 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1840 1111 63 0 2625 0
vsize: 10752
[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1922 0 0 0 32953 56 0 0 25 0 1 0 891334490 11010048 1840 4294967295 134512640 134716908 3221224576 3221223204 134698629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1840 1111 63 0 2625 0
vsize: 10752
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1922 0 0 0 33952 57 0 0 25 0 1 0 891334490 11010048 1840 4294967295 134512640 134716908 3221224576 3221223228 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1840 1111 63 0 2625 0
vsize: 10752
[startup+350.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1934 0 0 0 34951 59 0 0 25 0 1 0 891334490 11145216 1852 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1852 1111 63 0 2658 0
vsize: 10884
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1934 0 0 0 35950 60 0 0 25 0 1 0 891334490 11145216 1852 4294967295 134512640 134716908 3221224576 3221223248 134524436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1852 1111 63 0 2658 0
vsize: 10884
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1935 0 0 0 36949 62 0 0 25 0 1 0 891334490 11145216 1853 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1853 1111 63 0 2658 0
vsize: 10884
[startup+380.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1937 0 0 0 37947 64 0 0 25 0 1 0 891334490 11145216 1855 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1855 1111 63 0 2658 0
vsize: 10884
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1943 0 0 0 38947 64 0 0 25 0 1 0 891334490 11145216 1861 4294967295 134512640 134716908 3221224576 3221222808 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1861 1111 63 0 2658 0
vsize: 10884
[startup+400.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 1958 0 0 0 39946 66 0 0 25 0 1 0 891334490 11280384 1876 4294967295 134512640 134716908 3221224576 3221223232 134524093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2754 1876 1111 63 0 2691 0
vsize: 11016
[startup+410.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2004 0 0 0 40945 67 0 0 25 0 1 0 891334490 11350016 1922 4294967295 134512640 134716908 3221224576 3221223136 134698917 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2771 1922 1111 63 0 2708 0
vsize: 11084
[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2032 0 0 0 41944 67 0 0 25 0 1 0 891334490 11485184 1950 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1950 1111 63 0 2741 0
vsize: 11216
[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2049 0 0 0 42943 69 0 0 25 0 1 0 891334490 11620352 1967 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2837 1967 1111 63 0 2774 0
vsize: 11348
[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2063 0 0 0 43942 71 0 0 25 0 1 0 891334490 11620352 1981 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2837 1981 1111 63 0 2774 0
vsize: 11348
[startup+450.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2083 0 0 0 44940 72 0 0 25 0 1 0 891334490 11755520 2001 4294967295 134512640 134716908 3221224576 3221223216 134524203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2870 2001 1111 63 0 2807 0
vsize: 11480
[startup+460.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2099 0 0 0 45940 73 0 0 25 0 1 0 891334490 11755520 2017 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2870 2017 1111 63 0 2807 0
vsize: 11480
[startup+470.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2125 0 0 0 46938 75 0 0 25 0 1 0 891334490 11890688 2043 4294967295 134512640 134716908 3221224576 3221223204 1077374184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2903 2043 1111 63 0 2840 0
vsize: 11612
[startup+480.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11582
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2125 0 0 0 47937 77 0 0 25 0 1 0 891334490 11890688 2043 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2903 2043 1111 63 0 2840 0
vsize: 11612
[startup+490.023 s]
Raw data (loadavg): 1.07 1.00 0.91 2/54 11635
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2125 0 0 0 48935 79 0 0 25 0 1 0 891334490 11890688 2043 4294967295 134512640 134716908 3221224576 3221223232 134536600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2903 2043 1111 63 0 2840 0
vsize: 11612
[startup+500.083 s]
Raw data (loadavg): 1.06 1.00 0.91 2/54 11635
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2125 0 0 0 49940 81 0 0 25 0 1 0 891334490 11890688 2043 4294967295 134512640 134716908 3221224576 3221223132 134535494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2903 2043 1111 63 0 2840 0
vsize: 11612
[startup+510.083 s]
Raw data (loadavg): 1.05 1.00 0.91 2/54 11635
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2140 0 0 0 50938 82 0 0 25 0 1 0 891334490 12025856 2058 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2936 2058 1111 63 0 2873 0
vsize: 11744
[startup+520.084 s]
Raw data (loadavg): 1.04 1.00 0.91 2/54 11635
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2143 0 0 0 51937 84 0 0 25 0 1 0 891334490 12025856 2061 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2936 2061 1111 63 0 2873 0
vsize: 11744
[startup+530.084 s]
Raw data (loadavg): 1.04 1.00 0.91 2/54 11635
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2160 0 0 0 52936 86 0 0 25 0 1 0 891334490 12025856 2078 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2936 2078 1111 63 0 2873 0
vsize: 11744
[startup+540.085 s]
Raw data (loadavg): 1.03 1.00 0.91 2/54 11635
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2181 0 0 0 53935 87 0 0 25 0 1 0 891334490 12132352 2099 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2962 2099 1111 63 0 2899 0
vsize: 11848
[startup+550.085 s]
Raw data (loadavg): 1.02 1.00 0.91 2/54 11635
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2214 0 0 0 54933 90 0 0 25 0 1 0 891334490 12259328 2132 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2993 2132 1111 63 0 2930 0
vsize: 11972
[startup+560.085 s]
Raw data (loadavg): 1.02 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2235 0 0 0 55932 91 0 0 25 0 1 0 891334490 12394496 2153 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3026 2153 1111 63 0 2963 0
vsize: 12104
[startup+570.085 s]
Raw data (loadavg): 1.02 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2245 0 0 0 56931 92 0 0 25 0 1 0 891334490 12394496 2163 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3026 2163 1111 63 0 2963 0
vsize: 12104
[startup+580.086 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2252 0 0 0 57930 93 0 0 25 0 1 0 891334490 12394496 2170 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3026 2170 1111 63 0 2963 0
vsize: 12104
[startup+590.086 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2263 0 0 0 58929 95 0 0 25 0 1 0 891334490 12529664 2181 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3059 2181 1111 63 0 2996 0
vsize: 12236
[startup+600.086 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2269 0 0 0 59927 97 0 0 25 0 1 0 891334490 12513280 2187 4294967295 134512640 134716908 3221224576 3221223240 1077378564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2187 1111 63 0 2992 0
vsize: 12220
[startup+610.087 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2276 0 0 0 60927 98 0 0 25 0 1 0 891334490 12513280 2194 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2194 1111 63 0 2992 0
vsize: 12220
[startup+620.087 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2276 0 0 0 61926 99 0 0 25 0 1 0 891334490 12513280 2194 4294967295 134512640 134716908 3221224576 3221223228 134536757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2194 1111 63 0 2992 0
vsize: 12220
[startup+630.087 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2276 0 0 0 62925 100 0 0 25 0 1 0 891334490 12513280 2194 4294967295 134512640 134716908 3221224576 3221223220 134536694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2194 1111 63 0 2992 0
vsize: 12220
[startup+640.088 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2284 0 0 0 63924 102 0 0 25 0 1 0 891334490 12513280 2202 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2202 1111 63 0 2992 0
vsize: 12220
[startup+650.088 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2286 0 0 0 64923 102 0 0 25 0 1 0 891334490 12513280 2204 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2204 1111 63 0 2992 0
vsize: 12220
[startup+660.089 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2288 0 0 0 65922 104 0 0 25 0 1 0 891334490 12513280 2206 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2206 1111 63 0 2992 0
vsize: 12220
[startup+670.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2293 0 0 0 66921 106 0 0 25 0 1 0 891334490 12644352 2211 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3087 2211 1111 63 0 3024 0
vsize: 12348
[startup+680.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2303 0 0 0 67920 107 0 0 25 0 1 0 891334490 12636160 2221 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3085 2221 1111 63 0 3022 0
vsize: 12340
[startup+690.091 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2310 0 0 0 68919 108 0 0 25 0 1 0 891334490 12636160 2228 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3085 2228 1111 63 0 3022 0
vsize: 12340
[startup+700.092 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2335 0 0 0 69918 110 0 0 25 0 1 0 891334490 12771328 2253 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3118 2253 1111 63 0 3055 0
vsize: 12472
[startup+710.092 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2363 0 0 0 70917 112 0 0 25 0 1 0 891334490 12906496 2281 4294967295 134512640 134716908 3221224576 3221223060 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2281 1111 63 0 3088 0
vsize: 12604
[startup+720.092 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2363 0 0 0 71915 114 0 0 25 0 1 0 891334490 12906496 2281 4294967295 134512640 134716908 3221224576 3221223088 1076648027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2281 1111 63 0 3088 0
vsize: 12604
[startup+730.093 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2363 0 0 0 72914 115 0 0 25 0 1 0 891334490 12906496 2281 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2281 1111 63 0 3088 0
vsize: 12604
[startup+740.093 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2363 0 0 0 73913 116 0 0 25 0 1 0 891334490 12906496 2281 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2281 1111 63 0 3088 0
vsize: 12604
[startup+750.093 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2368 0 0 0 74911 118 0 0 25 0 1 0 891334490 12906496 2286 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2286 1111 63 0 3088 0
vsize: 12604
[startup+760.095 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2374 0 0 0 75911 119 0 0 25 0 1 0 891334490 12906496 2292 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2374 0 0 0 76910 120 0 0 25 0 1 0 891334490 12906496 2292 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+780.095 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2374 0 0 0 77910 121 0 0 25 0 1 0 891334490 12906496 2292 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+790.096 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2374 0 0 0 78909 122 0 0 25 0 1 0 891334490 12906496 2292 4294967295 134512640 134716908 3221224576 3221223260 134594349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+800.097 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2374 0 0 0 79908 124 0 0 25 0 1 0 891334490 12906496 2292 4294967295 134512640 134716908 3221224576 3221223228 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+810.097 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11637
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2380 0 0 0 80906 126 0 0 25 0 1 0 891334490 12906496 2298 4294967295 134512640 134716908 3221224576 3221223280 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2298 1111 63 0 3088 0
vsize: 12604
[startup+820.097 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2380 0 0 0 81905 127 0 0 25 0 1 0 891334490 12906496 2298 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2298 1111 63 0 3088 0
vsize: 12604
[startup+830.098 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2380 0 0 0 82904 129 0 0 25 0 1 0 891334490 12906496 2298 4294967295 134512640 134716908 3221224576 3221223052 134613768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2298 1111 63 0 3088 0
vsize: 12604
[startup+840.098 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2387 0 0 0 83902 131 0 0 25 0 1 0 891334490 12906496 2305 4294967295 134512640 134716908 3221224576 3221223216 134698670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2305 1111 63 0 3088 0
vsize: 12604
[startup+850.099 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2388 0 0 0 84901 132 0 0 25 0 1 0 891334490 13041664 2306 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2306 1111 63 0 3121 0
vsize: 12736
[startup+860.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2388 0 0 0 85901 133 0 0 25 0 1 0 891334490 13041664 2306 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2306 1111 63 0 3121 0
vsize: 12736
[startup+870.101 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2397 0 0 0 86900 134 0 0 25 0 1 0 891334490 13041664 2315 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2315 1111 63 0 3121 0
vsize: 12736
[startup+880.101 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2397 0 0 0 87900 135 0 0 25 0 1 0 891334490 13041664 2315 4294967295 134512640 134716908 3221224576 3221223208 134698385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2315 1111 63 0 3121 0
vsize: 12736
[startup+890.102 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2404 0 0 0 88899 136 0 0 25 0 1 0 891334490 13041664 2322 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2322 1111 63 0 3121 0
vsize: 12736
[startup+900.103 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2413 0 0 0 89898 138 0 0 25 0 1 0 891334490 13041664 2331 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2331 1111 63 0 3121 0
vsize: 12736
[startup+910.104 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2416 0 0 0 90897 139 0 0 25 0 1 0 891334490 13041664 2334 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2334 1111 63 0 3121 0
vsize: 12736
[startup+920.104 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2428 0 0 0 91896 141 0 0 25 0 1 0 891334490 13168640 2346 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2346 1111 63 0 3152 0
vsize: 12860
[startup+930.105 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2428 0 0 0 92895 142 0 0 25 0 1 0 891334490 13164544 2346 4294967295 134512640 134716908 3221224576 3221223264 134534122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3214 2346 1111 63 0 3151 0
vsize: 12856
[startup+940.105 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2428 0 0 0 93894 143 0 0 25 0 1 0 891334490 13164544 2346 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3214 2346 1111 63 0 3151 0
vsize: 12856
[startup+950.105 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2438 0 0 0 94893 144 0 0 25 0 1 0 891334490 13164544 2356 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3214 2356 1111 63 0 3151 0
vsize: 12856
[startup+960.105 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2465 0 0 0 95893 145 0 0 25 0 1 0 891334490 13225984 2383 4294967295 134512640 134716908 3221224576 3221223344 134529281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3229 2383 1111 63 0 3166 0
vsize: 12916
[startup+970.106 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2492 0 0 0 96891 147 0 0 25 0 1 0 891334490 13361152 2410 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3262 2410 1111 63 0 3199 0
vsize: 13048
[startup+980.106 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2548 0 0 0 97891 148 0 0 25 0 1 0 891334490 13631488 2466 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3328 2466 1111 63 0 3265 0
vsize: 13312
[startup+990.107 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2597 0 0 0 98890 149 0 0 25 0 1 0 891334490 13766656 2515 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3361 2515 1111 63 0 3298 0
vsize: 13444
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2626 0 0 0 99889 150 0 0 25 0 1 0 891334490 13901824 2544 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2544 1111 63 0 3331 0
vsize: 13576
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2629 0 0 0 100889 151 0 0 25 0 1 0 891334490 13901824 2547 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2547 1111 63 0 3331 0
vsize: 13576
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2643 0 0 0 101888 152 0 0 25 0 1 0 891334490 14036992 2561 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3427 2561 1111 63 0 3364 0
vsize: 13708
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2655 0 0 0 102888 153 0 0 25 0 1 0 891334490 14036992 2573 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3427 2573 1111 63 0 3364 0
vsize: 13708
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2669 0 0 0 103887 154 0 0 25 0 1 0 891334490 14163968 2587 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2587 1111 63 0 3395 0
vsize: 13832
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2669 0 0 0 104886 155 0 0 25 0 1 0 891334490 14163968 2587 4294967295 134512640 134716908 3221224576 3221223280 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2587 1111 63 0 3395 0
vsize: 13832
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2681 0 0 0 105886 156 0 0 25 0 1 0 891334490 14163968 2599 4294967295 134512640 134716908 3221224576 3221223280 134528543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2599 1111 63 0 3395 0
vsize: 13832
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2681 0 0 0 106885 157 0 0 25 0 1 0 891334490 14163968 2599 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2599 1111 63 0 3395 0
vsize: 13832
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2681 0 0 0 107885 158 0 0 25 0 1 0 891334490 14163968 2599 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2599 1111 63 0 3395 0
vsize: 13832
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2689 0 0 0 108884 159 0 0 25 0 1 0 891334490 14163968 2607 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2607 1111 63 0 3395 0
vsize: 13832
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2702 0 0 0 109883 161 0 0 25 0 1 0 891334490 14299136 2620 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3491 2620 1111 63 0 3428 0
vsize: 13964
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2727 0 0 0 110882 162 0 0 25 0 1 0 891334490 14299136 2645 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3491 2645 1111 63 0 3428 0
vsize: 13964
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2727 0 0 0 111881 163 0 0 25 0 1 0 891334490 14299136 2645 4294967295 134512640 134716908 3221224576 3221223256 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3491 2645 1111 63 0 3428 0
vsize: 13964
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2727 0 0 0 112880 164 0 0 25 0 1 0 891334490 14299136 2645 4294967295 134512640 134716908 3221224576 3221223356 134588028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3491 2645 1111 63 0 3428 0
vsize: 13964
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2730 0 0 0 113880 165 0 0 25 0 1 0 891334490 14434304 2648 4294967295 134512640 134716908 3221224576 3221222972 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3524 2648 1111 63 0 3461 0
vsize: 14096
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2740 0 0 0 114879 167 0 0 25 0 1 0 891334490 14434304 2658 4294967295 134512640 134716908 3221224576 3221222784 134699760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3524 2658 1111 63 0 3461 0
vsize: 14096
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2757 0 0 0 115877 169 0 0 25 0 1 0 891334490 14434304 2675 4294967295 134512640 134716908 3221224576 3221223336 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3524 2675 1111 63 0 3461 0
vsize: 14096
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2757 0 0 0 116876 170 0 0 25 0 1 0 891334490 14434304 2675 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3524 2675 1111 63 0 3461 0
vsize: 14096
[startup+1174.67 s]
Raw data (loadavg): 1.00 1.00 0.91 1/53 11639
Raw data (stat): 11582 (bsolo_lpr-v2) R 11581 25568 25567 0 -1 0 2757 0 0 0 116876 170 0 0 25 0 1 0 891334490 14434304 2675 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3524 2675 1111 63 0 3461 0
vsize: 0

Child status: 0
Real time (s): 1174.67
CPU time (s): 1175.02
CPU user time (s): 1173.3
CPU system time (s): 1.71474
CPU usage (%): 100.03
Max. virtual memory (Kb): 14096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####