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 23227

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 16:23:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=154 boxname=wulflinc31 idbench=18 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  df5f31774bab40070962f7d0b16d093c  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_45_pb.cnf.cr.opb
IDLAUNCH: 154
/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:        930668 kB
Buffers:         36416 kB
Cached:          45680 kB
SwapCached:        864 kB
Active:          70744 kB
Inactive:        13752 kB
HighTotal:      131008 kB
HighFree:        84336 kB
LowTotal:       903652 kB
LowFree:        846332 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              92 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13952 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 16:43:18 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 154 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 3600 variables and 170 constraints.
c After prepocess the problem consists of 3600 variables and 170 constraints.
c preprocess terminated 1.5 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): 0.93 0.97 0.91 2/54 13084
Raw data (stat): 13084 (runsolver) R 13083 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 632888841 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.0001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1502 0 0 0 988 7 0 0 25 0 1 0 632888841 9314304 1423 4294967295 134512640 134714508 3221221776 3221220524 134672949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2274 1423 1111 63 0 2211 0
vsize: 9096
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1516 0 0 0 1986 9 0 0 25 0 1 0 632888841 9400320 1437 4294967295 134512640 134714508 3221221776 3221220400 134696326 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2295 1437 1111 63 0 2232 0
vsize: 9180
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1540 0 0 0 2985 11 0 0 25 0 1 0 632888841 9535488 1461 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2328 1461 1111 63 0 2265 0
vsize: 9312
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1555 0 0 0 3983 13 0 0 25 0 1 0 632888841 9535488 1476 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2328 1476 1111 63 0 2265 0
vsize: 9312
[startup+50.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1566 0 0 0 4981 15 0 0 25 0 1 0 632888841 9670656 1487 4294967295 134512640 134714508 3221221776 3221220496 134528707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2361 1487 1111 63 0 2298 0
vsize: 9444
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1574 0 0 0 5980 16 0 0 25 0 1 0 632888841 9670656 1495 4294967295 134512640 134714508 3221221776 3221220436 134543677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2361 1495 1111 63 0 2298 0
vsize: 9444
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1574 0 0 0 6978 18 0 0 25 0 1 0 632888841 9670656 1495 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2361 1495 1111 63 0 2298 0
vsize: 9444
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1579 0 0 0 7977 20 0 0 25 0 1 0 632888841 9670656 1500 4294967295 134512640 134714508 3221221776 3221220344 1077377294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2361 1500 1111 63 0 2298 0
vsize: 9444
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1584 0 0 0 8975 22 0 0 25 0 1 0 632888841 9670656 1505 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2361 1505 1111 63 0 2298 0
vsize: 9444
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1612 0 0 0 9973 24 0 0 25 0 1 0 632888841 9801728 1533 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2393 1533 1111 63 0 2330 0
vsize: 9572
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1620 0 0 0 10972 25 0 0 25 0 1 0 632888841 9801728 1541 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2393 1541 1111 63 0 2330 0
vsize: 9572
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1650 0 0 0 11970 27 0 0 25 0 1 0 632888841 9936896 1571 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2426 1571 1111 63 0 2363 0
vsize: 9704
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1650 0 0 0 12969 28 0 0 25 0 1 0 632888841 9936896 1571 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2426 1571 1111 63 0 2363 0
vsize: 9704
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1650 0 0 0 13967 30 0 0 25 0 1 0 632888841 9936896 1571 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2426 1571 1111 63 0 2363 0
vsize: 9704
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1664 0 0 0 14966 31 0 0 25 0 1 0 632888841 10072064 1585 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2459 1585 1111 63 0 2396 0
vsize: 9836
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1673 0 0 0 15965 33 0 0 25 0 1 0 632888841 10072064 1594 4294967295 134512640 134714508 3221221776 3221220344 1077377425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2459 1594 1111 63 0 2396 0
vsize: 9836
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1691 0 0 0 16964 34 0 0 25 0 1 0 632888841 10072064 1612 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2459 1612 1111 63 0 2396 0
vsize: 9836
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1718 0 0 0 17962 37 0 0 25 0 1 0 632888841 10207232 1639 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2492 1639 1111 63 0 2429 0
vsize: 9968
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1721 0 0 0 18960 39 0 0 25 0 1 0 632888841 10207232 1642 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2492 1642 1111 63 0 2429 0
vsize: 9968
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1736 0 0 0 19958 41 0 0 25 0 1 0 632888841 10342400 1657 4294967295 134512640 134714508 3221221776 3221220536 134552561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2525 1657 1111 63 0 2462 0
vsize: 10100
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1748 0 0 0 20955 44 0 0 25 0 1 0 632888841 10342400 1669 4294967295 134512640 134714508 3221221776 3221220532 134652883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2525 1669 1111 63 0 2462 0
vsize: 10100
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1767 0 0 0 21954 45 0 0 25 0 1 0 632888841 10477568 1688 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2558 1688 1111 63 0 2495 0
vsize: 10232
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1801 0 0 0 22952 47 0 0 25 0 1 0 632888841 10612736 1722 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2591 1722 1111 63 0 2528 0
vsize: 10364
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1833 0 0 0 23951 49 0 0 25 0 1 0 632888841 10747904 1754 4294967295 134512640 134714508 3221221776 3221220496 134591862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1754 1111 63 0 2561 0
vsize: 10496
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1855 0 0 0 24950 49 0 0 25 0 1 0 632888841 10747904 1776 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1776 1111 63 0 2561 0
vsize: 10496
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1900 0 0 0 25948 51 0 0 25 0 1 0 632888841 11014144 1821 4294967295 134512640 134714508 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1821 1111 63 0 2626 0
vsize: 10756
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1900 0 0 0 26948 52 0 0 25 0 1 0 632888841 11014144 1821 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1821 1111 63 0 2626 0
vsize: 10756
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1900 0 0 0 27946 54 0 0 25 0 1 0 632888841 11014144 1821 4294967295 134512640 134714508 3221221776 3221220544 134592401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1821 1111 63 0 2626 0
vsize: 10756
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1900 0 0 0 28944 56 0 0 25 0 1 0 632888841 11014144 1821 4294967295 134512640 134714508 3221221776 3221220528 134591938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1821 1111 63 0 2626 0
vsize: 10756
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1908 0 0 0 29943 58 0 0 25 0 1 0 632888841 11014144 1829 4294967295 134512640 134714508 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1829 1111 63 0 2626 0
vsize: 10756
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1908 0 0 0 30941 59 0 0 25 0 1 0 632888841 11014144 1829 4294967295 134512640 134714508 3221221776 3221220464 134534115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1829 1111 63 0 2626 0
vsize: 10756
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1922 0 0 0 31940 60 0 0 25 0 1 0 632888841 11014144 1843 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1843 1111 63 0 2626 0
vsize: 10756
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1922 0 0 0 32939 62 0 0 25 0 1 0 632888841 11014144 1843 4294967295 134512640 134714508 3221221776 3221220560 134528818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1843 1111 63 0 2626 0
vsize: 10756
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1922 0 0 0 33937 64 0 0 25 0 1 0 632888841 11014144 1843 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1843 1111 63 0 2626 0
vsize: 10756
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1934 0 0 0 34936 66 0 0 25 0 1 0 632888841 11149312 1855 4294967295 134512640 134714508 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2722 1855 1111 63 0 2659 0
vsize: 10888
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1934 0 0 0 35935 67 0 0 25 0 1 0 632888841 11149312 1855 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2722 1855 1111 63 0 2659 0
vsize: 10888
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1935 0 0 0 36933 69 0 0 25 0 1 0 632888841 11149312 1856 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2722 1856 1111 63 0 2659 0
vsize: 10888
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1943 0 0 0 37931 71 0 0 25 0 1 0 632888841 11149312 1864 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2722 1864 1111 63 0 2659 0
vsize: 10888
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1943 0 0 0 38929 73 0 0 25 0 1 0 632888841 11149312 1864 4294967295 134512640 134714508 3221221776 3221220464 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2722 1864 1111 63 0 2659 0
vsize: 10888
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 1958 0 0 0 39928 74 0 0 25 0 1 0 632888841 11284480 1879 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2755 1879 1111 63 0 2692 0
vsize: 11020
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2015 0 0 0 40927 75 0 0 25 0 1 0 632888841 11489280 1936 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1936 1111 63 0 2742 0
vsize: 11220
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2049 0 0 0 41926 77 0 0 25 0 1 0 632888841 11624448 1970 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2838 1970 1111 63 0 2775 0
vsize: 11352
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2052 0 0 0 42925 78 0 0 25 0 1 0 632888841 11624448 1973 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2838 1973 1111 63 0 2775 0
vsize: 11352
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2063 0 0 0 43923 80 0 0 25 0 1 0 632888841 11624448 1984 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2838 1984 1111 63 0 2775 0
vsize: 11352
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2087 0 0 0 44922 82 0 0 25 0 1 0 632888841 11759616 2008 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2871 2008 1111 63 0 2808 0
vsize: 11484
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2104 0 0 0 45920 84 0 0 25 0 1 0 632888841 11759616 2025 4294967295 134512640 134714508 3221221776 3221220528 134588020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2871 2025 1111 63 0 2808 0
vsize: 11484
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2125 0 0 0 46917 86 0 0 25 0 1 0 632888841 11894784 2046 4294967295 134512640 134714508 3221221776 3221220344 1077377362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2904 2046 1111 63 0 2841 0
vsize: 11616
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2125 0 0 0 47916 88 0 0 25 0 1 0 632888841 11894784 2046 4294967295 134512640 134714508 3221221776 3221220404 134696230 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2904 2046 1111 63 0 2841 0
vsize: 11616
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2125 0 0 0 48914 90 0 0 25 0 1 0 632888841 11894784 2046 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2904 2046 1111 63 0 2841 0
vsize: 11616
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2125 0 0 0 49913 92 0 0 25 0 1 0 632888841 11894784 2046 4294967295 134512640 134714508 3221221776 3221220192 134697397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2904 2046 1111 63 0 2841 0
vsize: 11616
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2140 0 0 0 50911 93 0 0 25 0 1 0 632888841 12029952 2061 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2061 1111 63 0 2874 0
vsize: 11748
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2143 0 0 0 51909 96 0 0 25 0 1 0 632888841 12029952 2064 4294967295 134512640 134714508 3221221776 3221220492 134551880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2064 1111 63 0 2874 0
vsize: 11748
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2160 0 0 0 52907 98 0 0 25 0 1 0 632888841 12029952 2081 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2081 1111 63 0 2874 0
vsize: 11748
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2181 0 0 0 53905 100 0 0 25 0 1 0 632888841 12136448 2102 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2963 2102 1111 63 0 2900 0
vsize: 11852
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2214 0 0 0 54904 101 0 0 25 0 1 0 632888841 12263424 2135 4294967295 134512640 134714508 3221221776 3221220332 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2994 2135 1111 63 0 2931 0
vsize: 11976
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2235 0 0 0 55903 103 0 0 25 0 1 0 632888841 12398592 2156 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3027 2156 1111 63 0 2964 0
vsize: 12108
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2245 0 0 0 56902 104 0 0 25 0 1 0 632888841 12398592 2166 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3027 2166 1111 63 0 2964 0
vsize: 12108
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2252 0 0 0 57901 105 0 0 25 0 1 0 632888841 12398592 2173 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3027 2173 1111 63 0 2964 0
vsize: 12108
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2269 0 0 0 58900 106 0 0 25 0 1 0 632888841 12533760 2190 4294967295 134512640 134714508 3221221776 3221220580 134588084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2190 1111 63 0 2997 0
vsize: 12240
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2269 0 0 0 59899 108 0 0 25 0 1 0 632888841 12517376 2190 4294967295 134512640 134714508 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2190 1111 63 0 2993 0
vsize: 12224
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2276 0 0 0 60897 110 0 0 25 0 1 0 632888841 12517376 2197 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2197 1111 63 0 2993 0
vsize: 12224
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2276 0 0 0 61895 111 0 0 25 0 1 0 632888841 12517376 2197 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2197 1111 63 0 2993 0
vsize: 12224
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2276 0 0 0 62894 113 0 0 25 0 1 0 632888841 12517376 2197 4294967295 134512640 134714508 3221221776 3221220416 134696077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2197 1111 63 0 2993 0
vsize: 12224
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2284 0 0 0 63893 114 0 0 25 0 1 0 632888841 12517376 2205 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2205 1111 63 0 2993 0
vsize: 12224
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2286 0 0 0 64892 115 0 0 25 0 1 0 632888841 12517376 2207 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2207 1111 63 0 2993 0
vsize: 12224
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2288 0 0 0 65891 117 0 0 25 0 1 0 632888841 12517376 2209 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2209 1111 63 0 2993 0
vsize: 12224
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2297 0 0 0 66890 118 0 0 25 0 1 0 632888841 12640256 2218 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3086 2218 1111 63 0 3023 0
vsize: 12344
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2303 0 0 0 67888 119 0 0 25 0 1 0 632888841 12640256 2224 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3086 2224 1111 63 0 3023 0
vsize: 12344
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2310 0 0 0 68888 120 0 0 25 0 1 0 632888841 12640256 2231 4294967295 134512640 134714508 3221221776 3221220508 134558784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3086 2231 1111 63 0 3023 0
vsize: 12344
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2336 0 0 0 69887 122 0 0 25 0 1 0 632888841 12775424 2257 4294967295 134512640 134714508 3221221776 3221220344 1077377185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3119 2257 1111 63 0 3056 0
vsize: 12476
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2363 0 0 0 70885 123 0 0 25 0 1 0 632888841 12910592 2284 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2284 1111 63 0 3089 0
vsize: 12608
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2363 0 0 0 71884 124 0 0 25 0 1 0 632888841 12910592 2284 4294967295 134512640 134714508 3221221776 3221220424 134539351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2284 1111 63 0 3089 0
vsize: 12608
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2363 0 0 0 72883 126 0 0 25 0 1 0 632888841 12910592 2284 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2284 1111 63 0 3089 0
vsize: 12608
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2363 0 0 0 73881 127 0 0 25 0 1 0 632888841 12910592 2284 4294967295 134512640 134714508 3221221776 3221220336 134552032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2284 1111 63 0 3089 0
vsize: 12608
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2368 0 0 0 74880 129 0 0 25 0 1 0 632888841 12910592 2289 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2289 1111 63 0 3089 0
vsize: 12608
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2374 0 0 0 75879 130 0 0 25 0 1 0 632888841 12910592 2295 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+770.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2374 0 0 0 76881 131 0 0 25 0 1 0 632888841 12910592 2295 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2374 0 0 0 77880 132 0 0 25 0 1 0 632888841 12910592 2295 4294967295 134512640 134714508 3221221776 3221220760 134598413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2374 0 0 0 78879 134 0 0 25 0 1 0 632888841 12910592 2295 4294967295 134512640 134714508 3221221776 3221220484 134584832 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+800.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2374 0 0 0 79877 135 0 0 25 0 1 0 632888841 12910592 2295 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+810.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2380 0 0 0 80876 137 0 0 25 0 1 0 632888841 12910592 2301 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2301 1111 63 0 3089 0
vsize: 12608
[startup+820.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2380 0 0 0 81875 138 0 0 25 0 1 0 632888841 12910592 2301 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2301 1111 63 0 3089 0
vsize: 12608
[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2380 0 0 0 82873 140 0 0 25 0 1 0 632888841 12910592 2301 4294967295 134512640 134714508 3221221776 3221220512 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2301 1111 63 0 3089 0
vsize: 12608
[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2387 0 0 0 83872 141 0 0 25 0 1 0 632888841 12910592 2308 4294967295 134512640 134714508 3221221776 3221219864 134697439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3152 2308 1111 63 0 3089 0
vsize: 12608
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2388 0 0 0 84871 143 0 0 25 0 1 0 632888841 13045760 2309 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2309 1111 63 0 3122 0
vsize: 12740
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2390 0 0 0 85869 144 0 0 25 0 1 0 632888841 13045760 2311 4294967295 134512640 134714508 3221221776 3221220368 134549600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2311 1111 63 0 3122 0
vsize: 12740
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2397 0 0 0 86868 146 0 0 25 0 1 0 632888841 13045760 2318 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2318 1111 63 0 3122 0
vsize: 12740
[startup+880.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2404 0 0 0 87866 148 0 0 25 0 1 0 632888841 13045760 2325 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2325 1111 63 0 3122 0
vsize: 12740
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2413 0 0 0 88865 149 0 0 25 0 1 0 632888841 13045760 2334 4294967295 134512640 134714508 3221221776 3221220272 134535468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2334 1111 63 0 3122 0
vsize: 12740
[startup+900.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2416 0 0 0 89864 151 0 0 25 0 1 0 632888841 13045760 2337 4294967295 134512640 134714508 3221221776 3221220464 134534112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2337 1111 63 0 3122 0
vsize: 12740
[startup+910.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2426 0 0 0 90863 152 0 0 25 0 1 0 632888841 13172736 2347 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3216 2347 1111 63 0 3153 0
vsize: 12864
[startup+920.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2428 0 0 0 91862 154 0 0 25 0 1 0 632888841 13172736 2349 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3216 2349 1111 63 0 3153 0
vsize: 12864
[startup+930.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2428 0 0 0 92861 155 0 0 25 0 1 0 632888841 13168640 2349 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2349 1111 63 0 3152 0
vsize: 12860
[startup+940.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2435 0 0 0 93860 156 0 0 25 0 1 0 632888841 13168640 2356 4294967295 134512640 134714508 3221221776 3221220416 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2356 1111 63 0 3152 0
vsize: 12860
[startup+950.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2452 0 0 0 94859 158 0 0 25 0 1 0 632888841 13230080 2373 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3230 2373 1111 63 0 3167 0
vsize: 12920
[startup+960.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2484 0 0 0 95858 159 0 0 25 0 1 0 632888841 13365248 2405 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3263 2405 1111 63 0 3200 0
vsize: 13052
[startup+970.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2515 0 0 0 96856 160 0 0 25 0 1 0 632888841 13500416 2436 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3296 2436 1111 63 0 3233 0
vsize: 13184
[startup+980.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2594 0 0 0 97855 162 0 0 25 0 1 0 632888841 13770752 2515 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3362 2515 1111 63 0 3299 0
vsize: 13448
[startup+990.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2612 0 0 0 98853 164 0 0 25 0 1 0 632888841 13905920 2533 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2533 1111 63 0 3332 0
vsize: 13580
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2628 0 0 0 99852 165 0 0 25 0 1 0 632888841 13905920 2549 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2549 1111 63 0 3332 0
vsize: 13580
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2631 0 0 0 100851 166 0 0 25 0 1 0 632888841 14041088 2552 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3428 2552 1111 63 0 3365 0
vsize: 13712
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2655 0 0 0 101850 168 0 0 25 0 1 0 632888841 14041088 2576 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3428 2576 1111 63 0 3365 0
vsize: 13712
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2656 0 0 0 102848 169 0 0 25 0 1 0 632888841 14041088 2577 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3428 2577 1111 63 0 3365 0
vsize: 13712
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2669 0 0 0 103848 170 0 0 25 0 1 0 632888841 14168064 2590 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2590 1111 63 0 3396 0
vsize: 13836
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2669 0 0 0 104847 171 0 0 25 0 1 0 632888841 14168064 2590 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2590 1111 63 0 3396 0
vsize: 13836
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2681 0 0 0 105846 173 0 0 25 0 1 0 632888841 14168064 2602 4294967295 134512640 134714508 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2681 0 0 0 106844 174 0 0 25 0 1 0 632888841 14168064 2602 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2689 0 0 0 107843 176 0 0 25 0 1 0 632888841 14168064 2610 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2610 1111 63 0 3396 0
vsize: 13836
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2689 0 0 0 108842 176 0 0 25 0 1 0 632888841 14168064 2610 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2610 1111 63 0 3396 0
vsize: 13836
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2702 0 0 0 109842 178 0 0 25 0 1 0 632888841 14303232 2623 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3492 2623 1111 63 0 3429 0
vsize: 13968
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2727 0 0 0 110841 179 0 0 25 0 1 0 632888841 14303232 2648 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2727 0 0 0 111840 180 0 0 25 0 1 0 632888841 14303232 2648 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2727 0 0 0 112839 181 0 0 25 0 1 0 632888841 14303232 2648 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2740 0 0 0 113837 182 0 0 25 0 1 0 632888841 14438400 2661 4294967295 134512640 134714508 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2661 1111 63 0 3462 0
vsize: 14100
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2740 0 0 0 114837 184 0 0 25 0 1 0 632888841 14438400 2661 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2661 1111 63 0 3462 0
vsize: 14100
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2757 0 0 0 115836 185 0 0 25 0 1 0 632888841 14438400 2678 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2678 1111 63 0 3462 0
vsize: 14100
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2757 0 0 0 116835 186 0 0 25 0 1 0 632888841 14438400 2678 4294967295 134512640 134714508 3221221776 3221220388 134548552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2678 1111 63 0 3462 0
vsize: 14100
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 13084
Raw data (stat): 13084 (bsolo_lpr) R 13083 7876 7672 0 -1 0 2757 0 0 0 116835 186 0 0 25 0 1 0 632888841 14438400 2678 4294967295 134512640 134714508 3221221776 3221220388 134548552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2678 1111 63 0 3462 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.03
CPU user time (s): 1173.16
CPU system time (s): 1.87671
CPU usage (%): 100.01
Max. virtual memory (Kb): 14100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####