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/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb
MD5SUM	a5c401bba5afccf02c7b40cb1c595b15
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	1192.4
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 27046

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-24 18:58:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18670 boxname=wulflinc13 idbench=1437 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-nw04.opb
IDLAUNCH: 18670
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        852452 kB
Buffers:         22568 kB
Cached:         133944 kB
SwapCached:       5124 kB
Active:          44784 kB
Inactive:       118880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        852200 kB
SwapTotal:     2097136 kB
SwapFree:      2091632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6168 kB
Slab:            12864 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:13:07 (client local time) WITH STATUS 0 IN 868.022 SECONDS
stats: 18670 7 868.022 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.95 0.91 2/54 4148
Raw data (stat): 4148 (runsolver) R 4147 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774365937 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4148
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 3330 0 0 0 988 9 0 0 25 0 1 0 774365937 25235456 3254 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 3254 1111 63 0 6098 0
vsize: 24644
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4148
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 5877 0 0 0 1983 14 0 0 25 0 1 0 774365937 35688448 5801 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8713 5801 1111 63 0 8650 0
vsize: 34852
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4148
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 8424 0 0 0 2979 19 0 0 25 0 1 0 774365937 46125056 8348 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8348 1111 63 0 11198 0
vsize: 45044
[startup+40.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4148
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 10969 0 0 0 3976 22 0 0 25 0 1 0 774365937 56573952 10893 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13812 10893 1111 63 0 13749 0
vsize: 55248
[startup+50.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4148
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 13545 0 0 0 4972 26 0 0 25 0 1 0 774365937 67153920 13469 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16395 13469 1111 63 0 16332 0
vsize: 65580
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4148
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 16115 0 0 0 5968 30 0 0 25 0 1 0 774365937 77598720 16039 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 16039 1111 63 0 18882 0
vsize: 75780
[startup+70.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4148
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 18692 0 0 0 6964 35 0 0 25 0 1 0 774365937 88203264 18616 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21534 18617 1111 63 0 21471 0
vsize: 86136
[startup+80.0013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4148
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 21279 0 0 0 7958 40 0 0 25 0 1 0 774365937 98803712 21203 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24122 21203 1111 63 0 24059 0
vsize: 96488
[startup+90.0013 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 4201
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 23886 0 0 0 8954 45 0 0 25 0 1 0 774365937 109555712 23810 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26747 23810 1111 63 0 26684 0
vsize: 106988
[startup+100.002 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 4201
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 26480 0 0 0 9950 49 0 0 25 0 1 0 774365937 120127488 26404 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29328 26404 1111 63 0 29265 0
vsize: 117312
[startup+110.002 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 4201
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 29051 0 0 0 10947 52 0 0 25 0 1 0 774365937 130727936 28975 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31916 28975 1111 63 0 31853 0
vsize: 127664
[startup+120.002 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 4201
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 31628 0 0 0 11941 58 0 0 25 0 1 0 774365937 141176832 31552 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34467 31552 1111 63 0 34404 0
vsize: 137868
[startup+130.003 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 4201
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 34186 0 0 0 12937 63 0 0 25 0 1 0 774365937 151633920 34110 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37020 34110 1111 63 0 36957 0
vsize: 148080
[startup+140.003 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 4201
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 36738 0 0 0 13933 67 0 0 25 0 1 0 774365937 162082816 36662 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39571 36662 1111 63 0 39508 0
vsize: 158284
[startup+150.003 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 4201
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 39279 0 0 0 14928 72 0 0 25 0 1 0 774365937 172535808 39203 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42123 39203 1111 63 0 42060 0
vsize: 168492
[startup+160.004 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 41855 0 0 0 15925 75 0 0 25 0 1 0 774365937 183132160 41779 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44710 41779 1111 63 0 44647 0
vsize: 178840
[startup+170.003 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 44444 0 0 0 16920 80 0 0 25 0 1 0 774365937 193736704 44368 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47299 44368 1111 63 0 47236 0
vsize: 189196
[startup+180.003 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 47025 0 0 0 17915 86 0 0 25 0 1 0 774365937 204333056 46949 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49886 46949 1111 63 0 49823 0
vsize: 199544
[startup+190.004 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 49703 0 0 0 18910 91 0 0 25 0 1 0 774365937 215232512 49627 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52547 49627 1111 63 0 52484 0
vsize: 210188
[startup+200.005 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 52340 0 0 0 19906 95 0 0 25 0 1 0 774365937 226127872 52264 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55207 52264 1111 63 0 55144 0
vsize: 220828
[startup+210.005 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 54935 0 0 0 20903 99 0 0 25 0 1 0 774365937 236732416 54859 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57796 54859 1111 63 0 57733 0
vsize: 231184
[startup+220.006 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 57488 0 0 0 21899 103 0 0 25 0 1 0 774365937 247181312 57412 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60347 57412 1111 63 0 60284 0
vsize: 241388
[startup+230.006 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 60077 0 0 0 22894 108 0 0 25 0 1 0 774365937 257785856 60001 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62936 60001 1111 63 0 62873 0
vsize: 251744
[startup+240.006 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 62623 0 0 0 23889 113 0 0 25 0 1 0 774365937 268234752 62547 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65487 62547 1111 63 0 65424 0
vsize: 261948
[startup+250.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 65255 0 0 0 24884 118 0 0 25 0 1 0 774365937 278986752 65179 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68112 65179 1111 63 0 68049 0
vsize: 272448
[startup+260.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 67880 0 0 0 25880 123 0 0 25 0 1 0 774365937 289730560 67804 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70735 67804 1111 63 0 70672 0
vsize: 282940
[startup+270.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 70469 0 0 0 26875 127 0 0 25 0 1 0 774365937 300335104 70393 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73324 70393 1111 63 0 73261 0
vsize: 293296
[startup+280.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 73008 0 0 0 27871 132 0 0 25 0 1 0 774365937 310784000 72932 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75875 72932 1111 63 0 75812 0
vsize: 303500
[startup+290.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 75605 0 0 0 28867 137 0 0 25 0 1 0 774365937 321388544 75529 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78464 75529 1111 63 0 78401 0
vsize: 313856
[startup+300.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 78168 0 0 0 29862 141 0 0 25 0 1 0 774365937 331837440 78092 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81015 78092 1111 63 0 80952 0
vsize: 324060
[startup+310.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 80685 0 0 0 30859 145 0 0 25 0 1 0 774365937 342142976 80609 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83531 80609 1111 63 0 83468 0
vsize: 334124
[startup+320.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 83304 0 0 0 31854 150 0 0 25 0 1 0 774365937 352890880 83228 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86155 83228 1111 63 0 86092 0
vsize: 344620
[startup+330.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 85929 0 0 0 32850 154 0 0 25 0 1 0 774365937 363642880 85853 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88780 85853 1111 63 0 88717 0
vsize: 355120
[startup+340.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 88482 0 0 0 33846 158 0 0 25 0 1 0 774365937 374091776 88406 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91331 88406 1111 63 0 91268 0
vsize: 365324
[startup+350.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 90992 0 0 0 34842 162 0 0 25 0 1 0 774365937 384397312 90916 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93847 90916 1111 63 0 93784 0
vsize: 375388
[startup+360.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 93615 0 0 0 35837 167 0 0 25 0 1 0 774365937 395141120 93539 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96470 93539 1111 63 0 96407 0
vsize: 385880
[startup+370.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 96144 0 0 0 36833 172 0 0 25 0 1 0 774365937 405446656 96068 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98986 96068 1111 63 0 98923 0
vsize: 395944
[startup+380.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 98670 0 0 0 37829 176 0 0 25 0 1 0 774365937 415965184 98594 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101554 98594 1111 63 0 101491 0
vsize: 406216
[startup+390.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 101190 0 0 0 38826 180 0 0 25 0 1 0 774365937 426262528 101114 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104068 101114 1111 63 0 104005 0
vsize: 416272
[startup+400.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 103750 0 0 0 39822 183 0 0 25 0 1 0 774365937 436719616 103674 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106621 103674 1111 63 0 106558 0
vsize: 426484
[startup+410.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 106241 0 0 0 40819 186 0 0 25 0 1 0 774365937 446869504 106165 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109099 106165 1111 63 0 109036 0
vsize: 436396
[startup+420.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 108989 0 0 0 41815 191 0 0 25 0 1 0 774365937 458219520 108913 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111870 108913 1111 63 0 111807 0
vsize: 447480
[startup+430.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4203
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 111547 0 0 0 42810 196 0 0 25 0 1 0 774365937 468664320 111471 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114420 111471 1111 63 0 114357 0
vsize: 457680
[startup+440.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 114208 0 0 0 43805 201 0 0 25 0 1 0 774365937 479567872 114132 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117082 114132 1111 63 0 117019 0
vsize: 468328
[startup+450.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 116805 0 0 0 44800 207 0 0 25 0 1 0 774365937 490164224 116729 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119669 116735 1111 63 0 119606 0
vsize: 478676
[startup+460.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 119350 0 0 0 45796 210 0 0 25 0 1 0 774365937 500621312 119274 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122222 119274 1111 63 0 122159 0
vsize: 488888
[startup+470.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 121950 0 0 0 46793 214 0 0 25 0 1 0 774365937 511217664 121874 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124809 121874 1111 63 0 124746 0
vsize: 499236
[startup+480.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 124540 0 0 0 47789 218 0 0 25 0 1 0 774365937 521822208 124464 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127398 124464 1111 63 0 127335 0
vsize: 509592
[startup+490.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 127098 0 0 0 48786 222 0 0 25 0 1 0 774365937 532271104 127022 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129949 127022 1111 63 0 129886 0
vsize: 519796
[startup+500.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 129700 0 0 0 49782 226 0 0 25 0 1 0 774365937 543023104 129624 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132574 129624 1111 63 0 132511 0
vsize: 530296
[startup+510.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 132604 0 0 0 50776 231 0 0 25 0 1 0 774365937 554819584 132528 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135454 132528 1111 63 0 135391 0
vsize: 541816
[startup+520.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 135474 0 0 0 51772 236 0 0 25 0 1 0 774365937 566607872 135398 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138332 135398 1111 63 0 138269 0
vsize: 553328
[startup+530.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 138395 0 0 0 52766 242 0 0 25 0 1 0 774365937 578555904 138319 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141249 138319 1111 63 0 141186 0
vsize: 564996
[startup+540.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 141423 0 0 0 53761 247 0 0 25 0 1 0 774365937 590946304 141347 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144274 141347 1111 63 0 144211 0
vsize: 577096
[startup+550.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 144090 0 0 0 54756 252 0 0 25 0 1 0 774365937 601849856 144014 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146936 144014 1111 63 0 146873 0
vsize: 587744
[startup+560.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 146880 0 0 0 55751 258 0 0 25 0 1 0 774365937 613343232 146804 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149742 146804 1111 63 0 149679 0
vsize: 598968
[startup+570.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 149347 0 0 0 56747 261 0 0 25 0 1 0 774365937 623497216 149271 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152221 149271 1111 63 0 152158 0
vsize: 608884
[startup+580.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 152014 0 0 0 57744 265 0 0 25 0 1 0 774365937 634392576 151938 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154881 151938 1111 63 0 154818 0
vsize: 619524
[startup+590.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 154671 0 0 0 58739 270 0 0 25 0 1 0 774365937 645296128 154595 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157543 154595 1111 63 0 157480 0
vsize: 630172
[startup+600.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 157527 0 0 0 59734 276 0 0 25 0 1 0 774365937 656941056 157451 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160386 157451 1111 63 0 160323 0
vsize: 641544
[startup+610.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 160481 0 0 0 60729 281 0 0 25 0 1 0 774365937 669036544 160405 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 163339 160405 1111 63 0 163276 0
vsize: 653356
[startup+620.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 163293 0 0 0 61723 287 0 0 25 0 1 0 774365937 680529920 163217 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166145 163217 1111 63 0 166082 0
vsize: 664580
[startup+630.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 165841 0 0 0 62718 292 0 0 25 0 1 0 774365937 690982912 165765 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168697 165765 1111 63 0 168634 0
vsize: 674788
[startup+640.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 168623 0 0 0 63714 296 0 0 25 0 1 0 774365937 702328832 168547 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171467 168547 1111 63 0 171404 0
vsize: 685868
[startup+650.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 171341 0 0 0 64709 301 0 0 25 0 1 0 774365937 713527296 171265 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174201 171265 1111 63 0 174138 0
vsize: 696804
[startup+660.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 173881 0 0 0 65705 306 0 0 25 0 1 0 774365937 723824640 173805 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176715 173805 1111 63 0 176652 0
vsize: 706860
[startup+670.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 176530 0 0 0 66701 310 0 0 25 0 1 0 774365937 734728192 176454 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179377 176454 1111 63 0 179314 0
vsize: 717508
[startup+680.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 178943 0 0 0 67696 315 0 0 25 0 1 0 774365937 744579072 178867 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181782 178867 1111 63 0 181719 0
vsize: 727128
[startup+690.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 181392 0 0 0 68692 319 0 0 25 0 1 0 774365937 754589696 181316 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184226 181316 1111 63 0 184163 0
vsize: 736904
[startup+700.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 183872 0 0 0 69688 323 0 0 25 0 1 0 774365937 764739584 183796 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186704 183796 1111 63 0 186641 0
vsize: 746816
[startup+710.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 186303 0 0 0 70684 328 0 0 25 0 1 0 774365937 774737920 186227 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189145 186227 1111 63 0 189082 0
vsize: 756580
[startup+720.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 188714 0 0 0 71680 332 0 0 25 0 1 0 774365937 784596992 188638 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191552 188638 1111 63 0 191489 0
vsize: 766208
[startup+730.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 191285 0 0 0 72677 335 0 0 25 0 1 0 774365937 795193344 191209 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194139 191209 1111 63 0 194076 0
vsize: 776556
[startup+740.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 193892 0 0 0 73671 341 0 0 25 0 1 0 774365937 805797888 193816 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196728 193816 1111 63 0 196665 0
vsize: 786912
[startup+750.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 196622 0 0 0 74667 346 0 0 25 0 1 0 774365937 817205248 196546 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199513 196546 1111 63 0 199450 0
vsize: 798052
[startup+760.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 199126 0 0 0 75662 351 0 0 25 0 1 0 774365937 827510784 199050 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202029 199050 1111 63 0 201966 0
vsize: 808116
[startup+770.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 201904 0 0 0 76657 356 0 0 25 0 1 0 774365937 838856704 201828 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204799 201828 1111 63 0 204736 0
vsize: 819196
[startup+780.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 204443 0 0 0 77653 360 0 0 25 0 1 0 774365937 849309696 204367 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207351 204367 1111 63 0 207288 0
vsize: 829404
[startup+790.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 207124 0 0 0 78649 365 0 0 25 0 1 0 774365937 860213248 207048 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210013 207048 1111 63 0 209950 0
vsize: 840052
[startup+800.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 209773 0 0 0 79645 369 0 0 25 0 1 0 774365937 871108608 209697 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212673 209697 1111 63 0 212610 0
vsize: 850692
[startup+810.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 212459 0 0 0 80639 374 0 0 25 0 1 0 774365937 882159616 212383 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215371 212383 1111 63 0 215308 0
vsize: 861484
[startup+820.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 215321 0 0 0 81633 380 0 0 25 0 1 0 774365937 893800448 215245 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218213 215245 1111 63 0 218150 0
vsize: 872852
[startup+830.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 217904 0 0 0 82626 387 0 0 25 0 1 0 774365937 904404992 217459 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220802 217459 1111 63 0 220739 0
vsize: 883208
[startup+840.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 220810 0 0 0 83618 394 0 0 25 0 1 0 774365937 916348928 219521 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223718 219521 1111 63 0 223655 0
vsize: 894872
[startup+850.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 223470 0 0 0 84610 402 0 0 25 0 1 0 774365937 927244288 221052 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226378 221052 1111 63 0 226315 0
vsize: 905512
[startup+860.024 s]
Raw data (loadavg): 1.00 0.98 0.92 3/54 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 225807 0 0 0 85602 408 0 0 25 0 1 0 774365937 936804352 222367 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228712 222367 1111 63 0 228649 0
vsize: 914848
[startup+867.998 s]
Raw data (loadavg): 1.00 0.98 0.92 1/53 4205
Raw data (stat): 4148 (bsolo_lpr_cuts) R 4147 1269 1268 0 -1 0 225807 0 0 0 85602 408 0 0 25 0 1 0 774365937 936804352 222367 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228712 222367 1111 63 0 228649 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 867.998
CPU time (s): 868.022
CPU user time (s): 863.469
CPU system time (s): 4.55331
CPU usage (%): 100.003
Max. virtual memory (Kb): 914848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####