PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb
MD5SUM	5a18ff1f45b144b201f1f80233dc9b6b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30407
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1197.16
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 28488

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 02:41:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12858 boxname=wulflinc24 idbench=990 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 12858
/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:        561956 kB
Buffers:          3224 kB
Cached:         446112 kB
SwapCached:        620 kB
Active:          39396 kB
Inactive:       412360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        561704 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15288 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:55:50 (client local time) WITH STATUS 0 IN 880.695 SECONDS
stats: 12858 7 880.695 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.89 0.95 0.92 1/54 13234
Raw data (stat): 13234 (runsolver) D 13233 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 835354058 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99984 s]
Raw data (loadavg): 0.90 0.95 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 3355 0 0 0 984 10 0 0 25 0 1 0 835354058 25382912 3279 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 3279 1111 63 0 6134 0
vsize: 24788
[startup+20.0005 s]
Raw data (loadavg): 0.92 0.95 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 5937 0 0 0 1978 17 0 0 25 0 1 0 835354058 35987456 5861 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5861 1111 63 0 8723 0
vsize: 35144
[startup+30.0006 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 8522 0 0 0 2974 22 0 0 25 0 1 0 835354058 46571520 8446 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11370 8446 1111 63 0 11307 0
vsize: 45480
[startup+39.9999 s]
Raw data (loadavg): 0.94 0.95 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 11098 0 0 0 3969 26 0 0 25 0 1 0 835354058 57176064 11022 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13959 11022 1111 63 0 13896 0
vsize: 55836
[startup+50.0006 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 13702 0 0 0 4965 30 0 0 25 0 1 0 835354058 67747840 13626 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16540 13626 1111 63 0 16477 0
vsize: 66160
[startup+60.0007 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 16304 0 0 0 5961 35 0 0 25 0 1 0 835354058 78499840 16228 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19165 16228 1111 63 0 19102 0
vsize: 76660
[startup+70.001 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 18910 0 0 0 6956 40 0 0 25 0 1 0 835354058 89100288 18834 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21753 18834 1111 63 0 21690 0
vsize: 87012
[startup+80.0017 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 21523 0 0 0 7952 44 0 0 25 0 1 0 835354058 99852288 21447 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24378 21447 1111 63 0 24315 0
vsize: 97512
[startup+90.0018 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 24141 0 0 0 8948 48 0 0 25 0 1 0 835354058 110600192 24065 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27002 24065 1111 63 0 26939 0
vsize: 108008
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 26754 0 0 0 9942 54 0 0 25 0 1 0 835354058 121323520 26678 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29620 26678 1111 63 0 29557 0
vsize: 118480
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 29349 0 0 0 10939 57 0 0 25 0 1 0 835354058 131923968 29273 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32208 29273 1111 63 0 32145 0
vsize: 128832
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 31957 0 0 0 11935 61 0 0 25 0 1 0 835354058 142524416 31881 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34796 31881 1111 63 0 34733 0
vsize: 139184
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 34527 0 0 0 12931 66 0 0 25 0 1 0 835354058 153124864 34451 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37384 34451 1111 63 0 37321 0
vsize: 149536
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 37091 0 0 0 13927 70 0 0 25 0 1 0 835354058 163577856 37015 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39936 37015 1111 63 0 39873 0
vsize: 159744
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 39655 0 0 0 14923 75 0 0 25 0 1 0 835354058 174026752 39579 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42487 39579 1111 63 0 42424 0
vsize: 169948
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 42257 0 0 0 15917 80 0 0 25 0 1 0 835354058 184778752 42181 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45112 42181 1111 63 0 45049 0
vsize: 180448
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 44875 0 0 0 16913 84 0 0 25 0 1 0 835354058 195526656 44799 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47736 44799 1111 63 0 47673 0
vsize: 190944
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 47470 0 0 0 17909 88 0 0 25 0 1 0 835354058 206131200 47394 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50325 47394 1111 63 0 50262 0
vsize: 201300
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 50177 0 0 0 18904 94 0 0 25 0 1 0 835354058 217169920 50101 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53020 50101 1111 63 0 52957 0
vsize: 212080
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 52821 0 0 0 19898 99 0 0 25 0 1 0 835354058 228073472 52745 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55682 52745 1111 63 0 55619 0
vsize: 222728
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 55433 0 0 0 20895 103 0 0 25 0 1 0 835354058 238821376 55357 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58306 55357 1111 63 0 58243 0
vsize: 233224
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 58005 0 0 0 21891 107 0 0 25 0 1 0 835354058 249274368 57929 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60858 57929 1111 63 0 60795 0
vsize: 243432
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 60592 0 0 0 22887 111 0 0 25 0 1 0 835354058 259870720 60516 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63445 60516 1111 63 0 63382 0
vsize: 253780
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 63171 0 0 0 23882 116 0 0 25 0 1 0 835354058 270475264 63095 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66034 63095 1111 63 0 65971 0
vsize: 264136
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 65807 0 0 0 24878 121 0 0 25 0 1 0 835354058 281223168 65731 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68658 65731 1111 63 0 68595 0
vsize: 274632
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 68451 0 0 0 25872 126 0 0 25 0 1 0 835354058 292122624 68375 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71319 68375 1111 63 0 71256 0
vsize: 285276
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 71034 0 0 0 26868 131 0 0 25 0 1 0 835354058 302571520 70958 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73870 70958 1111 63 0 73807 0
vsize: 295480
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 73586 0 0 0 27864 134 0 0 25 0 1 0 835354058 313028608 73510 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76423 73510 1111 63 0 76360 0
vsize: 305692
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 76193 0 0 0 28859 140 0 0 25 0 1 0 835354058 323772416 76117 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79046 76117 1111 63 0 78983 0
vsize: 316184
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 78734 0 0 0 29855 144 0 0 25 0 1 0 835354058 334229504 78658 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81599 78658 1111 63 0 81536 0
vsize: 326396
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 81316 0 0 0 30851 148 0 0 25 0 1 0 835354058 344678400 81240 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84150 81240 1111 63 0 84087 0
vsize: 336600
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 83888 0 0 0 31845 154 0 0 25 0 1 0 835354058 355278848 83812 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86738 83812 1111 63 0 86675 0
vsize: 346952
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 86506 0 0 0 32842 158 0 0 25 0 1 0 835354058 366026752 86430 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89362 86430 1111 63 0 89299 0
vsize: 357448
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 89047 0 0 0 33838 162 0 0 25 0 1 0 835354058 376332288 88971 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91878 88971 1111 63 0 91815 0
vsize: 367512
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 91568 0 0 0 34834 166 0 0 25 0 1 0 835354058 386781184 91492 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94429 91492 1111 63 0 94366 0
vsize: 377716
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 94120 0 0 0 35830 170 0 0 25 0 1 0 835354058 397234176 94044 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96981 94044 1111 63 0 96918 0
vsize: 387924
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 96599 0 0 0 36826 174 0 0 25 0 1 0 835354058 407384064 96523 4294967295 134512640 134714508 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99459 96523 1111 63 0 99396 0
vsize: 397836
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 99088 0 0 0 37822 178 0 0 25 0 1 0 835354058 417603584 99012 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101954 99012 1111 63 0 101891 0
vsize: 407816
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 101556 0 0 0 38819 181 0 0 25 0 1 0 835354058 427761664 101480 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104434 101480 1111 63 0 104371 0
vsize: 417736
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 104053 0 0 0 39815 185 0 0 25 0 1 0 835354058 437911552 103977 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106912 103977 1111 63 0 106849 0
vsize: 427648
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 106497 0 0 0 40811 190 0 0 25 0 1 0 835354058 447918080 106421 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109355 106421 1111 63 0 109292 0
vsize: 437420
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 109268 0 0 0 41806 194 0 0 25 0 1 0 835354058 459259904 109192 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112124 109192 1111 63 0 112061 0
vsize: 448496
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 111742 0 0 0 42802 199 0 0 25 0 1 0 835354058 469417984 111666 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114604 111666 1111 63 0 114541 0
vsize: 458416
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 114379 0 0 0 43797 204 0 0 25 0 1 0 835354058 480313344 114303 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117264 114303 1111 63 0 117201 0
vsize: 469056
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 116914 0 0 0 44793 208 0 0 25 0 1 0 835354058 490618880 116838 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119780 116838 1111 63 0 119717 0
vsize: 479120
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 119404 0 0 0 45790 212 0 0 25 0 1 0 835354058 500768768 119328 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122258 119328 1111 63 0 122195 0
vsize: 489032
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 121956 0 0 0 46787 215 0 0 25 0 1 0 835354058 511217664 121880 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124809 121880 1111 63 0 124746 0
vsize: 499236
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 124492 0 0 0 47782 220 0 0 25 0 1 0 835354058 521670656 124416 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127361 124416 1111 63 0 127298 0
vsize: 509444
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 127001 0 0 0 48777 225 0 0 25 0 1 0 835354058 531972096 126925 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129876 126925 1111 63 0 129813 0
vsize: 519504
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 129524 0 0 0 49773 230 0 0 25 0 1 0 835354058 542277632 129448 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132392 129448 1111 63 0 132329 0
vsize: 529568
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 132374 0 0 0 50767 236 0 0 25 0 1 0 835354058 553918464 132298 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135234 132298 1111 63 0 135171 0
vsize: 540936
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 135218 0 0 0 51762 241 0 0 25 0 1 0 835354058 565567488 135142 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138078 135142 1111 63 0 138015 0
vsize: 552312
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 138043 0 0 0 52758 245 0 0 25 0 1 0 835354058 577212416 137967 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140921 137967 1111 63 0 140858 0
vsize: 563684
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 141040 0 0 0 53752 252 0 0 25 0 1 0 835354058 589455360 140964 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143910 140964 1111 63 0 143847 0
vsize: 575640
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 143694 0 0 0 54747 257 0 0 25 0 1 0 835354058 600350720 143618 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146570 143618 1111 63 0 146507 0
vsize: 586280
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 146387 0 0 0 55741 262 0 0 25 0 1 0 835354058 611254272 146311 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149232 146311 1111 63 0 149169 0
vsize: 596928
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 148854 0 0 0 56737 267 0 0 25 0 1 0 835354058 621404160 148778 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151710 148778 1111 63 0 151647 0
vsize: 606840
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 151358 0 0 0 57731 273 0 0 25 0 1 0 835354058 631709696 151282 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154226 151282 1111 63 0 154163 0
vsize: 616904
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 153996 0 0 0 58725 279 0 0 25 0 1 0 835354058 642457600 153920 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156850 153920 1111 63 0 156787 0
vsize: 627400
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 156682 0 0 0 59721 283 0 0 25 0 1 0 835354058 653508608 156606 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159548 156606 1111 63 0 159485 0
vsize: 638192
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 159588 0 0 0 60715 289 0 0 25 0 1 0 835354058 665305088 159512 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162428 159512 1111 63 0 162365 0
vsize: 649712
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 162351 0 0 0 61710 295 0 0 25 0 1 0 835354058 676646912 162275 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165197 162275 1111 63 0 165134 0
vsize: 660788
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 164850 0 0 0 62706 299 0 0 25 0 1 0 835354058 686952448 164774 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167713 164774 1111 63 0 167650 0
vsize: 670852
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 167414 0 0 0 63702 303 0 0 25 0 1 0 835354058 697401344 167338 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170264 167338 1111 63 0 170201 0
vsize: 681056
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 170112 0 0 0 64697 308 0 0 25 0 1 0 835354058 708452352 170036 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172962 170036 1111 63 0 172899 0
vsize: 691848
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 172635 0 0 0 65693 312 0 0 25 0 1 0 835354058 718749696 172559 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175476 172559 1111 63 0 175413 0
vsize: 701904
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 175096 0 0 0 66689 317 0 0 25 0 1 0 835354058 728907776 175020 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177956 175020 1111 63 0 177893 0
vsize: 711824
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 177588 0 0 0 67683 322 0 0 25 0 1 0 835354058 739057664 177512 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180434 177512 1111 63 0 180371 0
vsize: 721736
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 179933 0 0 0 68679 327 0 0 25 0 1 0 835354058 748613632 179857 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182767 179857 1111 63 0 182704 0
vsize: 731068
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 182255 0 0 0 69675 331 0 0 25 0 1 0 835354058 758173696 182179 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185101 182179 1111 63 0 185038 0
vsize: 740404
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 184632 0 0 0 70672 334 0 0 25 0 1 0 835354058 767877120 184556 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187470 184556 1111 63 0 187407 0
vsize: 749880
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 187019 0 0 0 71669 338 0 0 25 0 1 0 835354058 777728000 186943 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189875 186943 1111 63 0 189812 0
vsize: 759500
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 189304 0 0 0 72664 343 0 0 25 0 1 0 835354058 786984960 189228 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192135 189228 1111 63 0 192072 0
vsize: 768540
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 191911 0 0 0 73658 349 0 0 25 0 1 0 835354058 797736960 191835 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194760 191835 1111 63 0 194697 0
vsize: 779040
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 194395 0 0 0 74654 354 0 0 25 0 1 0 835354058 807886848 194319 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197238 194319 1111 63 0 197175 0
vsize: 788952
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 197036 0 0 0 75649 359 0 0 25 0 1 0 835354058 819003392 196960 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199952 196960 1111 63 0 199889 0
vsize: 799808
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 199411 0 0 0 76645 363 0 0 25 0 1 0 835354058 828706816 199335 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202321 199335 1111 63 0 202258 0
vsize: 809284
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 202123 0 0 0 77639 369 0 0 25 0 1 0 835354058 839757824 202047 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205019 202047 1111 63 0 204956 0
vsize: 820076
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 204559 0 0 0 78635 374 0 0 25 0 1 0 835354058 849756160 204427 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207460 204427 1111 63 0 207397 0
vsize: 829840
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 207173 0 0 0 79629 380 0 0 25 0 1 0 835354058 860508160 207017 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210085 207017 1111 63 0 210022 0
vsize: 840340
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 209724 0 0 0 80624 385 0 0 25 0 1 0 835354058 870957056 209519 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212636 209519 1111 63 0 212573 0
vsize: 850544
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 212350 0 0 0 81617 392 0 0 25 0 1 0 835354058 881713152 211970 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215262 211970 1111 63 0 215199 0
vsize: 861048
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 215085 0 0 0 82611 398 0 0 25 0 1 0 835354058 892903424 214528 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217994 214528 1111 63 0 217931 0
vsize: 871976
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 217510 0 0 0 83605 404 0 0 25 0 1 0 835354058 902762496 216682 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220401 216682 1111 63 0 220338 0
vsize: 881604
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 220426 0 0 0 84599 411 0 0 25 0 1 0 835354058 914702336 219261 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223316 219261 1111 63 0 223253 0
vsize: 893264
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 222967 0 0 0 85593 417 0 0 25 0 1 0 835354058 925159424 221418 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225869 221418 1111 63 0 225806 0
vsize: 903476
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 225282 0 0 0 86587 423 0 0 25 0 1 0 835354058 934563840 223509 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228165 223509 1111 63 0 228102 0
vsize: 912660
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 227482 0 0 0 87583 427 0 0 25 0 1 0 835354058 943669248 225421 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230388 225421 1111 63 0 230325 0
vsize: 921552
[startup+880.607 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 13234
Raw data (stat): 13234 (bsolo_lpr) R 13233 4613 4612 0 -1 0 227482 0 0 0 87583 427 0 0 25 0 1 0 835354058 943669248 225421 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230388 225421 1111 63 0 230325 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 880.607
CPU time (s): 880.695
CPU user time (s): 875.992
CPU system time (s): 4.70328
CPU usage (%): 100.01
Max. virtual memory (Kb): 921552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####