PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb
MD5SUM	b99a0e1987692fd9762e75d45288f75a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97785
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25568

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 18:04:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19150 boxname=wulflinc31 idbench=1474 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b99a0e1987692fd9762e75d45288f75a  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370c.opb
IDLAUNCH: 19150
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        669392 kB
Buffers:         31284 kB
Cached:         312716 kB
SwapCached:       1168 kB
Active:         236464 kB
Inactive:       109924 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669140 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13088 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 18:24:19 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19150 7 1200.27 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.98 0.97 2/55 1438
Raw data (stat): 1438 (runsolver) R 1437 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 797671144 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 1160 0 0 0 990 5 0 0 25 0 1 0 797671144 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3920 1083 1111 63 0 3857 0
vsize: 15680
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 1406 0 0 0 1990 6 0 0 25 0 1 0 797671144 17182720 1329 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4195 1329 1111 63 0 4132 0
vsize: 16780
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 1657 0 0 0 2989 6 0 0 25 0 1 0 797671144 18182144 1580 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4439 1580 1111 63 0 4376 0
vsize: 17756
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 1904 0 0 0 3988 7 0 0 25 0 1 0 797671144 19169280 1827 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4680 1827 1111 63 0 4617 0
vsize: 18720
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 2152 0 0 0 4988 8 0 0 25 0 1 0 797671144 20156416 2075 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4921 2075 1111 63 0 4858 0
vsize: 19684
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 2405 0 0 0 5987 9 0 0 25 0 1 0 797671144 21278720 2328 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5195 2328 1111 63 0 5132 0
vsize: 20780
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 2653 0 0 0 6986 10 0 0 25 0 1 0 797671144 22265856 2576 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5436 2576 1111 63 0 5373 0
vsize: 21744
[startup+80.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 2900 0 0 0 7985 11 0 0 25 0 1 0 797671144 23244800 2823 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5675 2823 1111 63 0 5612 0
vsize: 22700
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 3148 0 0 0 8984 12 0 0 25 0 1 0 797671144 24231936 3071 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5916 3071 1111 63 0 5853 0
vsize: 23664
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 1438
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 3396 0 0 0 9983 13 0 0 25 0 1 0 797671144 25219072 3319 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6157 3319 1111 63 0 6094 0
vsize: 24628
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 3650 0 0 0 10982 14 0 0 25 0 1 0 797671144 26345472 3573 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6432 3573 1111 63 0 6369 0
vsize: 25728
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 3906 0 0 0 11981 15 0 0 25 0 1 0 797671144 27353088 3829 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6678 3829 1111 63 0 6615 0
vsize: 26712
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 4160 0 0 0 12980 16 0 0 25 0 1 0 797671144 28479488 4083 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6953 4083 1111 63 0 6890 0
vsize: 27812
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 4409 0 0 0 13980 17 0 0 25 0 1 0 797671144 29466624 4332 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7194 4332 1111 63 0 7131 0
vsize: 28776
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 4663 0 0 0 14979 17 0 0 25 0 1 0 797671144 30445568 4586 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7433 4586 1111 63 0 7370 0
vsize: 29732
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 4917 0 0 0 15978 18 0 0 25 0 1 0 797671144 31571968 4840 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7708 4840 1111 63 0 7645 0
vsize: 30832
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 5167 0 0 0 16977 19 0 0 25 0 1 0 797671144 32559104 5090 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7949 5090 1111 63 0 7886 0
vsize: 31796
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 5422 0 0 0 17977 20 0 0 25 0 1 0 797671144 33546240 5345 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8190 5345 1111 63 0 8127 0
vsize: 32760
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 5670 0 0 0 18976 21 0 0 25 0 1 0 797671144 34533376 5593 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8431 5593 1111 63 0 8368 0
vsize: 33724
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 5924 0 0 0 19976 21 0 0 25 0 1 0 797671144 35659776 5847 4294967295 134512640 134714508 3221221776 3221218444 1077253659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8706 5847 1111 63 0 8643 0
vsize: 34824
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 6173 0 0 0 20975 22 0 0 25 0 1 0 797671144 36646912 6096 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8947 6096 1111 63 0 8884 0
vsize: 35788
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 6425 0 0 0 21975 23 0 0 25 0 1 0 797671144 37629952 6348 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9187 6348 1111 63 0 9124 0
vsize: 36748
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 6691 0 0 0 22975 23 0 0 25 0 1 0 797671144 38764544 6614 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9464 6614 1111 63 0 9401 0
vsize: 37856
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 6946 0 0 0 23974 24 0 0 25 0 1 0 797671144 39890944 6869 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9739 6869 1111 63 0 9676 0
vsize: 38956
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 7201 0 0 0 24973 25 0 0 25 0 1 0 797671144 40882176 7124 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9981 7124 1111 63 0 9918 0
vsize: 39924
[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 7451 0 0 0 25972 26 0 0 25 0 1 0 797671144 41865216 7374 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10221 7374 1111 63 0 10158 0
vsize: 40884
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 7711 0 0 0 26972 26 0 0 25 0 1 0 797671144 42991616 7634 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10496 7634 1111 63 0 10433 0
vsize: 41984
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 7962 0 0 0 27972 27 0 0 25 0 1 0 797671144 43978752 7885 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10737 7885 1111 63 0 10674 0
vsize: 42948
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 8222 0 0 0 28972 27 0 0 25 0 1 0 797671144 45101056 8145 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11011 8145 1111 63 0 10948 0
vsize: 44044
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 8476 0 0 0 29972 27 0 0 25 0 1 0 797671144 46088192 8399 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11252 8399 1111 63 0 11189 0
vsize: 45008
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 8733 0 0 0 30971 28 0 0 25 0 1 0 797671144 47214592 8656 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11527 8656 1111 63 0 11464 0
vsize: 46108
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 8993 0 0 0 31971 28 0 0 25 0 1 0 797671144 48201728 8916 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11768 8916 1111 63 0 11705 0
vsize: 47072
[startup+330.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 9249 0 0 0 32972 29 0 0 25 0 1 0 797671144 49328128 9172 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12043 9172 1111 63 0 11980 0
vsize: 48172
[startup+340.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 9505 0 0 0 33972 29 0 0 25 0 1 0 797671144 50315264 9428 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12284 9428 1111 63 0 12221 0
vsize: 49136
[startup+350.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 9766 0 0 0 34972 29 0 0 25 0 1 0 797671144 51441664 9689 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12559 9689 1111 63 0 12496 0
vsize: 50236
[startup+360.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 10028 0 0 0 35971 30 0 0 25 0 1 0 797671144 52428800 9951 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12800 9951 1111 63 0 12737 0
vsize: 51200
[startup+370.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 10285 0 0 0 36971 31 0 0 25 0 1 0 797671144 53555200 10208 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13075 10208 1111 63 0 13012 0
vsize: 52300
[startup+380.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 10544 0 0 0 37971 31 0 0 25 0 1 0 797671144 54534144 10467 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13314 10467 1111 63 0 13251 0
vsize: 53256
[startup+390.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 10807 0 0 0 38971 31 0 0 25 0 1 0 797671144 55660544 10730 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13589 10730 1111 63 0 13526 0
vsize: 54356
[startup+400.036 s]
Raw data (loadavg): 1.07 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 11069 0 0 0 39970 32 0 0 25 0 1 0 797671144 56647680 10992 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13830 10992 1111 63 0 13767 0
vsize: 55320
[startup+410.036 s]
Raw data (loadavg): 1.06 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 11324 0 0 0 40970 32 0 0 25 0 1 0 797671144 57778176 11247 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14106 11247 1111 63 0 14043 0
vsize: 56424
[startup+420.035 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 11592 0 0 0 41970 33 0 0 25 0 1 0 797671144 58904576 11515 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14381 11515 1111 63 0 14318 0
vsize: 57524
[startup+430.037 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 11853 0 0 0 42970 33 0 0 25 0 1 0 797671144 59887616 11776 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14621 11776 1111 63 0 14558 0
vsize: 58484
[startup+440.037 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 12133 0 0 0 43970 33 0 0 25 0 1 0 797671144 61235200 12056 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14950 12056 1111 63 0 14887 0
vsize: 59800
[startup+450.037 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 12395 0 0 0 44969 34 0 0 25 0 1 0 797671144 62222336 12318 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15191 12318 1111 63 0 15128 0
vsize: 60764
[startup+460.037 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 12663 0 0 0 45969 34 0 0 25 0 1 0 797671144 63344640 12586 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15465 12586 1111 63 0 15402 0
vsize: 61860
[startup+470.037 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 12924 0 0 0 46969 35 0 0 25 0 1 0 797671144 64471040 12847 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15740 12847 1111 63 0 15677 0
vsize: 62960
[startup+480.038 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 13187 0 0 0 47968 36 0 0 25 0 1 0 797671144 65458176 13110 4294967295 134512640 134714508 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15981 13110 1111 63 0 15918 0
vsize: 63924
[startup+490.038 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 13456 0 0 0 48968 36 0 0 25 0 1 0 797671144 66584576 13379 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16256 13379 1111 63 0 16193 0
vsize: 65024
[startup+500.039 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 13724 0 0 0 49967 37 0 0 25 0 1 0 797671144 67710976 13647 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16531 13647 1111 63 0 16468 0
vsize: 66124
[startup+510.039 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 13987 0 0 0 50967 37 0 0 25 0 1 0 797671144 68698112 13910 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16772 13910 1111 63 0 16709 0
vsize: 67088
[startup+520.039 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 14256 0 0 0 51967 38 0 0 25 0 1 0 797671144 69824512 14179 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17047 14179 1111 63 0 16984 0
vsize: 68188
[startup+530.04 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 14525 0 0 0 52967 38 0 0 25 0 1 0 797671144 70950912 14448 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17322 14448 1111 63 0 17259 0
vsize: 69288
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 14794 0 0 0 53966 39 0 0 25 0 1 0 797671144 72077312 14717 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17597 14717 1111 63 0 17534 0
vsize: 70388
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 15062 0 0 0 54966 39 0 0 25 0 1 0 797671144 73203712 14985 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17872 14985 1111 63 0 17809 0
vsize: 71488
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 15332 0 0 0 55966 40 0 0 25 0 1 0 797671144 74190848 15255 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18113 15255 1111 63 0 18050 0
vsize: 72452
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 15601 0 0 0 56965 40 0 0 25 0 1 0 797671144 75313152 15524 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18387 15524 1111 63 0 18324 0
vsize: 73548
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 15869 0 0 0 57965 41 0 0 25 0 1 0 797671144 76439552 15792 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18662 15792 1111 63 0 18599 0
vsize: 74648
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 16139 0 0 0 58964 42 0 0 25 0 1 0 797671144 77565952 16062 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18937 16062 1111 63 0 18874 0
vsize: 75748
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 16413 0 0 0 59964 42 0 0 25 0 1 0 797671144 78692352 16336 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19212 16336 1111 63 0 19149 0
vsize: 76848
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 16683 0 0 0 60963 43 0 0 25 0 1 0 797671144 79818752 16606 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19487 16606 1111 63 0 19424 0
vsize: 77948
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 16958 0 0 0 61963 43 0 0 25 0 1 0 797671144 80945152 16881 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19762 16881 1111 63 0 19699 0
vsize: 79048
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 17227 0 0 0 62962 44 0 0 25 0 1 0 797671144 81932288 17150 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20003 17150 1111 63 0 19940 0
vsize: 80012
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 17504 0 0 0 63962 45 0 0 25 0 1 0 797671144 83058688 17427 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 17427 1111 63 0 20215 0
vsize: 81112
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 17779 0 0 0 64961 46 0 0 25 0 1 0 797671144 84185088 17702 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20553 17702 1111 63 0 20490 0
vsize: 82212
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 18055 0 0 0 65961 46 0 0 25 0 1 0 797671144 85311488 17978 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20828 17978 1111 63 0 20765 0
vsize: 83312
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 18331 0 0 0 66961 47 0 0 25 0 1 0 797671144 86437888 18254 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21103 18254 1111 63 0 21040 0
vsize: 84412
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 18606 0 0 0 67961 47 0 0 25 0 1 0 797671144 87564288 18529 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21378 18529 1111 63 0 21315 0
vsize: 85512
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 18884 0 0 0 68960 48 0 0 25 0 1 0 797671144 88690688 18807 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21653 18807 1111 63 0 21590 0
vsize: 86612
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 19159 0 0 0 69960 48 0 0 25 0 1 0 797671144 89821184 19082 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21929 19082 1111 63 0 21866 0
vsize: 87716
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 19441 0 0 0 70960 49 0 0 25 0 1 0 797671144 91086848 19364 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22238 19364 1111 63 0 22175 0
vsize: 88952
[startup+720.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 19724 0 0 0 71960 50 0 0 25 0 1 0 797671144 92213248 19647 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22513 19647 1111 63 0 22450 0
vsize: 90052
[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 19998 0 0 0 72960 50 0 0 25 0 1 0 797671144 93335552 19921 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22787 19921 1111 63 0 22724 0
vsize: 91148
[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 20275 0 0 0 73959 51 0 0 25 0 1 0 797671144 94461952 20198 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23062 20198 1111 63 0 22999 0
vsize: 92248
[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 20557 0 0 0 74959 51 0 0 25 0 1 0 797671144 95588352 20480 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23337 20480 1111 63 0 23274 0
vsize: 93348
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 20840 0 0 0 75958 52 0 0 25 0 1 0 797671144 96714752 20763 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23612 20763 1111 63 0 23549 0
vsize: 94448
[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 21116 0 0 0 76958 53 0 0 25 0 1 0 797671144 97841152 21039 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23887 21039 1111 63 0 23824 0
vsize: 95548
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 21404 0 0 0 77957 53 0 0 25 0 1 0 797671144 99106816 21327 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24196 21327 1111 63 0 24133 0
vsize: 96784
[startup+790.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 21682 0 0 0 78957 54 0 0 25 0 1 0 797671144 100233216 21605 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24471 21605 1111 63 0 24408 0
vsize: 97884
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 21970 0 0 0 79956 54 0 0 25 0 1 0 797671144 101359616 21893 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24746 21893 1111 63 0 24683 0
vsize: 98984
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 22254 0 0 0 80956 55 0 0 25 0 1 0 797671144 102486016 22177 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25021 22177 1111 63 0 24958 0
vsize: 100084
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 22536 0 0 0 81956 55 0 0 25 0 1 0 797671144 103616512 22459 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25297 22459 1111 63 0 25234 0
vsize: 101188
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 22824 0 0 0 82956 55 0 0 25 0 1 0 797671144 104882176 22747 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25606 22747 1111 63 0 25543 0
vsize: 102424
[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 23140 0 0 0 83956 56 0 0 25 0 1 0 797671144 106373120 23063 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25970 23063 1111 63 0 25907 0
vsize: 103880
[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 23428 0 0 0 84955 57 0 0 25 0 1 0 797671144 107634688 23351 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26278 23351 1111 63 0 26215 0
vsize: 105112
[startup+860.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 23712 0 0 0 85955 57 0 0 25 0 1 0 797671144 108765184 23635 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26554 23635 1111 63 0 26491 0
vsize: 106216
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 24001 0 0 0 86955 58 0 0 25 0 1 0 797671144 109891584 23924 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26829 23924 1111 63 0 26766 0
vsize: 107316
[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 24291 0 0 0 87954 58 0 0 25 0 1 0 797671144 111157248 24214 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27138 24214 1111 63 0 27075 0
vsize: 108552
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 24580 0 0 0 88954 59 0 0 25 0 1 0 797671144 112283648 24503 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27413 24503 1111 63 0 27350 0
vsize: 109652
[startup+900.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 24863 0 0 0 89954 59 0 0 25 0 1 0 797671144 113410048 24786 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27688 24786 1111 63 0 27625 0
vsize: 110752
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 25154 0 0 0 90953 60 0 0 25 0 1 0 797671144 114675712 25077 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27997 25077 1111 63 0 27934 0
vsize: 111988
[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 25443 0 0 0 91953 60 0 0 25 0 1 0 797671144 115806208 25366 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 25366 1111 63 0 28210 0
vsize: 113092
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 25739 0 0 0 92953 61 0 0 25 0 1 0 797671144 117071872 25662 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28582 25662 1111 63 0 28519 0
vsize: 114328
[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 26029 0 0 0 93952 62 0 0 25 0 1 0 797671144 118198272 25952 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28857 25952 1111 63 0 28794 0
vsize: 115428
[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 26318 0 0 0 94952 62 0 0 25 0 1 0 797671144 119324672 26241 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29132 26241 1111 63 0 29069 0
vsize: 116528
[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 26615 0 0 0 95951 63 0 0 25 0 1 0 797671144 120590336 26538 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29441 26538 1111 63 0 29378 0
vsize: 117764
[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 26904 0 0 0 96951 64 0 0 25 0 1 0 797671144 121716736 26827 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29716 26827 1111 63 0 29653 0
vsize: 118864
[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 27202 0 0 0 97950 64 0 0 25 0 1 0 797671144 122982400 27125 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30025 27125 1111 63 0 29962 0
vsize: 120100
[startup+990.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 27497 0 0 0 98950 64 0 0 25 0 1 0 797671144 124252160 27420 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30335 27420 1111 63 0 30272 0
vsize: 121340
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 27793 0 0 0 99950 65 0 0 25 0 1 0 797671144 125378560 27716 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30610 27716 1111 63 0 30547 0
vsize: 122440
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 28090 0 0 0 100950 66 0 0 25 0 1 0 797671144 126644224 28013 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30919 28013 1111 63 0 30856 0
vsize: 123676
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 28386 0 0 0 101949 66 0 0 25 0 1 0 797671144 127770624 28309 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31194 28309 1111 63 0 31131 0
vsize: 124776
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 28684 0 0 0 102949 67 0 0 25 0 1 0 797671144 129040384 28607 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31504 28607 1111 63 0 31441 0
vsize: 126016
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 28986 0 0 0 103948 67 0 0 25 0 1 0 797671144 130306048 28909 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31813 28909 1111 63 0 31750 0
vsize: 127252
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 29284 0 0 0 104948 68 0 0 25 0 1 0 797671144 131432448 29207 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32088 29207 1111 63 0 32025 0
vsize: 128352
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 29586 0 0 0 105948 69 0 0 25 0 1 0 797671144 132698112 29509 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32397 29509 1111 63 0 32334 0
vsize: 129588
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 29882 0 0 0 106947 70 0 0 25 0 1 0 797671144 133963776 29805 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32706 29805 1111 63 0 32643 0
vsize: 130824
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 30179 0 0 0 107946 70 0 0 25 0 1 0 797671144 135094272 30102 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32982 30102 1111 63 0 32919 0
vsize: 131928
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 30481 0 0 0 108946 71 0 0 25 0 1 0 797671144 136359936 30404 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33291 30404 1111 63 0 33228 0
vsize: 133164
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 30786 0 0 0 109946 71 0 0 25 0 1 0 797671144 137625600 30709 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33600 30709 1111 63 0 33537 0
vsize: 134400
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 31088 0 0 0 110946 72 0 0 25 0 1 0 797671144 138895360 31011 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33910 31011 1111 63 0 33847 0
vsize: 135640
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 31392 0 0 0 111946 72 0 0 25 0 1 0 797671144 140161024 31315 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34219 31315 1111 63 0 34156 0
vsize: 136876
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 31695 0 0 0 112945 73 0 0 25 0 1 0 797671144 141287424 31618 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34494 31618 1111 63 0 34431 0
vsize: 137976
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 31997 0 0 0 113945 73 0 0 25 0 1 0 797671144 142553088 31920 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34803 31920 1111 63 0 34740 0
vsize: 139212
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 32302 0 0 0 114944 74 0 0 25 0 1 0 797671144 143818752 32225 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35112 32225 1111 63 0 35049 0
vsize: 140448
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 32605 0 0 0 115944 74 0 0 25 0 1 0 797671144 145088512 32528 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35422 32528 1111 63 0 35359 0
vsize: 141688
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 32915 0 0 0 116944 75 0 0 25 0 1 0 797671144 146354176 32838 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35731 32838 1111 63 0 35668 0
vsize: 142924
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 33218 0 0 0 117944 75 0 0 25 0 1 0 797671144 147623936 33141 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36041 33141 1111 63 0 35978 0
vsize: 144164
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 33529 0 0 0 118943 76 0 0 25 0 1 0 797671144 148889600 33452 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36350 33452 1111 63 0 36287 0
vsize: 145400
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 1440
Raw data (stat): 1438 (bsolo_lpr) R 1437 7876 7672 0 -1 0 33838 0 0 0 119942 77 0 0 25 0 1 0 797671144 150155264 33761 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36659 33761 1111 63 0 36596 0
vsize: 146636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 1440
Raw data (stat): 1438 (bsolo_lpr) Z 1437 7876 7672 0 -1 1036 33838 0 0 0 119942 83 0 0 25 0 1 0 797671144 0 0 4294967295 0 0 0 0 0 0 0 1 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.15
CPU time (s): 1200.27
CPU user time (s): 1199.43
CPU system time (s): 0.838872
CPU usage (%): 100.01
Max. virtual memory (Kb): 146636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####