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-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.74658
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120

Trace number 41151

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 07:02:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29220 boxname=wulflinc3 idbench=1004 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-stp3d.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-stp3d.opb
IDLAUNCH: 29220
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        438396 kB
Buffers:         32164 kB
Cached:         539900 kB
SwapCached:       3488 kB
Active:          70584 kB
Inactive:       506296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        438144 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            13680 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:12:45 (client local time) WITH STATUS 0 IN 641.713 SECONDS
stats: 29220 7 641.713 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.02 1.01 0.94 2/54 4911
Raw data (stat): 4911 (runsolver) R 4910 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908309315 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+10.0006 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 3419 0 0 0 987 10 0 0 25 0 1 0 908309315 25681920 3339 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6270 3339 1111 63 0 6207 0
vsize: 25080
[startup+20.0011 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 6124 0 0 0 1981 17 0 0 25 0 1 0 908309315 36732928 6044 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8968 6044 1111 63 0 8905 0
vsize: 35872
[startup+30.0013 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 8835 0 0 0 2975 23 0 0 25 0 1 0 908309315 47915008 8755 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11698 8755 1111 63 0 11635 0
vsize: 46792
[startup+40.0025 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 11557 0 0 0 3969 28 0 0 25 0 1 0 908309315 58966016 11477 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14396 11477 1111 63 0 14333 0
vsize: 57584
[startup+50.0036 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 14304 0 0 0 4964 34 0 0 25 0 1 0 908309315 70287360 14224 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 14224 1111 63 0 17097 0
vsize: 68640
[startup+60.0038 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 17055 0 0 0 5959 39 0 0 25 0 1 0 908309315 81481728 16975 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19893 16975 1111 63 0 19830 0
vsize: 79572
[startup+70.0047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 19819 0 0 0 6954 44 0 0 25 0 1 0 908309315 92831744 19739 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22664 19739 1111 63 0 22601 0
vsize: 90656
[startup+80.0051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 22608 0 0 0 7949 49 0 0 25 0 1 0 908309315 104329216 22528 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25471 22528 1111 63 0 25408 0
vsize: 101884
[startup+90.0053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 25433 0 0 0 8944 55 0 0 25 0 1 0 908309315 115945472 25353 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28307 25353 1111 63 0 28244 0
vsize: 113228
[startup+100.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 28265 0 0 0 9939 59 0 0 25 0 1 0 908309315 127442944 28185 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31114 28185 1111 63 0 31051 0
vsize: 124456
[startup+110.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 31121 0 0 0 10934 64 0 0 25 0 1 0 908309315 139239424 31041 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33994 31041 1111 63 0 33931 0
vsize: 135976
[startup+120.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 33996 0 0 0 11929 70 0 0 25 0 1 0 908309315 150888448 33916 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36838 33916 1111 63 0 36775 0
vsize: 147352
[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 36906 0 0 0 12924 75 0 0 25 0 1 0 908309315 162828288 36826 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39753 36826 1111 63 0 39690 0
vsize: 159012
[startup+140.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 39848 0 0 0 13919 80 0 0 25 0 1 0 908309315 174919680 39768 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42705 39768 1111 63 0 42642 0
vsize: 170820
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 42813 0 0 0 14914 86 0 0 25 0 1 0 908309315 187015168 42733 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45658 42733 1111 63 0 45595 0
vsize: 182632
[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 45784 0 0 0 15907 92 0 0 25 0 1 0 908309315 199258112 45704 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48647 45704 1111 63 0 48584 0
vsize: 194588
[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 48786 0 0 0 16903 97 0 0 25 0 1 0 908309315 211501056 48706 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51636 48706 1111 63 0 51573 0
vsize: 206544
[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 51823 0 0 0 17896 103 0 0 25 0 1 0 908309315 224043008 51743 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54698 51743 1111 63 0 54635 0
vsize: 218792
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 54885 0 0 0 18891 109 0 0 25 0 1 0 908309315 236584960 54805 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57760 54805 1111 63 0 57697 0
vsize: 231040
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4911
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 57961 0 0 0 19885 114 0 0 25 0 1 0 908309315 249126912 57881 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60822 57881 1111 63 0 60759 0
vsize: 243288
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 61065 0 0 0 20880 120 0 0 25 0 1 0 908309315 261816320 60985 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63920 60985 1111 63 0 63857 0
vsize: 255680
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 64226 0 0 0 21874 126 0 0 25 0 1 0 908309315 274804736 64146 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67091 64146 1111 63 0 67028 0
vsize: 268364
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 67422 0 0 0 22867 133 0 0 25 0 1 0 908309315 287944704 67342 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70299 67342 1111 63 0 70236 0
vsize: 281196
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 70656 0 0 0 23862 138 0 0 25 0 1 0 908309315 301080576 70576 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73506 70576 1111 63 0 73443 0
vsize: 294024
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 73931 0 0 0 24856 144 0 0 25 0 1 0 908309315 314519552 73851 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76787 73851 1111 63 0 76724 0
vsize: 307148
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 77218 0 0 0 25851 149 0 0 25 0 1 0 908309315 327954432 77138 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80067 77138 1111 63 0 80004 0
vsize: 320268
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 80544 0 0 0 26845 155 0 0 25 0 1 0 908309315 341544960 80464 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83385 80464 1111 63 0 83322 0
vsize: 333540
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 83892 0 0 0 27838 162 0 0 25 0 1 0 908309315 355278848 83812 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86738 83812 1111 63 0 86675 0
vsize: 346952
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 87270 0 0 0 28832 168 0 0 25 0 1 0 908309315 369164288 87190 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90128 87190 1111 63 0 90065 0
vsize: 360512
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 90673 0 0 0 29826 174 0 0 25 0 1 0 908309315 383049728 90593 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93518 90593 1111 63 0 93455 0
vsize: 374072
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 94125 0 0 0 30820 181 0 0 25 0 1 0 908309315 397234176 94045 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96981 94045 1111 63 0 96918 0
vsize: 387924
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 97635 0 0 0 31814 186 0 0 25 0 1 0 908309315 411566080 97555 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100480 97555 1111 63 0 100417 0
vsize: 401920
[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 101188 0 0 0 32807 194 0 0 25 0 1 0 908309315 426262528 101108 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104068 101108 1111 63 0 104005 0
vsize: 416272
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 104770 0 0 0 33801 200 0 0 25 0 1 0 908309315 440897536 104690 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107641 104690 1111 63 0 107578 0
vsize: 430564
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 108366 0 0 0 34796 205 0 0 25 0 1 0 908309315 455675904 108286 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111249 108286 1111 63 0 111186 0
vsize: 444996
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 112013 0 0 0 35789 212 0 0 25 0 1 0 908309315 470609920 111933 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114895 111933 1111 63 0 114832 0
vsize: 459580
[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 115695 0 0 0 36783 219 0 0 25 0 1 0 908309315 485687296 115615 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118576 115615 1111 63 0 118513 0
vsize: 474304
[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 119403 0 0 0 37776 226 0 0 25 0 1 0 908309315 500916224 119323 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122294 119323 1111 63 0 122231 0
vsize: 489176
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 123184 0 0 0 38769 233 0 0 25 0 1 0 908309315 516300800 123104 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126050 123104 1111 63 0 125987 0
vsize: 504200
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 126981 0 0 0 39763 239 0 0 25 0 1 0 908309315 531820544 126901 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129839 126901 1111 63 0 129776 0
vsize: 519356
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 130822 0 0 0 40757 246 0 0 25 0 1 0 908309315 547651584 130742 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133704 130742 1111 63 0 133641 0
vsize: 534816
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 134694 0 0 0 41749 254 0 0 25 0 1 0 908309315 563478528 134614 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137568 134614 1111 63 0 137505 0
vsize: 550272
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 138607 0 0 0 42741 262 0 0 25 0 1 0 908309315 579457024 138527 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141469 138527 1111 63 0 141406 0
vsize: 565876
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 142569 0 0 0 43735 269 0 0 25 0 1 0 908309315 595726336 142489 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145441 142489 1111 63 0 145378 0
vsize: 581764
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 146561 0 0 0 44727 276 0 0 25 0 1 0 908309315 611999744 146481 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149414 146481 1111 63 0 149351 0
vsize: 597656
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 150590 0 0 0 45720 284 0 0 25 0 1 0 908309315 628572160 150510 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153460 150510 1111 63 0 153397 0
vsize: 613840
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 154663 0 0 0 46713 291 0 0 25 0 1 0 908309315 645296128 154583 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157543 154583 1111 63 0 157480 0
vsize: 630172
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 158771 0 0 0 47706 298 0 0 25 0 1 0 908309315 662016000 158691 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161625 158691 1111 63 0 161562 0
vsize: 646500
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 162927 0 0 0 48698 307 0 0 25 0 1 0 908309315 679038976 162847 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165781 162847 1111 63 0 165718 0
vsize: 663124
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 167145 0 0 0 49692 313 0 0 25 0 1 0 908309315 696356864 167065 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170009 167065 1111 63 0 169946 0
vsize: 680036
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 171406 0 0 0 50685 320 0 0 25 0 1 0 908309315 713826304 171326 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174274 171326 1111 63 0 174211 0
vsize: 697096
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 175677 0 0 0 51678 327 0 0 25 0 1 0 908309315 731291648 175597 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178538 175597 1111 63 0 178475 0
vsize: 714152
[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 180013 0 0 0 52669 336 0 0 25 0 1 0 908309315 749060096 179933 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182876 179936 1111 63 0 182813 0
vsize: 731504
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 184179 0 0 0 53664 342 0 0 25 0 1 0 908309315 766078976 184099 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187031 184099 1111 63 0 186968 0
vsize: 748124
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 188104 0 0 0 54656 349 0 0 25 0 1 0 908309315 782204928 188024 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190968 188024 1111 63 0 190905 0
vsize: 763872
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 192055 0 0 0 55649 357 0 0 25 0 1 0 908309315 798330880 191975 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194905 191975 1111 63 0 194842 0
vsize: 779620
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 196092 0 0 0 56640 366 0 0 25 0 1 0 908309315 815120384 196012 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199004 196012 1111 63 0 198941 0
vsize: 796016
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 200333 0 0 0 57633 373 0 0 25 0 1 0 908309315 832438272 200253 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203232 200253 1111 63 0 203169 0
vsize: 812928
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 204635 0 0 0 58626 380 0 0 25 0 1 0 908309315 850055168 204555 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207533 204555 1111 63 0 207470 0
vsize: 830132
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 208987 0 0 0 59618 389 0 0 25 0 1 0 908309315 867971072 208907 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211907 208907 1111 63 0 211844 0
vsize: 847628
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 213382 0 0 0 60610 397 0 0 25 0 1 0 908309315 885891072 213238 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216282 213238 1111 63 0 216219 0
vsize: 865128
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 217793 0 0 0 61599 408 0 0 25 0 1 0 908309315 903954432 217425 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220692 217425 1111 63 0 220629 0
vsize: 882768
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 222338 0 0 0 62587 420 0 0 25 0 1 0 908309315 922615808 221650 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225248 221650 1111 63 0 225185 0
vsize: 900992
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 226989 0 0 0 63574 433 0 0 25 0 1 0 908309315 941580288 225917 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229878 225917 1111 63 0 229815 0
vsize: 919512
[startup+641.66 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 4913
Raw data (stat): 4911 (bsolo_lpr_cuts-) R 4910 20224 20223 0 -1 0 226989 0 0 0 63574 433 0 0 25 0 1 0 908309315 941580288 225917 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229878 225917 1111 63 0 229815 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 641.66
CPU time (s): 641.713
CPU user time (s): 636.945
CPU system time (s): 4.76827
CPU usage (%): 100.008
Max. virtual memory (Kb): 919512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####