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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb
MD5SUMc5a9e8be191d07f712a0a357db2fa392
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 42300
Biggest coefficient in the objective function 42949672960
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 26381836591110
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 42949672960
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 26381836591110
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1304.69
Number of variables56400
Total number of constraints1090
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1090
Minimum length of a constraint90
Maximum length of a constraint720

Trace number 28793 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 04:11:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11324 boxname=wulflinc1 idbench=872 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c5a9e8be191d07f712a0a357db2fa392  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sctap2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sctap2.opb
IDLAUNCH: 11324
/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:        834192 kB
Buffers:         12604 kB
Cached:         157844 kB
SwapCached:       3972 kB
Active:          37436 kB
Inactive:       139964 kB
HighTotal:      131008 kB
HighFree:         4340 kB
LowTotal:       903652 kB
LowFree:        829852 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6956 kB
Slab:            17384 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:17:37 (client local time) WITH STATUS 0 IN 383.215 SECONDS
stats: 11324 7 383.215 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: -5*Z3Z10ZZ9_bit_10 -10*Z3Z10ZZ9_bit_9 -20*Z3Z10ZZ9_bit_8 -40*Z3Z10ZZ9_bit_7 -80*Z3Z10ZZ9_bit_6 -160*Z3Z10ZZ9_bit_5 -320*Z3Z10ZZ9_bit_4 -640*Z3Z10ZZ9_bit_3 -1280*Z3Z10ZZ9_bit_2 -2560*Z3Z10ZZ9_bit_1 -5120*Z3Z10ZZ9_bit0 -10240*Z3Z10ZZ9_bit1 -20480*Z3Z10ZZ9_bit2 -40960*Z3Z10ZZ9_bit3 -81920*Z3Z10ZZ9_bit4 -163840*Z3Z10ZZ9_bit5 -327680*Z3Z10ZZ9_bit6 -655360*Z3Z10ZZ9_bit7 -1310720*Z3Z10ZZ9_bit8 -2621440*Z3Z10ZZ9_bit9 -5242880*Z3Z10ZZ9_bit10 -10485760*Z3Z10ZZ9_bit11 -20971520*Z3Z10ZZ9_bit12 -41943040*Z3Z10ZZ9_bit13 -83886080*Z3Z10ZZ9_bit14 -167772160*Z3Z10ZZ9_bit15 -335544320*Z3Z10ZZ9_bit16 -671088640*Z3Z10ZZ9_bit17 -1342177280*Z3Z10ZZ9_bit18 -2684354560*Z3Z10ZZ9_bit19 -1*Z4Z10ZZ9_bit_10 -2*Z4Z10ZZ9_bit_9 -4*Z4Z10ZZ9_bit_8 -8*Z4Z10ZZ9_bit_7 -16*Z4Z10ZZ9_bit_6 -32*Z4Z10ZZ9_bit_5 -64*Z4Z10ZZ9_bit_4 -128*Z4Z10ZZ9_bit_3 -256*Z4Z10ZZ9_bit_2 -512*Z4Z10ZZ9_bit_1 -1024*Z4Z10ZZ9_bit0 -2048*Z4Z10ZZ9_bit1 -4096*Z4Z10ZZ9_bit2 -8192*Z4Z10ZZ9_bit3 -16384*Z4Z10ZZ9_bit4 -32768*Z4Z10ZZ9_bit5 -65536*Z4Z10ZZ9_bit6 -131072*Z4Z10ZZ9_bit7 -262144*Z4Z10ZZ9_bit8 -524288*Z4Z10ZZ9_bit9 -1048576*Z4Z10ZZ9_bit10 -2097152*Z4Z10ZZ9_bit11 -4194304*Z4Z10ZZ9_bit12 -8388608*Z4Z10ZZ9_bit13 -16777216*Z4Z10ZZ9_bit14 -33554432*Z4Z10ZZ9_bit15 -67108864*Z4Z10ZZ9_bit16 -134217728*Z4Z10ZZ9_bit17 -268435456*Z4Z10ZZ9_bit18 -536870912*Z4Z10ZZ9_bit19 +10*Z2Z10Z10_bit_10 +20*Z2Z10Z10_bit_9 +40*Z2Z10Z10_bit_8 +80*Z2Z10Z10_bit_7 +160*Z2Z10Z10_bit_6 +320*Z2Z10Z10_bit_5 +640*Z2Z10Z10_bit_4 +1280*Z2Z10Z10_bit_3 +2560*Z2Z10Z10_bit_2 +5120*Z2Z10Z10_bit_1 +10240*Z2Z10Z10_bit0 +20480*Z2Z10Z10_bit1 +40960*Z2Z10Z10_bit2 +81920*Z2Z10Z10_bit3 +163840*Z2Z10Z10_bit4 +327680*Z2Z10Z10_bit5 +655360*Z2Z10Z10_bit6 +1310720*Z2Z10Z10_bit7 +2621440*Z2Z10Z10_bit8 +5242880*Z2Z10Z10_bit9 +10485760*Z2Z10Z10_bit10 +20971520*Z2Z10Z10_bit11 +41943040*Z2Z10Z10_bit12 +83886080*Z2Z10Z10_bit13 +167772160*Z2Z10Z10_bit14 +335544320*Z2Z10Z10_bit15 +671088640*Z2Z10Z10_bit16 +1342177280*Z2Z10Z10_bit17 +2684354560*Z2Z10Z10_bit18 +5368709120*Z2Z10Z10_bit19 +20*Z3Z10Z10_bit_10 +40*Z3Z10Z10_bit_9 +80*Z3Z10Z10_bit_8 +160*Z3Z10Z10_bit_7 +320*Z3Z10Z10_bit_6 +640*Z3Z10Z10_bit_5 +1280*Z3Z10Z10_bit_4 +2560*Z3Z10Z10_bit_3 +5120*Z3Z10Z10_bit_2 +10240*Z3Z10Z10_bit_1 +20480*Z3Z10Z10_bit0 +40960*Z3Z10Z10_bit1 +81920*Z3Z10Z10_bit2 +163840*Z3Z10Z10_bit3 +327680*Z3Z10Z10_bit4 +655360*Z3Z10Z10_bit5 +1310720*Z3Z10Z10_bit6 +2621440*Z3Z10Z10_bit7 +5242880*Z3Z10Z10_bit8 +10485760*Z3Z10Z10_bit9 +20971520*Z3Z10Z10_bit10 +41943040*Z3Z10Z10_bit11 +83886080*Z3Z10Z10_bit12 +167772160*Z3Z10Z10_bit13 +335544320*Z3Z10Z10_bit14 +671088640*Z3Z10Z10_bit15 +1342177280*Z3Z10Z10_bit16 +2684354560*Z3Z10Z10_bit17 +5368709120*Z3Z10Z10_bit18 +10737418240*Z3Z10Z10_bit19 +1*Z4Z10Z10_bit_10 +2*Z4Z10Z10_bit_9 +4*Z4Z10Z10_bit_8 +8*Z4Z10Z10_bit_7 +16*Z4Z10Z10_bit_6 +32*Z4Z10Z10_bit_5 +64*Z4Z10Z10_bit_4 +128*Z4Z10Z10_bit_3 +256*Z4Z10Z10_bit_2 +512*Z4Z10Z10_bit_1 +1024*Z4Z10Z10_bit0 +2048*Z4Z10Z10_bit1 +4096*Z4Z10Z10_bit2 +8192*Z4Z10Z10_bit3 +16384*Z4Z10Z10_bit4 +32768*Z4Z10Z10_bit5 +65536*Z4Z10Z10_bit6 +131072*Z4Z10Z10_bit7 +262144*Z4Z10Z10_bit8 +524288*Z4Z10Z10_bit9 +1048576*Z4Z10Z10_bit10 +2097152*Z4Z10Z10_bit11 +4194304*Z4Z10Z10_bit12 +8388608*Z4Z10Z10_bit13 +16777216*Z4Z10Z10_bit14 +33554432*Z4Z10Z10_bit15 +67108864*Z4Z10Z10_bit16 +134217728*Z4Z10Z10_bit17 +268435456*Z4Z10Z10_bit18 +536870912*Z4Z10Z10_bit19 >= +0;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sctap2.opb
s UNKNOWN
c Exit Code: 0
c Total time: 383.169 s
#### 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 1.00 0.97 2/55 16756
Raw data (stat): 16756 (runsolver) D 16755 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 720819082 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99968 s]
Raw data (loadavg): 0.94 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 1033 0 0 0 994 3 0 0 25 0 1 0 720819082 16535552 957 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 957 1111 63 0 3974 0
vsize: 16148
[startup+20.0004 s]
Raw data (loadavg): 0.95 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 1375 0 0 0 1993 5 0 0 25 0 1 0 720819082 17846272 1299 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 1299 1111 63 0 4294 0
vsize: 17428
[startup+30.0002 s]
Raw data (loadavg): 0.95 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 1730 0 0 0 2992 6 0 0 25 0 1 0 720819082 19341312 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 1654 1111 63 0 4659 0
vsize: 18888
[startup+40.011 s]
Raw data (loadavg): 0.96 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 2078 0 0 0 3992 7 0 0 25 0 1 0 720819082 20697088 2002 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 2002 1111 63 0 4990 0
vsize: 20212
[startup+50.0178 s]
Raw data (loadavg): 0.97 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 2423 0 0 0 4992 7 0 0 25 0 1 0 720819082 22200320 2347 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 2347 1111 63 0 5357 0
vsize: 21680
[startup+60.0176 s]
Raw data (loadavg): 0.97 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 2782 0 0 0 5992 8 0 0 25 0 1 0 720819082 23695360 2706 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 2706 1111 63 0 5722 0
vsize: 23140
[startup+70.0174 s]
Raw data (loadavg): 0.97 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 3137 0 0 0 6992 8 0 0 25 0 1 0 720819082 25051136 3061 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 3061 1111 63 0 6053 0
vsize: 24464
[startup+80.0171 s]
Raw data (loadavg): 0.98 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 3504 0 0 0 7991 9 0 0 25 0 1 0 720819082 26550272 3428 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 3428 1111 63 0 6419 0
vsize: 25928
[startup+90.0179 s]
Raw data (loadavg): 0.98 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 3874 0 0 0 8991 10 0 0 25 0 1 0 720819082 28176384 3798 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6879 3798 1111 63 0 6816 0
vsize: 27516
[startup+100.018 s]
Raw data (loadavg): 0.98 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 4244 0 0 0 9990 10 0 0 25 0 1 0 720819082 29683712 4168 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 4168 1111 63 0 7184 0
vsize: 28988
[startup+110.017 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 4617 0 0 0 10990 11 0 0 25 0 1 0 720819082 31186944 4541 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7614 4541 1111 63 0 7551 0
vsize: 30456
[startup+120.017 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 5005 0 0 0 11989 12 0 0 25 0 1 0 720819082 32731136 4929 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7991 4929 1111 63 0 7928 0
vsize: 31964
[startup+130.017 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 5402 0 0 0 12989 12 0 0 25 0 1 0 720819082 34390016 5326 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8396 5326 1111 63 0 8333 0
vsize: 33584
[startup+140.018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 5795 0 0 0 13988 13 0 0 25 0 1 0 720819082 36044800 5719 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8800 5719 1111 63 0 8737 0
vsize: 35200
[startup+150.019 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 6199 0 0 0 14987 14 0 0 25 0 1 0 720819082 37695488 6123 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9203 6123 1111 63 0 9140 0
vsize: 36812
[startup+160.019 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 6605 0 0 0 15987 15 0 0 25 0 1 0 720819082 39350272 6529 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9607 6529 1111 63 0 9544 0
vsize: 38428
[startup+170.019 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 7039 0 0 0 16987 15 0 0 25 0 1 0 720819082 41156608 6963 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 6963 1111 63 0 9985 0
vsize: 40192
[startup+180.019 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 7497 0 0 0 17986 16 0 0 25 0 1 0 720819082 42934272 7421 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10482 7421 1111 63 0 10419 0
vsize: 41928
[startup+190.02 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 7969 0 0 0 18986 17 0 0 25 0 1 0 720819082 44888064 7893 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10959 7893 1111 63 0 10896 0
vsize: 43836
[startup+200.02 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 8449 0 0 0 19985 17 0 0 25 0 1 0 720819082 46845952 8373 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11437 8376 1111 63 0 11374 0
vsize: 45748
[startup+210.019 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 8960 0 0 0 20985 18 0 0 25 0 1 0 720819082 49029120 8884 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11970 8884 1111 63 0 11907 0
vsize: 47880
[startup+220.026 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 9490 0 0 0 21984 19 0 0 25 0 1 0 720819082 51253248 9414 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12513 9414 1111 63 0 12450 0
vsize: 50052
[startup+230.025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 10052 0 0 0 22984 20 0 0 25 0 1 0 720819082 53510144 9976 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 9976 1111 63 0 13001 0
vsize: 52256
[startup+240.025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 10643 0 0 0 23983 21 0 0 25 0 1 0 720819082 55914496 10567 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10567 1111 63 0 13588 0
vsize: 54604
[startup+250.025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 11261 0 0 0 24982 22 0 0 25 0 1 0 720819082 58478592 11185 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14277 11185 1111 63 0 14214 0
vsize: 57108
[startup+260.025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 11895 0 0 0 25981 23 0 0 25 0 1 0 720819082 61034496 11819 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14901 11819 1111 63 0 14838 0
vsize: 59604
[startup+270.025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 12531 0 0 0 26980 24 0 0 25 0 1 0 720819082 63598592 12455 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15527 12455 1111 63 0 15464 0
vsize: 62108
[startup+280.04 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 13196 0 0 0 27980 25 0 0 25 0 1 0 720819082 66306048 13120 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16188 13120 1111 63 0 16125 0
vsize: 64752
[startup+290.049 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 13888 0 0 0 28980 27 0 0 25 0 1 0 720819082 69160960 13812 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16885 13812 1111 63 0 16822 0
vsize: 67540
[startup+300.048 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 14597 0 0 0 29979 28 0 0 25 0 1 0 720819082 72024064 14521 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17584 14521 1111 63 0 17521 0
vsize: 70336
[startup+310.048 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 15333 0 0 0 30978 29 0 0 25 0 1 0 720819082 74997760 15257 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18310 15257 1111 63 0 18247 0
vsize: 73240
[startup+320.049 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 16087 0 0 0 31976 31 0 0 25 0 1 0 720819082 78163968 16011 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19083 16011 1111 63 0 19020 0
vsize: 76332
[startup+330.049 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 16899 0 0 0 32975 32 0 0 25 0 1 0 720819082 81649664 16823 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19934 16823 1111 63 0 19871 0
vsize: 79736
[startup+340.05 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 17711 0 0 0 33974 34 0 0 25 0 1 0 720819082 84963328 17635 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20743 17635 1111 63 0 20680 0
vsize: 82972
[startup+350.05 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 18553 0 0 0 34973 35 0 0 25 0 1 0 720819082 88428544 18477 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21589 18477 1111 63 0 21526 0
vsize: 86356
[startup+360.059 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 19423 0 0 0 35972 37 0 0 25 0 1 0 720819082 92008448 19347 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22463 19347 1111 63 0 22400 0
vsize: 89852
[startup+370.059 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 20336 0 0 0 36971 38 0 0 25 0 1 0 720819082 95768576 20260 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23381 20260 1111 63 0 23318 0
vsize: 93524
[startup+380.059 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 21267 0 0 0 37969 40 0 0 25 0 1 0 720819082 99528704 21191 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 21191 1111 63 0 24236 0
vsize: 97196
[startup+383.192 s]
Raw data (loadavg): 0.99 1.00 0.97 1/54 16756
Raw data (stat): 16756 (bsolo_lpr) R 16755 8378 8377 0 -1 0 21267 0 0 0 37969 40 0 0 25 0 1 0 720819082 99528704 21191 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24299 21191 1111 63 0 24236 0
vsize: 0

Child status: 0
Real time (s): 383.192
CPU time (s): 383.215
CPU user time (s): 382.762
CPU system time (s): 0.452931
CPU usage (%): 100.006
Max. virtual memory (Kb): 97196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####