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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	501db04e3c45fac1238dfa119cd7abd9
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	282020
Biggest coefficient in the objective function	2456844338462720
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	-2082450254578026316
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	2456844338462720
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	-2082450254578026316
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.6406
Number of variables	282020
Total number of constraints	1761
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	1761
Minimum length of a constraint	20
Maximum length of a constraint	49260
Trace number 26525

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 15:56:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13027 boxname=wulflinc20 idbench=1003 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  501db04e3c45fac1238dfa119cd7abd9  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 13027
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        244328 kB
Buffers:          9088 kB
Cached:         754400 kB
SwapCached:        696 kB
Active:         143356 kB
Inactive:       622648 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        244076 kB
SwapTotal:     2097892 kB
SwapFree:      2096784 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            18584 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:16:51 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 13027 7 1200.31 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.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (runsolver) R 27296 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831489397 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.0001 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2284 0 0 0 989 9 0 0 25 0 1 0 831489397 15216640 2208 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3715 2208 1111 63 0 3652 0
vsize: 14860
[startup+20.0012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2308 0 0 0 1989 9 0 0 25 0 1 0 831489397 15372288 2232 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 2232 1111 63 0 3690 0
vsize: 15012
[startup+30.0006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2331 0 0 0 2988 10 0 0 25 0 1 0 831489397 15372288 2255 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 2255 1111 63 0 3690 0
vsize: 15012
[startup+40.0013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2354 0 0 0 3988 10 0 0 25 0 1 0 831489397 15507456 2278 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 2278 1111 63 0 3723 0
vsize: 15144
[startup+50.0024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2377 0 0 0 4988 11 0 0 25 0 1 0 831489397 15659008 2301 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2301 1111 63 0 3760 0
vsize: 15292
[startup+60.0017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2402 0 0 0 5988 11 0 0 25 0 1 0 831489397 15659008 2326 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2326 1111 63 0 3760 0
vsize: 15292
[startup+70.0015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2425 0 0 0 6987 12 0 0 25 0 1 0 831489397 15794176 2349 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2349 1111 63 0 3793 0
vsize: 15424
[startup+80.0016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2448 0 0 0 7987 12 0 0 25 0 1 0 831489397 15945728 2372 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2372 1111 63 0 3830 0
vsize: 15572
[startup+90.002 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2472 0 0 0 8987 12 0 0 25 0 1 0 831489397 15945728 2396 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2396 1111 63 0 3830 0
vsize: 15572
[startup+100.002 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2495 0 0 0 9986 13 0 0 25 0 1 0 831489397 16080896 2419 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 2419 1111 63 0 3863 0
vsize: 15704
[startup+110.002 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2518 0 0 0 10986 13 0 0 25 0 1 0 831489397 16232448 2442 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 2442 1111 63 0 3900 0
vsize: 15852
[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2548 0 0 0 11986 14 0 0 25 0 1 0 831489397 16232448 2472 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 2472 1111 63 0 3900 0
vsize: 15852
[startup+130.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2571 0 0 0 12986 14 0 0 25 0 1 0 831489397 16388096 2495 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 2495 1111 63 0 3938 0
vsize: 16004
[startup+140.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2596 0 0 0 13986 15 0 0 25 0 1 0 831489397 16523264 2520 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 2520 1111 63 0 3971 0
vsize: 16136
[startup+150.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2619 0 0 0 14985 16 0 0 25 0 1 0 831489397 16523264 2543 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 2543 1111 63 0 3971 0
vsize: 16136
[startup+160.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2643 0 0 0 15984 17 0 0 25 0 1 0 831489397 16678912 2567 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 2567 1111 63 0 4009 0
vsize: 16288
[startup+170.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2669 0 0 0 16984 17 0 0 25 0 1 0 831489397 16818176 2593 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2593 1111 63 0 4043 0
vsize: 16424
[startup+180.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2692 0 0 0 17984 17 0 0 25 0 1 0 831489397 16818176 2616 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2616 1111 63 0 4043 0
vsize: 16424
[startup+190.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 27297
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2721 0 0 0 18984 17 0 0 25 0 1 0 831489397 16973824 2645 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4144 2645 1111 63 0 4081 0
vsize: 16576
[startup+200.017 s]
Raw data (loadavg): 0.99 0.99 0.99 3/57 27333
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2745 0 0 0 19976 25 0 0 25 0 1 0 831489397 17108992 2669 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 2669 1111 63 0 4114 0
vsize: 16708
[startup+210.024 s]
Raw data (loadavg): 1.15 1.02 1.01 2/54 27350
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2770 0 0 0 20977 25 0 0 25 0 1 0 831489397 17264640 2694 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2694 1111 63 0 4152 0
vsize: 16860
[startup+220.034 s]
Raw data (loadavg): 1.12 1.02 1.00 2/54 27350
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2793 0 0 0 21978 25 0 0 25 0 1 0 831489397 17264640 2717 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2717 1111 63 0 4152 0
vsize: 16860
[startup+230.034 s]
Raw data (loadavg): 1.10 1.02 1.00 2/54 27350
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2816 0 0 0 22978 25 0 0 25 0 1 0 831489397 17399808 2740 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 2740 1111 63 0 4185 0
vsize: 16992
[startup+240.035 s]
Raw data (loadavg): 1.09 1.02 1.00 2/54 27350
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2840 0 0 0 23979 25 0 0 25 0 1 0 831489397 17547264 2764 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4284 2764 1111 63 0 4221 0
vsize: 17136
[startup+250.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 27350
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2863 0 0 0 24979 25 0 0 25 0 1 0 831489397 17547264 2787 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4284 2787 1111 63 0 4221 0
vsize: 17136
[startup+260.035 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 27350
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2893 0 0 0 25979 26 0 0 25 0 1 0 831489397 17682432 2817 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4317 2817 1111 63 0 4254 0
vsize: 17268
[startup+270.035 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 27350
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2916 0 0 0 26979 26 0 0 25 0 1 0 831489397 17833984 2840 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4354 2840 1111 63 0 4291 0
vsize: 17416
[startup+280.035 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2939 0 0 0 27979 26 0 0 25 0 1 0 831489397 17833984 2863 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4354 2863 1111 63 0 4291 0
vsize: 17416
[startup+290.036 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2964 0 0 0 28979 26 0 0 25 0 1 0 831489397 17973248 2888 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4388 2888 1111 63 0 4325 0
vsize: 17552
[startup+300.036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 2987 0 0 0 29979 26 0 0 25 0 1 0 831489397 18120704 2911 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4424 2911 1111 63 0 4361 0
vsize: 17696
[startup+310.036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3011 0 0 0 30979 26 0 0 25 0 1 0 831489397 18255872 2935 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 2935 1111 63 0 4394 0
vsize: 17828
[startup+320.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3041 0 0 0 31979 26 0 0 25 0 1 0 831489397 18255872 2965 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 2965 1111 63 0 4394 0
vsize: 17828
[startup+330.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3068 0 0 0 32980 26 0 0 25 0 1 0 831489397 18407424 2992 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4494 2992 1111 63 0 4431 0
vsize: 17976
[startup+340.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3092 0 0 0 33980 26 0 0 25 0 1 0 831489397 18554880 3016 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3016 1111 63 0 4467 0
vsize: 18120
[startup+350.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3115 0 0 0 34980 26 0 0 25 0 1 0 831489397 18554880 3039 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3039 1111 63 0 4467 0
vsize: 18120
[startup+360.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3139 0 0 0 35980 26 0 0 25 0 1 0 831489397 18690048 3063 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4563 3063 1111 63 0 4500 0
vsize: 18252
[startup+370.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3163 0 0 0 36980 26 0 0 25 0 1 0 831489397 18845696 3087 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3087 1111 63 0 4538 0
vsize: 18404
[startup+380.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3186 0 0 0 37980 26 0 0 25 0 1 0 831489397 18845696 3110 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3110 1111 63 0 4538 0
vsize: 18404
[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3209 0 0 0 38980 26 0 0 25 0 1 0 831489397 18980864 3133 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3133 1111 63 0 4571 0
vsize: 18536
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3233 0 0 0 39980 26 0 0 25 0 1 0 831489397 19128320 3157 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4670 3157 1111 63 0 4607 0
vsize: 18680
[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3256 0 0 0 40981 26 0 0 25 0 1 0 831489397 19263488 3180 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4703 3180 1111 63 0 4640 0
vsize: 18812
[startup+420.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3286 0 0 0 41981 26 0 0 25 0 1 0 831489397 19263488 3210 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4703 3210 1111 63 0 4640 0
vsize: 18812
[startup+430.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3303 0 0 0 42981 27 0 0 25 0 1 0 831489397 19415040 3227 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4740 3227 1111 63 0 4677 0
vsize: 18960
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3327 0 0 0 43981 27 0 0 25 0 1 0 831489397 19550208 3251 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3251 1111 63 0 4710 0
vsize: 19092
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3351 0 0 0 44981 27 0 0 25 0 1 0 831489397 19550208 3275 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3275 1111 63 0 4710 0
vsize: 19092
[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3380 0 0 0 45981 27 0 0 25 0 1 0 831489397 19705856 3304 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4811 3304 1111 63 0 4748 0
vsize: 19244
[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3397 0 0 0 46981 27 0 0 25 0 1 0 831489397 19705856 3321 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4811 3321 1111 63 0 4748 0
vsize: 19244
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3420 0 0 0 47981 27 0 0 25 0 1 0 831489397 19861504 3344 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 3344 1111 63 0 4786 0
vsize: 19396
[startup+490.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3449 0 0 0 48982 27 0 0 25 0 1 0 831489397 19996672 3373 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4882 3373 1111 63 0 4819 0
vsize: 19528
[startup+500.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3473 0 0 0 49982 27 0 0 25 0 1 0 831489397 20144128 3397 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3397 1111 63 0 4855 0
vsize: 19672
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27352
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3498 0 0 0 50982 27 0 0 25 0 1 0 831489397 20144128 3422 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3422 1111 63 0 4855 0
vsize: 19672
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3521 0 0 0 51982 27 0 0 25 0 1 0 831489397 20279296 3445 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 3445 1111 63 0 4888 0
vsize: 19804
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3544 0 0 0 52982 27 0 0 25 0 1 0 831489397 20434944 3468 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4989 3468 1111 63 0 4926 0
vsize: 19956
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3568 0 0 0 53982 27 0 0 25 0 1 0 831489397 20434944 3492 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4989 3492 1111 63 0 4926 0
vsize: 19956
[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3597 0 0 0 54983 27 0 0 25 0 1 0 831489397 20570112 3521 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5022 3521 1111 63 0 4959 0
vsize: 20088
[startup+560.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3621 0 0 0 55983 27 0 0 25 0 1 0 831489397 20717568 3545 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5058 3545 1111 63 0 4995 0
vsize: 20232
[startup+570.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3644 0 0 0 56983 27 0 0 25 0 1 0 831489397 20717568 3568 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5058 3568 1111 63 0 4995 0
vsize: 20232
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3668 0 0 0 57983 27 0 0 25 0 1 0 831489397 20852736 3592 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5091 3592 1111 63 0 5028 0
vsize: 20364
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3699 0 0 0 58983 27 0 0 25 0 1 0 831489397 21008384 3623 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5129 3623 1111 63 0 5066 0
vsize: 20516
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3722 0 0 0 59984 27 0 0 25 0 1 0 831489397 21143552 3646 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 3646 1111 63 0 5099 0
vsize: 20648
[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3745 0 0 0 60984 27 0 0 25 0 1 0 831489397 21143552 3669 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 3669 1111 63 0 5099 0
vsize: 20648
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3768 0 0 0 61984 28 0 0 25 0 1 0 831489397 21295104 3692 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 3692 1111 63 0 5136 0
vsize: 20796
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3792 0 0 0 62984 28 0 0 25 0 1 0 831489397 21450752 3716 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 3716 1111 63 0 5174 0
vsize: 20948
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3815 0 0 0 63984 28 0 0 25 0 1 0 831489397 21450752 3739 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 3739 1111 63 0 5174 0
vsize: 20948
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3845 0 0 0 64985 28 0 0 25 0 1 0 831489397 21585920 3769 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5270 3769 1111 63 0 5207 0
vsize: 21080
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3870 0 0 0 65985 28 0 0 25 0 1 0 831489397 21721088 3794 4294967295 134512640 134714508 3221224592 3221222820 1077414418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 3794 1111 63 0 5240 0
vsize: 21212
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3893 0 0 0 66986 28 0 0 25 0 1 0 831489397 21856256 3817 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5336 3817 1111 63 0 5273 0
vsize: 21344
[startup+680.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3916 0 0 0 67986 28 0 0 25 0 1 0 831489397 21856256 3840 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5336 3840 1111 63 0 5273 0
vsize: 21344
[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3946 0 0 0 68987 28 0 0 25 0 1 0 831489397 22007808 3870 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5373 3870 1111 63 0 5310 0
vsize: 21492
[startup+700.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3969 0 0 0 69987 28 0 0 25 0 1 0 831489397 22142976 3893 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5406 3893 1111 63 0 5343 0
vsize: 21624
[startup+710.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 3992 0 0 0 70988 28 0 0 25 0 1 0 831489397 22294528 3916 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 3916 1111 63 0 5380 0
vsize: 21772
[startup+720.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4016 0 0 0 71988 28 0 0 25 0 1 0 831489397 22294528 3940 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 3940 1111 63 0 5380 0
vsize: 21772
[startup+730.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4041 0 0 0 72988 28 0 0 25 0 1 0 831489397 22450176 3965 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5481 3965 1111 63 0 5418 0
vsize: 21924
[startup+740.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4064 0 0 0 73989 28 0 0 25 0 1 0 831489397 22585344 3988 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5514 3988 1111 63 0 5451 0
vsize: 22056
[startup+750.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4094 0 0 0 74990 28 0 0 25 0 1 0 831489397 22585344 4018 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4018 1111 63 0 5451 0
vsize: 22056
[startup+760.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4117 0 0 0 75991 28 0 0 25 0 1 0 831489397 22740992 4041 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4041 1111 63 0 5489 0
vsize: 22208
[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4140 0 0 0 76990 29 0 0 25 0 1 0 831489397 22876160 4064 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5585 4064 1111 63 0 5522 0
vsize: 22340
[startup+780.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4164 0 0 0 77991 29 0 0 25 0 1 0 831489397 22876160 4088 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5585 4088 1111 63 0 5522 0
vsize: 22340
[startup+790.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4188 0 0 0 78991 29 0 0 25 0 1 0 831489397 23023616 4112 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5621 4112 1111 63 0 5558 0
vsize: 22484
[startup+800.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4211 0 0 0 79991 29 0 0 25 0 1 0 831489397 23158784 4135 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4135 1111 63 0 5591 0
vsize: 22616
[startup+810.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4243 0 0 0 80991 29 0 0 25 0 1 0 831489397 23314432 4167 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5692 4167 1111 63 0 5629 0
vsize: 22768
[startup+820.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4266 0 0 0 81991 29 0 0 25 0 1 0 831489397 23314432 4190 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5692 4190 1111 63 0 5629 0
vsize: 22768
[startup+830.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4290 0 0 0 82991 29 0 0 25 0 1 0 831489397 23449600 4214 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4214 1111 63 0 5662 0
vsize: 22900
[startup+840.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4313 0 0 0 83992 29 0 0 25 0 1 0 831489397 23597056 4237 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5761 4237 1111 63 0 5698 0
vsize: 23044
[startup+850.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4337 0 0 0 84992 29 0 0 25 0 1 0 831489397 23597056 4261 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5761 4261 1111 63 0 5698 0
vsize: 23044
[startup+860.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4360 0 0 0 85992 29 0 0 25 0 1 0 831489397 23732224 4284 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5794 4284 1111 63 0 5731 0
vsize: 23176
[startup+870.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4383 0 0 0 86992 29 0 0 25 0 1 0 831489397 23883776 4307 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5831 4307 1111 63 0 5768 0
vsize: 23324
[startup+880.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4408 0 0 0 87992 29 0 0 25 0 1 0 831489397 23883776 4332 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5831 4332 1111 63 0 5768 0
vsize: 23324
[startup+890.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4431 0 0 0 88992 29 0 0 25 0 1 0 831489397 24018944 4355 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5864 4355 1111 63 0 5801 0
vsize: 23456
[startup+900.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4460 0 0 0 89993 29 0 0 25 0 1 0 831489397 24174592 4384 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5902 4384 1111 63 0 5839 0
vsize: 23608
[startup+910.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4484 0 0 0 90993 29 0 0 25 0 1 0 831489397 24174592 4408 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5902 4408 1111 63 0 5839 0
vsize: 23608
[startup+920.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4507 0 0 0 91993 29 0 0 25 0 1 0 831489397 24330240 4431 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5940 4431 1111 63 0 5877 0
vsize: 23760
[startup+930.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4530 0 0 0 92993 29 0 0 25 0 1 0 831489397 24465408 4454 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5973 4454 1111 63 0 5910 0
vsize: 23892
[startup+940.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4554 0 0 0 93993 29 0 0 25 0 1 0 831489397 24465408 4478 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5973 4478 1111 63 0 5910 0
vsize: 23892
[startup+950.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4578 0 0 0 94993 29 0 0 25 0 1 0 831489397 24612864 4502 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6009 4502 1111 63 0 5946 0
vsize: 24036
[startup+960.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4610 0 0 0 95993 29 0 0 25 0 1 0 831489397 24748032 4534 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6042 4534 1111 63 0 5979 0
vsize: 24168
[startup+970.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4634 0 0 0 96994 29 0 0 25 0 1 0 831489397 24903680 4558 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 4558 1111 63 0 6017 0
vsize: 24320
[startup+980.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4657 0 0 0 97994 29 0 0 25 0 1 0 831489397 24903680 4581 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 4581 1111 63 0 6017 0
vsize: 24320
[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4680 0 0 0 98994 29 0 0 25 0 1 0 831489397 25038848 4604 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 4604 1111 63 0 6050 0
vsize: 24452
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4704 0 0 0 99994 29 0 0 25 0 1 0 831489397 25186304 4628 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6149 4628 1111 63 0 6086 0
vsize: 24596
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4727 0 0 0 100994 30 0 0 25 0 1 0 831489397 25186304 4651 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6149 4651 1111 63 0 6086 0
vsize: 24596
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4750 0 0 0 101994 30 0 0 25 0 1 0 831489397 25321472 4674 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6182 4674 1111 63 0 6119 0
vsize: 24728
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4775 0 0 0 102994 30 0 0 25 0 1 0 831489397 25477120 4699 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6220 4699 1111 63 0 6157 0
vsize: 24880
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4804 0 0 0 103994 30 0 0 25 0 1 0 831489397 25477120 4728 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6220 4728 1111 63 0 6157 0
vsize: 24880
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4827 0 0 0 104995 30 0 0 25 0 1 0 831489397 25612288 4751 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6253 4751 1111 63 0 6190 0
vsize: 25012
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4851 0 0 0 105995 30 0 0 25 0 1 0 831489397 25759744 4775 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6289 4775 1111 63 0 6226 0
vsize: 25156
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4874 0 0 0 106995 30 0 0 25 0 1 0 831489397 25759744 4798 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6289 4798 1111 63 0 6226 0
vsize: 25156
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4898 0 0 0 107995 30 0 0 25 0 1 0 831489397 25894912 4822 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6322 4822 1111 63 0 6259 0
vsize: 25288
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4921 0 0 0 108995 30 0 0 25 0 1 0 831489397 26046464 4845 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6359 4845 1111 63 0 6296 0
vsize: 25436
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4952 0 0 0 109995 30 0 0 25 0 1 0 831489397 26185728 4876 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6393 4876 1111 63 0 6330 0
vsize: 25572
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 4976 0 0 0 110995 30 0 0 25 0 1 0 831489397 26185728 4900 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6393 4900 1111 63 0 6330 0
vsize: 25572
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5000 0 0 0 111995 30 0 0 25 0 1 0 831489397 26337280 4924 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6430 4924 1111 63 0 6367 0
vsize: 25720
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5023 0 0 0 112995 30 0 0 25 0 1 0 831489397 26492928 4947 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6468 4947 1111 63 0 6405 0
vsize: 25872
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5047 0 0 0 113995 30 0 0 25 0 1 0 831489397 26492928 4971 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6468 4971 1111 63 0 6405 0
vsize: 25872
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5076 0 0 0 114996 30 0 0 25 0 1 0 831489397 26628096 5000 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6501 5000 1111 63 0 6438 0
vsize: 26004
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5099 0 0 0 115996 31 0 0 25 0 1 0 831489397 26775552 5023 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5023 1111 63 0 6474 0
vsize: 26148
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5123 0 0 0 116996 31 0 0 25 0 1 0 831489397 26775552 5047 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5047 1111 63 0 6474 0
vsize: 26148
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5148 0 0 0 117996 31 0 0 25 0 1 0 831489397 26910720 5072 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6570 5072 1111 63 0 6507 0
vsize: 26280
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5178 0 0 0 118997 31 0 0 25 0 1 0 831489397 27066368 5102 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6608 5102 1111 63 0 6545 0
vsize: 26432
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27354
Raw data (stat): 27297 (bsolo_lpr) R 27296 25399 25398 0 -1 0 5201 0 0 0 119998 31 0 0 25 0 1 0 831489397 27201536 5125 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6641 5125 1111 63 0 6578 0
vsize: 26564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 27354
Raw data (stat): 27297 (bsolo_lpr) Z 27296 25399 25398 0 -1 1036 5201 0 0 0 119998 32 0 0 21 0 1 0 831489397 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.22
CPU time (s): 1200.31
CPU user time (s): 1199.98
CPU system time (s): 0.32495
CPU usage (%): 100.007
Max. virtual memory (Kb): 26564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####