PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
MD5SUM	a8bcf2463daf8317f47d4d0efa977ac7
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	108540
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	416772837549750
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	416772837549750
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.995848
Number of variables	108540
Total number of constraints	1042
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	1042
Minimum length of a constraint	20
Maximum length of a constraint	1500
Trace number 27615

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 22:42:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16446 boxname=wulflinc20 idbench=1266 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a8bcf2463daf8317f47d4d0efa977ac7  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-ship12l.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-ship12l.opb
IDLAUNCH: 16446
/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:        798848 kB
Buffers:         24756 kB
Cached:         189476 kB
SwapCached:        716 kB
Active:          35728 kB
Inactive:       180648 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        798596 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5064 kB
Slab:            13760 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:03:01 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 16446 7 1200.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.97 2/54 30574
Raw data (stat): 30574 (runsolver) R 30573 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833926734 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+10.0001 s]
Raw data (loadavg): 0.93 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 1252 0 0 0 993 5 0 0 25 0 1 0 833926734 15634432 1176 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 1176 1111 63 0 3754 0
vsize: 15268
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 1391 0 0 0 1994 5 0 0 25 0 1 0 833926734 16203776 1315 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 1315 1111 63 0 3893 0
vsize: 15824
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 1534 0 0 0 2993 5 0 0 25 0 1 0 833926734 16764928 1458 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4093 1458 1111 63 0 4030 0
vsize: 16372
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 1694 0 0 0 3993 5 0 0 25 0 1 0 833926734 17473536 1618 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 1618 1111 63 0 4203 0
vsize: 17064
[startup+50.1038 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 1861 0 0 0 5003 6 0 0 25 0 1 0 833926734 18186240 1785 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 1785 1111 63 0 4377 0
vsize: 17760
[startup+60.1039 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 2027 0 0 0 6003 6 0 0 25 0 1 0 833926734 18894848 1951 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 1951 1111 63 0 4550 0
vsize: 18452
[startup+70.1053 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 2192 0 0 0 7003 7 0 0 25 0 1 0 833926734 19456000 2116 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 2116 1111 63 0 4687 0
vsize: 19000
[startup+80.106 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 2358 0 0 0 8003 7 0 0 25 0 1 0 833926734 20164608 2282 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 2282 1111 63 0 4860 0
vsize: 19692
[startup+90.1068 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 2527 0 0 0 9003 7 0 0 25 0 1 0 833926734 20873216 2451 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5096 2451 1111 63 0 5033 0
vsize: 20384
[startup+100.113 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 2687 0 0 0 10003 8 0 0 25 0 1 0 833926734 21573632 2611 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5267 2611 1111 63 0 5204 0
vsize: 21068
[startup+110.113 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 2853 0 0 0 11003 8 0 0 25 0 1 0 833926734 22282240 2777 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5440 2777 1111 63 0 5377 0
vsize: 21760
[startup+120.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 3019 0 0 0 12003 8 0 0 25 0 1 0 833926734 22843392 2943 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5577 2943 1111 63 0 5514 0
vsize: 22308
[startup+130.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 3185 0 0 0 13003 9 0 0 25 0 1 0 833926734 23552000 3109 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 3109 1111 63 0 5687 0
vsize: 23000
[startup+140.116 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 3343 0 0 0 14003 9 0 0 25 0 1 0 833926734 24256512 3267 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5922 3267 1111 63 0 5859 0
vsize: 23688
[startup+150.119 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 3509 0 0 0 15003 10 0 0 25 0 1 0 833926734 24961024 3433 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6094 3433 1111 63 0 6031 0
vsize: 24376
[startup+160.118 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 3674 0 0 0 16002 10 0 0 25 0 1 0 833926734 25522176 3598 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 3598 1111 63 0 6168 0
vsize: 24924
[startup+170.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 3840 0 0 0 17002 11 0 0 25 0 1 0 833926734 26234880 3764 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6405 3764 1111 63 0 6342 0
vsize: 25620
[startup+180.122 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 4013 0 0 0 18002 11 0 0 25 0 1 0 833926734 26955776 3937 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 3937 1111 63 0 6518 0
vsize: 26324
[startup+190.129 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 4178 0 0 0 19002 11 0 0 25 0 1 0 833926734 27664384 4102 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6754 4102 1111 63 0 6691 0
vsize: 27016
[startup+200.129 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 4344 0 0 0 20002 12 0 0 25 0 1 0 833926734 28372992 4268 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6927 4268 1111 63 0 6864 0
vsize: 27708
[startup+210.128 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 4509 0 0 0 21002 12 0 0 25 0 1 0 833926734 29073408 4433 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7098 4433 1111 63 0 7035 0
vsize: 28392
[startup+220.129 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 4683 0 0 0 22002 12 0 0 25 0 1 0 833926734 29782016 4607 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7271 4607 1111 63 0 7208 0
vsize: 29084
[startup+230.129 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 4848 0 0 0 23002 13 0 0 25 0 1 0 833926734 30347264 4772 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 4772 1111 63 0 7346 0
vsize: 29636
[startup+240.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 5021 0 0 0 24001 13 0 0 25 0 1 0 833926734 31051776 4945 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7581 4945 1111 63 0 7518 0
vsize: 30324
[startup+250.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 5186 0 0 0 25001 14 0 0 25 0 1 0 833926734 31756288 5110 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7753 5110 1111 63 0 7690 0
vsize: 31012
[startup+260.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 5353 0 0 0 26001 14 0 0 25 0 1 0 833926734 32464896 5277 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7926 5277 1111 63 0 7863 0
vsize: 31704
[startup+270.131 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 5520 0 0 0 27001 14 0 0 25 0 1 0 833926734 33173504 5444 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8099 5444 1111 63 0 8036 0
vsize: 32396
[startup+280.131 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 5692 0 0 0 28001 15 0 0 25 0 1 0 833926734 33873920 5616 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8270 5616 1111 63 0 8207 0
vsize: 33080
[startup+290.131 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 5864 0 0 0 29000 15 0 0 25 0 1 0 833926734 34586624 5788 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8444 5788 1111 63 0 8381 0
vsize: 33776
[startup+300.131 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 6029 0 0 0 30000 16 0 0 25 0 1 0 833926734 35287040 5953 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 5953 1111 63 0 8552 0
vsize: 34460
[startup+310.131 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 6196 0 0 0 31000 16 0 0 25 0 1 0 833926734 35852288 6120 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8753 6120 1111 63 0 8690 0
vsize: 35012
[startup+320.131 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 6369 0 0 0 32000 17 0 0 25 0 1 0 833926734 36556800 6293 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6293 1111 63 0 8862 0
vsize: 35700
[startup+330.132 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 6540 0 0 0 32999 17 0 0 25 0 1 0 833926734 37265408 6464 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9098 6464 1111 63 0 9035 0
vsize: 36392
[startup+340.133 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 6718 0 0 0 33999 18 0 0 25 0 1 0 833926734 38125568 6642 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9308 6642 1111 63 0 9245 0
vsize: 37232
[startup+350.133 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 6889 0 0 0 34999 18 0 0 25 0 1 0 833926734 38830080 6813 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 6813 1111 63 0 9417 0
vsize: 37920
[startup+360.133 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 7062 0 0 0 35998 19 0 0 25 0 1 0 833926734 39538688 6986 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9653 6986 1111 63 0 9590 0
vsize: 38612
[startup+370.133 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 7221 0 0 0 36999 19 0 0 25 0 1 0 833926734 40099840 7145 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9790 7145 1111 63 0 9727 0
vsize: 39160
[startup+380.133 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 7394 0 0 0 37999 19 0 0 25 0 1 0 833926734 40808448 7318 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9963 7318 1111 63 0 9900 0
vsize: 39852
[startup+390.134 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 7561 0 0 0 38998 19 0 0 25 0 1 0 833926734 41508864 7485 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7485 1111 63 0 10071 0
vsize: 40536
[startup+400.133 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 7734 0 0 0 39998 20 0 0 25 0 1 0 833926734 42217472 7658 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10307 7658 1111 63 0 10244 0
vsize: 41228
[startup+410.133 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 7906 0 0 0 40998 20 0 0 25 0 1 0 833926734 42926080 7830 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 7830 1111 63 0 10417 0
vsize: 41920
[startup+420.134 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 8079 0 0 0 41998 20 0 0 25 0 1 0 833926734 43630592 8003 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10652 8003 1111 63 0 10589 0
vsize: 42608
[startup+430.135 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 8252 0 0 0 42998 21 0 0 25 0 1 0 833926734 44339200 8176 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10825 8176 1111 63 0 10762 0
vsize: 43300
[startup+440.136 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 8424 0 0 0 43998 21 0 0 25 0 1 0 833926734 45039616 8348 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 8348 1111 63 0 10933 0
vsize: 43984
[startup+450.136 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 8604 0 0 0 44997 22 0 0 25 0 1 0 833926734 45748224 8528 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11169 8528 1111 63 0 11106 0
vsize: 44676
[startup+460.136 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 8778 0 0 0 45997 22 0 0 25 0 1 0 833926734 46456832 8702 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11342 8702 1111 63 0 11279 0
vsize: 45368
[startup+470.136 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 8950 0 0 0 46997 22 0 0 25 0 1 0 833926734 47161344 8874 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11514 8874 1111 63 0 11451 0
vsize: 46056
[startup+480.136 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 9123 0 0 0 47997 23 0 0 25 0 1 0 833926734 47869952 9047 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11687 9047 1111 63 0 11624 0
vsize: 46748
[startup+490.137 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 9302 0 0 0 48997 23 0 0 25 0 1 0 833926734 48709632 9226 4294967295 134512640 134714508 3221224592 3221221116 1077196414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11892 9226 1111 63 0 11829 0
vsize: 47568
[startup+500.137 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 9476 0 0 0 49997 23 0 0 25 0 1 0 833926734 49422336 9400 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12066 9400 1111 63 0 12003 0
vsize: 48264
[startup+510.136 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 9649 0 0 0 50996 24 0 0 25 0 1 0 833926734 50126848 9573 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12238 9573 1111 63 0 12175 0
vsize: 48952
[startup+520.137 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 9827 0 0 0 51996 24 0 0 25 0 1 0 833926734 50831360 9751 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12410 9751 1111 63 0 12347 0
vsize: 49640
[startup+530.138 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 10001 0 0 0 52996 24 0 0 25 0 1 0 833926734 51539968 9925 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12583 9925 1111 63 0 12520 0
vsize: 50332
[startup+540.139 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 10173 0 0 0 53996 25 0 0 25 0 1 0 833926734 52244480 10097 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12755 10097 1111 63 0 12692 0
vsize: 51020
[startup+550.139 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 10352 0 0 0 54995 26 0 0 25 0 1 0 833926734 52948992 10276 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12927 10276 1111 63 0 12864 0
vsize: 51708
[startup+560.139 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 10526 0 0 0 55995 26 0 0 25 0 1 0 833926734 53661696 10450 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 10450 1111 63 0 13038 0
vsize: 52404
[startup+570.14 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 10705 0 0 0 56995 27 0 0 25 0 1 0 833926734 54362112 10629 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13272 10629 1111 63 0 13209 0
vsize: 53088
[startup+580.139 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 10886 0 0 0 57995 27 0 0 25 0 1 0 833926734 55070720 10810 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13445 10810 1111 63 0 13382 0
vsize: 53780
[startup+590.14 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 11064 0 0 0 58995 27 0 0 25 0 1 0 833926734 55914496 10988 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 10988 1111 63 0 13588 0
vsize: 54604
[startup+600.141 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 11238 0 0 0 59994 28 0 0 25 0 1 0 833926734 56623104 11162 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13824 11162 1111 63 0 13761 0
vsize: 55296
[startup+610.141 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 11418 0 0 0 60994 29 0 0 25 0 1 0 833926734 57331712 11342 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13997 11342 1111 63 0 13934 0
vsize: 55988
[startup+620.141 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 11596 0 0 0 61994 29 0 0 25 0 1 0 833926734 58032128 11520 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14168 11520 1111 63 0 14105 0
vsize: 56672
[startup+630.142 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 11776 0 0 0 62994 29 0 0 25 0 1 0 833926734 58740736 11700 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14341 11700 1111 63 0 14278 0
vsize: 57364
[startup+640.143 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 11954 0 0 0 63993 30 0 0 25 0 1 0 833926734 59441152 11878 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14512 11878 1111 63 0 14449 0
vsize: 58048
[startup+650.143 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 12134 0 0 0 64993 30 0 0 25 0 1 0 833926734 60293120 12058 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14720 12058 1111 63 0 14657 0
vsize: 58880
[startup+660.143 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 12333 0 0 0 65993 30 0 0 25 0 1 0 833926734 61218816 12257 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14946 12257 1111 63 0 14883 0
vsize: 59784
[startup+670.143 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 12512 0 0 0 66993 30 0 0 25 0 1 0 833926734 61923328 12436 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15118 12436 1111 63 0 15055 0
vsize: 60472
[startup+680.143 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 12692 0 0 0 67993 31 0 0 25 0 1 0 833926734 62631936 12616 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15291 12616 1111 63 0 15228 0
vsize: 61164
[startup+690.143 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 12871 0 0 0 68993 31 0 0 25 0 1 0 833926734 63336448 12795 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15463 12795 1111 63 0 15400 0
vsize: 61852
[startup+700.144 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 13052 0 0 0 69993 31 0 0 25 0 1 0 833926734 64040960 12976 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15635 12976 1111 63 0 15572 0
vsize: 62540
[startup+710.144 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 13232 0 0 0 70993 32 0 0 25 0 1 0 833926734 64892928 13156 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15843 13156 1111 63 0 15780 0
vsize: 63372
[startup+720.145 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 13410 0 0 0 71993 32 0 0 25 0 1 0 833926734 65593344 13334 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16014 13334 1111 63 0 15951 0
vsize: 64056
[startup+730.145 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 13590 0 0 0 72992 33 0 0 25 0 1 0 833926734 66301952 13514 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16187 13514 1111 63 0 16124 0
vsize: 64748
[startup+740.146 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 13770 0 0 0 73992 33 0 0 25 0 1 0 833926734 67006464 13694 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16359 13694 1111 63 0 16296 0
vsize: 65436
[startup+750.152 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 13950 0 0 0 74993 33 0 0 25 0 1 0 833926734 67715072 13874 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16532 13874 1111 63 0 16469 0
vsize: 66128
[startup+760.153 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 14130 0 0 0 75992 34 0 0 25 0 1 0 833926734 68562944 14054 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16739 14054 1111 63 0 16676 0
vsize: 66956
[startup+770.153 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 14316 0 0 0 76992 34 0 0 25 0 1 0 833926734 69267456 14240 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16911 14240 1111 63 0 16848 0
vsize: 67644
[startup+780.153 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 14503 0 0 0 77992 34 0 0 25 0 1 0 833926734 69971968 14427 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17083 14427 1111 63 0 17020 0
vsize: 68332
[startup+790.154 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 14690 0 0 0 78992 35 0 0 25 0 1 0 833926734 70823936 14614 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17291 14614 1111 63 0 17228 0
vsize: 69164
[startup+800.154 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 14875 0 0 0 79992 35 0 0 25 0 1 0 833926734 71524352 14799 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17462 14799 1111 63 0 17399 0
vsize: 69848
[startup+810.154 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 15056 0 0 0 80992 36 0 0 25 0 1 0 833926734 72232960 14980 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17635 14980 1111 63 0 17572 0
vsize: 70540
[startup+820.155 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 15244 0 0 0 81991 36 0 0 25 0 1 0 833926734 73076736 15168 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17841 15168 1111 63 0 17778 0
vsize: 71364
[startup+830.155 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 15429 0 0 0 82991 36 0 0 25 0 1 0 833926734 73785344 15353 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18014 15353 1111 63 0 17951 0
vsize: 72056
[startup+840.157 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 15616 0 0 0 83991 37 0 0 25 0 1 0 833926734 74633216 15540 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18221 15540 1111 63 0 18158 0
vsize: 72884
[startup+850.157 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 15802 0 0 0 84991 38 0 0 25 0 1 0 833926734 75337728 15726 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18393 15726 1111 63 0 18330 0
vsize: 73572
[startup+860.157 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 15983 0 0 0 85991 38 0 0 25 0 1 0 833926734 76046336 15907 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18566 15907 1111 63 0 18503 0
vsize: 74264
[startup+870.158 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 16170 0 0 0 86990 38 0 0 25 0 1 0 833926734 76894208 16094 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18773 16094 1111 63 0 18710 0
vsize: 75092
[startup+880.161 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 16355 0 0 0 87990 39 0 0 25 0 1 0 833926734 77594624 16279 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18944 16279 1111 63 0 18881 0
vsize: 75776
[startup+890.162 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 16542 0 0 0 88990 39 0 0 25 0 1 0 833926734 78307328 16466 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19118 16466 1111 63 0 19055 0
vsize: 76472
[startup+900.162 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 16730 0 0 0 89990 40 0 0 25 0 1 0 833926734 79155200 16654 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19325 16654 1111 63 0 19262 0
vsize: 77300
[startup+910.161 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 16922 0 0 0 90989 40 0 0 25 0 1 0 833926734 79855616 16846 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19496 16846 1111 63 0 19433 0
vsize: 77984
[startup+920.162 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 17110 0 0 0 91989 41 0 0 25 0 1 0 833926734 80703488 17034 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19703 17034 1111 63 0 19640 0
vsize: 78812
[startup+930.163 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 17296 0 0 0 92989 41 0 0 25 0 1 0 833926734 81408000 17220 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19875 17220 1111 63 0 19812 0
vsize: 79500
[startup+940.163 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 17490 0 0 0 93989 41 0 0 25 0 1 0 833926734 82259968 17414 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20083 17414 1111 63 0 20020 0
vsize: 80332
[startup+950.163 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 17683 0 0 0 94989 42 0 0 25 0 1 0 833926734 82964480 17607 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20255 17607 1111 63 0 20192 0
vsize: 81020
[startup+960.163 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 17863 0 0 0 95989 42 0 0 25 0 1 0 833926734 83808256 17787 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20461 17787 1111 63 0 20398 0
vsize: 81844
[startup+970.163 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 18057 0 0 0 96988 43 0 0 25 0 1 0 833926734 84516864 17981 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20634 17981 1111 63 0 20571 0
vsize: 82536
[startup+980.163 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 18250 0 0 0 97988 43 0 0 25 0 1 0 833926734 85368832 18174 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20842 18174 1111 63 0 20779 0
vsize: 83368
[startup+990.164 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 18437 0 0 0 98988 44 0 0 25 0 1 0 833926734 86069248 18361 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21013 18361 1111 63 0 20950 0
vsize: 84052
[startup+1000.16 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 18630 0 0 0 99987 45 0 0 25 0 1 0 833926734 86917120 18554 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21220 18554 1111 63 0 21157 0
vsize: 84880
[startup+1010.16 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 18819 0 0 0 100987 45 0 0 25 0 1 0 833926734 87625728 18743 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21393 18743 1111 63 0 21330 0
vsize: 85572
[startup+1020.16 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30574
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 19011 0 0 0 101986 45 0 0 25 0 1 0 833926734 88469504 18935 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21599 18935 1111 63 0 21536 0
vsize: 86396
[startup+1030.16 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 30627
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 19205 0 0 0 102984 47 0 0 25 0 1 0 833926734 89178112 19129 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21772 19129 1111 63 0 21709 0
vsize: 87088
[startup+1040.17 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 30627
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 19398 0 0 0 103984 47 0 0 25 0 1 0 833926734 90025984 19322 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21979 19322 1111 63 0 21916 0
vsize: 87916
[startup+1050.17 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 30627
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 19578 0 0 0 104983 48 0 0 25 0 1 0 833926734 90730496 19502 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22151 19502 1111 63 0 22088 0
vsize: 88604
[startup+1060.17 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 30627
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 19771 0 0 0 105982 49 0 0 25 0 1 0 833926734 91578368 19695 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22358 19695 1111 63 0 22295 0
vsize: 89432
[startup+1070.17 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 30627
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 19966 0 0 0 106981 50 0 0 25 0 1 0 833926734 92278784 19890 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22529 19890 1111 63 0 22466 0
vsize: 90116
[startup+1080.17 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 30627
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 20159 0 0 0 107981 51 0 0 25 0 1 0 833926734 93130752 20083 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22737 20083 1111 63 0 22674 0
vsize: 90948
[startup+1090.17 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 30627
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 20353 0 0 0 108980 51 0 0 25 0 1 0 833926734 93978624 20277 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22944 20277 1111 63 0 22881 0
vsize: 91776
[startup+1100.17 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 20546 0 0 0 109980 52 0 0 25 0 1 0 833926734 94683136 20470 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23116 20470 1111 63 0 23053 0
vsize: 92464
[startup+1110.17 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 20746 0 0 0 110979 53 0 0 25 0 1 0 833926734 95531008 20670 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23323 20670 1111 63 0 23260 0
vsize: 93292
[startup+1120.17 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 20947 0 0 0 111979 54 0 0 25 0 1 0 833926734 96378880 20871 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23530 20871 1111 63 0 23467 0
vsize: 94120
[startup+1130.17 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 21139 0 0 0 112978 55 0 0 25 0 1 0 833926734 97079296 21063 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23701 21063 1111 63 0 23638 0
vsize: 94804
[startup+1140.17 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 21334 0 0 0 113977 56 0 0 25 0 1 0 833926734 97931264 21258 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23909 21258 1111 63 0 23846 0
vsize: 95636
[startup+1150.17 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 21528 0 0 0 114977 56 0 0 25 0 1 0 833926734 98779136 21452 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24116 21452 1111 63 0 24053 0
vsize: 96464
[startup+1160.17 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 21727 0 0 0 115976 57 0 0 25 0 1 0 833926734 99483648 21651 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24288 21651 1111 63 0 24225 0
vsize: 97152
[startup+1170.17 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 21922 0 0 0 116975 58 0 0 25 0 1 0 833926734 100331520 21846 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24495 21846 1111 63 0 24432 0
vsize: 97980
[startup+1180.17 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 22122 0 0 0 117975 58 0 0 25 0 1 0 833926734 101179392 22046 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24702 22046 1111 63 0 24639 0
vsize: 98808
[startup+1190.17 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 22316 0 0 0 118975 59 0 0 25 0 1 0 833926734 101883904 22240 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24874 22240 1111 63 0 24811 0
vsize: 99496
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30629
Raw data (stat): 30574 (bsolo_lpr) R 30573 25399 25398 0 -1 0 22510 0 0 0 119974 60 0 0 25 0 1 0 833926734 102731776 22434 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25081 22434 1111 63 0 25018 0
vsize: 100324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.99 0.98 1/54 30629
Raw data (stat): 30574 (bsolo_lpr) Z 30573 25399 25398 0 -1 1036 22510 0 0 0 119974 65 0 0 25 0 1 0 833926734 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.21
CPU time (s): 1200.4
CPU user time (s): 1199.74
CPU system time (s): 0.6529
CPU usage (%): 100.015
Max. virtual memory (Kb): 100324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####