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/een/normalized-air03.opb
MD5SUM	017636577e3ff026b2ea720fb537705b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.22466
Number of variables	10757
Total number of constraints	248
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	122
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3861
Trace number 25077

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 14:11:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5032 boxname=wulflinc31 idbench=388 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  017636577e3ff026b2ea720fb537705b  /oldhome/oroussel/tmp/wulflinc31/normalized-air03.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-air03.opb
IDLAUNCH: 5032
/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:        789460 kB
Buffers:         49208 kB
Cached:         173308 kB
SwapCached:       1952 kB
Active:         180128 kB
Inactive:        45596 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        789208 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13864 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 14:31:55 (client local time) WITH STATUS 0 IN 1200.52 SECONDS
stats: 5032 7 1200.52 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10757 variables and 248 constraints.
#### 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.96 1.00 1.00 2/55 13658
Raw data (stat): 13658 (runsolver) R 13657 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 761712593 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.99981 s]
Raw data (loadavg): 0.96 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 1497 0 0 0 991 4 0 0 25 0 1 0 761712593 19210240 1420 4294967295 134512640 134714508 3221221792 3221220144 134568044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4690 1420 1111 63 0 4627 0
vsize: 18760
[startup+20.0008 s]
Raw data (loadavg): 0.97 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 4271 0 0 0 1984 10 0 0 25 0 1 0 761712593 30756864 4194 4294967295 134512640 134714508 3221221792 3221220068 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7509 4194 1111 63 0 7446 0
vsize: 30036
[startup+30.0015 s]
Raw data (loadavg): 0.97 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 13081 0 0 0 2964 30 0 0 25 0 1 0 761712593 56971264 12969 4294967295 134512640 134714508 3221221792 3221220124 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13909 12969 1111 63 0 13846 0
vsize: 55636
[startup+40.0025 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 13125 0 0 0 3964 30 0 0 25 0 1 0 761712593 56971264 12971 4294967295 134512640 134714508 3221221792 3221220400 134528784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13909 12971 1111 63 0 13846 0
vsize: 55636
[startup+50.0037 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 17888 0 0 0 4957 38 0 0 25 0 1 0 761712593 65642496 15057 4294967295 134512640 134714508 3221221792 3221220272 134539437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16026 15057 1111 63 0 15963 0
vsize: 64104
[startup+60.0033 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 26799 0 0 0 5936 58 0 0 25 0 1 0 761712593 75448320 17482 4294967295 134512640 134714508 3221221792 3221220320 134535416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18420 17482 1111 63 0 18357 0
vsize: 73680
[startup+70.0042 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 36979 0 0 0 6912 84 0 0 25 0 1 0 761712593 81473536 18942 4294967295 134512640 134714508 3221221792 3221220412 134543835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19891 18942 1111 63 0 19828 0
vsize: 79564
[startup+80.0042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 43286 0 0 0 7899 96 0 0 25 0 1 0 761712593 92192768 21562 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22508 21562 1111 63 0 22445 0
vsize: 90032
[startup+90.0051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 45966 0 0 0 8894 101 0 0 25 0 1 0 761712593 97976320 22951 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23920 22951 1111 63 0 23857 0
vsize: 95680
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 49510 0 0 0 9888 108 0 0 25 0 1 0 761712593 107003904 25185 4294967295 134512640 134714508 3221221792 3221220156 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26124 25185 1111 63 0 26061 0
vsize: 104496
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 56184 0 0 0 10874 122 0 0 25 0 1 0 761712593 119681024 28249 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29219 28249 1111 63 0 29156 0
vsize: 116876
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 61394 0 0 0 11862 134 0 0 25 0 1 0 761712593 125038592 29569 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30527 29569 1111 63 0 30464 0
vsize: 122108
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 67172 0 0 0 12850 146 0 0 25 0 1 0 761712593 133165056 31572 4294967295 134512640 134714508 3221221792 3221220256 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32511 31572 1111 63 0 32448 0
vsize: 130044
[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 72185 0 0 0 13839 157 0 0 25 0 1 0 761712593 142278656 33798 4294967295 134512640 134714508 3221221792 3221220408 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34736 33798 1111 63 0 34673 0
vsize: 138944
[startup+150.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 78441 0 0 0 14826 171 0 0 25 0 1 0 761712593 153288704 36476 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37424 36476 1111 63 0 37361 0
vsize: 149696
[startup+160.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 84286 0 0 0 15814 182 0 0 25 0 1 0 761712593 159625216 38011 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38971 38011 1111 63 0 38908 0
vsize: 155884
[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 90472 0 0 0 16801 196 0 0 25 0 1 0 761712593 170721280 40742 4294967295 134512640 134714508 3221221792 3221220336 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41680 40742 1111 63 0 41617 0
vsize: 166720
[startup+180.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 95232 0 0 0 17791 206 0 0 25 0 1 0 761712593 177274880 42341 4294967295 134512640 134714508 3221221792 3221220300 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43280 42341 1111 63 0 43217 0
vsize: 173120
[startup+190.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 100475 0 0 0 18781 216 0 0 25 0 1 0 761712593 185929728 44446 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45393 44446 1111 63 0 45330 0
vsize: 181572
[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 104780 0 0 0 19773 225 0 0 25 0 1 0 761712593 196558848 47039 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47988 47039 1111 63 0 47925 0
vsize: 191952
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 107596 0 0 0 20767 231 0 0 25 0 1 0 761712593 203096064 48646 4294967295 134512640 134714508 3221221792 3221220432 134594944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49584 48646 1111 63 0 49521 0
vsize: 198336
[startup+220.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 111652 0 0 0 21758 240 0 0 25 0 1 0 761712593 213229568 51109 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52058 51109 1111 63 0 51995 0
vsize: 208232
[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 115954 0 0 0 22749 250 0 0 25 0 1 0 761712593 222048256 53242 4294967295 134512640 134714508 3221221792 3221220024 1077377771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54211 53242 1111 63 0 54148 0
vsize: 216844
[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 120355 0 0 0 23740 259 0 0 25 0 1 0 761712593 230678528 55379 4294967295 134512640 134714508 3221221792 3221220192 1076648048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56318 55379 1111 63 0 56255 0
vsize: 225272
[startup+250.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 123395 0 0 0 24733 266 0 0 25 0 1 0 761712593 237006848 56925 4294967295 134512640 134714508 3221221792 3221220280 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57863 56925 1111 63 0 57800 0
vsize: 231452
[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 126431 0 0 0 25726 273 0 0 25 0 1 0 761712593 247144448 59389 4294967295 134512640 134714508 3221221792 3221220380 134535545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60338 59389 1111 63 0 60275 0
vsize: 241352
[startup+270.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 130178 0 0 0 26719 281 0 0 25 0 1 0 761712593 254963712 61309 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62247 61309 1111 63 0 62184 0
vsize: 248988
[startup+280.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 136702 0 0 0 27705 294 0 0 25 0 1 0 761712593 265789440 63941 4294967295 134512640 134714508 3221221792 3221220320 134535383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64890 63941 1111 63 0 64827 0
vsize: 259560
[startup+290.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 139179 0 0 0 28700 299 0 0 25 0 1 0 761712593 269606912 64882 4294967295 134512640 134714508 3221221792 3221220156 134539262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65822 64882 1111 63 0 65759 0
vsize: 263288
[startup+300.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 143595 0 0 0 29690 310 0 0 25 0 1 0 761712593 278081536 66918 4294967295 134512640 134714508 3221221792 3221220256 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67891 66918 1111 63 0 67828 0
vsize: 271564
[startup+310.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 149651 0 0 0 30677 323 0 0 25 0 1 0 761712593 285810688 68820 4294967295 134512640 134714508 3221221792 3221220272 134536624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69778 68820 1111 63 0 69715 0
vsize: 279112
[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 156803 0 0 0 31662 338 0 0 25 0 1 0 761712593 294760448 71003 4294967295 134512640 134714508 3221221792 3221220200 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71963 71003 1111 63 0 71900 0
vsize: 287852
[startup+330.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 160599 0 0 0 32654 347 0 0 25 0 1 0 761712593 301527040 72645 4294967295 134512640 134714508 3221221792 3221220408 134543830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73615 72645 1111 63 0 73552 0
vsize: 294460
[startup+340.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 166695 0 0 0 33641 359 0 0 25 0 1 0 761712593 309456896 74613 4294967295 134512640 134714508 3221221792 3221220236 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75551 74613 1111 63 0 75488 0
vsize: 302204
[startup+350.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 169777 0 0 0 34635 365 0 0 25 0 1 0 761712593 319705088 77094 4294967295 134512640 134714508 3221221792 3221220320 134535416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78053 77094 1111 63 0 77990 0
vsize: 312212
[startup+360.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 172779 0 0 0 35629 371 0 0 25 0 1 0 761712593 327016448 78868 4294967295 134512640 134714508 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79838 78868 1111 63 0 79775 0
vsize: 319352
[startup+370.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 176593 0 0 0 36621 380 0 0 25 0 1 0 761712593 335704064 81010 4294967295 134512640 134714508 3221221792 3221220184 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81959 81010 1111 63 0 81896 0
vsize: 327836
[startup+380.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 179428 0 0 0 37616 385 0 0 25 0 1 0 761712593 344485888 83143 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84103 83143 1111 63 0 84040 0
vsize: 336412
[startup+390.017 s]
Raw data (loadavg): 0.99 1.00 1.00 3/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 183119 0 0 0 38609 392 0 0 25 0 1 0 761712593 350617600 84657 4294967295 134512640 134714508 3221221792 3221220464 134606946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85600 84657 1111 63 0 85537 0
vsize: 342400
[startup+400.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 186336 0 0 0 39603 399 0 0 25 0 1 0 761712593 359239680 86735 4294967295 134512640 134714508 3221221792 3221220448 134609340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87705 86735 1111 63 0 87642 0
vsize: 350820
[startup+410.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 190612 0 0 0 40595 406 0 0 25 0 1 0 761712593 366297088 88490 4294967295 134512640 134714508 3221221792 3221220504 134586692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89428 88490 1111 63 0 89365 0
vsize: 357712
[startup+420.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 194791 0 0 0 41587 415 0 0 25 0 1 0 761712593 375279616 90670 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91621 90670 1111 63 0 91558 0
vsize: 366484
[startup+430.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 200069 0 0 0 42577 426 0 0 25 0 1 0 761712593 382246912 92371 4294967295 134512640 134714508 3221221792 3221220332 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93322 92371 1111 63 0 93259 0
vsize: 373288
[startup+440.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 206521 0 0 0 43562 441 0 0 25 0 1 0 761712593 386592768 93444 4294967295 134512640 134714508 3221221792 3221220200 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94383 93444 1111 63 0 94320 0
vsize: 377532
[startup+450.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 211759 0 0 0 44551 451 0 0 25 0 1 0 761712593 395501568 95620 4294967295 134512640 134714508 3221221792 3221219980 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96558 95620 1111 63 0 96495 0
vsize: 386232
[startup+460.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 216809 0 0 0 45541 462 0 0 25 0 1 0 761712593 400551936 96853 4294967295 134512640 134714508 3221221792 3221220272 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97791 96853 1111 63 0 97728 0
vsize: 391164
[startup+470.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 221533 0 0 0 46531 472 0 0 25 0 1 0 761712593 407158784 98464 4294967295 134512640 134714508 3221221792 3221220256 134536698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99404 98464 1111 63 0 99341 0
vsize: 397616
[startup+480.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 225622 0 0 0 47522 481 0 0 25 0 1 0 761712593 415752192 100563 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101502 100563 1111 63 0 101439 0
vsize: 406008
[startup+490.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 232795 0 0 0 48507 497 0 0 25 0 1 0 761712593 424472576 102693 4294967295 134512640 134714508 3221221792 3221220536 134630805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103631 102693 1111 63 0 103568 0
vsize: 414524
[startup+500.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 237812 0 0 0 49496 508 0 0 25 0 1 0 761712593 433303552 104837 4294967295 134512640 134714508 3221221792 3221220280 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105787 104837 1111 63 0 105724 0
vsize: 423148
[startup+510.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 238632 0 0 0 50494 510 0 0 25 0 1 0 761712593 435154944 105269 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106239 105269 1111 63 0 106176 0
vsize: 424956
[startup+520.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 243196 0 0 0 51484 521 0 0 25 0 1 0 761712593 438595584 106130 4294967295 134512640 134714508 3221221792 3221220464 134607039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107079 106130 1111 63 0 107016 0
vsize: 428316
[startup+530.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 249080 0 0 0 52472 533 0 0 25 0 1 0 761712593 445054976 107718 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108656 107718 1111 63 0 108593 0
vsize: 434624
[startup+540.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 252426 0 0 0 53466 539 0 0 25 0 1 0 761712593 453373952 109748 4294967295 134512640 134714508 3221221792 3221220412 134536922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110687 109748 1111 63 0 110624 0
vsize: 442748
[startup+550.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 256574 0 0 0 54457 548 0 0 25 0 1 0 761712593 458072064 110896 4294967295 134512640 134714508 3221221792 3221220156 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111834 110896 1111 63 0 111771 0
vsize: 447336
[startup+560.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 262557 0 0 0 55445 560 0 0 25 0 1 0 761712593 467480576 113160 4294967295 134512640 134714508 3221221792 3221220280 134543628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114131 113160 1111 63 0 114068 0
vsize: 456524
[startup+570.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 266290 0 0 0 56436 569 0 0 25 0 1 0 761712593 467546112 113208 4294967295 134512640 134714508 3221221792 3221220176 134542706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114147 113208 1111 63 0 114084 0
vsize: 456588
[startup+580.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 269285 0 0 0 57431 575 0 0 25 0 1 0 761712593 476356608 115359 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116298 115359 1111 63 0 116235 0
vsize: 465192
[startup+590.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 271400 0 0 0 58426 580 0 0 25 0 1 0 761712593 480739328 116427 4294967295 134512640 134714508 3221221792 3221220452 134606872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 117368 116427 1111 63 0 117305 0
vsize: 469472
[startup+600.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 277811 0 0 0 59412 594 0 0 25 0 1 0 761712593 486395904 117809 4294967295 134512640 134714508 3221221792 3221220156 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 118749 117809 1111 63 0 118686 0
vsize: 474996
[startup+610.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 284494 0 0 0 60398 608 0 0 25 0 1 0 761712593 492343296 119251 4294967295 134512640 134714508 3221221792 3221220412 134543835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120201 119251 1111 63 0 120138 0
vsize: 480804
[startup+620.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 292506 0 0 0 61381 626 0 0 25 0 1 0 761712593 492892160 119397 4294967295 134512640 134714508 3221221792 3221220208 134542668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120335 119397 1111 63 0 120272 0
vsize: 481340
[startup+630.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 301577 0 0 0 62363 643 0 0 25 0 1 0 761712593 499224576 120911 4294967295 134512640 134714508 3221221792 3221220448 134609196 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121881 120911 1111 63 0 121818 0
vsize: 487524
[startup+640.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 308938 0 0 0 63348 658 0 0 25 0 1 0 761712593 505593856 122498 4294967295 134512640 134714508 3221221792 3221220424 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123436 122498 1111 63 0 123373 0
vsize: 493744
[startup+650.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 314575 0 0 0 64336 671 0 0 25 0 1 0 761712593 510676992 123739 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 124677 123739 1111 63 0 124614 0
vsize: 498708
[startup+660.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 319535 0 0 0 65327 680 0 0 25 0 1 0 761712593 519569408 125878 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126848 125878 1111 63 0 126785 0
vsize: 507392
[startup+670.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 322192 0 0 0 66321 686 0 0 25 0 1 0 761712593 524713984 127155 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128104 127155 1111 63 0 128041 0
vsize: 512416
[startup+680.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 325154 0 0 0 67315 692 0 0 25 0 1 0 761712593 526888960 127697 4294967295 134512640 134714508 3221221792 3221220208 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128635 127697 1111 63 0 128572 0
vsize: 514540
[startup+690.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 327572 0 0 0 68311 697 0 0 25 0 1 0 761712593 533299200 129243 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130200 129243 1111 63 0 130137 0
vsize: 520800
[startup+700.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 330200 0 0 0 69305 702 0 0 25 0 1 0 761712593 539664384 130816 4294967295 134512640 134714508 3221221792 3221220256 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131754 130816 1111 63 0 131691 0
vsize: 527016
[startup+710.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 331387 0 0 0 70303 705 0 0 25 0 1 0 761712593 544124928 131874 4294967295 134512640 134714508 3221221792 3221220272 134539576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 132843 131874 1111 63 0 132780 0
vsize: 531372
[startup+720.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 335549 0 0 0 71295 713 0 0 25 0 1 0 761712593 553115648 134080 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 135038 134080 1111 63 0 134975 0
vsize: 540152
[startup+730.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 341274 0 0 0 72284 725 0 0 25 0 1 0 761712593 558026752 135298 4294967295 134512640 134714508 3221221792 3221220400 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 136237 135298 1111 63 0 136174 0
vsize: 544948
[startup+740.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 345166 0 0 0 73275 733 0 0 25 0 1 0 761712593 560156672 135819 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 136757 135819 1111 63 0 136694 0
vsize: 547028
[startup+750.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 349033 0 0 0 74266 743 0 0 25 0 1 0 761712593 564711424 136909 4294967295 134512640 134714508 3221221792 3221220464 134606960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 137869 136909 1111 63 0 137806 0
vsize: 551476
[startup+760.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 354560 0 0 0 75253 756 0 0 25 0 1 0 761712593 568963072 137951 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 138907 137951 1111 63 0 138844 0
vsize: 555628
[startup+770.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 359261 0 0 0 76243 766 0 0 25 0 1 0 761712593 577773568 140099 4294967295 134512640 134714508 3221221792 3221220264 1077378337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141058 140099 1111 63 0 140995 0
vsize: 564232
[startup+780.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 363821 0 0 0 77235 774 0 0 25 0 1 0 761712593 579633152 140574 4294967295 134512640 134714508 3221221792 3221220328 1077374435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141512 140574 1111 63 0 141449 0
vsize: 566048
[startup+790.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 363821 0 0 0 78235 774 0 0 25 0 1 0 761712593 579633152 140574 4294967295 134512640 134714508 3221221792 3221220272 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141512 140574 1111 63 0 141449 0
vsize: 566048
[startup+800.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 366401 0 0 0 79230 780 0 0 25 0 1 0 761712593 586727424 142287 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143244 142287 1111 63 0 143181 0
vsize: 572976
[startup+810.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 368825 0 0 0 80224 785 0 0 25 0 1 0 761712593 589737984 143009 4294967295 134512640 134714508 3221221792 3221220320 134535416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143979 143009 1111 63 0 143916 0
vsize: 575916
[startup+820.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 370069 0 0 0 81222 788 0 0 25 0 1 0 761712593 590217216 143158 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 144096 143158 1111 63 0 144033 0
vsize: 576384
[startup+830.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 372053 0 0 0 82217 793 0 0 25 0 1 0 761712593 591298560 143411 4294967295 134512640 134714508 3221221792 3221220272 134539126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 144360 143411 1111 63 0 144297 0
vsize: 577440
[startup+840.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 377394 0 0 0 83205 805 0 0 25 0 1 0 761712593 600481792 145645 4294967295 134512640 134714508 3221221792 3221220156 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146602 145645 1111 63 0 146539 0
vsize: 586408
[startup+850.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 378360 0 0 0 84203 808 0 0 25 0 1 0 761712593 600563712 145684 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146622 145684 1111 63 0 146559 0
vsize: 586488
[startup+860.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 378730 0 0 0 85202 808 0 0 25 0 1 0 761712593 601538560 145890 4294967295 134512640 134714508 3221221792 3221220176 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146860 145890 1111 63 0 146797 0
vsize: 587440
[startup+870.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 382157 0 0 0 86195 815 0 0 25 0 1 0 761712593 608702464 147649 4294967295 134512640 134714508 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 148609 147649 1111 63 0 148546 0
vsize: 594436
[startup+880.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 384476 0 0 0 87191 820 0 0 25 0 1 0 761712593 613834752 148913 4294967295 134512640 134714508 3221221792 3221220256 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 149862 148913 1111 63 0 149799 0
vsize: 599448
[startup+890.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 387050 0 0 0 88185 826 0 0 25 0 1 0 761712593 622292992 150989 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 151927 150989 1111 63 0 151864 0
vsize: 607708
[startup+900.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 390427 0 0 0 89179 833 0 0 25 0 1 0 761712593 624283648 151443 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 152413 151443 1111 63 0 152350 0
vsize: 609652
[startup+910.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 395103 0 0 0 90168 843 0 0 25 0 1 0 761712593 628953088 152615 4294967295 134512640 134714508 3221221792 3221220156 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 153553 152615 1111 63 0 153490 0
vsize: 614212
[startup+920.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 400374 0 0 0 91158 854 0 0 25 0 1 0 761712593 641740800 155737 4294967295 134512640 134714508 3221221792 3221220272 134539123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 156675 155737 1111 63 0 156612 0
vsize: 626700
[startup+930.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 404349 0 0 0 92149 863 0 0 25 0 1 0 761712593 640811008 155510 4294967295 134512640 134714508 3221221792 3221220156 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 156448 155510 1111 63 0 156385 0
vsize: 625792
[startup+940.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 409042 0 0 0 93138 874 0 0 25 0 1 0 761712593 644890624 156506 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 157444 156506 1111 63 0 157381 0
vsize: 629776
[startup+950.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 411972 0 0 0 94132 880 0 0 25 0 1 0 761712593 648851456 157441 4294967295 134512640 134714508 3221221792 3221220272 134539576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 158411 157441 1111 63 0 158348 0
vsize: 633644
[startup+960.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 414338 0 0 0 95127 886 0 0 25 0 1 0 761712593 657793024 159629 4294967295 134512640 134714508 3221221792 3221220424 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 160594 159629 1111 63 0 160531 0
vsize: 642376
[startup+970.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 414338 0 0 0 96127 886 0 0 25 0 1 0 761712593 657793024 159629 4294967295 134512640 134714508 3221221792 3221220416 134528801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 160594 159629 1111 63 0 160531 0
vsize: 642376
[startup+980.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 419837 0 0 0 97117 897 0 0 25 0 1 0 761712593 664240128 161200 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 162168 161200 1111 63 0 162105 0
vsize: 648672
[startup+990.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 423747 0 0 0 98108 905 0 0 25 0 1 0 761712593 666836992 161862 4294967295 134512640 134714508 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 162802 161862 1111 63 0 162739 0
vsize: 651208
[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 429796 0 0 0 99095 919 0 0 25 0 1 0 761712593 674263040 163664 4294967295 134512640 134714508 3221221792 3221220256 134540342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 164615 163664 1111 63 0 164552 0
vsize: 658460
[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 434303 0 0 0 100085 928 0 0 25 0 1 0 761712593 676401152 164178 4294967295 134512640 134714508 3221221792 3221220380 134535530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 165137 164178 1111 63 0 165074 0
vsize: 660548
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 437823 0 0 0 101078 936 0 0 25 0 1 0 761712593 683237376 165836 4294967295 134512640 134714508 3221221792 3221220336 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 166806 165836 1111 63 0 166743 0
vsize: 667224
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 441692 0 0 0 102070 944 0 0 25 0 1 0 761712593 688160768 167070 4294967295 134512640 134714508 3221221792 3221220380 134535503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 168008 167070 1111 63 0 167945 0
vsize: 672032
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 442537 0 0 0 103068 946 0 0 25 0 1 0 761712593 690417664 167599 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 168559 167599 1111 63 0 168496 0
vsize: 674236
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 445010 0 0 0 104063 951 0 0 25 0 1 0 761712593 693501952 168374 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 169312 168374 1111 63 0 169249 0
vsize: 677248
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 448480 0 0 0 105057 958 0 0 25 0 1 0 761712593 700338176 170021 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 170981 170021 1111 63 0 170918 0
vsize: 683924
[startup+1070.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 450544 0 0 0 106052 963 0 0 25 0 1 0 761712593 701775872 170363 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 171332 170363 1111 63 0 171269 0
vsize: 685328
[startup+1080.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 452750 0 0 0 107048 967 0 0 25 0 1 0 761712593 708587520 172057 4294967295 134512640 134714508 3221221792 3221220320 134535416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 172995 172057 1111 63 0 172932 0
vsize: 691980
[startup+1090.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 455367 0 0 0 108043 972 0 0 25 0 1 0 761712593 712572928 173000 4294967295 134512640 134714508 3221221792 3221220264 134542295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 173968 173000 1111 63 0 173905 0
vsize: 695872
[startup+1100.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 456410 0 0 0 109042 974 0 0 25 0 1 0 761712593 715382784 173695 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 174654 173695 1111 63 0 174591 0
vsize: 698616
[startup+1110.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 459199 0 0 0 110035 980 0 0 25 0 1 0 761712593 718327808 174435 4294967295 134512640 134714508 3221221792 3221220156 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 175373 174435 1111 63 0 175310 0
vsize: 701492
[startup+1120.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 460947 0 0 0 111032 983 0 0 25 0 1 0 761712593 721793024 175281 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 176219 175281 1111 63 0 176156 0
vsize: 704876
[startup+1130.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 464503 0 0 0 112025 991 0 0 25 0 1 0 761712593 731791360 177691 4294967295 134512640 134714508 3221221792 3221220224 134543674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 178660 177691 1111 63 0 178597 0
vsize: 714640
[startup+1140.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 467833 0 0 0 113018 998 0 0 25 0 1 0 761712593 735109120 178502 4294967295 134512640 134714508 3221221792 3221220156 134539217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 179470 178502 1111 63 0 179407 0
vsize: 717880
[startup+1150.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 470386 0 0 0 114012 1004 0 0 25 0 1 0 761712593 732594176 177918 4294967295 134512640 134714508 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 178856 177918 1111 63 0 178793 0
vsize: 715424
[startup+1160.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 474745 0 0 0 115003 1013 0 0 25 0 1 0 761712593 740122624 179755 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 180694 179755 1111 63 0 180631 0
vsize: 722776
[startup+1170.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 474745 0 0 0 116003 1013 0 0 25 0 1 0 761712593 740122624 179755 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 180694 179755 1111 63 0 180631 0
vsize: 722776
[startup+1180.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 478360 0 0 0 116996 1021 0 0 25 0 1 0 761712593 747180032 181458 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 182417 181458 1111 63 0 182354 0
vsize: 729668
[startup+1190.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 480896 0 0 0 117991 1026 0 0 25 0 1 0 761712593 749600768 182038 4294967295 134512640 134714508 3221221792 3221220408 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 183008 182038 1111 63 0 182945 0
vsize: 732032
[startup+1200.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 13658
Raw data (stat): 13658 (bsolo_lpr) R 13657 7876 7672 0 -1 0 481435 0 0 0 118991 1027 0 0 25 0 1 0 761712593 749772800 182104 4294967295 134512640 134714508 3221221792 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 183050 182104 1111 63 0 182987 0
vsize: 732200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.39 s]
Raw data (loadavg): 0.99 1.00 1.00 1/55 13658
Raw data (stat): 13658 (bsolo_lpr) Z 13657 7876 7672 0 -1 1036 481435 0 0 0 118991 1060 0 0 25 0 1 0 761712593 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.39
CPU time (s): 1200.52
CPU user time (s): 1189.91
CPU system time (s): 10.6084
CPU usage (%): 100.011
Max. virtual memory (Kb): 732200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####