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-t1717.opb
MD5SUM	bc46e72682d969c09e6f4028df473a45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	201342
Optimality of the best value was proved	NO
Number of terms in the objective function	73885
Biggest coefficient in the objective function	4066
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	172074995
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	4066
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	172074995
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	73885
Total number of constraints	74436
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	74436
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	612
Trace number 41158

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 07:07:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29222 boxname=wulflinc1 idbench=1006 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb
IDLAUNCH: 29222
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        729016 kB
Buffers:         29024 kB
Cached:         251584 kB
SwapCached:       1184 kB
Active:          52264 kB
Inactive:       230568 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        728764 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            17052 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:20:12 (client local time) WITH STATUS 0 IN 734.097 SECONDS
stats: 29222 7 734.097 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): 0.78 0.94 0.90 2/55 818
Raw data (stat): 818 (runsolver) R 817 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851496509 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0011 s]
Raw data (loadavg): 0.81 0.94 0.90 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 3710 0 0 0 989 8 0 0 25 0 1 0 851496509 27029504 3630 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6599 3630 1111 63 0 6536 0
vsize: 26396
[startup+20.0018 s]
Raw data (loadavg): 0.84 0.94 0.90 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 6673 0 0 0 1984 14 0 0 25 0 1 0 851496509 39268352 6593 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9587 6593 1111 63 0 9524 0
vsize: 38348
[startup+30.0026 s]
Raw data (loadavg): 0.86 0.94 0.90 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 9659 0 0 0 2980 18 0 0 25 0 1 0 851496509 51499008 9579 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12573 9579 1111 63 0 12510 0
vsize: 50292
[startup+40.0034 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 12642 0 0 0 3977 22 0 0 25 0 1 0 851496509 63594496 12562 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15526 12562 1111 63 0 15463 0
vsize: 62104
[startup+50.0032 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 15637 0 0 0 4972 26 0 0 25 0 1 0 851496509 75960320 15557 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18545 15557 1111 63 0 18482 0
vsize: 74180
[startup+60.003 s]
Raw data (loadavg): 0.92 0.95 0.90 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 18626 0 0 0 5966 32 0 0 25 0 1 0 851496509 88203264 18546 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21534 18546 1111 63 0 21471 0
vsize: 86136
[startup+70.0028 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 21622 0 0 0 6961 37 0 0 25 0 1 0 851496509 100446208 21542 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24523 21542 1111 63 0 24460 0
vsize: 98092
[startup+80.0036 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 24611 0 0 0 7956 43 0 0 25 0 1 0 851496509 112693248 24531 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27513 24531 1111 63 0 27450 0
vsize: 110052
[startup+90.0034 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 27607 0 0 0 8950 49 0 0 25 0 1 0 851496509 124907520 27527 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30495 27527 1111 63 0 30432 0
vsize: 121980
[startup+100.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 30595 0 0 0 9944 55 0 0 25 0 1 0 851496509 137146368 30515 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33483 30515 1111 63 0 33420 0
vsize: 133932
[startup+110.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 33592 0 0 0 10940 59 0 0 25 0 1 0 851496509 149540864 33512 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36509 33512 1111 63 0 36446 0
vsize: 146036
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 36588 0 0 0 11935 65 0 0 25 0 1 0 851496509 161783808 36508 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39498 36508 1111 63 0 39435 0
vsize: 157992
[startup+130.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 39578 0 0 0 12929 71 0 0 25 0 1 0 851496509 174026752 39498 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42487 39498 1111 63 0 42424 0
vsize: 169948
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 42574 0 0 0 13924 76 0 0 25 0 1 0 851496509 186269696 42494 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45476 42494 1111 63 0 45413 0
vsize: 181904
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 45570 0 0 0 14919 81 0 0 25 0 1 0 851496509 198512640 45490 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48465 45490 1111 63 0 48402 0
vsize: 193860
[startup+160.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 48559 0 0 0 15914 86 0 0 25 0 1 0 851496509 210755584 48479 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51454 48479 1111 63 0 51391 0
vsize: 205816
[startup+170.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 51553 0 0 0 16909 92 0 0 25 0 1 0 851496509 223145984 51473 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54479 51473 1111 63 0 54416 0
vsize: 217916
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 54549 0 0 0 17903 97 0 0 25 0 1 0 851496509 235388928 54469 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57468 54469 1111 63 0 57405 0
vsize: 229872
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 57520 0 0 0 18899 102 0 0 25 0 1 0 851496509 247480320 57440 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60420 57440 1111 63 0 60357 0
vsize: 241680
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 60521 0 0 0 19893 108 0 0 25 0 1 0 851496509 259870720 60441 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63445 60441 1111 63 0 63382 0
vsize: 253780
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 63519 0 0 0 20888 113 0 0 25 0 1 0 851496509 272113664 63439 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66434 63439 1111 63 0 66371 0
vsize: 265736
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 66520 0 0 0 21883 119 0 0 25 0 1 0 851496509 284360704 66440 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69424 66440 1111 63 0 69361 0
vsize: 277696
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 69529 0 0 0 22880 123 0 0 25 0 1 0 851496509 296751104 69449 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72449 69449 1111 63 0 72386 0
vsize: 289796
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 72531 0 0 0 23874 128 0 0 25 0 1 0 851496509 308994048 72451 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75438 72451 1111 63 0 75375 0
vsize: 301752
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 75546 0 0 0 24870 132 0 0 25 0 1 0 851496509 321388544 75466 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78464 75466 1111 63 0 78401 0
vsize: 313856
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 78547 0 0 0 25865 138 0 0 25 0 1 0 851496509 333631488 78467 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81453 78467 1111 63 0 81390 0
vsize: 325812
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 81568 0 0 0 26859 144 0 0 25 0 1 0 851496509 346025984 81488 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84479 81488 1111 63 0 84416 0
vsize: 337916
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 84563 0 0 0 27853 150 0 0 25 0 1 0 851496509 358260736 84483 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87466 84483 1111 63 0 87403 0
vsize: 349864
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 87601 0 0 0 28848 156 0 0 25 0 1 0 851496509 370655232 87521 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90492 87521 1111 63 0 90429 0
vsize: 361968
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 90597 0 0 0 29842 161 0 0 25 0 1 0 851496509 382898176 90517 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93481 90517 1111 63 0 93418 0
vsize: 373924
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 93617 0 0 0 30837 167 0 0 25 0 1 0 851496509 395292672 93537 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96507 93537 1111 63 0 96444 0
vsize: 386028
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 96612 0 0 0 31832 172 0 0 25 0 1 0 851496509 407535616 96532 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99496 96532 1111 63 0 99433 0
vsize: 397984
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 99668 0 0 0 32827 178 0 0 25 0 1 0 851496509 420294656 99588 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102611 99588 1111 63 0 102548 0
vsize: 410444
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 102676 0 0 0 33821 183 0 0 25 0 1 0 851496509 432537600 102596 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105600 102596 1111 63 0 105537 0
vsize: 422400
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 105679 0 0 0 34817 188 0 0 25 0 1 0 851496509 444780544 105599 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108589 105599 1111 63 0 108526 0
vsize: 434356
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 108687 0 0 0 35813 192 0 0 25 0 1 0 851496509 457175040 108607 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111615 108607 1111 63 0 111552 0
vsize: 446460
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 111726 0 0 0 36808 197 0 0 25 0 1 0 851496509 469565440 111646 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114640 111646 1111 63 0 114577 0
vsize: 458560
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 114764 0 0 0 37803 202 0 0 25 0 1 0 851496509 482107392 114684 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117702 114684 1111 63 0 117639 0
vsize: 470808
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 117771 0 0 0 38797 208 0 0 25 0 1 0 851496509 494346240 117691 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120690 117691 1111 63 0 120627 0
vsize: 482760
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 120810 0 0 0 39791 214 0 0 25 0 1 0 851496509 506740736 120730 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123716 120730 1111 63 0 123653 0
vsize: 494864
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 123836 0 0 0 40786 220 0 0 25 0 1 0 851496509 519131136 123756 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126741 123756 1111 63 0 126678 0
vsize: 506964
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 126887 0 0 0 41779 226 0 0 25 0 1 0 851496509 531673088 126807 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129803 126807 1111 63 0 129740 0
vsize: 519212
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 129896 0 0 0 42774 232 0 0 25 0 1 0 851496509 544067584 129816 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132829 129816 1111 63 0 132766 0
vsize: 531316
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 132928 0 0 0 43769 237 0 0 25 0 1 0 851496509 556457984 132848 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135854 132848 1111 63 0 135791 0
vsize: 543416
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 135961 0 0 0 44764 242 0 0 25 0 1 0 851496509 568852480 135881 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138880 135881 1111 63 0 138817 0
vsize: 555520
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 139047 0 0 0 45758 248 0 0 25 0 1 0 851496509 581541888 138967 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141978 138967 1111 63 0 141915 0
vsize: 567912
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 142117 0 0 0 46753 253 0 0 25 0 1 0 851496509 594083840 142037 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145040 142037 1111 63 0 144977 0
vsize: 580160
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 145191 0 0 0 47748 258 0 0 25 0 1 0 851496509 606625792 145111 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148102 145111 1111 63 0 148039 0
vsize: 592408
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 148274 0 0 0 48743 264 0 0 25 0 1 0 851496509 619319296 148194 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151201 148194 1111 63 0 151138 0
vsize: 604804
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 151354 0 0 0 49738 269 0 0 25 0 1 0 851496509 631857152 151274 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154262 151274 1111 63 0 154199 0
vsize: 617048
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 154484 0 0 0 50733 274 0 0 25 0 1 0 851496509 644698112 154404 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157397 154410 1111 63 0 157334 0
vsize: 629588
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 157607 0 0 0 51728 279 0 0 25 0 1 0 851496509 657539072 157527 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 160532 157527 1111 63 0 160469 0
vsize: 642128
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 160726 0 0 0 52724 283 0 0 25 0 1 0 851496509 670228480 160646 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163630 160650 1111 63 0 163567 0
vsize: 654520
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 163818 0 0 0 53719 288 0 0 25 0 1 0 851496509 682921984 163738 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166729 163738 1111 63 0 166666 0
vsize: 666916
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 166943 0 0 0 54715 293 0 0 25 0 1 0 851496509 695762944 166863 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169864 166863 1111 63 0 169801 0
vsize: 679456
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 170102 0 0 0 55710 298 0 0 25 0 1 0 851496509 708599808 170022 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172998 170022 1111 63 0 172935 0
vsize: 691992
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 173251 0 0 0 56704 304 0 0 25 0 1 0 851496509 721588224 173171 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176169 173171 1111 63 0 176106 0
vsize: 704676
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 176416 0 0 0 57699 309 0 0 25 0 1 0 851496509 734429184 176336 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179304 176336 1111 63 0 179241 0
vsize: 717216
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 179534 0 0 0 58693 315 0 0 25 0 1 0 851496509 747270144 179454 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182439 179454 1111 63 0 182376 0
vsize: 729756
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 182718 0 0 0 59686 322 0 0 25 0 1 0 851496509 760258560 182638 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185610 182638 1111 63 0 185547 0
vsize: 742440
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 185897 0 0 0 60679 328 0 0 25 0 1 0 851496509 773246976 185817 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188781 185817 1111 63 0 188718 0
vsize: 755124
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 189002 0 0 0 61672 334 0 0 25 0 1 0 851496509 786087936 188922 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191916 188922 1111 63 0 191853 0
vsize: 767664
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 192276 0 0 0 62666 338 0 0 25 0 1 0 851496509 799375360 192196 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195160 192196 1111 63 0 195097 0
vsize: 780640
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 195536 0 0 0 63659 344 0 0 25 0 1 0 851496509 813027328 195456 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198493 195456 1111 63 0 198430 0
vsize: 793972
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 198866 0 0 0 64652 349 0 0 25 0 1 0 851496509 826617856 198594 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 201811 198594 1111 63 0 201748 0
vsize: 807244
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 202076 0 0 0 65646 354 0 0 25 0 1 0 851496509 839757824 201484 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205019 201484 1111 63 0 204956 0
vsize: 820076
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 205423 0 0 0 66637 362 0 0 25 0 1 0 851496509 853491712 204575 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208372 204575 1111 63 0 208309 0
vsize: 833488
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 208802 0 0 0 67628 369 0 0 25 0 1 0 851496509 867373056 207698 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211761 207698 1111 63 0 211698 0
vsize: 847044
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 212224 0 0 0 68620 376 0 0 25 0 1 0 851496509 881414144 210674 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215189 210674 1111 63 0 215126 0
vsize: 860756
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 215670 0 0 0 69612 384 0 0 25 0 1 0 851496509 895447040 213766 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218615 213766 1111 63 0 218552 0
vsize: 874460
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 219170 0 0 0 70604 391 0 0 25 0 1 0 851496509 909774848 216690 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222113 216690 1111 63 0 222050 0
vsize: 888452
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 222623 0 1 0 71593 400 0 0 25 0 1 0 851496509 923963392 219634 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225577 219634 1111 63 0 225514 0
vsize: 902308
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 226208 0 1 0 72582 410 0 0 25 0 1 0 851496509 938594304 222617 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229149 222617 1111 63 0 229086 0
vsize: 916596
[startup+734.196 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 818
Raw data (stat): 818 (bsolo_lpr_cuts-) R 817 8378 8377 0 -1 0 226208 0 1 0 72582 410 0 0 25 0 1 0 851496509 938594304 222617 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229149 222617 1111 63 0 229086 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 734.195
CPU time (s): 734.097
CPU user time (s): 729.539
CPU system time (s): 4.55831
CPU usage (%): 99.9866
Max. virtual memory (Kb): 916596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####