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_41_pb.cnf.cr.opb
MD5SUM	3c9e81ddaaf37dd621fe2bc839a3f27f
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	42
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.098984
Number of variables	3280
Total number of constraints	162
Number of constraints which are clauses	82
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	41
Trace number 23222

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 15:03:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=145 boxname=wulflinc31 idbench=17 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3c9e81ddaaf37dd621fe2bc839a3f27f  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_41_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_41_pb.cnf.cr.opb
IDLAUNCH: 145
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930800 kB
Buffers:         36328 kB
Cached:          45632 kB
SwapCached:        864 kB
Active:          70652 kB
Inactive:        13688 kB
HighTotal:      131008 kB
HighFree:        84420 kB
LowTotal:       903652 kB
LowFree:        846380 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              92 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13932 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 15:23:10 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 145 7 1175.03 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 3280 variables and 162 constraints.
c After prepocess the problem consists of 3280 variables and 162 constraints.
c preprocess terminated 1.252 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (runsolver) R 12550 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 632407972 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1432 0 0 0 987 7 0 0 25 0 1 0 632407972 8990720 1353 4294967295 134512640 134714508 3221221776 3221220544 134592401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2195 1353 1111 63 0 2132 0
vsize: 8780
[startup+20.0019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1491 0 0 0 1986 9 0 0 25 0 1 0 632407972 9240576 1412 4294967295 134512640 134714508 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2256 1412 1111 63 0 2193 0
vsize: 9024
[startup+30.0028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1525 0 0 0 2983 12 0 0 25 0 1 0 632407972 9502720 1446 4294967295 134512640 134714508 3221221776 3221220032 134697253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2320 1446 1111 63 0 2257 0
vsize: 9280
[startup+40.0032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1543 0 0 0 3981 14 0 0 25 0 1 0 632407972 9502720 1464 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2320 1464 1111 63 0 2257 0
vsize: 9280
[startup+50.0041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1546 0 0 0 4980 16 0 0 25 0 1 0 632407972 9502720 1467 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2320 1467 1111 63 0 2257 0
vsize: 9280
[startup+60.0046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1588 0 0 0 5978 18 0 0 25 0 1 0 632407972 9637888 1509 4294967295 134512640 134714508 3221221776 3221220304 134697250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2353 1509 1111 63 0 2290 0
vsize: 9412
[startup+70.0049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1610 0 0 0 6976 20 0 0 25 0 1 0 632407972 9773056 1531 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2386 1531 1111 63 0 2323 0
vsize: 9544
[startup+80.0054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1610 0 0 0 7974 22 0 0 25 0 1 0 632407972 9773056 1531 4294967295 134512640 134714508 3221221776 3221220344 1077377636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2386 1531 1111 63 0 2323 0
vsize: 9544
[startup+90.0054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1613 0 0 0 8973 23 0 0 25 0 1 0 632407972 9773056 1534 4294967295 134512640 134714508 3221221776 3221220344 1077377185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2386 1534 1111 63 0 2323 0
vsize: 9544
[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1630 0 0 0 9971 25 0 0 25 0 1 0 632407972 9900032 1551 4294967295 134512640 134714508 3221221776 3221220404 1077374077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2417 1551 1111 63 0 2354 0
vsize: 9668
[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1641 0 0 0 10969 27 0 0 25 0 1 0 632407972 9900032 1562 4294967295 134512640 134714508 3221221776 3221220336 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2417 1562 1111 63 0 2354 0
vsize: 9668
[startup+120.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1655 0 0 0 11966 30 0 0 25 0 1 0 632407972 10027008 1576 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2448 1576 1111 63 0 2385 0
vsize: 9792
[startup+130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1669 0 0 0 12965 31 0 0 25 0 1 0 632407972 10027008 1590 4294967295 134512640 134714508 3221221776 3221220480 134528543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2448 1590 1111 63 0 2385 0
vsize: 9792
[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1690 0 0 0 13963 33 0 0 25 0 1 0 632407972 10149888 1611 4294967295 134512640 134714508 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2478 1611 1111 63 0 2415 0
vsize: 9912
[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12551
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1692 0 0 0 14961 36 0 0 25 0 1 0 632407972 10149888 1613 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2478 1613 1111 63 0 2415 0
vsize: 9912
[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1707 0 0 0 15958 38 0 0 25 0 1 0 632407972 10149888 1628 4294967295 134512640 134714508 3221221776 3221220532 134587950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2478 1628 1111 63 0 2415 0
vsize: 9912
[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1733 0 0 0 16957 40 0 0 25 0 1 0 632407972 10272768 1654 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1654 1111 63 0 2445 0
vsize: 10032
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1739 0 0 0 17955 42 0 0 25 0 1 0 632407972 10272768 1660 4294967295 134512640 134714508 3221221776 3221220344 134539340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1660 1111 63 0 2445 0
vsize: 10032
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1750 0 0 0 18953 44 0 0 25 0 1 0 632407972 10407936 1671 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1671 1111 63 0 2478 0
vsize: 10164
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1750 0 0 0 19951 46 0 0 25 0 1 0 632407972 10407936 1671 4294967295 134512640 134714508 3221221776 3221220368 134549748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1671 1111 63 0 2478 0
vsize: 10164
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1750 0 0 0 20950 48 0 0 25 0 1 0 632407972 10407936 1671 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1671 1111 63 0 2478 0
vsize: 10164
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1763 0 0 0 21948 50 0 0 25 0 1 0 632407972 10407936 1684 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1684 1111 63 0 2478 0
vsize: 10164
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1763 0 0 0 22947 51 0 0 25 0 1 0 632407972 10407936 1684 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1684 1111 63 0 2478 0
vsize: 10164
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1763 0 0 0 23945 53 0 0 25 0 1 0 632407972 10407936 1684 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1684 1111 63 0 2478 0
vsize: 10164
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1763 0 0 0 24944 54 0 0 25 0 1 0 632407972 10407936 1684 4294967295 134512640 134714508 3221221776 3221220560 134585124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1684 1111 63 0 2478 0
vsize: 10164
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1804 0 0 0 25942 56 0 0 25 0 1 0 632407972 10530816 1725 4294967295 134512640 134714508 3221221776 3221220560 134529145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2571 1725 1111 63 0 2508 0
vsize: 10284
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1804 0 0 0 26941 58 0 0 25 0 1 0 632407972 10530816 1725 4294967295 134512640 134714508 3221221776 3221220524 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2571 1725 1111 63 0 2508 0
vsize: 10284
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1839 0 0 0 27938 61 0 0 25 0 1 0 632407972 10665984 1760 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2604 1760 1111 63 0 2541 0
vsize: 10416
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1842 0 0 0 28937 62 0 0 25 0 1 0 632407972 10756096 1763 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1763 1111 63 0 2563 0
vsize: 10504
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1849 0 0 0 29935 64 0 0 25 0 1 0 632407972 10756096 1770 4294967295 134512640 134714508 3221221776 3221220560 134529030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1770 1111 63 0 2563 0
vsize: 10504
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1854 0 0 0 30934 66 0 0 25 0 1 0 632407972 10756096 1775 4294967295 134512640 134714508 3221221776 3221220452 134594355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1775 1111 63 0 2563 0
vsize: 10504
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1867 0 0 0 31931 68 0 0 25 0 1 0 632407972 10891264 1788 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1788 1111 63 0 2596 0
vsize: 10636
[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1867 0 0 0 32930 70 0 0 25 0 1 0 632407972 10891264 1788 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1788 1111 63 0 2596 0
vsize: 10636
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1874 0 0 0 33928 72 0 0 25 0 1 0 632407972 10891264 1795 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1795 1111 63 0 2596 0
vsize: 10636
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1874 0 0 0 34926 74 0 0 25 0 1 0 632407972 10891264 1795 4294967295 134512640 134714508 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1795 1111 63 0 2596 0
vsize: 10636
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1874 0 0 0 35925 76 0 0 25 0 1 0 632407972 10891264 1795 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1795 1111 63 0 2596 0
vsize: 10636
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1891 0 0 0 36923 78 0 0 25 0 1 0 632407972 10891264 1812 4294967295 134512640 134714508 3221221776 3221220336 134696512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1812 1111 63 0 2596 0
vsize: 10636
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1891 0 0 0 37922 79 0 0 25 0 1 0 632407972 10891264 1812 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1812 1111 63 0 2596 0
vsize: 10636
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1910 0 0 0 38920 81 0 0 25 0 1 0 632407972 11026432 1831 4294967295 134512640 134714508 3221221776 3221220404 134696225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1831 1111 63 0 2629 0
vsize: 10768
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1919 0 0 0 39918 83 0 0 25 0 1 0 632407972 11026432 1840 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1840 1111 63 0 2629 0
vsize: 10768
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1951 0 0 0 40917 85 0 0 25 0 1 0 632407972 11149312 1872 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2722 1872 1111 63 0 2659 0
vsize: 10888
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1988 0 0 0 41915 87 0 0 25 0 1 0 632407972 11284480 1909 4294967295 134512640 134714508 3221221776 3221220384 134549293 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1909 1111 63 0 2692 0
vsize: 11020
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 1999 0 0 0 42914 88 0 0 25 0 1 0 632407972 11415552 1920 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1920 1111 63 0 2724 0
vsize: 11148
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2019 0 0 0 43913 89 0 0 25 0 1 0 632407972 11415552 1940 4294967295 134512640 134714508 3221221776 3221220524 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1940 1111 63 0 2724 0
vsize: 11148
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2060 0 0 0 44911 92 0 0 25 0 1 0 632407972 11685888 1981 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2853 1981 1111 63 0 2790 0
vsize: 11412
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2085 0 0 0 45909 93 0 0 25 0 1 0 632407972 11685888 2006 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2853 2006 1111 63 0 2790 0
vsize: 11412
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2086 0 0 0 46908 94 0 0 25 0 1 0 632407972 11685888 2007 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2853 2007 1111 63 0 2790 0
vsize: 11412
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2106 0 0 0 47906 96 0 0 25 0 1 0 632407972 11796480 2027 4294967295 134512640 134714508 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2027 1111 63 0 2817 0
vsize: 11520
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2115 0 0 0 48904 99 0 0 25 0 1 0 632407972 11796480 2036 4294967295 134512640 134714508 3221221776 3221220344 134551987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2036 1111 63 0 2817 0
vsize: 11520
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2115 0 0 0 49902 102 0 0 25 0 1 0 632407972 11796480 2036 4294967295 134512640 134714508 3221221776 3221220400 134696326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2036 1111 63 0 2817 0
vsize: 11520
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2121 0 0 0 50900 103 0 0 25 0 1 0 632407972 11923456 2042 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2911 2042 1111 63 0 2848 0
vsize: 11644
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2130 0 0 0 51898 105 0 0 25 0 1 0 632407972 11923456 2051 4294967295 134512640 134714508 3221221776 3221220352 134549718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2911 2051 1111 63 0 2848 0
vsize: 11644
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2138 0 0 0 52898 106 0 0 25 0 1 0 632407972 11923456 2059 4294967295 134512640 134714508 3221221776 3221220400 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2911 2059 1111 63 0 2848 0
vsize: 11644
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2168 0 0 0 53896 108 0 0 25 0 1 0 632407972 12058624 2089 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2089 1111 63 0 2881 0
vsize: 11776
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2172 0 0 0 54894 110 0 0 25 0 1 0 632407972 12058624 2093 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2093 1111 63 0 2881 0
vsize: 11776
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2183 0 0 0 55892 112 0 0 25 0 1 0 632407972 12169216 2104 4294967295 134512640 134714508 3221221776 3221220384 134549497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2971 2104 1111 63 0 2908 0
vsize: 11884
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2198 0 0 0 56890 114 0 0 25 0 1 0 632407972 12169216 2119 4294967295 134512640 134714508 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2971 2119 1111 63 0 2908 0
vsize: 11884
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2203 0 0 0 57889 116 0 0 25 0 1 0 632407972 12169216 2124 4294967295 134512640 134714508 3221221776 3221220368 134548596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2971 2124 1111 63 0 2908 0
vsize: 11884
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2210 0 0 0 58887 118 0 0 25 0 1 0 632407972 12288000 2131 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2131 1111 63 0 2937 0
vsize: 12000
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2223 0 0 0 59886 119 0 0 25 0 1 0 632407972 12288000 2144 4294967295 134512640 134714508 3221221776 3221220452 1077374467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2144 1111 63 0 2937 0
vsize: 12000
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2237 0 0 0 60885 120 0 0 25 0 1 0 632407972 12288000 2158 4294967295 134512640 134714508 3221221776 3221220528 134592388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2158 1111 63 0 2937 0
vsize: 12000
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2237 0 0 0 61884 121 0 0 25 0 1 0 632407972 12288000 2158 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2158 1111 63 0 2937 0
vsize: 12000
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2251 0 0 0 62882 124 0 0 25 0 1 0 632407972 12419072 2172 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2172 1111 63 0 2969 0
vsize: 12128
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2266 0 0 0 63880 125 0 0 25 0 1 0 632407972 12419072 2187 4294967295 134512640 134714508 3221221776 3221220332 134535623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2187 1111 63 0 2969 0
vsize: 12128
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2284 0 0 0 64880 126 0 0 25 0 1 0 632407972 12554240 2205 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3065 2205 1111 63 0 3002 0
vsize: 12260
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2288 0 0 0 65878 128 0 0 25 0 1 0 632407972 12554240 2209 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3065 2209 1111 63 0 3002 0
vsize: 12260
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2315 0 0 0 66877 129 0 0 25 0 1 0 632407972 12689408 2236 4294967295 134512640 134714508 3221221776 3221220400 134696265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3098 2236 1111 63 0 3035 0
vsize: 12392
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2337 0 0 0 67876 130 0 0 25 0 1 0 632407972 12824576 2258 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2258 1111 63 0 3068 0
vsize: 12524
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2348 0 0 0 68874 132 0 0 25 0 1 0 632407972 12824576 2269 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2269 1111 63 0 3068 0
vsize: 12524
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2348 0 0 0 69873 134 0 0 25 0 1 0 632407972 12824576 2269 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2269 1111 63 0 3068 0
vsize: 12524
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2355 0 0 0 70871 135 0 0 25 0 1 0 632407972 12824576 2276 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2276 1111 63 0 3068 0
vsize: 12524
[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2365 0 0 0 71870 137 0 0 25 0 1 0 632407972 12824576 2286 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2286 1111 63 0 3068 0
vsize: 12524
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2377 0 0 0 72869 138 0 0 25 0 1 0 632407972 12955648 2298 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2298 1111 63 0 3100 0
vsize: 12652
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2377 0 0 0 73868 139 0 0 25 0 1 0 632407972 12955648 2298 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2298 1111 63 0 3100 0
vsize: 12652
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2377 0 0 0 74867 141 0 0 25 0 1 0 632407972 12955648 2298 4294967295 134512640 134714508 3221221776 3221220212 1077374598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2298 1111 63 0 3100 0
vsize: 12652
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2400 0 0 0 75865 143 0 0 25 0 1 0 632407972 12955648 2321 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2321 1111 63 0 3100 0
vsize: 12652
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2400 0 0 0 76863 144 0 0 25 0 1 0 632407972 12955648 2321 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2321 1111 63 0 3100 0
vsize: 12652
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2400 0 0 0 77861 147 0 0 25 0 1 0 632407972 12955648 2321 4294967295 134512640 134714508 3221221776 3221220476 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2321 1111 63 0 3100 0
vsize: 12652
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2410 0 0 0 78860 149 0 0 25 0 1 0 632407972 13086720 2331 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2331 1111 63 0 3132 0
vsize: 12780
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2419 0 0 0 79859 150 0 0 25 0 1 0 632407972 13086720 2340 4294967295 134512640 134714508 3221221776 3221220260 134697343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2340 1111 63 0 3132 0
vsize: 12780
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2427 0 0 0 80858 151 0 0 25 0 1 0 632407972 13086720 2348 4294967295 134512640 134714508 3221221776 3221220592 134590248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2348 1111 63 0 3132 0
vsize: 12780
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2436 0 0 0 81857 152 0 0 25 0 1 0 632407972 13221888 2357 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2357 1111 63 0 3165 0
vsize: 12912
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2436 0 0 0 82855 154 0 0 25 0 1 0 632407972 13221888 2357 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2357 1111 63 0 3165 0
vsize: 12912
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2436 0 0 0 83854 155 0 0 25 0 1 0 632407972 13221888 2357 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2357 1111 63 0 3165 0
vsize: 12912
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2443 0 0 0 84853 156 0 0 25 0 1 0 632407972 13221888 2364 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2364 1111 63 0 3165 0
vsize: 12912
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2443 0 0 0 85851 159 0 0 25 0 1 0 632407972 13221888 2364 4294967295 134512640 134714508 3221221776 3221220336 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2364 1111 63 0 3165 0
vsize: 12912
[startup+870.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2443 0 0 0 86850 160 0 0 25 0 1 0 632407972 13221888 2364 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2364 1111 63 0 3165 0
vsize: 12912
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2453 0 0 0 87849 161 0 0 25 0 1 0 632407972 13221888 2374 4294967295 134512640 134714508 3221221776 3221220344 1077377281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2374 1111 63 0 3165 0
vsize: 12912
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2453 0 0 0 88847 163 0 0 25 0 1 0 632407972 13221888 2374 4294967295 134512640 134714508 3221221776 3221220512 134523983 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2374 1111 63 0 3165 0
vsize: 12912
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2453 0 0 0 89846 164 0 0 25 0 1 0 632407972 13221888 2374 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2374 1111 63 0 3165 0
vsize: 12912
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2453 0 0 0 90845 165 0 0 25 0 1 0 632407972 13221888 2374 4294967295 134512640 134714508 3221221776 3221220512 134523974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2374 1111 63 0 3165 0
vsize: 12912
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2460 0 0 0 91844 167 0 0 25 0 1 0 632407972 13221888 2381 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2381 1111 63 0 3165 0
vsize: 12912
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2465 0 0 0 92841 169 0 0 25 0 1 0 632407972 13221888 2386 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2386 1111 63 0 3165 0
vsize: 12912
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2483 0 0 0 93839 172 0 0 25 0 1 0 632407972 13357056 2404 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3261 2404 1111 63 0 3198 0
vsize: 13044
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2483 0 0 0 94839 173 0 0 25 0 1 0 632407972 13357056 2404 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3261 2404 1111 63 0 3198 0
vsize: 13044
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2483 0 0 0 95837 174 0 0 25 0 1 0 632407972 13357056 2404 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3261 2404 1111 63 0 3198 0
vsize: 13044
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2520 0 0 0 96836 175 0 0 25 0 1 0 632407972 13488128 2441 4294967295 134512640 134714508 3221221776 3221220704 134579466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3293 2441 1111 63 0 3230 0
vsize: 13172
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2535 0 0 0 97834 177 0 0 25 0 1 0 632407972 13586432 2456 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2456 1111 63 0 3254 0
vsize: 13268
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2547 0 0 0 98833 179 0 0 25 0 1 0 632407972 13586432 2468 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2468 1111 63 0 3254 0
vsize: 13268
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2555 0 0 0 99832 180 0 0 25 0 1 0 632407972 13721600 2476 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2476 1111 63 0 3287 0
vsize: 13400
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2555 0 0 0 100830 182 0 0 25 0 1 0 632407972 13664256 2476 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2476 1111 63 0 3273 0
vsize: 13344
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 101829 183 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 102828 185 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 103826 187 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220584 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 104825 188 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 105822 191 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220448 134524434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 106820 193 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 107819 194 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220512 134594957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 108817 196 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2576 0 0 0 109814 199 0 0 25 0 1 0 632407972 13799424 2497 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2577 0 0 0 110812 200 0 0 25 0 1 0 632407972 13799424 2498 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2498 1111 63 0 3306 0
vsize: 13476
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2589 0 0 0 111811 202 0 0 25 0 1 0 632407972 13799424 2510 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2510 1111 63 0 3306 0
vsize: 13476
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2589 0 0 0 112809 203 0 0 25 0 1 0 632407972 13799424 2510 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2510 1111 63 0 3306 0
vsize: 13476
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2591 0 0 0 113808 205 0 0 25 0 1 0 632407972 13799424 2512 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2512 1111 63 0 3306 0
vsize: 13476
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2609 0 0 0 114806 207 0 0 25 0 1 0 632407972 13934592 2530 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2530 1111 63 0 3339 0
vsize: 13608
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2613 0 0 0 115804 209 0 0 25 0 1 0 632407972 13934592 2534 4294967295 134512640 134714508 3221221776 3221220716 134598851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2534 1111 63 0 3339 0
vsize: 13608
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2629 0 0 0 116803 211 0 0 25 0 1 0 632407972 13934592 2550 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2550 1111 63 0 3339 0
vsize: 13608
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 12553
Raw data (stat): 12551 (bsolo_lpr) R 12550 7876 7672 0 -1 0 2629 0 0 0 116803 211 0 0 25 0 1 0 632407972 13934592 2550 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2550 1111 63 0 3339 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.03
CPU user time (s): 1172.91
CPU system time (s): 2.12268
CPU usage (%): 100.009
Max. virtual memory (Kb): 13608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####