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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb
MD5SUM	b5066922b496d65f6fab47243caf450a
Bench Category	optimization, big integers (OPTBIGINT)
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	55800
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	31374736068060
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	31374736068060
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.674897
Number of variables	74400
Total number of constraints	1480
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1480
Minimum length of a constraint	90
Maximum length of a constraint	930
Trace number 28840

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 04:09:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11337 boxname=wulflinc25 idbench=873 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b5066922b496d65f6fab47243caf450a  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-sctap3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-sctap3.opb
IDLAUNCH: 11337
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        577620 kB
Buffers:         17336 kB
Cached:         415100 kB
SwapCached:        588 kB
Active:          35380 kB
Inactive:       399344 kB
HighTotal:      131008 kB
HighFree:        15456 kB
LowTotal:       903652 kB
LowFree:        562164 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            16496 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:20:56 (client local time) WITH STATUS 0 IN 703.997 SECONDS
stats: 11337 7 703.997 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/wulflinc25/normalized-mps-v2-20-10-sctap3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 703.941 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.87 0.95 0.94 2/54 9233
Raw data (stat): 9233 (runsolver) R 9232 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835899093 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.89 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 1026 0 0 0 994 3 0 0 25 0 1 0 835899093 16089088 950 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 950 1111 63 0 3865 0
vsize: 15712
[startup+20.0004 s]
Raw data (loadavg): 0.91 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 1285 0 0 0 1994 4 0 0 25 0 1 0 835899093 17272832 1209 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1209 1111 63 0 4154 0
vsize: 16868
[startup+29.9999 s]
Raw data (loadavg): 0.92 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 1542 0 0 0 2993 5 0 0 25 0 1 0 835899093 18292736 1466 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 1466 1111 63 0 4403 0
vsize: 17864
[startup+40.0005 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 1804 0 0 0 3993 5 0 0 25 0 1 0 835899093 19341312 1728 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 1728 1111 63 0 4659 0
vsize: 18888
[startup+50.0011 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 2070 0 0 0 4992 6 0 0 25 0 1 0 835899093 20393984 1994 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 1994 1111 63 0 4916 0
vsize: 19916
[startup+60.0007 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 2328 0 0 0 5992 7 0 0 25 0 1 0 835899093 21450752 2252 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2252 1111 63 0 5174 0
vsize: 20948
[startup+70.0016 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 2585 0 0 0 6992 7 0 0 25 0 1 0 835899093 22503424 2509 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 2509 1111 63 0 5431 0
vsize: 21976
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 2856 0 0 0 7992 7 0 0 25 0 1 0 835899093 23695360 2780 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5785 2780 1111 63 0 5722 0
vsize: 23140
[startup+90.0025 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 3120 0 0 0 8991 8 0 0 25 0 1 0 835899093 24743936 3044 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3044 1111 63 0 5978 0
vsize: 24164
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 3393 0 0 0 9991 9 0 0 25 0 1 0 835899093 25800704 3317 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 3317 1111 63 0 6236 0
vsize: 25196
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 3667 0 0 0 10990 9 0 0 25 0 1 0 835899093 26984448 3591 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 3591 1111 63 0 6525 0
vsize: 26352
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 3940 0 0 0 11990 10 0 0 25 0 1 0 835899093 28028928 3864 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 3864 1111 63 0 6780 0
vsize: 27372
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 4213 0 0 0 12990 10 0 0 25 0 1 0 835899093 29233152 4137 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7137 4137 1111 63 0 7074 0
vsize: 28548
[startup+140.001 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 4491 0 0 0 13989 11 0 0 25 0 1 0 835899093 30281728 4415 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 4415 1111 63 0 7330 0
vsize: 29572
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 4783 0 0 0 14989 12 0 0 25 0 1 0 835899093 31526912 4707 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 4707 1111 63 0 7634 0
vsize: 30788
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 5062 0 0 0 15989 12 0 0 25 0 1 0 835899093 32731136 4986 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 4986 1111 63 0 7928 0
vsize: 31964
[startup+170.002 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 5343 0 0 0 16988 13 0 0 25 0 1 0 835899093 33931264 5267 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8284 5267 1111 63 0 8221 0
vsize: 33136
[startup+180.008 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 5622 0 0 0 17988 13 0 0 25 0 1 0 835899093 34988032 5546 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8542 5546 1111 63 0 8479 0
vsize: 34168
[startup+190.009 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 5912 0 0 0 18988 14 0 0 25 0 1 0 835899093 36192256 5836 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5836 1111 63 0 8773 0
vsize: 35344
[startup+200.009 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 6200 0 0 0 19987 15 0 0 25 0 1 0 835899093 37396480 6124 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9130 6124 1111 63 0 9067 0
vsize: 36520
[startup+210.009 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 6494 0 0 0 20986 16 0 0 25 0 1 0 835899093 38596608 6418 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 6418 1111 63 0 9360 0
vsize: 37692
[startup+220.009 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 6791 0 0 0 21986 17 0 0 25 0 1 0 835899093 39804928 6715 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 6715 1111 63 0 9655 0
vsize: 38872
[startup+230.009 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 7090 0 0 0 22985 17 0 0 25 0 1 0 835899093 41009152 7014 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7014 1111 63 0 9949 0
vsize: 40048
[startup+240.009 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 7393 0 0 0 23985 18 0 0 25 0 1 0 835899093 42209280 7317 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 7317 1111 63 0 10242 0
vsize: 41220
[startup+250.072 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 7691 0 0 0 24991 19 0 0 25 0 1 0 835899093 43384832 7615 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10592 7615 1111 63 0 10529 0
vsize: 42368
[startup+260.073 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 7998 0 0 0 25990 20 0 0 25 0 1 0 835899093 44740608 7922 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 7922 1111 63 0 10860 0
vsize: 43692
[startup+270.077 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 8301 0 0 0 26990 20 0 0 25 0 1 0 835899093 45940736 8225 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11216 8225 1111 63 0 11153 0
vsize: 44864
[startup+280.077 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 8615 0 0 0 27989 21 0 0 25 0 1 0 835899093 47296512 8539 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11547 8539 1111 63 0 11484 0
vsize: 46188
[startup+290.078 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 8951 0 0 0 28989 21 0 0 25 0 1 0 835899093 48750592 8875 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11902 8875 1111 63 0 11839 0
vsize: 47608
[startup+300.078 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 9283 0 0 0 29989 22 0 0 25 0 1 0 835899093 50077696 9207 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 9207 1111 63 0 12163 0
vsize: 48904
[startup+310.078 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 9614 0 0 0 30988 23 0 0 25 0 1 0 835899093 51400704 9538 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 9538 1111 63 0 12486 0
vsize: 50196
[startup+320.078 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 9948 0 0 0 31988 23 0 0 25 0 1 0 835899093 52760576 9872 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 9872 1111 63 0 12818 0
vsize: 51524
[startup+330.078 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 10287 0 0 0 32987 24 0 0 25 0 1 0 835899093 54108160 10211 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10211 1111 63 0 13147 0
vsize: 52840
[startup+340.078 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 10627 0 0 0 33987 25 0 0 25 0 1 0 835899093 55615488 10551 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13578 10551 1111 63 0 13515 0
vsize: 54312
[startup+350.078 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 10972 0 0 0 34986 26 0 0 25 0 1 0 835899093 56971264 10896 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13909 10896 1111 63 0 13846 0
vsize: 55636
[startup+360.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 11320 0 0 0 35986 26 0 0 25 0 1 0 835899093 58327040 11244 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14240 11244 1111 63 0 14177 0
vsize: 56960
[startup+370.09 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 11676 0 0 0 36987 27 0 0 25 0 1 0 835899093 59834368 11600 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14608 11600 1111 63 0 14545 0
vsize: 58432
[startup+380.09 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 12034 0 0 0 37986 27 0 0 25 0 1 0 835899093 61333504 11958 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14974 11958 1111 63 0 14911 0
vsize: 59896
[startup+390.09 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 12411 0 0 0 38985 28 0 0 25 0 1 0 835899093 62840832 12335 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15342 12335 1111 63 0 15279 0
vsize: 61368
[startup+400.101 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 12782 0 0 0 39986 29 0 0 25 0 1 0 835899093 64348160 12706 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15710 12706 1111 63 0 15647 0
vsize: 62840
[startup+410.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 13165 0 0 0 40987 29 0 0 25 0 1 0 835899093 65851392 13089 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16077 13089 1111 63 0 16014 0
vsize: 64308
[startup+420.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 13554 0 0 0 41987 30 0 0 25 0 1 0 835899093 67506176 13478 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16481 13478 1111 63 0 16418 0
vsize: 65924
[startup+430.115 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 13946 0 0 0 42986 30 0 0 25 0 1 0 835899093 69160960 13870 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16885 13870 1111 63 0 16822 0
vsize: 67540
[startup+440.115 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 14345 0 0 0 43986 31 0 0 25 0 1 0 835899093 70668288 14269 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17253 14269 1111 63 0 17190 0
vsize: 69012
[startup+450.117 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 14750 0 0 0 44986 31 0 0 25 0 1 0 835899093 72323072 14674 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17657 14674 1111 63 0 17594 0
vsize: 70628
[startup+460.116 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 15164 0 0 0 45986 32 0 0 25 0 1 0 835899093 74096640 15088 4294967295 134512640 134714508 3221224592 3221222820 1077414393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18090 15088 1111 63 0 18027 0
vsize: 72360
[startup+470.116 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 15583 0 0 0 46985 33 0 0 25 0 1 0 835899093 75755520 15507 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18495 15507 1111 63 0 18432 0
vsize: 73980
[startup+480.121 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 15997 0 0 0 47985 34 0 0 25 0 1 0 835899093 77410304 15921 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18899 15921 1111 63 0 18836 0
vsize: 75596
[startup+490.121 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 16423 0 0 0 48984 35 0 0 25 0 1 0 835899093 79216640 16347 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19340 16347 1111 63 0 19277 0
vsize: 77360
[startup+500.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 16884 0 0 0 49983 36 0 0 25 0 1 0 835899093 81350656 16808 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19861 16808 1111 63 0 19798 0
vsize: 79444
[startup+510.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 17327 0 0 0 50982 37 0 0 25 0 1 0 835899093 83156992 17251 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20302 17251 1111 63 0 20239 0
vsize: 81208
[startup+520.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 17783 0 0 0 51982 37 0 0 25 0 1 0 835899093 84963328 17707 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20743 17707 1111 63 0 20680 0
vsize: 82972
[startup+530.123 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 18242 0 0 0 52981 39 0 0 25 0 1 0 835899093 86921216 18166 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21221 18166 1111 63 0 21158 0
vsize: 84884
[startup+540.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 18721 0 0 0 53980 40 0 0 25 0 1 0 835899093 88875008 18645 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21698 18645 1111 63 0 21635 0
vsize: 86792
[startup+550.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 19214 0 0 0 54979 41 0 0 25 0 1 0 835899093 90800128 19138 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22168 19138 1111 63 0 22105 0
vsize: 88672
[startup+560.128 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 19710 0 0 0 55979 42 0 0 25 0 1 0 835899093 92909568 19634 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22683 19634 1111 63 0 22620 0
vsize: 90732
[startup+570.143 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 20219 0 0 0 56979 43 0 0 25 0 1 0 835899093 95014912 20143 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23197 20143 1111 63 0 23134 0
vsize: 92788
[startup+580.143 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 20735 0 0 0 57978 44 0 0 25 0 1 0 835899093 97120256 20659 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23711 20659 1111 63 0 23648 0
vsize: 94844
[startup+590.143 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 21253 0 0 0 58977 45 0 0 25 0 1 0 835899093 99229696 21177 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24226 21177 1111 63 0 24163 0
vsize: 96904
[startup+600.148 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 21782 0 0 0 59976 47 0 0 25 0 1 0 835899093 101335040 21706 4294967295 134512640 134714508 3221224592 3221222928 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24740 21706 1111 63 0 24677 0
vsize: 98960
[startup+610.154 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 22320 0 0 0 60976 48 0 0 25 0 1 0 835899093 103591936 22244 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25291 22244 1111 63 0 25228 0
vsize: 101164
[startup+620.169 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 22902 0 0 0 61976 49 0 0 25 0 1 0 835899093 105852928 22826 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25843 22826 1111 63 0 25780 0
vsize: 103372
[startup+630.169 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 23502 0 0 0 62975 51 0 0 25 0 1 0 835899093 108412928 23426 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26468 23426 1111 63 0 26405 0
vsize: 105872
[startup+640.178 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 24099 0 0 0 63975 52 0 0 25 0 1 0 835899093 110817280 24023 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27055 24023 1111 63 0 26992 0
vsize: 108220
[startup+650.192 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 24719 0 0 0 64976 53 0 0 25 0 1 0 835899093 113373184 24643 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27679 24643 1111 63 0 27616 0
vsize: 110716
[startup+660.192 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 25353 0 0 0 65974 55 0 0 25 0 1 0 835899093 115937280 25277 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28305 25277 1111 63 0 28242 0
vsize: 113220
[startup+670.192 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 26003 0 0 0 66973 56 0 0 25 0 1 0 835899093 118493184 25927 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28929 25927 1111 63 0 28866 0
vsize: 115716
[startup+680.192 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 26666 0 0 0 67972 57 0 0 25 0 1 0 835899093 121323520 26590 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29620 26590 1111 63 0 29557 0
vsize: 118480
[startup+690.192 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 27331 0 0 0 68970 59 0 0 25 0 1 0 835899093 124030976 27255 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30281 27255 1111 63 0 30218 0
vsize: 121124
[startup+700.192 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 28024 0 0 0 69969 61 0 0 25 0 1 0 835899093 126742528 27948 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30943 27948 1111 63 0 30880 0
vsize: 123772
[startup+703.907 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 9233
Raw data (stat): 9233 (bsolo_lpr) R 9232 1586 1585 0 -1 0 28024 0 0 0 69969 61 0 0 25 0 1 0 835899093 126742528 27948 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30943 27948 1111 63 0 30880 0
vsize: 0

Child status: 0
Real time (s): 703.906
CPU time (s): 703.997
CPU user time (s): 703.33
CPU system time (s): 0.666898
CPU usage (%): 100.013
Max. virtual memory (Kb): 123772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####