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/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
MD5SUM	dd9b4ae34921e1731f1a12dcd9d29b23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1528
Optimality of the best value was proved	NO
Number of terms in the objective function	3456
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3456
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3456
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	3456
Total number of constraints	26520
Number of constraints which are clauses	26520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16
Trace number 23827

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 07:19:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1234 boxname=wulflinc31 idbench=138 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  dd9b4ae34921e1731f1a12dcd9d29b23  /oldhome/oroussel/tmp/wulflinc31/normalized-ii16b1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii16b1.opb
IDLAUNCH: 1234
/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:        907580 kB
Buffers:         30088 kB
Cached:          71920 kB
SwapCached:       3596 kB
Active:          62068 kB
Inactive:        45072 kB
HighTotal:      131008 kB
HighFree:        55832 kB
LowTotal:       903652 kB
LowFree:        851748 kB
SwapTotal:     2097892 kB
SwapFree:      2093676 kB
Dirty:            1104 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            14252 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 07:39:28 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 1234 7 1200.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3456 variables and 26520 constraints.
c After prepocess the problem consists of 3456 variables and 26584 constraints.
c preprocess terminated 120.753 s
c Initial Lower Bound: 625
c Lower Bound Elapsed time: 76.3028
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1728 @ 437.616
c NEW SOLUTION FOUND: 1727 @ 437.664
c NEW SOLUTION FOUND: 1726 @ 437.702
c NEW SOLUTION FOUND: 1725 @ 437.741
c NEW SOLUTION FOUND: 1724 @ 437.781
c NEW SOLUTION FOUND: 1723 @ 437.824
c NEW SOLUTION FOUND: 1722 @ 437.864
c NEW SOLUTION FOUND: 1721 @ 437.905
c NEW SOLUTION FOUND: 1720 @ 437.948
c NEW SOLUTION FOUND: 1719 @ 437.992
c NEW SOLUTION FOUND: 1718 @ 438.036
c NEW SOLUTION FOUND: 1717 @ 438.082
c NEW SOLUTION FOUND: 1716 @ 438.125
c NEW SOLUTION FOUND: 1715 @ 438.173
c NEW SOLUTION FOUND: 1714 @ 438.218
c NEW SOLUTION FOUND: 1713 @ 438.264
c NEW SOLUTION FOUND: 1712 @ 438.313
c NEW SOLUTION FOUND: 1711 @ 438.36
c NEW SOLUTION FOUND: 1710 @ 438.411
c NEW SOLUTION FOUND: 1709 @ 438.459
c NEW SOLUTION FOUND: 1708 @ 438.511
c NEW SOLUTION FOUND: 1707 @ 438.559
c NEW SOLUTION FOUND: 1706 @ 438.662
c NEW SOLUTION FOUND: 1705 @ 438.714
c NEW SOLUTION FOUND: 1704 @ 438.767
c NEW SOLUTION FOUND: 1703 @ 438.819
c NEW SOLUTION FOUND: 1702 @ 438.871
c NEW SOLUTION FOUND: 1701 @ 438.986
c NEW SOLUTION FOUND: 1700 @ 439.05
c NEW SOLUTION FOUND: 1699 @ 439.113
c NEW SOLUTION FOUND: 1698 @ 439.235
c NEW SOLUTION FOUND: 1697 @ 439.299
c NEW SOLUTION FOUND: 1696 @ 439.364
c NEW SOLUTION FOUND: 1695 @ 439.569
c NEW SOLUTION FOUND: 1694 @ 439.639
c NEW SOLUTION FOUND: 1693 @ 439.706
c NEW SOLUTION FOUND: 1692 @ 439.796
c NEW SOLUTION FOUND: 1691 @ 439.889
c NEW SOLUTION FOUND: 1690 @ 439.975
c NEW SOLUTION FOUND: 1689 @ 440.062
c NEW SOLUTION FOUND: 1688 @ 440.149
c NEW SOLUTION FOUND: 1687 @ 440.232
c NEW SOLUTION FOUND: 1686 @ 440.8
c NEW SOLUTION FOUND: 1685 @ 441.112
c NEW SOLUTION FOUND: 1684 @ 441.433
c NEW SOLUTION FOUND: 1683 @ 441.542
c NEW SOLUTION FOUND: 1682 @ 441.677
c NEW SOLUTION FOUND: 1681 @ 441.928
c NEW SOLUTION FOUND: 1680 @ 442.055
c NEW SOLUTION FOUND: 1679 @ 442.183
c NEW SOLUTION FOUND: 1678 @ 442.312
c NEW SOLUTION FOUND: 1677 @ 442.446
c NEW SOLUTION FOUND: 1676 @ 442.689
c NEW SOLUTION FOUND: 1675 @ 442.953
c NEW SOLUTION FOUND: 1674 @ 443.341
c NEW SOLUTION FOUND: 1673 @ 443.62
c NEW SOLUTION FOUND: 1672 @ 443.754
c NEW SOLUTION FOUND: 1671 @ 444.146
c NEW SOLUTION FOUND: 1670 @ 444.539
c NEW SOLUTION FOUND: 1669 @ 444.815
c NEW SOLUTION FOUND: 1668 @ 444.951
c NEW SOLUTION FOUND: 1667 @ 445.09
c NEW SOLUTION FOUND: 1666 @ 445.235
c NEW SOLUTION FOUND: 1665 @ 445.376
c NEW SOLUTION FOUND: 1664 @ 445.651
c NEW SOLUTION FOUND: 1663 @ 445.936
c NEW SOLUTION FOUND: 1662 @ 446.202
c NEW SOLUTION FOUND: 1661 @ 446.492
c NEW SOLUTION FOUND: 1660 @ 446.665
c NEW SOLUTION FOUND: 1659 @ 446.836
c NEW SOLUTION FOUND: 1658 @ 447
c NEW SOLUTION FOUND: 1657 @ 447.282
c NEW SOLUTION FOUND: 1656 @ 447.589
c NEW SOLUTION FOUND: 1655 @ 447.906
c NEW SOLUTION FOUND: 1654 @ 448.837
c NEW SOLUTION FOUND: 1653 @ 449.005
c NEW SOLUTION FOUND: 1652 @ 449.394
c NEW SOLUTION FOUND: 1651 @ 450.166
c NEW SOLUTION FOUND: 1650 @ 450.622
#### 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.06 1.02 1.00 2/54 10405
Raw data (stat): 10405 (runsolver) R 10404 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 664186756 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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+9.99987 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 5589 0 0 0 978 16 0 0 25 0 1 0 664186756 26075136 5503 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6366 5503 1111 63 0 6303 0
vsize: 25464
[startup+19.9997 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 5906 0 0 0 1977 17 0 0 25 0 1 0 664186756 27426816 5820 4294967295 134512640 134714508 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6696 5820 1111 63 0 6633 0
vsize: 26784
[startup+30.0008 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 5913 0 0 0 2977 18 0 0 25 0 1 0 664186756 27426816 5827 4294967295 134512640 134714508 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6696 5827 1111 63 0 6633 0
vsize: 26784
[startup+40.0007 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 5918 0 0 0 3977 18 0 0 25 0 1 0 664186756 27426816 5832 4294967295 134512640 134714508 3221221792 3221220124 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6696 5832 1111 63 0 6633 0
vsize: 26784
[startup+50.0017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 5923 0 0 0 4977 19 0 0 25 0 1 0 664186756 27426816 5837 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6696 5837 1111 63 0 6633 0
vsize: 26784
[startup+60.0016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 19803 0 0 0 5943 52 0 0 25 0 1 0 664186756 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18378 1111 63 0 19162 0
vsize: 76900
[startup+70.0014 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 19803 0 0 0 6944 52 0 0 25 0 1 0 664186756 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18378 1111 63 0 19162 0
vsize: 76900
[startup+80.0023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 19803 0 0 0 7944 52 0 0 25 0 1 0 664186756 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18378 1111 63 0 19162 0
vsize: 76900
[startup+90.0022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 19803 0 0 0 8944 52 0 0 25 0 1 0 664186756 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18378 1111 63 0 19162 0
vsize: 76900
[startup+100.002 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 19803 0 0 0 9944 52 0 0 25 0 1 0 664186756 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18378 1111 63 0 19162 0
vsize: 76900
[startup+110.002 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 19803 0 0 0 10944 52 0 0 25 0 1 0 664186756 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18378 1111 63 0 19162 0
vsize: 76900
[startup+120.002 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 20012 0 0 0 11944 53 0 0 25 0 1 0 664186756 79597568 18587 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19433 18587 1111 63 0 19370 0
vsize: 77732
[startup+130.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 20393 0 0 0 12941 55 0 0 25 0 1 0 664186756 81346560 18968 4294967295 134512640 134714508 3221221792 3221220112 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19860 18968 1111 63 0 19797 0
vsize: 79440
[startup+140.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 20442 0 0 0 13940 56 0 0 25 0 1 0 664186756 81481728 19017 4294967295 134512640 134714508 3221221792 3221220112 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19893 19017 1111 63 0 19830 0
vsize: 79572
[startup+150.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 20569 0 0 0 14938 58 0 0 25 0 1 0 664186756 81956864 19144 4294967295 134512640 134714508 3221221792 3221220112 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20009 19144 1111 63 0 19946 0
vsize: 80036
[startup+160.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 20595 0 0 0 15937 59 0 0 25 0 1 0 664186756 82055168 19170 4294967295 134512640 134714508 3221221792 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20033 19170 1111 63 0 19970 0
vsize: 80132
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 20709 0 0 0 16936 60 0 0 25 0 1 0 664186756 82300928 19242 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20093 19242 1111 63 0 20030 0
vsize: 80372
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 21154 0 0 0 17934 62 0 0 25 0 1 0 664186756 84062208 19687 4294967295 134512640 134714508 3221221792 3221219360 1074247419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20523 19687 1111 63 0 20460 0
vsize: 82092
[startup+190.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24251 0 0 0 18929 68 0 0 25 0 1 0 664186756 100462592 21821 4294967295 134512640 134714508 3221221792 3221217932 1075116784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21821 1111 63 0 24464 0
vsize: 98108
[startup+200.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24287 0 0 0 19929 68 0 0 25 0 1 0 664186756 100462592 21839 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21839 1111 63 0 24464 0
vsize: 98108
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24313 0 0 0 20929 68 0 0 25 0 1 0 664186756 100462592 21847 4294967295 134512640 134714508 3221221792 3221218048 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21847 1111 63 0 24464 0
vsize: 98108
[startup+220.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24337 0 0 0 21929 68 0 0 25 0 1 0 664186756 100462592 21853 4294967295 134512640 134714508 3221221792 3221217984 1074960926 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21853 1111 63 0 24464 0
vsize: 98108
[startup+230.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24386 0 0 0 22929 68 0 0 25 0 1 0 664186756 100462592 21886 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21886 1111 63 0 24464 0
vsize: 98108
[startup+240.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24427 0 0 0 23929 69 0 0 25 0 1 0 664186756 100675584 21901 4294967295 134512640 134714508 3221221792 3221218304 1074885483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24579 21901 1111 63 0 24516 0
vsize: 98316
[startup+250.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24455 0 0 0 24929 69 0 0 25 0 1 0 664186756 100675584 21903 4294967295 134512640 134714508 3221221792 3221218784 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24579 21903 1111 63 0 24516 0
vsize: 98316
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24481 0 0 0 25928 70 0 0 25 0 1 0 664186756 100675584 21903 4294967295 134512640 134714508 3221221792 3221218480 1076084148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24579 21903 1111 63 0 24516 0
vsize: 98316
[startup+270.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24508 0 0 0 26928 70 0 0 25 0 1 0 664186756 100462592 21904 4294967295 134512640 134714508 3221221792 3221217932 1075116489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21904 1111 63 0 24464 0
vsize: 98108
[startup+280.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24535 0 0 0 27928 70 0 0 25 0 1 0 664186756 100462592 21905 4294967295 134512640 134714508 3221221792 3221218832 1074837212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21905 1111 63 0 24464 0
vsize: 98108
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24559 0 0 0 28928 70 0 0 25 0 1 0 664186756 100462592 21905 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21905 1111 63 0 24464 0
vsize: 98108
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24585 0 0 0 29928 70 0 0 25 0 1 0 664186756 100462592 21905 4294967295 134512640 134714508 3221221792 3221217708 1074860949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21905 1111 63 0 24464 0
vsize: 98108
[startup+310.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24611 0 0 0 30928 71 0 0 25 0 1 0 664186756 100462592 21905 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21905 1111 63 0 24464 0
vsize: 98108
[startup+320.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24637 0 0 0 31928 71 0 0 25 0 1 0 664186756 100462592 21905 4294967295 134512640 134714508 3221221792 3221217932 1075116474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 21905 1111 63 0 24464 0
vsize: 98108
[startup+330.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 24733 0 0 0 32928 71 0 0 25 0 1 0 664186756 101367808 21975 4294967295 134512640 134714508 3221221792 3221218784 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24748 21975 1111 63 0 24685 0
vsize: 98992
[startup+340.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 27642 0 0 0 33921 78 0 0 25 0 1 0 664186756 83955712 19726 4294967295 134512640 134714508 3221221792 3221220048 1073988032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20497 19726 1111 63 0 20434 0
vsize: 81988
[startup+350.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 33534 0 0 0 34909 91 0 0 25 0 1 0 664186756 101675008 22171 4294967295 134512640 134714508 3221221792 3221218368 1075967422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24823 22171 1111 63 0 24760 0
vsize: 99292
[startup+360.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 33605 0 0 0 35909 91 0 0 25 0 1 0 664186756 102154240 22216 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24940 22216 1111 63 0 24877 0
vsize: 99760
[startup+370.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 42398 0 0 0 36889 111 0 0 25 0 1 0 664186756 102113280 22330 4294967295 134512640 134714508 3221221792 3221217840 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24930 22330 1111 63 0 24867 0
vsize: 99720
[startup+380.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 42423 0 0 0 37888 112 0 0 25 0 1 0 664186756 102326272 22333 4294967295 134512640 134714508 3221221792 3221218784 1074867358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24982 22333 1111 63 0 24919 0
vsize: 99928
[startup+390.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 49235 0 0 0 38872 128 0 0 25 0 1 0 664186756 90755072 20637 4294967295 134512640 134714508 3221221792 3221218992 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22157 20641 1111 63 0 22094 0
vsize: 88628
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 51307 0 0 0 39868 132 0 0 25 0 1 0 664186756 102350848 22394 4294967295 134512640 134714508 3221221792 3221217932 1075116541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24988 22394 1111 63 0 24925 0
vsize: 99952
[startup+410.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 51333 0 0 0 40868 132 0 0 25 0 1 0 664186756 102563840 22396 4294967295 134512640 134714508 3221221792 3221218368 1075967398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25040 22396 1111 63 0 24977 0
vsize: 100160
[startup+420.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 51357 0 0 0 41868 132 0 0 25 0 1 0 664186756 102350848 22394 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24988 22394 1111 63 0 24925 0
vsize: 99952
[startup+430.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 54098 0 0 0 42861 139 0 0 25 0 1 0 664186756 84619264 19894 4294967295 134512640 134714508 3221221792 3221220504 134551881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20659 19894 1111 63 0 20596 0
vsize: 82636
[startup+440.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 56590 0 0 0 43853 147 0 0 25 0 1 0 664186756 82546688 19432 4294967295 134512640 134714508 3221221792 3221220412 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20153 19432 1111 63 0 20090 0
vsize: 80612
[startup+450.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 74692 0 0 0 44808 193 0 0 25 0 1 0 664186756 82546688 19435 4294967295 134512640 134714508 3221221792 3221219536 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20153 19435 1111 63 0 20090 0
vsize: 80612
[startup+460.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 76562 0 0 0 45802 198 0 0 25 0 1 0 664186756 82890752 19519 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20237 19519 1111 63 0 20174 0
vsize: 80948
[startup+470.007 s]
Raw data (loadavg): 1.15 1.03 1.01 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 76637 0 0 0 46802 198 0 0 25 0 1 0 664186756 83197952 19594 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20312 19594 1111 63 0 20249 0
vsize: 81248
[startup+480.007 s]
Raw data (loadavg): 1.13 1.03 1.01 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 76767 0 0 0 47801 199 0 0 25 0 1 0 664186756 83730432 19724 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20442 19724 1111 63 0 20379 0
vsize: 81768
[startup+490.007 s]
Raw data (loadavg): 1.11 1.03 1.01 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 79266 0 0 0 48795 206 0 0 25 0 1 0 664186756 99504128 21510 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24293 21510 1111 63 0 24230 0
vsize: 97172
[startup+500.008 s]
Raw data (loadavg): 1.09 1.03 1.01 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 79316 0 0 0 49795 206 0 0 25 0 1 0 664186756 99504128 21526 4294967295 134512640 134714508 3221221792 3221218064 1074961347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24293 21526 1111 63 0 24230 0
vsize: 97172
[startup+510.008 s]
Raw data (loadavg): 1.08 1.03 1.01 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 79343 0 0 0 50794 207 0 0 25 0 1 0 664186756 99504128 21535 4294967295 134512640 134714508 3221221792 3221218012 1075116471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24293 21535 1111 63 0 24230 0
vsize: 97172
[startup+520.008 s]
Raw data (loadavg): 1.06 1.03 1.01 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 79392 0 0 0 51794 207 0 0 25 0 1 0 664186756 99504128 21560 4294967295 134512640 134714508 3221221792 3221218012 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24293 21560 1111 63 0 24230 0
vsize: 97172
[startup+530.008 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 79421 0 0 0 52794 207 0 0 25 0 1 0 664186756 99504128 21563 4294967295 134512640 134714508 3221221792 3221218012 1075116851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24293 21563 1111 63 0 24230 0
vsize: 97172
[startup+540.009 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 79456 0 0 0 53794 208 0 0 25 0 1 0 664186756 99504128 21566 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24293 21566 1111 63 0 24230 0
vsize: 97172
[startup+550.009 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 79491 0 0 0 54794 208 0 0 25 0 1 0 664186756 99504128 21571 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24293 21571 1111 63 0 24230 0
vsize: 97172
[startup+560.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 79569 0 0 0 55794 208 0 0 25 0 1 0 664186756 100036608 21617 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24423 21617 1111 63 0 24360 0
vsize: 97692
[startup+570.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 81518 0 0 0 56789 213 0 0 25 0 1 0 664186756 83013632 19549 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20267 19549 1111 63 0 20204 0
vsize: 81068
[startup+580.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 81640 0 0 0 57788 215 0 0 25 0 1 0 664186756 83513344 19671 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20389 19671 1111 63 0 20326 0
vsize: 81556
[startup+590.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 81692 0 0 0 58786 216 0 0 25 0 1 0 664186756 83726336 19723 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20441 19723 1111 63 0 20378 0
vsize: 81764
[startup+600.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 84075 0 0 0 59781 222 0 0 25 0 1 0 664186756 99033088 21405 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24178 21405 1111 63 0 24115 0
vsize: 96712
[startup+610.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 84123 0 0 0 60780 222 0 0 25 0 1 0 664186756 99033088 21415 4294967295 134512640 134714508 3221221792 3221218012 1075116719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24178 21415 1111 63 0 24115 0
vsize: 96712
[startup+620.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 84179 0 0 0 61780 223 0 0 25 0 1 0 664186756 99033088 21433 4294967295 134512640 134714508 3221221792 3221218012 1075116716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24178 21433 1111 63 0 24115 0
vsize: 96712
[startup+630.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 84220 0 0 0 62780 223 0 0 25 0 1 0 664186756 99033088 21440 4294967295 134512640 134714508 3221221792 3221218336 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24178 21440 1111 63 0 24115 0
vsize: 96712
[startup+640.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 84292 0 0 0 63780 224 0 0 25 0 1 0 664186756 99524608 21486 4294967295 134512640 134714508 3221221792 3221218064 1074961361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24298 21486 1111 63 0 24235 0
vsize: 97192
[startup+650.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 86123 0 0 0 64775 228 0 0 25 0 1 0 664186756 82870272 19514 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20232 19514 1111 63 0 20169 0
vsize: 80928
[startup+660.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 86268 0 0 0 65775 229 0 0 25 0 1 0 664186756 83464192 19659 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20377 19659 1111 63 0 20314 0
vsize: 81508
[startup+670.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 86326 0 0 0 66774 230 0 0 25 0 1 0 664186756 83701760 19717 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19717 1111 63 0 20372 0
vsize: 81740
[startup+680.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88575 0 0 0 67769 235 0 0 25 0 1 0 664186756 98865152 21328 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24137 21328 1111 63 0 24074 0
vsize: 96548
[startup+690.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88638 0 0 0 68768 236 0 0 25 0 1 0 664186756 98865152 21351 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24137 21351 1111 63 0 24074 0
vsize: 96548
[startup+700.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88684 0 0 0 69768 236 0 0 25 0 1 0 664186756 98865152 21373 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24137 21373 1111 63 0 24074 0
vsize: 96548
[startup+710.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88712 0 0 0 70768 236 0 0 25 0 1 0 664186756 98865152 21379 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24137 21379 1111 63 0 24074 0
vsize: 96548
[startup+720.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88757 0 0 0 71768 236 0 0 25 0 1 0 664186756 98865152 21394 4294967295 134512640 134714508 3221221792 3221217788 1074860949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24137 21394 1111 63 0 24074 0
vsize: 96548
[startup+730.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88796 0 0 0 72768 236 0 0 25 0 1 0 664186756 99016704 21399 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24174 21399 1111 63 0 24111 0
vsize: 96696
[startup+740.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88838 0 0 0 73768 237 0 0 25 0 1 0 664186756 98865152 21403 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24137 21403 1111 63 0 24074 0
vsize: 96548
[startup+750.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88870 0 0 0 74768 237 0 0 25 0 1 0 664186756 98865152 21403 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24137 21403 1111 63 0 24074 0
vsize: 96548
[startup+760.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 88946 0 0 0 75768 237 0 0 25 0 1 0 664186756 99352576 21447 4294967295 134512640 134714508 3221221792 3221218012 1075116523 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24256 21447 1111 63 0 24193 0
vsize: 97024
[startup+770.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 90678 0 0 0 76764 242 0 0 25 0 1 0 664186756 83013632 19549 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20267 19549 1111 63 0 20204 0
vsize: 81068
[startup+780.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 90800 0 0 0 77763 243 0 0 25 0 1 0 664186756 83513344 19671 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20389 19671 1111 63 0 20326 0
vsize: 81556
[startup+790.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 92790 0 0 0 78756 249 0 0 25 0 1 0 664186756 98529280 21017 4294967295 134512640 134714508 3221221792 3221217936 1074970373 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24055 21017 1111 63 0 23992 0
vsize: 96220
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 93161 0 0 0 79755 250 0 0 25 0 1 0 664186756 98717696 21338 4294967295 134512640 134714508 3221221792 3221218000 1074815423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24101 21338 1111 63 0 24038 0
vsize: 96404
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 93209 0 0 0 80755 251 0 0 25 0 1 0 664186756 98865152 21356 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24137 21356 1111 63 0 24074 0
vsize: 96548
[startup+820.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 93241 0 0 0 81755 251 0 0 25 0 1 0 664186756 98717696 21356 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24101 21356 1111 63 0 24038 0
vsize: 96404
[startup+830.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 93275 0 0 0 82755 251 0 0 25 0 1 0 664186756 98717696 21360 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24101 21360 1111 63 0 24038 0
vsize: 96404
[startup+840.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 93352 0 0 0 83755 251 0 0 25 0 1 0 664186756 99196928 21405 4294967295 134512640 134714508 3221221792 3221218124 1076111473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24218 21405 1111 63 0 24155 0
vsize: 96872
[startup+850.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 95172 0 0 0 84751 255 0 0 25 0 1 0 664186756 83013632 19549 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20267 19549 1111 63 0 20204 0
vsize: 81068
[startup+860.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 95293 0 0 0 85750 257 0 0 25 0 1 0 664186756 83509248 19670 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20388 19670 1111 63 0 20325 0
vsize: 81552
[startup+870.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 97432 0 0 0 86745 262 0 0 25 0 1 0 664186756 98566144 21176 4294967295 134512640 134714508 3221221792 3221218824 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24064 21176 1111 63 0 24001 0
vsize: 96256
[startup+880.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 97579 0 0 0 87744 263 0 0 25 0 1 0 664186756 98566144 21279 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24064 21279 1111 63 0 24001 0
vsize: 96256
[startup+890.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 97627 0 0 0 88744 263 0 0 25 0 1 0 664186756 98709504 21293 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24099 21293 1111 63 0 24036 0
vsize: 96396
[startup+900.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 97670 0 0 0 89744 263 0 0 25 0 1 0 664186756 98566144 21298 4294967295 134512640 134714508 3221221792 3221217936 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24064 21298 1111 63 0 24001 0
vsize: 96256
[startup+910.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 97704 0 0 0 90744 264 0 0 25 0 1 0 664186756 98566144 21298 4294967295 134512640 134714508 3221221792 3221217788 1074860977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24064 21298 1111 63 0 24001 0
vsize: 96256
[startup+920.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 97739 0 0 0 91744 264 0 0 25 0 1 0 664186756 98566144 21299 4294967295 134512640 134714508 3221221792 3221217788 1074860993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24064 21299 1111 63 0 24001 0
vsize: 96256
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 97809 0 0 0 92744 264 0 0 25 0 1 0 664186756 99037184 21343 4294967295 134512640 134714508 3221221792 3221218012 1075116471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24179 21343 1111 63 0 24116 0
vsize: 96716
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 99560 0 0 0 93741 268 0 0 25 0 1 0 664186756 83013632 19549 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20267 19549 1111 63 0 20204 0
vsize: 81068
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 99683 0 0 0 94740 268 0 0 25 0 1 0 664186756 83517440 19672 4294967295 134512640 134714508 3221221792 3221219744 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20390 19672 1111 63 0 20327 0
vsize: 81560
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 101812 0 0 0 95735 274 0 0 25 0 1 0 664186756 98603008 21179 4294967295 134512640 134714508 3221221792 3221218560 1076083919 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24073 21179 1111 63 0 24010 0
vsize: 96292
[startup+970.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 101915 0 0 0 96734 275 0 0 25 0 1 0 664186756 98463744 21254 4294967295 134512640 134714508 3221221792 3221218012 1075116474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24039 21254 1111 63 0 23976 0
vsize: 96156
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 101940 0 0 0 97734 275 0 0 25 0 1 0 664186756 98603008 21261 4294967295 134512640 134714508 3221221792 3221218448 1075967695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24073 21261 1111 63 0 24010 0
vsize: 96292
[startup+990.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 101954 0 0 0 98734 275 0 0 25 0 1 0 664186756 98463744 21261 4294967295 134512640 134714508 3221221792 3221218012 1075116486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24039 21261 1111 63 0 23976 0
vsize: 96156
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 101972 0 0 0 99735 275 0 0 25 0 1 0 664186756 98603008 21265 4294967295 134512640 134714508 3221221792 3221218448 1075967910 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24073 21265 1111 63 0 24010 0
vsize: 96292
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 101991 0 0 0 100735 275 0 0 25 0 1 0 664186756 98463744 21266 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24039 21266 1111 63 0 23976 0
vsize: 96156
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 102025 0 0 0 101735 275 0 0 25 0 1 0 664186756 98463744 21274 4294967295 134512640 134714508 3221221792 3221218012 1075116728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24039 21274 1111 63 0 23976 0
vsize: 96156
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 102063 0 0 0 102735 275 0 0 25 0 1 0 664186756 98463744 21274 4294967295 134512640 134714508 3221221792 3221218012 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24039 21274 1111 63 0 23976 0
vsize: 96156
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 102100 0 0 0 103735 275 0 0 25 0 1 0 664186756 98463744 21277 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24039 21277 1111 63 0 23976 0
vsize: 96156
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 102169 0 0 0 104735 275 0 0 25 0 1 0 664186756 98926592 21314 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24152 21314 1111 63 0 24089 0
vsize: 96608
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 103888 0 0 0 105731 279 0 0 25 0 1 0 664186756 83013632 19549 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20267 19549 1111 63 0 20204 0
vsize: 81068
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 103933 0 0 0 106731 279 0 0 25 0 1 0 664186756 83197952 19594 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20312 19594 1111 63 0 20249 0
vsize: 81248
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 106142 0 0 0 107727 284 0 0 25 0 1 0 664186756 98447360 21178 4294967295 134512640 134714508 3221221792 3221218224 1075119627 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24035 21178 1111 63 0 23972 0
vsize: 96140
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 106256 0 0 0 108726 285 0 0 25 0 1 0 664186756 98447360 21250 4294967295 134512640 134714508 3221221792 3221218064 1074961283 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24035 21250 1111 63 0 23972 0
vsize: 96140
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 106298 0 0 0 109727 285 0 0 25 0 1 0 664186756 98447360 21264 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24035 21264 1111 63 0 23972 0
vsize: 96140
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 106334 0 0 0 110726 285 0 0 25 0 1 0 664186756 98447360 21264 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24035 21264 1111 63 0 23972 0
vsize: 96140
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 106374 0 0 0 111726 285 0 0 25 0 1 0 664186756 98447360 21270 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24035 21270 1111 63 0 23972 0
vsize: 96140
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 106406 0 0 0 112727 285 0 0 25 0 1 0 664186756 98447360 21270 4294967295 134512640 134714508 3221221792 3221218012 1075116474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24035 21270 1111 63 0 23972 0
vsize: 96140
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 106480 0 0 0 113727 285 0 0 25 0 1 0 664186756 98910208 21310 4294967295 134512640 134714508 3221221792 3221218012 1075116779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24148 21310 1111 63 0 24085 0
vsize: 96592
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 108178 0 0 0 114723 289 0 0 25 0 1 0 664186756 82931712 19529 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20247 19529 1111 63 0 20184 0
vsize: 80988
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 108313 0 0 0 115723 289 0 0 25 0 1 0 664186756 83484672 19664 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20382 19664 1111 63 0 20319 0
vsize: 81528
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 108750 0 0 0 116722 291 0 0 25 0 1 0 664186756 86618112 20101 4294967295 134512640 134714508 3221221792 3221219440 1075817784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21147 20103 1111 63 0 21084 0
vsize: 84588
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 110497 0 0 0 117718 295 0 0 25 0 1 0 664186756 98390016 21211 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24021 21211 1111 63 0 23958 0
vsize: 96084
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 110533 0 0 0 118718 295 0 0 25 0 1 0 664186756 98529280 21229 4294967295 134512640 134714508 3221221792 3221218384 1074887960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24055 21229 1111 63 0 23992 0
vsize: 96220
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10405
Raw data (stat): 10405 (bsolo_lpr) R 10404 7876 7672 0 -1 0 110578 0 0 0 119718 295 0 0 25 0 1 0 664186756 98390016 21246 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24021 21246 1111 63 0 23958 0
vsize: 96084
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10405
Raw data (stat): 10405 (bsolo_lpr) Z 10404 7876 7672 0 -1 1036 110578 0 0 0 119718 299 0 0 25 0 1 0 664186756 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.18
CPU user time (s): 1197.18
CPU system time (s): 2.99754
CPU usage (%): 100.01
Max. virtual memory (Kb): 100160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####