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-n3700.opb
MD5SUM	389a3363aac4cd4681aed244ad9f1688
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	39143259648
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	39143259648
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.975851
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 26980

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 18:27:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18994 boxname=wulflinc24 idbench=1462 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  389a3363aac4cd4681aed244ad9f1688  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-n3700.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-n3700.opb
IDLAUNCH: 18994
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        802816 kB
Buffers:         36372 kB
Cached:         171560 kB
SwapCached:        624 kB
Active:          68296 kB
Inactive:       142096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        802564 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15692 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:47:17 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 18994 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.94 1.01 0.99 2/54 6972
Raw data (stat): 6972 (runsolver) R 6971 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832390217 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.95 1.01 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 1158 0 0 0 994 3 0 0 25 0 1 0 832390217 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+19.9997 s]
Raw data (loadavg): 0.96 1.01 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 1398 0 0 0 1993 4 0 0 25 0 1 0 832390217 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+29.9994 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 1648 0 0 0 2992 5 0 0 25 0 1 0 832390217 18178048 1572 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1572 1111 63 0 4375 0
vsize: 17752
[startup+39.9991 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 1890 0 0 0 3991 6 0 0 25 0 1 0 832390217 19165184 1814 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1814 1111 63 0 4616 0
vsize: 18716
[startup+49.9998 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 2137 0 0 0 4991 7 0 0 25 0 1 0 832390217 20152320 2061 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2061 1111 63 0 4857 0
vsize: 19680
[startup+59.9999 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 2390 0 0 0 5990 8 0 0 25 0 1 0 832390217 21135360 2314 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2314 1111 63 0 5097 0
vsize: 20640
[startup+69.9992 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 2637 0 0 0 6990 8 0 0 25 0 1 0 832390217 22114304 2561 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2561 1111 63 0 5336 0
vsize: 21596
[startup+79.9999 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 2885 0 0 0 7988 10 0 0 25 0 1 0 832390217 23240704 2809 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2809 1111 63 0 5611 0
vsize: 22696
[startup+89.9996 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 3132 0 0 0 8988 10 0 0 25 0 1 0 832390217 24227840 3056 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3056 1111 63 0 5852 0
vsize: 23660
[startup+100 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 3380 0 0 0 9987 11 0 0 25 0 1 0 832390217 25214976 3304 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3304 1111 63 0 6093 0
vsize: 24624
[startup+110.001 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 3628 0 0 0 10987 12 0 0 25 0 1 0 832390217 26202112 3552 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3552 1111 63 0 6334 0
vsize: 25588
[startup+120.001 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 3883 0 0 0 11986 13 0 0 25 0 1 0 832390217 27348992 3807 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3807 1111 63 0 6614 0
vsize: 26708
[startup+130.001 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 4131 0 0 0 12985 14 0 0 25 0 1 0 832390217 28336128 4055 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4055 1111 63 0 6855 0
vsize: 27672
[startup+140.001 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 4379 0 0 0 13984 15 0 0 25 0 1 0 832390217 29315072 4303 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4303 1111 63 0 7094 0
vsize: 28628
[startup+150.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 4634 0 0 0 14984 15 0 0 25 0 1 0 832390217 30302208 4558 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7398 4558 1111 63 0 7335 0
vsize: 29592
[startup+160.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 4888 0 0 0 15984 16 0 0 25 0 1 0 832390217 31428608 4812 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4812 1111 63 0 7610 0
vsize: 30692
[startup+170.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 5138 0 0 0 16983 16 0 0 25 0 1 0 832390217 32415744 5062 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 5062 1111 63 0 7851 0
vsize: 31656
[startup+180.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 5399 0 0 0 17982 17 0 0 25 0 1 0 832390217 33542144 5323 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8189 5323 1111 63 0 8126 0
vsize: 32756
[startup+190.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 5648 0 0 0 18982 18 0 0 25 0 1 0 832390217 34529280 5572 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8430 5572 1111 63 0 8367 0
vsize: 33720
[startup+200.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 5908 0 0 0 19982 19 0 0 25 0 1 0 832390217 35516416 5832 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8671 5832 1111 63 0 8608 0
vsize: 34684
[startup+210.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 6157 0 0 0 20981 19 0 0 25 0 1 0 832390217 36642816 6081 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6081 1111 63 0 8883 0
vsize: 35784
[startup+220.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 6416 0 0 0 21981 20 0 0 25 0 1 0 832390217 37625856 6340 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9186 6340 1111 63 0 9123 0
vsize: 36744
[startup+230.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 6682 0 0 0 22980 21 0 0 25 0 1 0 832390217 38760448 6606 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6606 1111 63 0 9400 0
vsize: 37852
[startup+240.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 6937 0 0 0 23980 21 0 0 25 0 1 0 832390217 39886848 6861 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9738 6861 1111 63 0 9675 0
vsize: 38952
[startup+250.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 7199 0 0 0 24979 22 0 0 25 0 1 0 832390217 40878080 7123 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 7123 1111 63 0 9917 0
vsize: 39920
[startup+260.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 7455 0 0 0 25979 22 0 0 25 0 1 0 832390217 42004480 7379 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10255 7379 1111 63 0 10192 0
vsize: 41020
[startup+270.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 7710 0 0 0 26979 23 0 0 25 0 1 0 832390217 42987520 7634 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7634 1111 63 0 10432 0
vsize: 41980
[startup+280.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 7973 0 0 0 27978 24 0 0 25 0 1 0 832390217 44113920 7897 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10770 7897 1111 63 0 10707 0
vsize: 43080
[startup+290.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 8234 0 0 0 28977 24 0 0 25 0 1 0 832390217 45096960 8158 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11010 8158 1111 63 0 10947 0
vsize: 44040
[startup+300.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 8494 0 0 0 29977 25 0 0 25 0 1 0 832390217 46223360 8418 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 8418 1111 63 0 11222 0
vsize: 45140
[startup+310.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 8751 0 0 0 30977 26 0 0 25 0 1 0 832390217 47210496 8675 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11526 8675 1111 63 0 11463 0
vsize: 46104
[startup+320.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 9012 0 0 0 31977 26 0 0 25 0 1 0 832390217 48336896 8936 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11801 8936 1111 63 0 11738 0
vsize: 47204
[startup+330.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 9275 0 0 0 32977 26 0 0 25 0 1 0 832390217 49324032 9199 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12042 9199 1111 63 0 11979 0
vsize: 48168
[startup+340.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 9537 0 0 0 33976 26 0 0 25 0 1 0 832390217 50450432 9461 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12317 9461 1111 63 0 12254 0
vsize: 49268
[startup+350.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 9798 0 0 0 34976 27 0 0 25 0 1 0 832390217 51576832 9722 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12592 9722 1111 63 0 12529 0
vsize: 50368
[startup+360.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 10061 0 0 0 35976 27 0 0 25 0 1 0 832390217 52563968 9985 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12833 9985 1111 63 0 12770 0
vsize: 51332
[startup+370.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 10323 0 0 0 36976 28 0 0 25 0 1 0 832390217 53690368 10247 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13108 10247 1111 63 0 13045 0
vsize: 52432
[startup+380.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 10586 0 0 0 37975 29 0 0 25 0 1 0 832390217 54673408 10510 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13348 10510 1111 63 0 13285 0
vsize: 53392
[startup+390.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 10853 0 0 0 38974 29 0 0 25 0 1 0 832390217 55799808 10777 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13623 10777 1111 63 0 13560 0
vsize: 54492
[startup+400.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 11115 0 0 0 39974 30 0 0 25 0 1 0 832390217 56926208 11039 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13898 11039 1111 63 0 13835 0
vsize: 55592
[startup+410.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 11377 0 0 0 40974 30 0 0 25 0 1 0 832390217 57909248 11301 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14138 11301 1111 63 0 14075 0
vsize: 56552
[startup+420.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 11644 0 0 0 41974 31 0 0 25 0 1 0 832390217 59039744 11568 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14414 11568 1111 63 0 14351 0
vsize: 57656
[startup+430.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 11912 0 0 0 42973 31 0 0 25 0 1 0 832390217 60166144 11836 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14689 11836 1111 63 0 14626 0
vsize: 58756
[startup+440.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 12192 0 0 0 43973 32 0 0 25 0 1 0 832390217 61370368 12116 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14983 12116 1111 63 0 14920 0
vsize: 59932
[startup+450.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 12461 0 0 0 44973 32 0 0 25 0 1 0 832390217 62496768 12385 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15258 12385 1111 63 0 15195 0
vsize: 61032
[startup+460.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 12730 0 0 0 45973 32 0 0 25 0 1 0 832390217 63623168 12654 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15533 12654 1111 63 0 15470 0
vsize: 62132
[startup+470.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 12993 0 0 0 46972 33 0 0 25 0 1 0 832390217 64753664 12917 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15809 12917 1111 63 0 15746 0
vsize: 63236
[startup+480.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 13268 0 0 0 47972 34 0 0 25 0 1 0 832390217 65880064 13192 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16084 13192 1111 63 0 16021 0
vsize: 64336
[startup+490.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 13531 0 0 0 48971 34 0 0 25 0 1 0 832390217 66859008 13455 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16323 13455 1111 63 0 16260 0
vsize: 65292
[startup+500.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 13805 0 0 0 49971 35 0 0 25 0 1 0 832390217 67985408 13729 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16598 13729 1111 63 0 16535 0
vsize: 66392
[startup+510.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 14068 0 0 0 50970 36 0 0 25 0 1 0 832390217 69111808 13992 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16873 13992 1111 63 0 16810 0
vsize: 67492
[startup+520.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 14343 0 0 0 51970 36 0 0 25 0 1 0 832390217 70242304 14267 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17149 14267 1111 63 0 17086 0
vsize: 68596
[startup+530.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 14612 0 0 0 52969 37 0 0 25 0 1 0 832390217 71368704 14536 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17424 14536 1111 63 0 17361 0
vsize: 69696
[startup+540.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 14882 0 0 0 53969 38 0 0 25 0 1 0 832390217 72351744 14806 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17664 14806 1111 63 0 17601 0
vsize: 70656
[startup+550.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 15157 0 0 0 54969 38 0 0 25 0 1 0 832390217 73478144 15081 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17939 15081 1111 63 0 17876 0
vsize: 71756
[startup+560.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 15433 0 0 0 55968 39 0 0 25 0 1 0 832390217 74608640 15357 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18215 15357 1111 63 0 18152 0
vsize: 72860
[startup+570.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 15708 0 0 0 56968 40 0 0 25 0 1 0 832390217 75735040 15632 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18490 15632 1111 63 0 18427 0
vsize: 73960
[startup+580.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 15978 0 0 0 57967 40 0 0 25 0 1 0 832390217 76861440 15902 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18765 15902 1111 63 0 18702 0
vsize: 75060
[startup+590.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 16254 0 0 0 58966 41 0 0 25 0 1 0 832390217 77987840 16178 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19040 16178 1111 63 0 18977 0
vsize: 76160
[startup+600.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 16529 0 0 0 59966 42 0 0 25 0 1 0 832390217 79114240 16453 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19315 16453 1111 63 0 19252 0
vsize: 77260
[startup+610.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 16806 0 0 0 60965 43 0 0 25 0 1 0 832390217 80240640 16730 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19590 16730 1111 63 0 19527 0
vsize: 78360
[startup+620.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 17081 0 0 0 61965 43 0 0 25 0 1 0 832390217 81362944 17005 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19864 17005 1111 63 0 19801 0
vsize: 79456
[startup+630.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 17357 0 0 0 62965 44 0 0 25 0 1 0 832390217 82489344 17281 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20139 17281 1111 63 0 20076 0
vsize: 80556
[startup+640.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 17638 0 0 0 63964 44 0 0 25 0 1 0 832390217 83615744 17562 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20414 17562 1111 63 0 20351 0
vsize: 81656
[startup+650.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 17914 0 0 0 64964 45 0 0 25 0 1 0 832390217 84742144 17838 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20689 17838 1111 63 0 20626 0
vsize: 82756
[startup+660.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 18191 0 0 0 65963 46 0 0 25 0 1 0 832390217 85868544 18115 4294967295 134512640 134714508 3221224592 3221221308 1077197713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20964 18115 1111 63 0 20901 0
vsize: 83856
[startup+670.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 18473 0 0 0 66963 46 0 0 25 0 1 0 832390217 87138304 18397 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21274 18397 1111 63 0 21211 0
vsize: 85096
[startup+680.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 18755 0 0 0 67962 47 0 0 25 0 1 0 832390217 88264704 18679 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21549 18679 1111 63 0 21486 0
vsize: 86196
[startup+690.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 19032 0 0 0 68962 47 0 0 25 0 1 0 832390217 89391104 18956 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21824 18956 1111 63 0 21761 0
vsize: 87296
[startup+700.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 19314 0 0 0 69962 48 0 0 25 0 1 0 832390217 90517504 19238 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22099 19238 1111 63 0 22036 0
vsize: 88396
[startup+710.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 19597 0 0 0 70961 48 0 0 25 0 1 0 832390217 91643904 19521 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22374 19521 1111 63 0 22311 0
vsize: 89496
[startup+720.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 19879 0 0 0 71961 49 0 0 25 0 1 0 832390217 92770304 19803 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22649 19803 1111 63 0 22586 0
vsize: 90596
[startup+730.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 20162 0 0 0 72961 49 0 0 25 0 1 0 832390217 94035968 20086 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22958 20086 1111 63 0 22895 0
vsize: 91832
[startup+740.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 20445 0 0 0 73961 50 0 0 25 0 1 0 832390217 95162368 20369 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23233 20369 1111 63 0 23170 0
vsize: 92932
[startup+750.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 20728 0 0 0 74960 50 0 0 25 0 1 0 832390217 96288768 20652 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23508 20652 1111 63 0 23445 0
vsize: 94032
[startup+760.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 21018 0 0 0 75960 51 0 0 25 0 1 0 832390217 97415168 20942 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 20942 1111 63 0 23720 0
vsize: 95132
[startup+770.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 21300 0 0 0 76960 51 0 0 25 0 1 0 832390217 98684928 21224 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24093 21224 1111 63 0 24030 0
vsize: 96372
[startup+780.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 21583 0 0 0 77959 52 0 0 25 0 1 0 832390217 99811328 21507 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24368 21507 1111 63 0 24305 0
vsize: 97472
[startup+790.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 21873 0 0 0 78959 52 0 0 25 0 1 0 832390217 100937728 21797 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24643 21797 1111 63 0 24580 0
vsize: 98572
[startup+800.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 22161 0 0 0 79959 52 0 0 25 0 1 0 832390217 102203392 22085 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24952 22085 1111 63 0 24889 0
vsize: 99808
[startup+810.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 22451 0 0 0 80958 53 0 0 25 0 1 0 832390217 103329792 22375 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25227 22375 1111 63 0 25164 0
vsize: 100908
[startup+820.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 22734 0 0 0 81958 54 0 0 25 0 1 0 832390217 104456192 22658 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25502 22658 1111 63 0 25439 0
vsize: 102008
[startup+830.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 23067 0 0 0 82958 54 0 0 25 0 1 0 832390217 106098688 22991 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25903 22991 1111 63 0 25840 0
vsize: 103612
[startup+840.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 23345 0 0 0 83957 55 0 0 25 0 1 0 832390217 107212800 23269 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26175 23269 1111 63 0 26112 0
vsize: 104700
[startup+850.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 23635 0 0 0 84957 55 0 0 25 0 1 0 832390217 108478464 23559 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26484 23559 1111 63 0 26421 0
vsize: 105936
[startup+860.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 23931 0 0 0 85956 56 0 0 25 0 1 0 832390217 109604864 23855 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26759 23855 1111 63 0 26696 0
vsize: 107036
[startup+870.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 24219 0 0 0 86956 57 0 0 25 0 1 0 832390217 110870528 24143 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27068 24143 1111 63 0 27005 0
vsize: 108272
[startup+880.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 24511 0 0 0 87955 57 0 0 25 0 1 0 832390217 111996928 24435 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27343 24435 1111 63 0 27280 0
vsize: 109372
[startup+890.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 24800 0 0 0 88955 58 0 0 25 0 1 0 832390217 113123328 24724 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27618 24724 1111 63 0 27555 0
vsize: 110472
[startup+900.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 25096 0 0 0 89955 58 0 0 25 0 1 0 832390217 114393088 25020 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27928 25020 1111 63 0 27865 0
vsize: 111712
[startup+910.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 25392 0 0 0 90954 59 0 0 25 0 1 0 832390217 115658752 25316 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28237 25316 1111 63 0 28174 0
vsize: 112948
[startup+920.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 25682 0 0 0 91954 60 0 0 25 0 1 0 832390217 116785152 25606 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28512 25606 1111 63 0 28449 0
vsize: 114048
[startup+930.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 25979 0 0 0 92953 60 0 0 25 0 1 0 832390217 118054912 25903 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28822 25903 1111 63 0 28759 0
vsize: 115288
[startup+940.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 26275 0 0 0 93953 61 0 0 25 0 1 0 832390217 119181312 26199 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29097 26199 1111 63 0 29034 0
vsize: 116388
[startup+950.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 26572 0 0 0 94952 62 0 0 25 0 1 0 832390217 120446976 26496 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29406 26496 1111 63 0 29343 0
vsize: 117624
[startup+960.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 26868 0 0 0 95952 62 0 0 25 0 1 0 832390217 121573376 26792 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29681 26792 1111 63 0 29618 0
vsize: 118724
[startup+970.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 27165 0 0 0 96951 63 0 0 25 0 1 0 832390217 122839040 27089 4294967295 134512640 134714508 3221224592 3221223248 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29990 27089 1111 63 0 29927 0
vsize: 119960
[startup+980.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 27461 0 0 0 97952 63 0 0 25 0 1 0 832390217 124108800 27385 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30300 27385 1111 63 0 30237 0
vsize: 121200
[startup+990.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 27764 0 0 0 98951 64 0 0 25 0 1 0 832390217 125235200 27688 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30575 27688 1111 63 0 30512 0
vsize: 122300
[startup+1000.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 28068 0 0 0 99950 65 0 0 25 0 1 0 832390217 126500864 27992 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30884 27992 1111 63 0 30821 0
vsize: 123536
[startup+1010.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 28370 0 0 0 100950 65 0 0 25 0 1 0 832390217 127766528 28294 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31193 28294 1111 63 0 31130 0
vsize: 124772
[startup+1020.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 28668 0 0 0 101950 66 0 0 25 0 1 0 832390217 129036288 28592 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31503 28592 1111 63 0 31440 0
vsize: 126012
[startup+1030.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 28970 0 0 0 102949 66 0 0 25 0 1 0 832390217 130162688 28894 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31778 28894 1111 63 0 31715 0
vsize: 127112
[startup+1040.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 29275 0 0 0 103949 67 0 0 25 0 1 0 832390217 131428352 29199 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32087 29199 1111 63 0 32024 0
vsize: 128348
[startup+1050.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 29577 0 0 0 104949 67 0 0 25 0 1 0 832390217 132694016 29501 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32396 29501 1111 63 0 32333 0
vsize: 129584
[startup+1060.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 29880 0 0 0 105949 67 0 0 25 0 1 0 832390217 133959680 29804 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32705 29804 1111 63 0 32642 0
vsize: 130820
[startup+1070.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 30190 0 0 0 106948 68 0 0 25 0 1 0 832390217 135229440 30114 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33015 30114 1111 63 0 32952 0
vsize: 132060
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 30493 0 0 0 107948 69 0 0 25 0 1 0 832390217 136495104 30417 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33324 30417 1111 63 0 33261 0
vsize: 133296
[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 30804 0 0 0 108948 69 0 0 25 0 1 0 832390217 137764864 30728 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33634 30728 1111 63 0 33571 0
vsize: 134536
[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 31107 0 0 0 109948 70 0 0 25 0 1 0 832390217 138891264 31031 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33909 31031 1111 63 0 33846 0
vsize: 135636
[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 31418 0 0 0 110947 71 0 0 25 0 1 0 832390217 140156928 31342 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34218 31342 1111 63 0 34155 0
vsize: 136872
[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 31727 0 0 0 111947 71 0 0 25 0 1 0 832390217 141422592 31651 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34527 31651 1111 63 0 34464 0
vsize: 138108
[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 32039 0 0 0 112946 72 0 0 25 0 1 0 832390217 142688256 31963 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34836 31963 1111 63 0 34773 0
vsize: 139344
[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 32354 0 0 0 113946 72 0 0 25 0 1 0 832390217 144097280 32278 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35180 32278 1111 63 0 35117 0
vsize: 140720
[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 32664 0 0 0 114946 73 0 0 25 0 1 0 832390217 145362944 32588 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35489 32588 1111 63 0 35426 0
vsize: 141956
[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 32977 0 0 0 115945 74 0 0 25 0 1 0 832390217 146628608 32901 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35798 32901 1111 63 0 35735 0
vsize: 143192
[startup+1170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 33293 0 0 0 116944 75 0 0 25 0 1 0 832390217 147902464 33217 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36109 33217 1111 63 0 36046 0
vsize: 144436
[startup+1180.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 33611 0 0 0 117943 76 0 0 25 0 1 0 832390217 149172224 33535 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36419 33535 1111 63 0 36356 0
vsize: 145676
[startup+1190.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 33927 0 0 0 118943 76 0 0 25 0 1 0 832390217 150437888 33851 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36728 33851 1111 63 0 36665 0
vsize: 146912
[startup+1200.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6972
Raw data (stat): 6972 (bsolo_lpr) R 6971 4613 4612 0 -1 0 34245 0 0 0 119942 77 0 0 25 0 1 0 832390217 151703552 34169 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37037 34169 1111 63 0 36974 0
vsize: 148148
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 1.00 0.99 1/54 6972
Raw data (stat): 6972 (bsolo_lpr) Z 6971 4613 4612 0 -1 1036 34245 0 0 0 119943 83 0 0 25 0 1 0 832390217 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.27
CPU user time (s): 1199.43
CPU system time (s): 0.835872
CPU usage (%): 100.015
Max. virtual memory (Kb): 148148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####