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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUM	4d1c8086316d85cb5ef2a3148b52a8a1
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	85408
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807849934732110331904
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6807849934732110331904
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.91486
Number of variables	85198
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35129
Trace number 27961

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 23:49:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15081 boxname=wulflinc7 idbench=1161 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4d1c8086316d85cb5ef2a3148b52a8a1  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-dc1l.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-dc1l.opb
IDLAUNCH: 15081
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        443980 kB
Buffers:         35940 kB
Cached:         533052 kB
SwapCached:        100 kB
Active:         173820 kB
Inactive:       397976 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        443728 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13264 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:09:48 (client local time) WITH STATUS 0 IN 1200.53 SECONDS
stats: 15081 7 1200.53 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.93 0.95 0.90 2/54 1404
Raw data (stat): 1404 (runsolver) R 1403 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776114589 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99963 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 1705 0 0 0 993 4 0 0 25 0 1 0 776114589 17915904 1629 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4374 1629 1111 63 0 4311 0
vsize: 17496
[startup+19.9995 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 2440 0 0 0 1992 6 0 0 25 0 1 0 776114589 21053440 2364 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 2364 1111 63 0 5077 0
vsize: 20560
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 3164 0 0 0 2991 6 0 0 25 0 1 0 776114589 23891968 3088 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 3088 1111 63 0 5770 0
vsize: 23332
[startup+39.9994 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 3887 0 0 0 3991 7 0 0 25 0 1 0 776114589 26873856 3811 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6561 3811 1111 63 0 6498 0
vsize: 26244
[startup+50.0004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 4609 0 0 0 4990 8 0 0 25 0 1 0 776114589 29863936 4533 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7291 4533 1111 63 0 7228 0
vsize: 29164
[startup+60 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 5339 0 0 0 5989 10 0 0 25 0 1 0 776114589 32849920 5263 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8020 5263 1111 63 0 7957 0
vsize: 32080
[startup+69.9996 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 6062 0 0 0 6987 11 0 0 25 0 1 0 776114589 35840000 5986 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8750 5986 1111 63 0 8687 0
vsize: 35000
[startup+79.9999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 6790 0 0 0 7986 13 0 0 25 0 1 0 776114589 38821888 6714 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9478 6714 1111 63 0 9415 0
vsize: 37912
[startup+89.9999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 7522 0 0 0 8985 14 0 0 25 0 1 0 776114589 41795584 7446 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10204 7446 1111 63 0 10141 0
vsize: 40816
[startup+100 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 8246 0 0 0 9984 15 0 0 25 0 1 0 776114589 44785664 8170 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10934 8170 1111 63 0 10871 0
vsize: 43736
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 8986 0 0 0 10982 17 0 0 25 0 1 0 776114589 47767552 8910 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11662 8910 1111 63 0 11599 0
vsize: 46648
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 9715 0 0 0 11981 18 0 0 25 0 1 0 776114589 50753536 9639 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12391 9639 1111 63 0 12328 0
vsize: 49564
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 10445 0 0 0 12981 19 0 0 25 0 1 0 776114589 53743616 10369 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13121 10369 1111 63 0 13058 0
vsize: 52484
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 11174 0 0 0 13980 20 0 0 25 0 1 0 776114589 56729600 11098 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13850 11098 1111 63 0 13787 0
vsize: 55400
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 11914 0 0 0 14979 21 0 0 25 0 1 0 776114589 59858944 11838 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14614 11838 1111 63 0 14551 0
vsize: 58456
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 12656 0 0 0 15978 22 0 0 25 0 1 0 776114589 62849024 12580 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15344 12580 1111 63 0 15281 0
vsize: 61376
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 13402 0 0 0 16977 23 0 0 25 0 1 0 776114589 65957888 13326 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16103 13326 1111 63 0 16040 0
vsize: 64412
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 14137 0 0 0 17976 25 0 0 25 0 1 0 776114589 68939776 14061 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16831 14061 1111 63 0 16768 0
vsize: 67324
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 14873 0 0 0 18975 26 0 0 25 0 1 0 776114589 71929856 14797 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17561 14797 1111 63 0 17498 0
vsize: 70244
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 15615 0 0 0 19973 28 0 0 25 0 1 0 776114589 74915840 15539 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18290 15539 1111 63 0 18227 0
vsize: 73160
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 16350 0 0 0 20972 29 0 0 25 0 1 0 776114589 77897728 16274 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19018 16274 1111 63 0 18955 0
vsize: 76072
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 17181 0 0 0 21970 31 0 0 25 0 1 0 776114589 81334272 17105 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19857 17105 1111 63 0 19794 0
vsize: 79428
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 18153 0 0 0 22969 33 0 0 25 0 1 0 776114589 85364736 18077 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20841 18077 1111 63 0 20778 0
vsize: 83364
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 18895 0 0 0 23968 34 0 0 25 0 1 0 776114589 88354816 18819 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21571 18819 1111 63 0 21508 0
vsize: 86284
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 19643 0 0 0 24967 35 0 0 25 0 1 0 776114589 91492352 19567 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22337 19567 1111 63 0 22274 0
vsize: 89348
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 20383 0 0 0 25966 36 0 0 25 0 1 0 776114589 94474240 20307 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23065 20307 1111 63 0 23002 0
vsize: 92260
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 21428 0 0 0 26964 38 0 0 25 0 1 0 776114589 98803712 21352 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24122 21352 1111 63 0 24059 0
vsize: 96488
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 22187 0 0 0 27963 40 0 0 25 0 1 0 776114589 101937152 22111 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24887 22111 1111 63 0 24824 0
vsize: 99548
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 22935 0 0 0 28963 41 0 0 25 0 1 0 776114589 104927232 22859 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25617 22859 1111 63 0 25554 0
vsize: 102468
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 23689 0 0 0 29962 42 0 0 25 0 1 0 776114589 108064768 23613 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26383 23613 1111 63 0 26320 0
vsize: 105532
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 24904 0 0 0 30960 44 0 0 25 0 1 0 776114589 112988160 24828 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27585 24828 1111 63 0 27522 0
vsize: 110340
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 25669 0 0 0 31959 45 0 0 25 0 1 0 776114589 116092928 25593 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28343 25593 1111 63 0 28280 0
vsize: 113372
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 26422 0 0 0 32957 47 0 0 25 0 1 0 776114589 119230464 26346 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29109 26346 1111 63 0 29046 0
vsize: 116436
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 27176 0 0 0 33956 49 0 0 25 0 1 0 776114589 122368000 27100 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29875 27100 1111 63 0 29812 0
vsize: 119500
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 28142 0 0 0 34954 51 0 0 25 0 1 0 776114589 126251008 28066 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30823 28066 1111 63 0 30760 0
vsize: 123292
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 28903 0 0 0 35953 52 0 0 25 0 1 0 776114589 129388544 28827 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31589 28827 1111 63 0 31526 0
vsize: 126356
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 29661 0 0 0 36952 54 0 0 25 0 1 0 776114589 132517888 29585 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32353 29585 1111 63 0 32290 0
vsize: 129412
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 30421 0 0 0 37951 55 0 0 25 0 1 0 776114589 135655424 30345 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33119 30345 1111 63 0 33056 0
vsize: 132476
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 31181 0 0 0 38951 56 0 0 25 0 1 0 776114589 138792960 31105 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33885 31105 1111 63 0 33822 0
vsize: 135540
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 32148 0 0 0 39949 58 0 0 25 0 1 0 776114589 142675968 32072 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34833 32072 1111 63 0 34770 0
vsize: 139332
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 33175 0 0 0 40948 60 0 0 25 0 1 0 776114589 146853888 33099 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35853 33099 1111 63 0 35790 0
vsize: 143412
[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 33939 0 0 0 41948 61 0 0 25 0 1 0 776114589 149987328 33863 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36618 33863 1111 63 0 36555 0
vsize: 146472
[startup+430.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 34712 0 0 0 42947 62 0 0 25 0 1 0 776114589 153124864 34636 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37384 34636 1111 63 0 37321 0
vsize: 149536
[startup+440.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 35478 0 0 0 43947 63 0 0 25 0 1 0 776114589 156262400 35402 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38150 35402 1111 63 0 38087 0
vsize: 152600
[startup+450.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 36250 0 0 0 44946 64 0 0 25 0 1 0 776114589 159547392 36174 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38952 36174 1111 63 0 38889 0
vsize: 155808
[startup+460.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 37119 0 0 0 45945 65 0 0 25 0 1 0 776114589 162979840 37043 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39790 37043 1111 63 0 39727 0
vsize: 159160
[startup+470.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 37890 0 0 0 46945 66 0 0 25 0 1 0 776114589 166260736 37814 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40591 37814 1111 63 0 40528 0
vsize: 162364
[startup+480.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 38662 0 0 0 47943 68 0 0 25 0 1 0 776114589 169398272 38586 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41357 38586 1111 63 0 41294 0
vsize: 165428
[startup+490.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 39434 0 0 0 48942 69 0 0 25 0 1 0 776114589 172535808 39358 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42123 39358 1111 63 0 42060 0
vsize: 168492
[startup+500.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 40327 0 0 0 49941 70 0 0 25 0 1 0 776114589 176119808 40251 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42998 40251 1111 63 0 42935 0
vsize: 171992
[startup+510.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 41452 0 0 0 50941 72 0 0 25 0 1 0 776114589 180748288 41376 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44128 41376 1111 63 0 44065 0
vsize: 176512
[startup+520.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 42229 0 0 0 51941 74 0 0 25 0 1 0 776114589 184029184 42153 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44929 42153 1111 63 0 44866 0
vsize: 179716
[startup+530.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 43007 0 0 0 52940 76 0 0 25 0 1 0 776114589 187166720 42931 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45695 42931 1111 63 0 45632 0
vsize: 182780
[startup+540.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 43791 0 0 0 53939 77 0 0 25 0 1 0 776114589 190300160 43715 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46460 43715 1111 63 0 46397 0
vsize: 185840
[startup+550.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 44896 0 0 0 54938 78 0 0 25 0 1 0 776114589 194928640 44820 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47590 44820 1111 63 0 47527 0
vsize: 190360
[startup+560.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 45814 0 0 0 55937 80 0 0 25 0 1 0 776114589 198664192 45738 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48502 45738 1111 63 0 48439 0
vsize: 194008
[startup+570.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 46598 0 0 0 56936 81 0 0 25 0 1 0 776114589 201801728 46522 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49268 46522 1111 63 0 49205 0
vsize: 197072
[startup+580.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 47387 0 0 0 57935 82 0 0 25 0 1 0 776114589 205078528 47311 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50068 47311 1111 63 0 50005 0
vsize: 200272
[startup+590.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 48171 0 0 0 58934 83 0 0 25 0 1 0 776114589 208367616 48095 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50871 48095 1111 63 0 50808 0
vsize: 203484
[startup+600.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 48961 0 0 0 59932 85 0 0 25 0 1 0 776114589 211501056 48885 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51636 48885 1111 63 0 51573 0
vsize: 206544
[startup+610.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1404
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 49761 0 0 0 60931 86 0 0 25 0 1 0 776114589 214933504 49685 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52474 49685 1111 63 0 52411 0
vsize: 209896
[startup+620.089 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 1427
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 50556 0 0 0 61929 88 0 0 25 0 1 0 776114589 218066944 50480 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53239 50480 1111 63 0 53176 0
vsize: 212956
[startup+630.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1457
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 51341 0 0 0 62910 107 0 0 25 0 1 0 776114589 221351936 51265 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54041 51265 1111 63 0 53978 0
vsize: 216164
[startup+640.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1457
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 52131 0 0 0 63909 108 0 0 25 0 1 0 776114589 224636928 52055 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54843 52055 1111 63 0 54780 0
vsize: 219372
[startup+650.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1457
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 52927 0 0 0 64908 109 0 0 25 0 1 0 776114589 227774464 52851 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55609 52851 1111 63 0 55546 0
vsize: 222436
[startup+660.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1457
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 53724 0 0 0 65907 111 0 0 25 0 1 0 776114589 231059456 53648 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56411 53648 1111 63 0 56348 0
vsize: 225644
[startup+670.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1457
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 54597 0 0 0 66906 112 0 0 25 0 1 0 776114589 234639360 54521 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57285 54521 1111 63 0 57222 0
vsize: 229140
[startup+680.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1457
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 55460 0 0 0 67905 113 0 0 25 0 1 0 776114589 238223360 55384 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58160 55384 1111 63 0 58097 0
vsize: 232640
[startup+690.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1457
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 56257 0 0 0 68904 114 0 0 25 0 1 0 776114589 241508352 56181 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58962 56181 1111 63 0 58899 0
vsize: 235848
[startup+700.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 57061 0 0 0 69903 115 0 0 25 0 1 0 776114589 244797440 56985 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59765 56985 1111 63 0 59702 0
vsize: 239060
[startup+710.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 58008 0 0 0 70901 117 0 0 25 0 1 0 776114589 248676352 57932 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60712 57932 1111 63 0 60649 0
vsize: 242848
[startup+720.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 58809 0 0 0 71900 119 0 0 25 0 1 0 776114589 251957248 58733 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61513 58733 1111 63 0 61450 0
vsize: 246052
[startup+730.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 59624 0 0 0 72898 120 0 0 25 0 1 0 776114589 255242240 59548 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62315 59548 1111 63 0 62252 0
vsize: 249260
[startup+740.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 60432 0 0 0 73897 122 0 0 25 0 1 0 776114589 258531328 60356 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63118 60356 1111 63 0 63055 0
vsize: 252472
[startup+750.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 61271 0 0 0 74896 123 0 0 25 0 1 0 776114589 261963776 61195 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63956 61195 1111 63 0 63893 0
vsize: 255824
[startup+760.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 62086 0 0 0 75895 125 0 0 25 0 1 0 776114589 265400320 62010 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64795 62010 1111 63 0 64732 0
vsize: 259180
[startup+770.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 63028 0 0 0 76894 126 0 0 25 0 1 0 776114589 269127680 62952 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65705 62952 1111 63 0 65642 0
vsize: 262820
[startup+780.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 63921 0 0 0 77893 127 0 0 25 0 1 0 776114589 272859136 63845 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66616 63845 1111 63 0 66553 0
vsize: 266464
[startup+790.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 64741 0 0 0 78891 129 0 0 25 0 1 0 776114589 276148224 64665 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67419 64665 1111 63 0 67356 0
vsize: 269676
[startup+800.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 65555 0 0 0 79890 131 0 0 25 0 1 0 776114589 279580672 65479 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68257 65479 1111 63 0 68194 0
vsize: 273028
[startup+810.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 66473 0 0 0 80888 132 0 0 25 0 1 0 776114589 283316224 66397 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69169 66397 1111 63 0 69106 0
vsize: 276676
[startup+820.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 67293 0 0 0 81887 134 0 0 25 0 1 0 776114589 286601216 67217 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69971 67217 1111 63 0 69908 0
vsize: 279884
[startup+830.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 68180 0 0 0 82885 135 0 0 25 0 1 0 776114589 290328576 68104 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70881 68104 1111 63 0 70818 0
vsize: 283524
[startup+840.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 69019 0 0 0 83885 136 0 0 25 0 1 0 776114589 293765120 68943 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71720 68943 1111 63 0 71657 0
vsize: 286880
[startup+850.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 69846 0 0 0 84884 138 0 0 25 0 1 0 776114589 297050112 69770 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72522 69770 1111 63 0 72459 0
vsize: 290088
[startup+860.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 70673 0 0 0 85882 140 0 0 25 0 1 0 776114589 300486656 70597 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73361 70597 1111 63 0 73298 0
vsize: 293444
[startup+870.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 71505 0 0 0 86880 142 0 0 25 0 1 0 776114589 303919104 71429 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74199 71429 1111 63 0 74136 0
vsize: 296796
[startup+880.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 72362 0 0 0 87879 143 0 0 25 0 1 0 776114589 307347456 72286 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75036 72286 1111 63 0 74973 0
vsize: 300144
[startup+890.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 73206 0 0 0 88878 144 0 0 25 0 1 0 776114589 310935552 73130 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75912 73130 1111 63 0 75849 0
vsize: 303648
[startup+900.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 74088 0 0 0 89877 146 0 0 25 0 1 0 776114589 314519552 74012 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76787 74012 1111 63 0 76724 0
vsize: 307148
[startup+910.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 74920 0 0 0 90876 147 0 0 25 0 1 0 776114589 317952000 74844 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77625 74844 1111 63 0 77562 0
vsize: 310500
[startup+920.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 75821 0 0 0 91875 148 0 0 25 0 1 0 776114589 321536000 75745 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78500 75745 1111 63 0 78437 0
vsize: 314000
[startup+930.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 76659 0 0 0 92874 149 0 0 25 0 1 0 776114589 324972544 76583 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79339 76583 1111 63 0 79276 0
vsize: 317356
[startup+940.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 77503 0 0 0 93873 150 0 0 25 0 1 0 776114589 328400896 77427 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80176 77427 1111 63 0 80113 0
vsize: 320704
[startup+950.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 78341 0 0 0 94872 152 0 0 25 0 1 0 776114589 331837440 78265 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81015 78265 1111 63 0 80952 0
vsize: 324060
[startup+960.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 79186 0 0 0 95871 153 0 0 25 0 1 0 776114589 335421440 79110 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81890 79110 1111 63 0 81827 0
vsize: 327560
[startup+970.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 80038 0 0 0 96870 154 0 0 25 0 1 0 776114589 338857984 79962 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82729 79962 1111 63 0 82666 0
vsize: 330916
[startup+980.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 80889 0 0 0 97868 156 0 0 25 0 1 0 776114589 342290432 80813 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83567 80813 1111 63 0 83504 0
vsize: 334268
[startup+990.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1459
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 81782 0 0 0 98867 158 0 0 25 0 1 0 776114589 346025984 81706 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84479 81706 1111 63 0 84416 0
vsize: 337916
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 82632 0 0 0 99865 160 0 0 25 0 1 0 776114589 349454336 82556 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85316 82556 1111 63 0 85253 0
vsize: 341264
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 83635 0 0 0 100863 162 0 0 25 0 1 0 776114589 353636352 83559 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86337 83559 1111 63 0 86274 0
vsize: 345348
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 84491 0 0 0 101862 163 0 0 25 0 1 0 776114589 357068800 84415 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87175 84415 1111 63 0 87112 0
vsize: 348700
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 85500 0 0 0 102860 165 0 0 25 0 1 0 776114589 361250816 85424 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88196 85424 1111 63 0 88133 0
vsize: 352784
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 86358 0 0 0 103859 167 0 0 25 0 1 0 776114589 364687360 86282 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89035 86282 1111 63 0 88972 0
vsize: 356140
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 87251 0 0 0 104857 169 0 0 25 0 1 0 776114589 368418816 87175 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89946 87175 1111 63 0 89883 0
vsize: 359784
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 88114 0 0 0 105856 170 0 0 25 0 1 0 776114589 371855360 88038 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90785 88038 1111 63 0 90722 0
vsize: 363140
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 89051 0 0 0 106855 172 0 0 25 0 1 0 776114589 375738368 88975 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91733 88975 1111 63 0 91670 0
vsize: 366932
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 90011 0 0 0 107854 174 0 0 25 0 1 0 776114589 379613184 89935 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92679 89935 1111 63 0 92616 0
vsize: 370716
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 91056 0 0 0 108852 175 0 0 25 0 1 0 776114589 383946752 90980 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93737 90980 1111 63 0 93674 0
vsize: 374948
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 92008 0 0 0 109851 176 0 0 25 0 1 0 776114589 387825664 91932 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94684 91932 1111 63 0 94621 0
vsize: 378736
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 92889 0 0 0 110850 178 0 0 25 0 1 0 776114589 391409664 92813 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95559 92813 1111 63 0 95496 0
vsize: 382236
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 94013 0 0 0 111849 179 0 0 25 0 1 0 776114589 396038144 93937 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96689 93937 1111 63 0 96626 0
vsize: 386756
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 94894 0 0 0 112848 181 0 0 25 0 1 0 776114589 399622144 94818 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97564 94818 1111 63 0 97501 0
vsize: 390256
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 95781 0 0 0 113848 182 0 0 25 0 1 0 776114589 403353600 95705 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98475 95705 1111 63 0 98412 0
vsize: 393900
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 96675 0 0 0 114846 184 0 0 25 0 1 0 776114589 406937600 96599 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99350 96599 1111 63 0 99287 0
vsize: 397400
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 97586 0 0 0 115846 186 0 0 25 0 1 0 776114589 410673152 97510 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100262 97510 1111 63 0 100199 0
vsize: 401048
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 98588 0 0 0 116844 188 0 0 25 0 1 0 776114589 414920704 98512 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101299 98512 1111 63 0 101236 0
vsize: 405196
[startup+1180.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 99518 0 0 0 117843 190 0 0 25 0 1 0 776114589 418803712 99442 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102247 99442 1111 63 0 102184 0
vsize: 408988
[startup+1190.15 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 100405 0 0 0 118841 192 0 0 25 0 1 0 776114589 422387712 100329 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103122 100329 1111 63 0 103059 0
vsize: 412488
[startup+1200.15 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1461
Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 101291 0 0 0 119840 193 0 0 25 0 1 0 776114589 425963520 101215 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103995 101215 1111 63 0 103932 0
vsize: 415980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.34 s]
Raw data (loadavg): 1.06 0.99 0.91 1/54 1461
Raw data (stat): 1404 (bsolo_lpr) Z 1403 24300 24299 0 -1 1036 101291 0 0 0 119840 212 0 0 25 0 1 0 776114589 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.34
CPU time (s): 1200.53
CPU user time (s): 1198.4
CPU system time (s): 2.12768
CPU usage (%): 100.016
Max. virtual memory (Kb): 415980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####