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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
MD5SUM	5b9b020cb595d55e8dbba526590c1088
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	144804
Biggest coefficient in the objective function	37355509514240
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	86052429291555573
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	37355509514240
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	86052429291555573
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9477
Number of variables	211663
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	16460
Trace number 27297

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 20:40:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17707 boxname=wulflinc8 idbench=1363 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 17707
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        459944 kB
Buffers:         35020 kB
Cached:         517956 kB
SwapCached:          0 kB
Active:          79676 kB
Inactive:       476292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        459692 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            13016 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:00:38 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 17707 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.91 0.98 0.91 2/54 7657
Raw data (stat): 7657 (runsolver) R 7656 3132 3131 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 761405484 1052672 97 4294967295 134512640 135381576 3221224496 3221219868 135024803 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+9.99959 s]
Raw data (loadavg): 0.92 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 1695 0 0 0 992 6 0 0 25 0 1 0 761405484 16723968 1619 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4083 1619 1111 63 0 4020 0
vsize: 16332
[startup+20.0003 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 1974 0 0 0 1991 6 0 0 25 0 1 0 761405484 17760256 1898 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4336 1898 1111 63 0 4273 0
vsize: 17344
[startup+29.9999 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 2114 0 0 0 2991 7 0 0 25 0 1 0 761405484 18436096 2038 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 2038 1111 63 0 4438 0
vsize: 18004
[startup+40.005 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 2234 0 0 0 3992 7 0 0 25 0 1 0 761405484 18845696 2158 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 2158 1111 63 0 4538 0
vsize: 18404
[startup+50.0054 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 2374 0 0 0 4992 7 0 0 25 0 1 0 761405484 19525632 2298 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 2298 1111 63 0 4704 0
vsize: 19068
[startup+60.0052 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 2512 0 0 0 5991 7 0 0 25 0 1 0 761405484 20066304 2436 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4899 2436 1111 63 0 4836 0
vsize: 19596
[startup+70.0142 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 2656 0 0 0 6992 8 0 0 25 0 1 0 761405484 20606976 2580 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 2580 1111 63 0 4968 0
vsize: 20124
[startup+80.0158 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 2823 0 0 0 7992 8 0 0 25 0 1 0 761405484 21291008 2747 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 2747 1111 63 0 5135 0
vsize: 20792
[startup+90.0169 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 2944 0 0 0 8992 8 0 0 25 0 1 0 761405484 21835776 2868 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 2868 1111 63 0 5268 0
vsize: 21324
[startup+100.016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 3069 0 0 0 9992 8 0 0 25 0 1 0 761405484 22376448 2993 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5463 2993 1111 63 0 5400 0
vsize: 21852
[startup+110.016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 3203 0 0 0 10992 9 0 0 25 0 1 0 761405484 22925312 3127 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5597 3127 1111 63 0 5534 0
vsize: 22388
[startup+120.017 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 3330 0 0 0 11992 9 0 0 25 0 1 0 761405484 23330816 3254 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5696 3254 1111 63 0 5633 0
vsize: 22784
[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 3457 0 0 0 12992 9 0 0 25 0 1 0 761405484 23875584 3381 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5829 3381 1111 63 0 5766 0
vsize: 23316
[startup+140.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 3583 0 0 0 13992 9 0 0 25 0 1 0 761405484 24428544 3507 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 3507 1111 63 0 5901 0
vsize: 23856
[startup+150.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 3714 0 0 0 14993 9 0 0 25 0 1 0 761405484 24969216 3638 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 3638 1111 63 0 6033 0
vsize: 24384
[startup+160.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 3861 0 0 0 15992 9 0 0 25 0 1 0 761405484 25513984 3785 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6229 3785 1111 63 0 6166 0
vsize: 24916
[startup+170.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 3994 0 0 0 16993 10 0 0 25 0 1 0 761405484 26054656 3918 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6361 3918 1111 63 0 6298 0
vsize: 25444
[startup+180.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 4139 0 0 0 17992 10 0 0 25 0 1 0 761405484 26730496 4063 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 4063 1111 63 0 6463 0
vsize: 26104
[startup+190.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 4273 0 0 0 18992 10 0 0 25 0 1 0 761405484 27279360 4197 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6660 4197 1111 63 0 6597 0
vsize: 26640
[startup+200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 4393 0 0 0 19993 10 0 0 25 0 1 0 761405484 27684864 4317 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6759 4317 1111 63 0 6696 0
vsize: 27036
[startup+210.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 4544 0 0 0 20993 10 0 0 25 0 1 0 761405484 28364800 4468 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6925 4468 1111 63 0 6862 0
vsize: 27700
[startup+220.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 4708 0 0 0 21993 11 0 0 25 0 1 0 761405484 29061120 4632 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7095 4632 1111 63 0 7032 0
vsize: 28380
[startup+230.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 4840 0 0 0 22992 11 0 0 25 0 1 0 761405484 29601792 4764 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 4764 1111 63 0 7164 0
vsize: 28908
[startup+240.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 4980 0 0 0 23992 11 0 0 25 0 1 0 761405484 30150656 4904 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7361 4904 1111 63 0 7298 0
vsize: 29444
[startup+250.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 5119 0 0 0 24993 11 0 0 25 0 1 0 761405484 30691328 5043 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7493 5043 1111 63 0 7430 0
vsize: 29972
[startup+260.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 5270 0 0 0 25993 12 0 0 25 0 1 0 761405484 31387648 5194 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 5194 1111 63 0 7600 0
vsize: 30652
[startup+270.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 5397 0 0 0 26992 12 0 0 25 0 1 0 761405484 31801344 5321 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7764 5321 1111 63 0 7701 0
vsize: 31056
[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 5537 0 0 0 27992 12 0 0 25 0 1 0 761405484 32481280 5461 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7930 5461 1111 63 0 7867 0
vsize: 31720
[startup+290.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 5674 0 0 0 28992 12 0 0 25 0 1 0 761405484 33038336 5598 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 5598 1111 63 0 8003 0
vsize: 32264
[startup+300.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 5813 0 0 0 29992 13 0 0 25 0 1 0 761405484 33587200 5737 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8200 5737 1111 63 0 8137 0
vsize: 32800
[startup+310.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 5959 0 0 0 30992 13 0 0 25 0 1 0 761405484 34152448 5883 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8338 5883 1111 63 0 8275 0
vsize: 33352
[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 6087 0 0 0 31992 13 0 0 25 0 1 0 761405484 34701312 6011 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8472 6011 1111 63 0 8409 0
vsize: 33888
[startup+330.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 6238 0 0 0 32992 14 0 0 25 0 1 0 761405484 35241984 6162 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8604 6162 1111 63 0 8541 0
vsize: 34416
[startup+340.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 6376 0 0 0 33992 14 0 0 25 0 1 0 761405484 35938304 6300 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8774 6300 1111 63 0 8711 0
vsize: 35096
[startup+350.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 6517 0 0 0 34992 14 0 0 25 0 1 0 761405484 36483072 6441 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8907 6441 1111 63 0 8844 0
vsize: 35628
[startup+360.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 6673 0 0 0 35992 15 0 0 25 0 1 0 761405484 37044224 6597 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9044 6597 1111 63 0 8981 0
vsize: 36176
[startup+370.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 6805 0 0 0 36992 15 0 0 25 0 1 0 761405484 37584896 6729 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9176 6729 1111 63 0 9113 0
vsize: 36704
[startup+380.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 6940 0 0 0 37992 15 0 0 25 0 1 0 761405484 38129664 6864 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 6864 1111 63 0 9246 0
vsize: 37236
[startup+390.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 7091 0 0 0 38992 15 0 0 25 0 1 0 761405484 38805504 7015 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 7015 1111 63 0 9411 0
vsize: 37896
[startup+400.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 7249 0 0 0 39992 16 0 0 25 0 1 0 761405484 39374848 7173 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9613 7173 1111 63 0 9550 0
vsize: 38452
[startup+410.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 7382 0 0 0 40992 16 0 0 25 0 1 0 761405484 39936000 7306 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9750 7306 1111 63 0 9687 0
vsize: 39000
[startup+420.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 7533 0 0 0 41992 16 0 0 25 0 1 0 761405484 40636416 7457 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9921 7457 1111 63 0 9858 0
vsize: 39684
[startup+430.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 7679 0 0 0 42992 17 0 0 25 0 1 0 761405484 41185280 7603 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10055 7603 1111 63 0 9992 0
vsize: 40220
[startup+440.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 7824 0 0 0 43992 17 0 0 25 0 1 0 761405484 41746432 7748 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10192 7748 1111 63 0 10129 0
vsize: 40768
[startup+450.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 7978 0 0 0 44992 17 0 0 25 0 1 0 761405484 42426368 7902 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10358 7902 1111 63 0 10295 0
vsize: 41432
[startup+460.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 8110 0 0 0 45992 17 0 0 25 0 1 0 761405484 42971136 8034 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10491 8034 1111 63 0 10428 0
vsize: 41964
[startup+470.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 8249 0 0 0 46992 17 0 0 25 0 1 0 761405484 43511808 8173 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10623 8173 1111 63 0 10560 0
vsize: 42492
[startup+480.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 8389 0 0 0 47991 18 0 0 25 0 1 0 761405484 44060672 8313 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10757 8313 1111 63 0 10694 0
vsize: 43028
[startup+490.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 8528 0 0 0 48991 18 0 0 25 0 1 0 761405484 44621824 8452 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8452 1111 63 0 10831 0
vsize: 43576
[startup+500.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 8684 0 0 0 49991 18 0 0 25 0 1 0 761405484 45322240 8608 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11065 8608 1111 63 0 11002 0
vsize: 44260
[startup+510.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 8824 0 0 0 50991 19 0 0 25 0 1 0 761405484 45871104 8748 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11199 8748 1111 63 0 11136 0
vsize: 44796
[startup+520.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 8976 0 0 0 51991 19 0 0 25 0 1 0 761405484 46567424 8900 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8900 1111 63 0 11306 0
vsize: 45476
[startup+530.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 9128 0 0 0 52991 19 0 0 25 0 1 0 761405484 47112192 9052 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11502 9052 1111 63 0 11439 0
vsize: 46008
[startup+540.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 9273 0 0 0 53991 20 0 0 25 0 1 0 761405484 47788032 9197 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11667 9197 1111 63 0 11604 0
vsize: 46668
[startup+550.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 9416 0 0 0 54991 20 0 0 25 0 1 0 761405484 48398336 9340 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11816 9340 1111 63 0 11753 0
vsize: 47264
[startup+560.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 9569 0 0 0 55990 20 0 0 25 0 1 0 761405484 48943104 9493 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11949 9493 1111 63 0 11886 0
vsize: 47796
[startup+570.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 9702 0 0 0 56990 20 0 0 25 0 1 0 761405484 49483776 9626 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 9626 1111 63 0 12018 0
vsize: 48324
[startup+580.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 9860 0 0 0 57990 21 0 0 25 0 1 0 761405484 50180096 9784 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12251 9784 1111 63 0 12188 0
vsize: 49004
[startup+590.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 9986 0 0 0 58991 21 0 0 25 0 1 0 761405484 50728960 9910 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12385 9910 1111 63 0 12322 0
vsize: 49540
[startup+600.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 10131 0 0 0 59991 21 0 0 25 0 1 0 761405484 51269632 10055 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12517 10055 1111 63 0 12454 0
vsize: 50068
[startup+610.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 10273 0 0 0 60991 21 0 0 25 0 1 0 761405484 51818496 10197 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12651 10197 1111 63 0 12588 0
vsize: 50604
[startup+620.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 10418 0 0 0 61991 21 0 0 25 0 1 0 761405484 52494336 10342 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12816 10342 1111 63 0 12753 0
vsize: 51264
[startup+630.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 10557 0 0 0 62991 21 0 0 25 0 1 0 761405484 53035008 10481 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12948 10481 1111 63 0 12885 0
vsize: 51792
[startup+640.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 10722 0 0 0 63991 22 0 0 25 0 1 0 761405484 53735424 10646 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13119 10646 1111 63 0 13056 0
vsize: 52476
[startup+650.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 10860 0 0 0 64990 22 0 0 25 0 1 0 761405484 54276096 10784 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13251 10784 1111 63 0 13188 0
vsize: 53004
[startup+660.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 11013 0 0 0 65990 23 0 0 25 0 1 0 761405484 54956032 10937 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13417 10937 1111 63 0 13354 0
vsize: 53668
[startup+670.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 11157 0 0 0 66990 23 0 0 25 0 1 0 761405484 55517184 11081 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13554 11081 1111 63 0 13491 0
vsize: 54216
[startup+680.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 11304 0 0 0 67989 24 0 0 25 0 1 0 761405484 56061952 11228 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13687 11228 1111 63 0 13624 0
vsize: 54748
[startup+690.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 11438 0 0 0 68989 24 0 0 25 0 1 0 761405484 56610816 11362 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13821 11362 1111 63 0 13758 0
vsize: 55284
[startup+700.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 11602 0 0 0 69989 24 0 0 25 0 1 0 761405484 57307136 11526 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13991 11526 1111 63 0 13928 0
vsize: 55964
[startup+710.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 11749 0 0 0 70989 25 0 0 25 0 1 0 761405484 57847808 11673 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 11673 1111 63 0 14060 0
vsize: 56492
[startup+720.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 11894 0 0 0 71989 25 0 0 25 0 1 0 761405484 58527744 11818 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14289 11818 1111 63 0 14226 0
vsize: 57156
[startup+730.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 12038 0 0 0 72989 25 0 0 25 0 1 0 761405484 59068416 11962 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14421 11962 1111 63 0 14358 0
vsize: 57684
[startup+740.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 12192 0 0 0 73989 25 0 0 25 0 1 0 761405484 59748352 12116 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14587 12116 1111 63 0 14524 0
vsize: 58348
[startup+750.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 12344 0 0 0 74989 25 0 0 25 0 1 0 761405484 60289024 12268 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14719 12268 1111 63 0 14656 0
vsize: 58876
[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 12497 0 0 0 75988 26 0 0 25 0 1 0 761405484 60989440 12421 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14890 12421 1111 63 0 14827 0
vsize: 59560
[startup+770.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 12642 0 0 0 76988 26 0 0 25 0 1 0 761405484 61530112 12566 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15022 12566 1111 63 0 14959 0
vsize: 60088
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 12780 0 0 0 77989 26 0 0 25 0 1 0 761405484 62070784 12704 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15154 12704 1111 63 0 15091 0
vsize: 60616
[startup+790.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 12920 0 0 0 78989 26 0 0 25 0 1 0 761405484 62750720 12844 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15320 12844 1111 63 0 15257 0
vsize: 61280
[startup+800.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 13052 0 0 0 79989 27 0 0 25 0 1 0 761405484 63291392 12976 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 12976 1111 63 0 15389 0
vsize: 61808
[startup+810.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 13198 0 0 0 80989 27 0 0 25 0 1 0 761405484 63832064 13122 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15584 13122 1111 63 0 15521 0
vsize: 62336
[startup+820.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 13345 0 0 0 81989 27 0 0 25 0 1 0 761405484 64376832 13269 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15717 13269 1111 63 0 15654 0
vsize: 62868
[startup+830.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 13491 0 0 0 82989 27 0 0 25 0 1 0 761405484 65052672 13415 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15882 13415 1111 63 0 15819 0
vsize: 63528
[startup+840.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 13601 0 0 0 83989 27 0 0 25 0 1 0 761405484 65474560 13525 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15985 13525 1111 63 0 15922 0
vsize: 63940
[startup+850.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 13711 0 0 0 84989 28 0 0 25 0 1 0 761405484 65896448 13635 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16088 13635 1111 63 0 16025 0
vsize: 64352
[startup+860.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 13820 0 0 0 85989 28 0 0 25 0 1 0 761405484 66314240 13744 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16190 13744 1111 63 0 16127 0
vsize: 64760
[startup+870.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 13932 0 0 0 86989 28 0 0 25 0 1 0 761405484 66883584 13856 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16329 13856 1111 63 0 16266 0
vsize: 65316
[startup+880.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14042 0 0 0 87989 28 0 0 25 0 1 0 761405484 67301376 13966 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 13966 1111 63 0 16368 0
vsize: 65724
[startup+890.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14152 0 0 0 88989 28 0 0 25 0 1 0 761405484 67723264 14076 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16534 14076 1111 63 0 16471 0
vsize: 66136
[startup+900.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14263 0 0 0 89989 29 0 0 25 0 1 0 761405484 68149248 14187 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16638 14187 1111 63 0 16575 0
vsize: 66552
[startup+910.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14373 0 0 0 90989 29 0 0 25 0 1 0 761405484 68571136 14297 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16741 14297 1111 63 0 16678 0
vsize: 66964
[startup+920.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14484 0 0 0 91989 29 0 0 25 0 1 0 761405484 69136384 14408 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16879 14408 1111 63 0 16816 0
vsize: 67516
[startup+930.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14594 0 0 0 92989 29 0 0 25 0 1 0 761405484 69558272 14518 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16982 14518 1111 63 0 16919 0
vsize: 67928
[startup+940.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14704 0 0 0 93989 29 0 0 25 0 1 0 761405484 69976064 14628 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17084 14628 1111 63 0 17021 0
vsize: 68336
[startup+950.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14815 0 0 0 94989 29 0 0 25 0 1 0 761405484 70406144 14739 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17189 14739 1111 63 0 17126 0
vsize: 68756
[startup+960.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 14925 0 0 0 95989 29 0 0 25 0 1 0 761405484 70823936 14849 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17291 14849 1111 63 0 17228 0
vsize: 69164
[startup+970.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15035 0 0 0 96989 30 0 0 25 0 1 0 761405484 71385088 14959 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17428 14959 1111 63 0 17365 0
vsize: 69712
[startup+980.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15146 0 0 0 97989 30 0 0 25 0 1 0 761405484 71811072 15070 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17532 15070 1111 63 0 17469 0
vsize: 70128
[startup+990.058 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15255 0 0 0 98990 30 0 0 25 0 1 0 761405484 72232960 15179 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17635 15179 1111 63 0 17572 0
vsize: 70540
[startup+1000.06 s]
Raw data (loadavg): 1.14 1.01 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15367 0 0 0 99990 30 0 0 25 0 1 0 761405484 72658944 15291 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17739 15291 1111 63 0 17676 0
vsize: 70956
[startup+1010.06 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15482 0 0 0 100990 30 0 0 25 0 1 0 761405484 73220096 15406 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 15406 1111 63 0 17813 0
vsize: 71504
[startup+1020.06 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15585 0 0 0 101990 31 0 0 25 0 1 0 761405484 73637888 15509 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17978 15509 1111 63 0 17915 0
vsize: 71912
[startup+1030.06 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15696 0 0 0 102990 31 0 0 25 0 1 0 761405484 74067968 15620 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18083 15620 1111 63 0 18020 0
vsize: 72332
[startup+1040.06 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15806 0 0 0 103990 31 0 0 25 0 1 0 761405484 74485760 15730 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18185 15730 1111 63 0 18122 0
vsize: 72740
[startup+1050.06 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 15924 0 0 0 104990 32 0 0 25 0 1 0 761405484 74907648 15848 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18288 15848 1111 63 0 18225 0
vsize: 73152
[startup+1060.06 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16058 0 0 0 105988 32 0 0 25 0 1 0 761405484 75636736 15982 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18466 15982 1111 63 0 18403 0
vsize: 73864
[startup+1070.06 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16175 0 0 0 106988 33 0 0 25 0 1 0 761405484 76058624 16099 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18569 16099 1111 63 0 18506 0
vsize: 74276
[startup+1080.06 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16292 0 0 0 107986 34 0 0 25 0 1 0 761405484 76623872 16216 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18707 16216 1111 63 0 18644 0
vsize: 74828
[startup+1090.06 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16402 0 0 0 108986 34 0 0 25 0 1 0 761405484 77045760 16326 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18810 16326 1111 63 0 18747 0
vsize: 75240
[startup+1100.06 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16519 0 0 0 109987 34 0 0 25 0 1 0 761405484 77463552 16443 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18912 16443 1111 63 0 18849 0
vsize: 75648
[startup+1110.06 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16637 0 0 0 110987 34 0 0 25 0 1 0 761405484 78032896 16561 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 16561 1111 63 0 18988 0
vsize: 76204
[startup+1120.06 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16748 0 0 0 111987 34 0 0 25 0 1 0 761405484 78450688 16672 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19153 16672 1111 63 0 19090 0
vsize: 76612
[startup+1130.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16872 0 0 0 112986 35 0 0 25 0 1 0 761405484 79015936 16796 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 16796 1111 63 0 19228 0
vsize: 77164
[startup+1140.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 16981 0 0 0 113986 35 0 0 25 0 1 0 761405484 79437824 16905 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19394 16905 1111 63 0 19331 0
vsize: 77576
[startup+1150.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 17098 0 0 0 114986 35 0 0 25 0 1 0 761405484 79859712 17022 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19497 17022 1111 63 0 19434 0
vsize: 77988
[startup+1160.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7657
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 17210 0 0 0 115986 35 0 0 25 0 1 0 761405484 80285696 17134 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19601 17134 1111 63 0 19538 0
vsize: 78404
[startup+1170.06 s]
Raw data (loadavg): 1.08 1.02 0.93 4/58 7691
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 17326 0 0 0 116986 36 0 0 25 0 1 0 761405484 80846848 17250 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19738 17250 1111 63 0 19675 0
vsize: 78952
[startup+1180.06 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 7710
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 17445 0 0 0 117985 36 0 0 25 0 1 0 761405484 81272832 17369 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19842 17369 1111 63 0 19779 0
vsize: 79368
[startup+1190.06 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 7710
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 17561 0 0 0 118986 36 0 0 25 0 1 0 761405484 81833984 17485 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19979 17485 1111 63 0 19916 0
vsize: 79916
[startup+1200.06 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 7710
Raw data (stat): 7657 (bsolo_lpr) R 7656 3132 3131 0 -1 0 17671 0 0 0 119986 36 0 0 25 0 1 0 761405484 82255872 17595 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20082 17595 1111 63 0 20019 0
vsize: 80328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.10 1.03 0.94 1/54 7710
Raw data (stat): 7657 (bsolo_lpr) Z 7656 3132 3131 0 -1 1036 17671 0 0 0 119986 40 0 0 25 0 1 0 761405484 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.1
CPU time (s): 1200.26
CPU user time (s): 1199.86
CPU system time (s): 0.400939
CPU usage (%): 100.014
Max. virtual memory (Kb): 80328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####