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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb
MD5SUM	1d23f02bf686681d1b293e114d3bb612
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39177236543
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39177236543
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 18:22:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19020 boxname=wulflinc29 idbench=1464 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  1d23f02bf686681d1b293e114d3bb612  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-n3702.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-n3702.opb
IDLAUNCH: 19020
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        788408 kB
Buffers:          9912 kB
Cached:         214800 kB
SwapCached:        776 kB
Active:          40500 kB
Inactive:       186868 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        788156 kB
SwapTotal:     2097892 kB
SwapFree:      2096724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5640 kB
Slab:            13180 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:42:20 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 19020 7 1200.25 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.92 0.97 0.97 2/54 22516
Raw data (stat): 22516 (runsolver) R 22515 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832358329 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 1159 0 0 0 993 4 0 0 25 0 1 0 832358329 16052224 1083 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1083 1111 63 0 3856 0
vsize: 15676
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 1405 0 0 0 1993 4 0 0 25 0 1 0 832358329 17178624 1329 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1329 1111 63 0 4131 0
vsize: 16776
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 1656 0 0 0 2993 5 0 0 25 0 1 0 832358329 18178048 1580 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1580 1111 63 0 4375 0
vsize: 17752
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 1904 0 0 0 3992 6 0 0 25 0 1 0 832358329 19165184 1828 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1828 1111 63 0 4616 0
vsize: 18716
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 2157 0 0 0 4991 7 0 0 25 0 1 0 832358329 20152320 2081 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2081 1111 63 0 4857 0
vsize: 19680
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 2410 0 0 0 5991 7 0 0 25 0 1 0 832358329 21274624 2334 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2334 1111 63 0 5131 0
vsize: 20776
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 2665 0 0 0 6991 7 0 0 25 0 1 0 832358329 22261760 2589 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2589 1111 63 0 5372 0
vsize: 21740
[startup+80.0009 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 2913 0 0 0 7991 8 0 0 25 0 1 0 832358329 23240704 2837 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2837 1111 63 0 5611 0
vsize: 22696
[startup+90.0007 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 3160 0 0 0 8990 8 0 0 25 0 1 0 832358329 24367104 3084 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3084 1111 63 0 5886 0
vsize: 23796
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 3414 0 0 0 9990 9 0 0 25 0 1 0 832358329 25354240 3338 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3338 1111 63 0 6127 0
vsize: 24760
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 3668 0 0 0 10990 9 0 0 25 0 1 0 832358329 26341376 3592 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3592 1111 63 0 6368 0
vsize: 25724
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 3924 0 0 0 11989 10 0 0 25 0 1 0 832358329 27488256 3848 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3848 1111 63 0 6648 0
vsize: 26844
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 4179 0 0 0 12989 10 0 0 25 0 1 0 832358329 28475392 4103 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4103 1111 63 0 6889 0
vsize: 27808
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 4434 0 0 0 13989 11 0 0 25 0 1 0 832358329 29601792 4358 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 4358 1111 63 0 7164 0
vsize: 28908
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 4683 0 0 0 14988 11 0 0 25 0 1 0 832358329 30584832 4607 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4607 1111 63 0 7404 0
vsize: 29868
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 4936 0 0 0 15988 12 0 0 25 0 1 0 832358329 31567872 4860 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4860 1111 63 0 7644 0
vsize: 30828
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 5192 0 0 0 16988 12 0 0 25 0 1 0 832358329 32694272 5116 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7982 5116 1111 63 0 7919 0
vsize: 31928
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 5447 0 0 0 17988 12 0 0 25 0 1 0 832358329 33681408 5371 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5371 1111 63 0 8160 0
vsize: 32892
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 5702 0 0 0 18987 13 0 0 25 0 1 0 832358329 34668544 5626 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5626 1111 63 0 8401 0
vsize: 33856
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 5957 0 0 0 19987 13 0 0 25 0 1 0 832358329 35794944 5881 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5881 1111 63 0 8676 0
vsize: 34956
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 6211 0 0 0 20987 14 0 0 25 0 1 0 832358329 36782080 6135 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6135 1111 63 0 8917 0
vsize: 35920
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 6483 0 0 0 21986 15 0 0 25 0 1 0 832358329 37920768 6407 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6407 1111 63 0 9195 0
vsize: 37032
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 6744 0 0 0 22986 15 0 0 25 0 1 0 832358329 39043072 6668 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6668 1111 63 0 9469 0
vsize: 38128
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 6999 0 0 0 23985 16 0 0 25 0 1 0 832358329 40030208 6923 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6923 1111 63 0 9710 0
vsize: 39092
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 7262 0 0 0 24985 16 0 0 25 0 1 0 832358329 41156608 7186 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7186 1111 63 0 9985 0
vsize: 40192
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 7523 0 0 0 25985 17 0 0 25 0 1 0 832358329 42283008 7447 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10323 7447 1111 63 0 10260 0
vsize: 41292
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 7785 0 0 0 26984 17 0 0 25 0 1 0 832358329 43270144 7709 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7709 1111 63 0 10501 0
vsize: 42256
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 8048 0 0 0 27984 18 0 0 25 0 1 0 832358329 44396544 7972 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10839 7972 1111 63 0 10776 0
vsize: 43356
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 8310 0 0 0 28984 18 0 0 25 0 1 0 832358329 45383680 8234 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11080 8234 1111 63 0 11017 0
vsize: 44320
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 8578 0 0 0 29984 18 0 0 25 0 1 0 832358329 46510080 8502 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11355 8502 1111 63 0 11292 0
vsize: 45420
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 8841 0 0 0 30983 19 0 0 25 0 1 0 832358329 47636480 8765 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 8765 1111 63 0 11567 0
vsize: 46520
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 9103 0 0 0 31983 19 0 0 25 0 1 0 832358329 48615424 9027 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 9027 1111 63 0 11806 0
vsize: 47476
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 9364 0 0 0 32983 20 0 0 25 0 1 0 832358329 49741824 9288 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12144 9288 1111 63 0 12081 0
vsize: 48576
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 9633 0 0 0 33982 20 0 0 25 0 1 0 832358329 50868224 9557 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12419 9557 1111 63 0 12356 0
vsize: 49676
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 9902 0 0 0 34981 21 0 0 25 0 1 0 832358329 51998720 9826 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12695 9826 1111 63 0 12632 0
vsize: 50780
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 10165 0 0 0 35982 22 0 0 25 0 1 0 832358329 52985856 10089 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12936 10089 1111 63 0 12873 0
vsize: 51744
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 10433 0 0 0 36981 23 0 0 25 0 1 0 832358329 54112256 10357 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13211 10357 1111 63 0 13148 0
vsize: 52844
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 10702 0 0 0 37980 24 0 0 25 0 1 0 832358329 55238656 10626 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13486 10626 1111 63 0 13423 0
vsize: 53944
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 10965 0 0 0 38980 24 0 0 25 0 1 0 832358329 56225792 10889 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13727 10889 1111 63 0 13664 0
vsize: 54908
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 11233 0 0 0 39979 25 0 0 25 0 1 0 832358329 57352192 11157 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14002 11157 1111 63 0 13939 0
vsize: 56008
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 11501 0 0 0 40979 25 0 0 25 0 1 0 832358329 58478592 11425 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14277 11425 1111 63 0 14214 0
vsize: 57108
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 11769 0 0 0 41978 26 0 0 25 0 1 0 832358329 59604992 11693 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14552 11693 1111 63 0 14489 0
vsize: 58208
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 12054 0 0 0 42978 26 0 0 25 0 1 0 832358329 60809216 11978 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14846 11978 1111 63 0 14783 0
vsize: 59384
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 12323 0 0 0 43978 27 0 0 25 0 1 0 832358329 61931520 12247 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15120 12247 1111 63 0 15057 0
vsize: 60480
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 12592 0 0 0 44977 27 0 0 25 0 1 0 832358329 63057920 12516 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15395 12516 1111 63 0 15332 0
vsize: 61580
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 12867 0 0 0 45976 29 0 0 25 0 1 0 832358329 64184320 12791 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15670 12791 1111 63 0 15607 0
vsize: 62680
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 13137 0 0 0 46976 29 0 0 25 0 1 0 832358329 65310720 13061 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15945 13061 1111 63 0 15882 0
vsize: 63780
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 13413 0 0 0 47976 30 0 0 25 0 1 0 832358329 66437120 13337 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16220 13337 1111 63 0 16157 0
vsize: 64880
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 13681 0 0 0 48976 30 0 0 25 0 1 0 832358329 67567616 13605 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16496 13605 1111 63 0 16433 0
vsize: 65984
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 13957 0 0 0 49975 31 0 0 25 0 1 0 832358329 68694016 13881 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16771 13881 1111 63 0 16708 0
vsize: 67084
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 14233 0 0 0 50975 31 0 0 25 0 1 0 832358329 69820416 14157 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17046 14157 1111 63 0 16983 0
vsize: 68184
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 14509 0 0 0 51974 32 0 0 25 0 1 0 832358329 70946816 14433 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17321 14433 1111 63 0 17258 0
vsize: 69284
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 14785 0 0 0 52974 33 0 0 25 0 1 0 832358329 72073216 14709 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17596 14709 1111 63 0 17533 0
vsize: 70384
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 15060 0 0 0 53973 33 0 0 25 0 1 0 832358329 73199616 14984 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17871 14984 1111 63 0 17808 0
vsize: 71484
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 15336 0 0 0 54973 34 0 0 25 0 1 0 832358329 74326016 15260 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 15260 1111 63 0 18083 0
vsize: 72584
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 15613 0 0 0 55972 35 0 0 25 0 1 0 832358329 75452416 15537 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18421 15537 1111 63 0 18358 0
vsize: 73684
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 15889 0 0 0 56972 35 0 0 25 0 1 0 832358329 76578816 15813 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18696 15813 1111 63 0 18633 0
vsize: 74784
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 16170 0 0 0 57972 35 0 0 25 0 1 0 832358329 77701120 16094 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18970 16094 1111 63 0 18907 0
vsize: 75880
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 16445 0 0 0 58972 36 0 0 25 0 1 0 832358329 78827520 16369 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19245 16369 1111 63 0 19182 0
vsize: 76980
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 16728 0 0 0 59971 37 0 0 25 0 1 0 832358329 79953920 16652 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19520 16652 1111 63 0 19457 0
vsize: 78080
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 17005 0 0 0 60971 37 0 0 25 0 1 0 832358329 81080320 16929 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19795 16929 1111 63 0 19732 0
vsize: 79180
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 17288 0 0 0 61970 38 0 0 25 0 1 0 832358329 82206720 17212 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 17212 1111 63 0 20007 0
vsize: 80280
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 17570 0 0 0 62970 38 0 0 25 0 1 0 832358329 83333120 17494 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20345 17494 1111 63 0 20282 0
vsize: 81380
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 17852 0 0 0 63970 39 0 0 25 0 1 0 832358329 84602880 17776 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20655 17776 1111 63 0 20592 0
vsize: 82620
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 18135 0 0 0 64969 39 0 0 25 0 1 0 832358329 85729280 18059 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20930 18059 1111 63 0 20867 0
vsize: 83720
[startup+660.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 18424 0 0 0 65969 40 0 0 25 0 1 0 832358329 86855680 18348 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21205 18348 1111 63 0 21142 0
vsize: 84820
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 18708 0 0 0 66968 41 0 0 25 0 1 0 832358329 87982080 18632 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21480 18632 1111 63 0 21417 0
vsize: 85920
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 18991 0 0 0 67968 41 0 0 25 0 1 0 832358329 89247744 18915 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21789 18915 1111 63 0 21726 0
vsize: 87156
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 19279 0 0 0 68968 41 0 0 25 0 1 0 832358329 90374144 19203 4294967295 134512640 134714508 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22064 19203 1111 63 0 22001 0
vsize: 88256
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 19563 0 0 0 69967 42 0 0 25 0 1 0 832358329 91500544 19487 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22339 19487 1111 63 0 22276 0
vsize: 89356
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 19846 0 0 0 70967 42 0 0 25 0 1 0 832358329 92631040 19770 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22615 19770 1111 63 0 22552 0
vsize: 90460
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 20135 0 0 0 71967 43 0 0 25 0 1 0 832358329 93896704 20059 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22924 20059 1111 63 0 22861 0
vsize: 91696
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 20425 0 0 0 72967 43 0 0 25 0 1 0 832358329 95023104 20349 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23199 20349 1111 63 0 23136 0
vsize: 92796
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 20714 0 0 0 73966 44 0 0 25 0 1 0 832358329 96288768 20638 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23508 20638 1111 63 0 23445 0
vsize: 94032
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 21004 0 0 0 74966 45 0 0 25 0 1 0 832358329 97415168 20928 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 20928 1111 63 0 23720 0
vsize: 95132
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 21293 0 0 0 75965 45 0 0 25 0 1 0 832358329 98541568 21217 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24058 21217 1111 63 0 23995 0
vsize: 96232
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 21583 0 0 0 76965 46 0 0 25 0 1 0 832358329 99811328 21507 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24368 21507 1111 63 0 24305 0
vsize: 97472
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 21873 0 0 0 77964 47 0 0 25 0 1 0 832358329 100937728 21797 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24643 21797 1111 63 0 24580 0
vsize: 98572
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 22162 0 0 0 78964 47 0 0 25 0 1 0 832358329 102203392 22086 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24952 22086 1111 63 0 24889 0
vsize: 99808
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 22458 0 0 0 79963 48 0 0 25 0 1 0 832358329 103329792 22382 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25227 22382 1111 63 0 25164 0
vsize: 100908
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 22754 0 0 0 80963 48 0 0 25 0 1 0 832358329 104599552 22678 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25537 22678 1111 63 0 25474 0
vsize: 102148
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 23079 0 0 0 81963 49 0 0 25 0 1 0 832358329 106098688 23003 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25903 23003 1111 63 0 25840 0
vsize: 103612
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 23366 0 0 0 82962 49 0 0 25 0 1 0 832358329 107352064 23290 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26209 23290 1111 63 0 26146 0
vsize: 104836
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 23668 0 0 0 83962 50 0 0 25 0 1 0 832358329 108617728 23592 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26518 23592 1111 63 0 26455 0
vsize: 106072
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 23959 0 0 0 84961 51 0 0 25 0 1 0 832358329 109744128 23883 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26793 23883 1111 63 0 26730 0
vsize: 107172
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 24260 0 0 0 85960 52 0 0 25 0 1 0 832358329 111013888 24184 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27103 24184 1111 63 0 27040 0
vsize: 108412
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 24552 0 0 0 86960 52 0 0 25 0 1 0 832358329 112140288 24476 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27378 24476 1111 63 0 27315 0
vsize: 109512
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 24854 0 0 0 87960 52 0 0 25 0 1 0 832358329 113405952 24778 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27687 24778 1111 63 0 27624 0
vsize: 110748
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 25152 0 0 0 88960 53 0 0 25 0 1 0 832358329 114671616 25076 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27996 25076 1111 63 0 27933 0
vsize: 111984
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 25448 0 0 0 89960 53 0 0 25 0 1 0 832358329 115802112 25372 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 25372 1111 63 0 28209 0
vsize: 113088
[startup+910.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 25751 0 0 0 90959 54 0 0 25 0 1 0 832358329 117067776 25675 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28581 25675 1111 63 0 28518 0
vsize: 114324
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 26054 0 0 0 91959 55 0 0 25 0 1 0 832358329 118333440 25978 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28890 25978 1111 63 0 28827 0
vsize: 115560
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 26356 0 0 0 92958 56 0 0 25 0 1 0 832358329 119599104 26280 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29199 26280 1111 63 0 29136 0
vsize: 116796
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 26661 0 0 0 93958 57 0 0 25 0 1 0 832358329 120725504 26585 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29474 26585 1111 63 0 29411 0
vsize: 117896
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 26963 0 0 0 94957 58 0 0 25 0 1 0 832358329 121995264 26887 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29784 26887 1111 63 0 29721 0
vsize: 119136
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 27268 0 0 0 95956 58 0 0 25 0 1 0 832358329 123260928 27192 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30093 27192 1111 63 0 30030 0
vsize: 120372
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 27570 0 0 0 96956 58 0 0 25 0 1 0 832358329 124526592 27494 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30402 27494 1111 63 0 30339 0
vsize: 121608
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 27875 0 0 0 97956 59 0 0 25 0 1 0 832358329 125792256 27799 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30711 27799 1111 63 0 30648 0
vsize: 122844
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 28177 0 0 0 98955 61 0 0 25 0 1 0 832358329 126922752 28101 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30987 28101 1111 63 0 30924 0
vsize: 123948
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 28480 0 0 0 99954 61 0 0 25 0 1 0 832358329 128188416 28404 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31296 28404 1111 63 0 31233 0
vsize: 125184
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 28785 0 0 0 100954 62 0 0 25 0 1 0 832358329 129454080 28709 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31605 28709 1111 63 0 31542 0
vsize: 126420
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 29094 0 0 0 101954 62 0 0 25 0 1 0 832358329 130723840 29018 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31915 29018 1111 63 0 31852 0
vsize: 127660
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 29405 0 0 0 102953 62 0 0 25 0 1 0 832358329 131989504 29329 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32224 29329 1111 63 0 32161 0
vsize: 128896
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 29714 0 0 0 103952 63 0 0 25 0 1 0 832358329 133255168 29638 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32533 29638 1111 63 0 32470 0
vsize: 130132
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 30025 0 0 0 104951 64 0 0 25 0 1 0 832358329 134520832 29949 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32842 29949 1111 63 0 32779 0
vsize: 131368
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 30335 0 0 0 105951 65 0 0 25 0 1 0 832358329 135790592 30259 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33152 30259 1111 63 0 33089 0
vsize: 132608
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 30647 0 0 0 106950 66 0 0 25 0 1 0 832358329 137060352 30571 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33462 30571 1111 63 0 33399 0
vsize: 133848
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 30962 0 0 0 107949 67 0 0 25 0 1 0 832358329 138330112 30886 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33772 30886 1111 63 0 33709 0
vsize: 135088
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 31266 0 0 0 108948 68 0 0 25 0 1 0 832358329 139595776 31190 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34081 31190 1111 63 0 34018 0
vsize: 136324
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 31584 0 0 0 109947 69 0 0 25 0 1 0 832358329 140865536 31508 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34391 31508 1111 63 0 34328 0
vsize: 137564
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 31899 0 0 0 110947 69 0 0 25 0 1 0 832358329 142131200 31823 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34700 31823 1111 63 0 34637 0
vsize: 138800
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 32217 0 0 0 111946 70 0 0 25 0 1 0 832358329 143536128 32141 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35043 32141 1111 63 0 34980 0
vsize: 140172
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 32527 0 0 0 112946 71 0 0 25 0 1 0 832358329 144805888 32451 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35353 32451 1111 63 0 35290 0
vsize: 141412
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 32845 0 0 0 113945 71 0 0 25 0 1 0 832358329 146071552 32769 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35662 32769 1111 63 0 35599 0
vsize: 142648
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 33161 0 0 0 114945 72 0 0 25 0 1 0 832358329 147337216 33085 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35971 33085 1111 63 0 35908 0
vsize: 143884
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 33479 0 0 0 115945 72 0 0 25 0 1 0 832358329 148602880 33403 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36280 33403 1111 63 0 36217 0
vsize: 145120
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 33796 0 0 0 116944 73 0 0 25 0 1 0 832358329 149872640 33720 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36590 33720 1111 63 0 36527 0
vsize: 146360
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 34119 0 0 0 117944 74 0 0 25 0 1 0 832358329 151277568 34043 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36933 34043 1111 63 0 36870 0
vsize: 147732
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 34436 0 0 0 118943 74 0 0 25 0 1 0 832358329 152543232 34360 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37242 34360 1111 63 0 37179 0
vsize: 148968
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 22516
Raw data (stat): 22516 (bsolo_lpr) R 22515 20001 20000 0 -1 0 34754 0 0 0 119943 75 0 0 25 0 1 0 832358329 153812992 34678 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37552 34678 1111 63 0 37489 0
vsize: 150208
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 22516
Raw data (stat): 22516 (bsolo_lpr) Z 22515 20001 20000 0 -1 1036 34754 0 0 0 119943 81 0 0 25 0 1 0 832358329 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.09
CPU time (s): 1200.25
CPU user time (s): 1199.44
CPU system time (s): 0.816875
CPU usage (%): 100.014
Max. virtual memory (Kb): 150208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####