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/miplib3/normalized-mps-v2-20-10-air03.opb
MD5SUM	69337cf8d2b6f6cf8cc02fedc291ffcc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	199890
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.44
Number of variables	10757
Total number of constraints	10881
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10881
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3861

Trace number 41160

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 07:20:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29229 boxname=wulflinc4 idbench=1013 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  69337cf8d2b6f6cf8cc02fedc291ffcc  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-air03.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-air03.opb
IDLAUNCH: 29229
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        899020 kB
Buffers:          6872 kB
Cached:         107460 kB
SwapCached:        860 kB
Active:          27940 kB
Inactive:        88368 kB
HighTotal:      131008 kB
HighFree:        21056 kB
LowTotal:       903652 kB
LowFree:        877964 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13360 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:30:48 (client local time) WITH STATUS 0 IN 638.862 SECONDS
stats: 29229 7 638.862 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10757 variables and 248 constraints.
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 11224
Raw data (stat): 11224 (runsolver) R 11223 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908416878 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99983 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 30001 0 0 0 935 61 0 0 25 0 1 0 908416878 135843840 29921 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33165 29921 1111 63 0 33102 0
vsize: 132660
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 59293 0 0 0 1884 112 0 0 25 0 1 0 908416878 255918080 59213 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62480 59213 1111 63 0 62417 0
vsize: 249920
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 66660 0 0 0 2870 126 0 0 25 0 1 0 908416878 285982720 66580 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69820 66580 1111 63 0 69757 0
vsize: 279280
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 67335 0 0 0 3867 128 0 0 25 0 1 0 908416878 288825344 67255 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70514 67255 1111 63 0 70451 0
vsize: 282056
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 67949 0 0 0 4865 130 0 0 25 0 1 0 908416878 291270656 67869 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71111 67869 1111 63 0 71048 0
vsize: 284444
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 68540 0 0 0 5864 131 0 0 25 0 1 0 908416878 293912576 68460 4294967295 134512640 134716908 3221224560 3221222836 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71756 68460 1111 63 0 71693 0
vsize: 287024
[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 69107 0 0 0 6863 132 0 0 25 0 1 0 908416878 296386560 69027 4294967295 134512640 134716908 3221224560 3221222844 1077399570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72360 69027 1111 63 0 72297 0
vsize: 289440
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 71947 0 0 0 7857 138 0 0 25 0 1 0 908416878 298221568 71810 4294967295 134512640 134716908 3221224560 3221222968 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72808 71810 1111 63 0 72745 0
vsize: 291232
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 75136 0 0 0 8852 143 0 0 25 0 1 0 908416878 311201792 74999 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75977 74999 1111 63 0 75914 0
vsize: 303908
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 78194 0 0 0 9847 148 0 0 25 0 1 0 908416878 323780608 78057 4294967295 134512640 134716908 3221224560 3221222944 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79048 78057 1111 63 0 78985 0
vsize: 316192
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 81260 0 0 0 10841 155 0 0 25 0 1 0 908416878 336355328 81123 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82118 81123 1111 63 0 82055 0
vsize: 328472
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 84232 0 0 0 11835 160 0 0 25 0 1 0 908416878 348524544 84095 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85089 84095 1111 63 0 85026 0
vsize: 340356
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 87239 0 0 0 12830 166 0 0 25 0 1 0 908416878 360833024 87102 4294967295 134512640 134716908 3221224560 3221222976 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88094 87102 1111 63 0 88031 0
vsize: 352376
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 90376 0 0 0 13825 171 0 0 25 0 1 0 908416878 373678080 90239 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91230 90239 1111 63 0 91167 0
vsize: 364920
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 93434 0 0 0 14820 176 0 0 25 0 1 0 908416878 386252800 93297 4294967295 134512640 134716908 3221224560 3221223088 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94300 93297 1111 63 0 94237 0
vsize: 377200
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 96489 0 0 0 15814 182 0 0 25 0 1 0 908416878 398696448 96352 4294967295 134512640 134716908 3221224560 3221222924 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97338 96352 1111 63 0 97275 0
vsize: 389352
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 99489 0 0 0 16810 186 0 0 25 0 1 0 908416878 411000832 99352 4294967295 134512640 134716908 3221224560 3221223040 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100342 99352 1111 63 0 100279 0
vsize: 401368
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 102545 0 0 0 17805 192 0 0 25 0 1 0 908416878 423575552 102408 4294967295 134512640 134716908 3221224560 3221223088 134542839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103412 102408 1111 63 0 103349 0
vsize: 413648
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 105517 0 0 0 18799 198 0 0 25 0 1 0 908416878 435748864 105380 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106384 105380 1111 63 0 106321 0
vsize: 425536
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 108443 0 0 0 19794 203 0 0 25 0 1 0 908416878 447647744 108306 4294967295 134512640 134716908 3221224560 3221223088 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109289 108306 1111 63 0 109226 0
vsize: 437156
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 111400 0 0 0 20788 209 0 0 25 0 1 0 908416878 459816960 111263 4294967295 134512640 134716908 3221224560 3221222924 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112260 111263 1111 63 0 112197 0
vsize: 449040
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 114350 0 0 0 21784 213 0 0 25 0 1 0 908416878 471855104 114213 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115199 114213 1111 63 0 115136 0
vsize: 460796
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 117312 0 0 0 22780 218 0 0 25 0 1 0 908416878 484024320 117175 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118170 117175 1111 63 0 118107 0
vsize: 472680
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 120265 0 0 0 23774 224 0 0 25 0 1 0 908416878 496058368 120128 4294967295 134512640 134716908 3221224560 3221223088 134528533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121108 120128 1111 63 0 121045 0
vsize: 484432
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 123223 0 0 0 24768 230 0 0 25 0 1 0 908416878 508227584 123086 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124079 123086 1111 63 0 124016 0
vsize: 496316
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 126112 0 0 0 25764 234 0 0 25 0 1 0 908416878 519995392 125975 4294967295 134512640 134716908 3221224560 3221222968 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126952 125975 1111 63 0 126889 0
vsize: 507808
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 129026 0 0 0 26759 239 0 0 25 0 1 0 908416878 532029440 128889 4294967295 134512640 134716908 3221224560 3221223088 134542851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129890 128889 1111 63 0 129827 0
vsize: 519560
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 131825 0 0 0 27755 243 0 0 25 0 1 0 908416878 543522816 131688 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132696 131689 1111 63 0 132633 0
vsize: 530784
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 134865 0 0 0 28750 248 0 0 25 0 1 0 908416878 555962368 134728 4294967295 134512640 134716908 3221224560 3221223120 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135733 134728 1111 63 0 135670 0
vsize: 542932
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 137786 0 0 0 29744 255 0 0 25 0 1 0 908416878 567865344 137649 4294967295 134512640 134716908 3221224560 3221223180 134543835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138639 137649 1111 63 0 138576 0
vsize: 554556
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 140664 0 0 0 30739 260 0 0 25 0 1 0 908416878 579629056 140527 4294967295 134512640 134716908 3221224560 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141511 140530 1111 63 0 141448 0
vsize: 566044
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 143472 0 0 0 31735 265 0 0 25 0 1 0 908416878 591122432 143335 4294967295 134512640 134716908 3221224560 3221223040 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144317 143335 1111 63 0 144254 0
vsize: 577268
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 146321 0 0 0 32730 269 0 0 25 0 1 0 908416878 602886144 146184 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147189 146184 1111 63 0 147126 0
vsize: 588756
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 149119 0 0 0 33725 274 0 0 25 0 1 0 908416878 614248448 148982 4294967295 134512640 134716908 3221224560 3221222964 134542685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149963 148982 1111 63 0 149900 0
vsize: 599852
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 152054 0 0 0 34721 279 0 0 25 0 1 0 908416878 626282496 151917 4294967295 134512640 134716908 3221224560 3221223040 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152901 151917 1111 63 0 152838 0
vsize: 611604
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 154881 0 0 0 35716 284 0 0 25 0 1 0 908416878 637911040 154744 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155740 154744 1111 63 0 155677 0
vsize: 622960
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 157657 0 0 0 36713 287 0 0 25 0 1 0 908416878 649269248 157520 4294967295 134512640 134716908 3221224560 3221222924 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158513 157520 1111 63 0 158450 0
vsize: 634052
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 160481 0 0 0 37708 292 0 0 25 0 1 0 908416878 660901888 160344 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161353 160344 1111 63 0 161290 0
vsize: 645412
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 163275 0 0 0 38703 298 0 0 25 0 1 0 908416878 672260096 163138 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164126 163138 1111 63 0 164063 0
vsize: 656504
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 166094 0 0 0 39698 303 0 0 25 0 1 0 908416878 683888640 165957 4294967295 134512640 134716908 3221224560 3221223288 134675316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166965 165957 1111 63 0 166902 0
vsize: 667860
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 168822 0 0 0 40692 309 0 0 25 0 1 0 908416878 694976512 168685 4294967295 134512640 134716908 3221224560 3221222968 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169672 168685 1111 63 0 169609 0
vsize: 678688
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 171623 0 0 0 41687 314 0 0 25 0 1 0 908416878 706469888 171486 4294967295 134512640 134716908 3221224560 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172478 171486 1111 63 0 172415 0
vsize: 689912
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 174437 0 0 0 42681 321 0 0 25 0 1 0 908416878 717967360 174300 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175285 174300 1111 63 0 175222 0
vsize: 701140
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 177222 0 0 0 43676 326 0 0 25 0 1 0 908416878 729460736 177085 4294967295 134512640 134716908 3221224560 3221223088 134542845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178091 177085 1111 63 0 178028 0
vsize: 712364
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 179933 0 0 0 44670 332 0 0 25 0 1 0 908416878 740548608 179796 4294967295 134512640 134716908 3221224560 3221222924 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180798 179796 1111 63 0 180735 0
vsize: 723192
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 182706 0 0 0 45664 338 0 0 25 0 1 0 908416878 751906816 182569 4294967295 134512640 134716908 3221224560 3221223200 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183571 182569 1111 63 0 183508 0
vsize: 734284
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 185435 0 0 0 46660 342 0 0 25 0 1 0 908416878 762994688 185298 4294967295 134512640 134716908 3221224560 3221223064 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186278 185298 1111 63 0 186215 0
vsize: 745112
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 188105 0 0 0 47655 347 0 0 25 0 1 0 908416878 773951488 187968 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188953 187968 1111 63 0 188890 0
vsize: 755812
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 190791 0 0 0 48651 351 0 0 25 0 1 0 908416878 785039360 190654 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191660 190654 1111 63 0 191597 0
vsize: 766640
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 193494 0 0 0 49646 356 0 0 25 0 1 0 908416878 795992064 193357 4294967295 134512640 134716908 3221224560 3221222968 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194334 193357 1111 63 0 194271 0
vsize: 777336
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 196212 0 0 0 50640 362 0 0 25 0 1 0 908416878 807215104 196075 4294967295 134512640 134716908 3221224560 3221222940 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197074 196075 1111 63 0 197011 0
vsize: 788296
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 198882 0 0 0 51635 367 0 0 25 0 1 0 908416878 818167808 198745 4294967295 134512640 134716908 3221224560 3221222968 134543617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199748 198745 1111 63 0 199685 0
vsize: 798992
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 201539 0 0 0 52631 372 0 0 25 0 1 0 908416878 828985344 201402 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202389 201402 1111 63 0 202326 0
vsize: 809556
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 204164 0 0 0 53627 376 0 0 25 0 1 0 908416878 839806976 204027 4294967295 134512640 134716908 3221224560 3221222976 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205031 204027 1111 63 0 204968 0
vsize: 820124
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 206829 0 0 0 54622 381 0 0 25 0 1 0 908416878 850624512 206692 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207672 206692 1111 63 0 207609 0
vsize: 830688
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 209376 0 0 0 55617 386 0 0 25 0 1 0 908416878 861171712 209239 4294967295 134512640 134716908 3221224560 3221223040 134536627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210247 209239 1111 63 0 210184 0
vsize: 840988
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 212011 0 0 0 56611 392 0 0 25 0 1 0 908416878 871854080 211874 4294967295 134512640 134716908 3221224560 3221222976 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212855 211874 1111 63 0 212792 0
vsize: 851420
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 214622 0 0 0 57607 397 0 0 25 0 1 0 908416878 882536448 214485 4294967295 134512640 134716908 3221224560 3221223176 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215463 214485 1111 63 0 215400 0
vsize: 861852
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 217108 0 0 0 58602 402 0 0 25 0 1 0 908416878 892813312 216971 4294967295 134512640 134716908 3221224560 3221222976 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217972 216971 1111 63 0 217909 0
vsize: 871888
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 219792 0 0 0 59596 408 0 0 25 0 1 0 908416878 903766016 219655 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220646 219655 1111 63 0 220583 0
vsize: 882584
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 222393 0 0 0 60591 413 0 0 25 0 1 0 908416878 914452480 222256 4294967295 134512640 134716908 3221224560 3221223048 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223255 222256 1111 63 0 223192 0
vsize: 893020
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 224959 0 1 0 61583 419 0 0 25 0 1 0 908416878 924999680 224043 4294967295 134512640 134716908 3221224560 3221223040 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225830 224043 1111 63 0 225767 0
vsize: 903320
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 0 227473 0 17 0 62561 424 0 0 23 0 1 0 908416878 935141376 225611 4294967295 134512640 134716908 3221224560 3221223040 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228306 225611 1111 63 0 228243 0
vsize: 913224
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 1028 229620 0 57 0 63412 455 0 0 25 0 1 0 908416878 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
[startup+640.208 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11224
Raw data (stat): 11224 (bsolo_lpr_cuts-) R 11223 21152 21151 0 -1 1028 229620 0 57 0 63412 455 0 0 25 0 1 0 908416878 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 640.207
CPU time (s): 638.862
CPU user time (s): 634.122
CPU system time (s): 4.74028
CPU usage (%): 99.7898
Max. virtual memory (Kb): 913224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####