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-ii16a1.opb
MD5SUM	8d302f04261c322e5b8c31c087553d24
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1272
Optimality of the best value was proved	NO
Number of terms in the objective function	3300
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	3300
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	3300
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.06
Number of variables	3300
Total number of constraints	21018
Number of constraints which are clauses	21018
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 23817

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 03:58:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1216 boxname=wulflinc31 idbench=136 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8d302f04261c322e5b8c31c087553d24  /oldhome/oroussel/tmp/wulflinc31/normalized-ii16a1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii16a1.opb
IDLAUNCH: 1216
/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:        919264 kB
Buffers:         21160 kB
Cached:          69152 kB
SwapCached:       3596 kB
Active:          53864 kB
Inactive:        41596 kB
HighTotal:      131008 kB
HighFree:        58660 kB
LowTotal:       903652 kB
LowFree:        860604 kB
SwapTotal:     2097892 kB
SwapFree:      2093676 kB
Dirty:              88 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14232 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 04:18:20 (client local time) WITH STATUS 0 IN 1200.66 SECONDS
stats: 1216 7 1200.66 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3300 variables and 21018 constraints.
c After prepocess the problem consists of 3300 variables and 21018 constraints.
c preprocess terminated 79.089 s
c Initial Lower Bound: 630
c Lower Bound Elapsed time: 27.9468
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1650 @ 192.25
c NEW SOLUTION FOUND: 1649 @ 192.258
c NEW SOLUTION FOUND: 1648 @ 192.304
c NEW SOLUTION FOUND: 1647 @ 192.341
c NEW SOLUTION FOUND: 1646 @ 192.38
c NEW SOLUTION FOUND: 1645 @ 192.419
c NEW SOLUTION FOUND: 1644 @ 192.46
c NEW SOLUTION FOUND: 1643 @ 192.499
c NEW SOLUTION FOUND: 1642 @ 192.54
c NEW SOLUTION FOUND: 1641 @ 192.58
c NEW SOLUTION FOUND: 1640 @ 192.625
c NEW SOLUTION FOUND: 1639 @ 192.666
c NEW SOLUTION FOUND: 1638 @ 192.709
c NEW SOLUTION FOUND: 1637 @ 192.752
c NEW SOLUTION FOUND: 1636 @ 192.88
c NEW SOLUTION FOUND: 1635 @ 192.924
c NEW SOLUTION FOUND: 1634 @ 192.968
c NEW SOLUTION FOUND: 1633 @ 193.013
c NEW SOLUTION FOUND: 1632 @ 193.059
c NEW SOLUTION FOUND: 1631 @ 193.107
c NEW SOLUTION FOUND: 1630 @ 193.152
c NEW SOLUTION FOUND: 1629 @ 193.201
c NEW SOLUTION FOUND: 1628 @ 193.251
c NEW SOLUTION FOUND: 1627 @ 193.301
c NEW SOLUTION FOUND: 1626 @ 193.35
c NEW SOLUTION FOUND: 1625 @ 193.405
c NEW SOLUTION FOUND: 1624 @ 193.456
c NEW SOLUTION FOUND: 1623 @ 193.509
c NEW SOLUTION FOUND: 1622 @ 193.563
c NEW SOLUTION FOUND: 1618 @ 193.625
c NEW SOLUTION FOUND: 1617 @ 193.685
c NEW SOLUTION FOUND: 1616 @ 193.744
c NEW SOLUTION FOUND: 1615 @ 194.124
c NEW SOLUTION FOUND: 1614 @ 194.204
c NEW SOLUTION FOUND: 1613 @ 194.283
c NEW SOLUTION FOUND: 1612 @ 194.347
c NEW SOLUTION FOUND: 1611 @ 194.5
c NEW SOLUTION FOUND: 1610 @ 194.582
c NEW SOLUTION FOUND: 1609 @ 194.663
c NEW SOLUTION FOUND: 1608 @ 194.744
c NEW SOLUTION FOUND: 1607 @ 194.828
c NEW SOLUTION FOUND: 1606 @ 194.91
c NEW SOLUTION FOUND: 1605 @ 195.089
c NEW SOLUTION FOUND: 1604 @ 195.184
c NEW SOLUTION FOUND: 1603 @ 195.277
c NEW SOLUTION FOUND: 1602 @ 195.37
c NEW SOLUTION FOUND: 1601 @ 195.465
c NEW SOLUTION FOUND: 1600 @ 195.564
c NEW SOLUTION FOUND: 1599 @ 195.661
c NEW SOLUTION FOUND: 1598 @ 195.756
c NEW SOLUTION FOUND: 1597 @ 195.854
c NEW SOLUTION FOUND: 1596 @ 195.95
c NEW SOLUTION FOUND: 1595 @ 196.26
c NEW SOLUTION FOUND: 1594 @ 196.365
c NEW SOLUTION FOUND: 1593 @ 196.477
c NEW SOLUTION FOUND: 1592 @ 196.602
c NEW SOLUTION FOUND: 1591 @ 196.719
c NEW SOLUTION FOUND: 1590 @ 196.947
c NEW SOLUTION FOUND: 1589 @ 197.07
c NEW SOLUTION FOUND: 1588 @ 197.195
c NEW SOLUTION FOUND: 1587 @ 197.318
c NEW SOLUTION FOUND: 1586 @ 197.437
c NEW SOLUTION FOUND: 1585 @ 197.567
c NEW SOLUTION FOUND: 1584 @ 197.924
c NEW SOLUTION FOUND: 1583 @ 198.054
c NEW SOLUTION FOUND: 1582 @ 198.441
c NEW SOLUTION FOUND: 1581 @ 198.574
c NEW SOLUTION FOUND: 1580 @ 198.71
c NEW SOLUTION FOUND: 1573 @ 199.154
c NEW SOLUTION FOUND: 1572 @ 200.667
c NEW SOLUTION FOUND: 1571 @ 202.213
c NEW SOLUTION FOUND: 1570 @ 203.567
c NEW SOLUTION FOUND: 1561 @ 220.092
#### 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.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (runsolver) R 9217 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 662979715 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 4763 0 0 0 982 13 0 0 25 0 1 0 662979715 22630400 4678 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5525 4678 1111 63 0 5462 0
vsize: 22100
[startup+20.0009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 4787 0 0 0 1982 14 0 0 25 0 1 0 662979715 22769664 4702 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5559 4702 1111 63 0 5496 0
vsize: 22236
[startup+30.0017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 4787 0 0 0 2982 14 0 0 25 0 1 0 662979715 22769664 4702 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4702 1111 63 0 5496 0
vsize: 22236
[startup+40.0016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 4787 0 0 0 3982 14 0 0 25 0 1 0 662979715 22769664 4702 4294967295 134512640 134714508 3221221792 3221220456 134627136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4702 1111 63 0 5496 0
vsize: 22236
[startup+50.0029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 4787 0 0 0 4982 14 0 0 25 0 1 0 662979715 22769664 4702 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4702 1111 63 0 5496 0
vsize: 22236
[startup+60.0025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 4787 0 0 0 5983 14 0 0 25 0 1 0 662979715 22769664 4702 4294967295 134512640 134714508 3221221792 3221220464 134627252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4702 1111 63 0 5496 0
vsize: 22236
[startup+70.0035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 4787 0 0 0 6983 14 0 0 25 0 1 0 662979715 22769664 4702 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4702 1111 63 0 5496 0
vsize: 22236
[startup+80.0046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 5243 0 0 0 7982 15 0 0 25 0 1 0 662979715 24793088 5158 4294967295 134512640 134714508 3221221792 3221220024 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6053 5158 1111 63 0 5990 0
vsize: 24212
[startup+90.0043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 5500 0 0 0 8979 17 0 0 25 0 1 0 662979715 25743360 5415 4294967295 134512640 134714508 3221221792 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6285 5415 1111 63 0 6222 0
vsize: 25140
[startup+100.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9218
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 5537 0 0 0 9977 19 0 0 25 0 1 0 662979715 25849856 5452 4294967295 134512640 134714508 3221221792 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6311 5452 1111 63 0 6248 0
vsize: 25244
[startup+110.01 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 9219
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 8267 0 0 0 10970 27 0 0 25 0 1 0 662979715 40620032 7501 4294967295 134512640 134714508 3221221792 3221217932 1075116791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9917 7501 1111 63 0 9854 0
vsize: 39668
[startup+120.131 s]
Raw data (loadavg): 1.22 1.03 1.01 3/57 9266
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 8379 0 0 0 11981 28 0 0 25 0 1 0 662979715 40620032 7547 4294967295 134512640 134714508 3221221792 3221218832 1074834317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9917 7547 1111 63 0 9854 0
vsize: 39668
[startup+130.131 s]
Raw data (loadavg): 1.33 1.06 1.02 2/54 9271
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 8451 0 0 0 12981 28 0 0 25 0 1 0 662979715 40620032 7557 4294967295 134512640 134714508 3221221792 3221218544 1075115368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9917 7557 1111 63 0 9854 0
vsize: 39668
[startup+140.131 s]
Raw data (loadavg): 1.28 1.06 1.02 2/54 9271
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 13568 0 0 0 13966 43 0 0 25 0 1 0 662979715 31686656 6627 4294967295 134512640 134714508 3221221792 3221219360 1075818178 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7736 6627 1111 63 0 7673 0
vsize: 30944
[startup+150.463 s]
Raw data (loadavg): 1.24 1.06 1.02 2/54 9271
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 20251 0 0 0 14984 59 0 0 25 0 1 0 662979715 28975104 6304 4294967295 134512640 134714508 3221221792 3221219496 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7074 6308 1111 63 0 7011 0
vsize: 28296
[startup+160.463 s]
Raw data (loadavg): 1.20 1.06 1.02 2/54 9271
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 22729 0 0 0 15979 65 0 0 25 0 1 0 662979715 42483712 8059 4294967295 134512640 134714508 3221221792 3221217708 1074860977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10372 8059 1111 63 0 10309 0
vsize: 41488
[startup+170.464 s]
Raw data (loadavg): 1.17 1.05 1.02 2/54 9271
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 30043 0 0 0 16961 83 0 0 25 0 1 0 662979715 42508288 8080 4294967295 134512640 134714508 3221221792 3221217984 1074799491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10378 8080 1111 63 0 10315 0
vsize: 41512
[startup+180.464 s]
Raw data (loadavg): 1.14 1.05 1.01 2/54 9271
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 30155 0 0 0 17960 83 0 0 25 0 1 0 662979715 42725376 8136 4294967295 134512640 134714508 3221221792 3221217580 1074787518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10431 8136 1111 63 0 10368 0
vsize: 41724
[startup+190.464 s]
Raw data (loadavg): 1.12 1.05 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 30375 0 0 0 18959 84 0 0 25 0 1 0 662979715 43307008 8296 4294967295 134512640 134714508 3221221792 3221218832 1074837183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10573 8296 1111 63 0 10510 0
vsize: 42292
[startup+200.465 s]
Raw data (loadavg): 1.10 1.05 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 44019 0 0 0 19921 122 0 0 25 0 1 0 662979715 27320320 5967 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6670 5967 1111 63 0 6607 0
vsize: 26680
[startup+210.465 s]
Raw data (loadavg): 1.08 1.05 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 60542 0 0 0 20875 168 0 0 25 0 1 0 662979715 27303936 5963 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6666 5963 1111 63 0 6603 0
vsize: 26664
[startup+220.467 s]
Raw data (loadavg): 1.07 1.04 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 68171 0 0 0 21856 188 0 0 25 0 1 0 662979715 27303936 5963 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6666 5963 1111 63 0 6603 0
vsize: 26664
[startup+230.467 s]
Raw data (loadavg): 1.06 1.04 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 78370 0 0 0 22828 215 0 0 25 0 1 0 662979715 27303936 5963 4294967295 134512640 134714508 3221221792 3221220544 134604472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6666 5963 1111 63 0 6603 0
vsize: 26664
[startup+240.466 s]
Raw data (loadavg): 1.05 1.04 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 100665 0 0 0 23768 276 0 0 25 0 1 0 662979715 27320320 5967 4294967295 134512640 134714508 3221221792 3221219704 1077378730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6670 5967 1111 63 0 6607 0
vsize: 26680
[startup+250.466 s]
Raw data (loadavg): 1.04 1.04 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 117930 0 0 0 24720 324 0 0 25 0 1 0 662979715 27320320 5967 4294967295 134512640 134714508 3221221792 3221220192 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6670 5967 1111 63 0 6607 0
vsize: 26680
[startup+260.467 s]
Raw data (loadavg): 1.04 1.04 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 119987 0 0 0 25715 329 0 0 25 0 1 0 662979715 27336704 5971 4294967295 134512640 134714508 3221221792 3221219816 1077380249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6674 5971 1111 63 0 6611 0
vsize: 26696
[startup+270.468 s]
Raw data (loadavg): 1.03 1.03 1.01 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 121934 0 0 0 26710 334 0 0 25 0 1 0 662979715 27402240 5987 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6690 5987 1111 63 0 6627 0
vsize: 26760
[startup+280.468 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 122892 0 0 0 27707 337 0 0 25 0 1 0 662979715 27811840 6087 4294967295 134512640 134714508 3221221792 3221220048 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6087 1111 63 0 6727 0
vsize: 27160
[startup+290.468 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 125157 0 0 0 28701 344 0 0 25 0 1 0 662979715 27381760 5982 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6685 5982 1111 63 0 6622 0
vsize: 26740
[startup+300.469 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 126556 0 0 0 29699 346 0 0 25 0 1 0 662979715 38985728 7081 4294967295 134512640 134714508 3221221792 3221218560 1076083342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9518 7081 1111 63 0 9455 0
vsize: 38072
[startup+310.469 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 127544 0 0 0 30696 349 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+320.47 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 128785 0 0 0 31693 352 0 0 25 0 1 0 662979715 38981632 7085 4294967295 134512640 134714508 3221221792 3221217848 1074789548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9517 7085 1111 63 0 9454 0
vsize: 38068
[startup+330.471 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 129867 0 0 0 32690 355 0 0 25 0 1 0 662979715 27869184 6101 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6804 6101 1111 63 0 6741 0
vsize: 27216
[startup+340.471 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 132078 0 0 0 33684 362 0 0 25 0 1 0 662979715 27451392 5999 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6702 5999 1111 63 0 6639 0
vsize: 26808
[startup+350.472 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 133327 0 0 0 34681 365 0 0 25 0 1 0 662979715 38453248 6959 4294967295 134512640 134714508 3221221792 3221218912 1074835529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9388 6959 1111 63 0 9325 0
vsize: 37552
[startup+360.472 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 134265 0 0 0 35679 368 0 0 25 0 1 0 662979715 27869184 6101 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6804 6101 1111 63 0 6741 0
vsize: 27216
[startup+370.474 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 134430 0 0 0 36678 369 0 0 25 0 1 0 662979715 28545024 6266 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6969 6266 1111 63 0 6906 0
vsize: 27876
[startup+380.475 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 136542 0 0 0 37674 373 0 0 25 0 1 0 662979715 41578496 7770 4294967295 134512640 134714508 3221221792 3221218560 1076083506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10151 7770 1111 63 0 10088 0
vsize: 40604
[startup+390.474 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 136645 0 0 0 38673 374 0 0 25 0 1 0 662979715 41431040 7801 4294967295 134512640 134714508 3221221792 3221218736 1074620136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10115 7801 1111 63 0 10052 0
vsize: 40460
[startup+400.476 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 136720 0 0 0 39673 374 0 0 25 0 1 0 662979715 41578496 7808 4294967295 134512640 134714508 3221221792 3221218888 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10151 7808 1111 63 0 10088 0
vsize: 40604
[startup+410.476 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 138579 0 0 0 40668 379 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+420.476 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 138723 0 0 0 41667 380 0 0 25 0 1 0 662979715 28385280 6227 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6930 6227 1111 63 0 6867 0
vsize: 27720
[startup+430.477 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 140851 0 0 0 42661 386 0 0 25 0 1 0 662979715 41578496 7755 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10151 7755 1111 63 0 10088 0
vsize: 40604
[startup+440.477 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9273
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 140969 0 0 0 43661 387 0 0 25 0 1 0 662979715 41431040 7801 4294967295 134512640 134714508 3221221792 3221218012 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10115 7801 1111 63 0 10052 0
vsize: 40460
[startup+450.478 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 141039 0 0 0 44661 387 0 0 25 0 1 0 662979715 41431040 7803 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10115 7803 1111 63 0 10052 0
vsize: 40460
[startup+460.478 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 142910 0 0 0 45656 392 0 0 25 0 1 0 662979715 27869184 6101 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6804 6101 1111 63 0 6741 0
vsize: 27216
[startup+470.479 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 143075 0 0 0 46654 394 0 0 25 0 1 0 662979715 28545024 6266 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6969 6266 1111 63 0 6906 0
vsize: 27876
[startup+480.48 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 145186 0 0 0 47648 400 0 0 25 0 1 0 662979715 41422848 7765 4294967295 134512640 134714508 3221221792 3221218064 1074961149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10113 7765 1111 63 0 10050 0
vsize: 40452
[startup+490.48 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 145288 0 0 0 48648 401 0 0 25 0 1 0 662979715 41422848 7797 4294967295 134512640 134714508 3221221792 3221217848 1074860217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10113 7797 1111 63 0 10050 0
vsize: 40452
[startup+500.481 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 145359 0 0 0 49647 402 0 0 25 0 1 0 662979715 41422848 7800 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10113 7800 1111 63 0 10050 0
vsize: 40452
[startup+510.48 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 147194 0 0 0 50642 407 0 0 25 0 1 0 662979715 27648000 6047 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6750 6047 1111 63 0 6687 0
vsize: 27000
[startup+520.482 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 147370 0 0 0 51641 408 0 0 25 0 1 0 662979715 28368896 6223 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6926 6223 1111 63 0 6863 0
vsize: 27704
[startup+530.483 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 149402 0 0 0 52636 414 0 0 25 0 1 0 662979715 41332736 7677 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10091 7677 1111 63 0 10028 0
vsize: 40364
[startup+540.482 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 149571 0 0 0 53635 415 0 0 25 0 1 0 662979715 41332736 7776 4294967295 134512640 134714508 3221221792 3221218064 1074960835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10091 7776 1111 63 0 10028 0
vsize: 40364
[startup+550.483 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 149643 0 0 0 54635 415 0 0 25 0 1 0 662979715 41476096 7780 4294967295 134512640 134714508 3221221792 3221218864 1074867274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10126 7780 1111 63 0 10063 0
vsize: 40504
[startup+560.482 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 151469 0 0 0 55631 420 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+570.483 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 151611 0 0 0 56630 421 0 0 25 0 1 0 662979715 28377088 6225 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6928 6225 1111 63 0 6865 0
vsize: 27712
[startup+580.483 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 153685 0 0 0 57623 427 0 0 25 0 1 0 662979715 41463808 7714 4294967295 134512640 134714508 3221221792 3221218448 1075967858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10123 7714 1111 63 0 10060 0
vsize: 40492
[startup+590.484 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 153814 0 0 0 58623 428 0 0 25 0 1 0 662979715 41320448 7775 4294967295 134512640 134714508 3221221792 3221217788 1074860953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10088 7775 1111 63 0 10025 0
vsize: 40352
[startup+600.484 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 153887 0 0 0 59623 428 0 0 25 0 1 0 662979715 41320448 7778 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10088 7778 1111 63 0 10025 0
vsize: 40352
[startup+610.484 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 155701 0 0 0 60617 434 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+620.485 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 155844 0 0 0 61616 435 0 0 25 0 1 0 662979715 28381184 6226 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6929 6226 1111 63 0 6866 0
vsize: 27716
[startup+630.486 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 157918 0 0 0 62611 441 0 0 25 0 1 0 662979715 41431040 7713 4294967295 134512640 134714508 3221221792 3221218944 1075969830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10115 7713 1111 63 0 10052 0
vsize: 40460
[startup+640.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 158035 0 0 0 63611 441 0 0 25 0 1 0 662979715 41287680 7758 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10080 7758 1111 63 0 10017 0
vsize: 40320
[startup+650.491 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 158110 0 0 0 64611 442 0 0 25 0 1 0 662979715 41287680 7763 4294967295 134512640 134714508 3221221792 3221218712 1075964733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10080 7763 1111 63 0 10017 0
vsize: 40320
[startup+660.49 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 159909 0 0 0 65606 446 0 0 25 0 1 0 662979715 27869184 6101 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6804 6101 1111 63 0 6741 0
vsize: 27216
[startup+670.492 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 160075 0 0 0 66604 448 0 0 25 0 1 0 662979715 28549120 6267 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6970 6267 1111 63 0 6907 0
vsize: 27880
[startup+680.493 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 162151 0 0 0 67599 454 0 0 25 0 1 0 662979715 41259008 7732 4294967295 134512640 134714508 3221221792 3221218012 1075116791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10073 7732 1111 63 0 10010 0
vsize: 40292
[startup+690.492 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 162242 0 0 0 68599 454 0 0 25 0 1 0 662979715 41259008 7753 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10073 7753 1111 63 0 10010 0
vsize: 40292
[startup+700.492 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 164000 0 0 0 69594 459 0 0 25 0 1 0 662979715 27598848 6035 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6738 6035 1111 63 0 6675 0
vsize: 26952
[startup+710.494 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 164184 0 0 0 70593 460 0 0 25 0 1 0 662979715 28352512 6219 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6922 6219 1111 63 0 6859 0
vsize: 27688
[startup+720.494 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 164239 0 0 0 71593 461 0 0 25 0 1 0 662979715 28577792 6274 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6977 6274 1111 63 0 6914 0
vsize: 27908
[startup+730.494 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 166337 0 0 0 72588 466 0 0 25 0 1 0 662979715 41259008 7743 4294967295 134512640 134714508 3221221792 3221218912 1074834334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10073 7743 1111 63 0 10010 0
vsize: 40292
[startup+740.495 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 166417 0 0 0 73588 466 0 0 25 0 1 0 662979715 41259008 7753 4294967295 134512640 134714508 3221221792 3221218012 1075116478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10073 7753 1111 63 0 10010 0
vsize: 40292
[startup+750.495 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 168182 0 0 0 74583 471 0 0 25 0 1 0 662979715 27721728 6065 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6768 6065 1111 63 0 6705 0
vsize: 27072
[startup+760.495 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 168340 0 0 0 75582 473 0 0 25 0 1 0 662979715 28368896 6223 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6926 6223 1111 63 0 6863 0
vsize: 27704
[startup+770.496 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 170292 0 0 0 76576 479 0 0 25 0 1 0 662979715 41259008 7612 4294967295 134512640 134714508 3221221792 3221217936 1074970253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10073 7612 1111 63 0 10010 0
vsize: 40292
[startup+780.497 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 170504 0 0 0 77575 480 0 0 25 0 1 0 662979715 41402368 7750 4294967295 134512640 134714508 3221221792 3221218560 1076083731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10108 7750 1111 63 0 10045 0
vsize: 40432
[startup+790.497 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 170579 0 0 0 78574 481 0 0 25 0 1 0 662979715 41259008 7755 4294967295 134512640 134714508 3221221792 3221218012 1075116474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10073 7755 1111 63 0 10010 0
vsize: 40292
[startup+800.497 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 172365 0 0 0 79569 486 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+810.497 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 172508 0 0 0 80568 487 0 0 25 0 1 0 662979715 28381184 6226 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6929 6226 1111 63 0 6866 0
vsize: 27716
[startup+820.499 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 174556 0 0 0 81564 492 0 0 25 0 1 0 662979715 41316352 7689 4294967295 134512640 134714508 3221221792 3221218864 1074867212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10087 7689 1111 63 0 10024 0
vsize: 40348
[startup+830.499 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 174664 0 0 0 82563 493 0 0 25 0 1 0 662979715 41177088 7723 4294967295 134512640 134714508 3221221792 3221217928 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10053 7723 1111 63 0 9990 0
vsize: 40212
[startup+840.498 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 174736 0 0 0 83563 493 0 0 25 0 1 0 662979715 41177088 7725 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10053 7725 1111 63 0 9990 0
vsize: 40212
[startup+850.499 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 176503 0 0 0 84558 498 0 0 25 0 1 0 662979715 27869184 6101 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6804 6101 1111 63 0 6741 0
vsize: 27216
[startup+860.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 176630 0 0 0 85556 500 0 0 25 0 1 0 662979715 28389376 6228 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6931 6228 1111 63 0 6868 0
vsize: 27724
[startup+870.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 178681 0 0 0 86552 505 0 0 25 0 1 0 662979715 41267200 7692 4294967295 134512640 134714508 3221221792 3221218560 1076083615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10075 7692 1111 63 0 10012 0
vsize: 40300
[startup+880.501 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 178774 0 0 0 87552 505 0 0 25 0 1 0 662979715 41127936 7711 4294967295 134512640 134714508 3221221792 3221218340 1076049898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10041 7711 1111 63 0 9978 0
vsize: 40164
[startup+890.501 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 180411 0 0 0 88547 510 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+900.502 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 180556 0 0 0 89545 512 0 0 25 0 1 0 662979715 28389376 6228 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6931 6228 1111 63 0 6868 0
vsize: 27724
[startup+910.502 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 182595 0 0 0 90540 518 0 0 25 0 1 0 662979715 41115648 7678 4294967295 134512640 134714508 3221221792 3221218712 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10038 7678 1111 63 0 9975 0
vsize: 40152
[startup+920.503 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 182699 0 0 0 91539 518 0 0 25 0 1 0 662979715 41115648 7710 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10038 7710 1111 63 0 9975 0
vsize: 40152
[startup+930.504 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 182771 0 0 0 92539 519 0 0 25 0 1 0 662979715 41115648 7712 4294967295 134512640 134714508 3221221792 3221218320 1075119993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10038 7712 1111 63 0 9975 0
vsize: 40152
[startup+940.504 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 184505 0 0 0 93534 524 0 0 25 0 1 0 662979715 27869184 6101 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6804 6101 1111 63 0 6741 0
vsize: 27216
[startup+950.505 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 184633 0 0 0 94533 525 0 0 25 0 1 0 662979715 28393472 6229 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6932 6229 1111 63 0 6869 0
vsize: 27728
[startup+960.506 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 186621 0 0 0 95528 530 0 0 25 0 1 0 662979715 41005056 7635 4294967295 134512640 134714508 3221221792 3221218720 1075890974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10011 7635 1111 63 0 9948 0
vsize: 40044
[startup+970.506 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 186636 0 0 0 96529 530 0 0 25 0 1 0 662979715 41005056 7650 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10011 7650 1111 63 0 9948 0
vsize: 40044
[startup+980.507 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 188279 0 0 0 97525 534 0 0 25 0 1 0 662979715 27869184 6101 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6804 6101 1111 63 0 6741 0
vsize: 27216
[startup+990.506 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 189071 0 0 0 98522 537 0 0 25 0 1 0 662979715 29360128 6465 4294967295 134512640 134714508 3221221792 3221220144 1074115244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7168 6465 1111 63 0 7105 0
vsize: 28672
[startup+1000.51 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 190370 0 0 0 99519 540 0 0 25 0 1 0 662979715 40931328 7621 4294967295 134512640 134714508 3221221792 3221217936 1074969499 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9993 7621 1111 63 0 9930 0
vsize: 39972
[startup+1010.51 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 190375 0 0 0 100519 540 0 0 25 0 1 0 662979715 40931328 7626 4294967295 134512640 134714508 3221221792 3221217936 1074969499 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9993 7626 1111 63 0 9930 0
vsize: 39972
[startup+1020.51 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 191974 0 0 0 101516 544 0 0 25 0 1 0 662979715 27721728 6065 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6768 6065 1111 63 0 6705 0
vsize: 27072
[startup+1030.51 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 192133 0 0 0 102514 546 0 0 25 0 1 0 662979715 28372992 6224 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6927 6224 1111 63 0 6864 0
vsize: 27708
[startup+1040.51 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 194082 0 0 0 103510 550 0 0 25 0 1 0 662979715 40914944 7604 4294967295 134512640 134714508 3221221792 3221217936 1074969499 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9989 7604 1111 63 0 9926 0
vsize: 39956
[startup+1050.51 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 194096 0 0 0 104510 550 0 0 25 0 1 0 662979715 40914944 7618 4294967295 134512640 134714508 3221221792 3221218012 1075116869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9989 7618 1111 63 0 9926 0
vsize: 39956
[startup+1060.51 s]
Raw data (loadavg): 1.16 1.03 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 195694 0 0 0 105507 554 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+1070.51 s]
Raw data (loadavg): 1.21 1.05 1.02 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 195839 0 0 0 106505 556 0 0 25 0 1 0 662979715 28389376 6228 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6931 6228 1111 63 0 6868 0
vsize: 27724
[startup+1080.51 s]
Raw data (loadavg): 1.18 1.05 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 197779 0 0 0 107501 560 0 0 25 0 1 0 662979715 40898560 7604 4294967295 134512640 134714508 3221221792 3221218064 1074960930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9985 7604 1111 63 0 9922 0
vsize: 39940
[startup+1090.51 s]
Raw data (loadavg): 1.15 1.04 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 197785 0 0 0 108501 560 0 0 25 0 1 0 662979715 40898560 7610 4294967295 134512640 134714508 3221221792 3221218320 1075890974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9985 7610 1111 63 0 9922 0
vsize: 39940
[startup+1100.51 s]
Raw data (loadavg): 1.12 1.04 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 199379 0 0 0 109497 564 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+1110.51 s]
Raw data (loadavg): 1.11 1.04 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 199522 0 0 0 110495 566 0 0 25 0 1 0 662979715 28381184 6226 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6929 6226 1111 63 0 6866 0
vsize: 27716
[startup+1120.51 s]
Raw data (loadavg): 1.09 1.04 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 201465 0 0 0 111491 571 0 0 25 0 1 0 662979715 40898560 7605 4294967295 134512640 134714508 3221221792 3221218784 1075110371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9985 7605 1111 63 0 9922 0
vsize: 39940
[startup+1130.51 s]
Raw data (loadavg): 1.07 1.04 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 201471 0 0 0 112491 571 0 0 25 0 1 0 662979715 40898560 7611 4294967295 134512640 134714508 3221221792 3221218912 1074835532 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9985 7611 1111 63 0 9922 0
vsize: 39940
[startup+1140.51 s]
Raw data (loadavg): 1.06 1.03 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 203063 0 0 0 113487 575 0 0 25 0 1 0 662979715 27795456 6083 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 6083 1111 63 0 6723 0
vsize: 27144
[startup+1150.51 s]
Raw data (loadavg): 1.05 1.03 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 204883 0 0 0 114481 581 0 0 25 0 1 0 662979715 40345600 7389 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9850 7389 1111 63 0 9787 0
vsize: 39400
[startup+1160.51 s]
Raw data (loadavg): 1.04 1.03 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 204959 0 0 0 115481 581 0 0 25 0 1 0 662979715 40345600 7465 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9850 7465 1111 63 0 9787 0
vsize: 39400
[startup+1170.51 s]
Raw data (loadavg): 1.04 1.03 1.01 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 206404 0 0 0 116478 585 0 0 25 0 1 0 662979715 27549696 6023 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6726 6023 1111 63 0 6663 0
vsize: 26904
[startup+1180.51 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 206600 0 0 0 117477 586 0 0 25 0 1 0 662979715 28352512 6219 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6922 6219 1111 63 0 6859 0
vsize: 27688
[startup+1190.51 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 208312 0 0 0 118472 591 0 0 25 0 1 0 662979715 40177664 7434 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9809 7434 1111 63 0 9746 0
vsize: 39236
[startup+1200.52 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 9275
Raw data (stat): 9218 (bsolo_lpr) R 9217 7876 7672 0 -1 0 208597 0 0 0 119472 592 0 0 25 0 1 0 662979715 29798400 6250 4294967295 134512640 134714508 3221221792 3221219080 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6250 1111 63 0 7212 0
vsize: 29100
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.53 s]
Raw data (loadavg): 1.02 1.03 1.00 1/54 9275
Raw data (stat): 9218 (bsolo_lpr) Z 9217 7876 7672 0 -1 1036 208597 0 0 0 119472 593 0 0 25 0 1 0 662979715 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.53
CPU time (s): 1200.66
CPU user time (s): 1194.72
CPU system time (s): 5.9341
CPU usage (%): 100.011
Max. virtual memory (Kb): 42292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####