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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb
MD5SUM	686a91b29b124fe4cc498973c082aa6a
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	47740
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	109780207303800
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	109780207303800
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.416936
Number of variables	47740
Total number of constraints	712
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	712
Minimum length of a constraint	20
Maximum length of a constraint	1220

Trace number 25956

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 15:31:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16433 boxname=wulflinc31 idbench=1265 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  686a91b29b124fe4cc498973c082aa6a  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship08s.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship08s.opb
IDLAUNCH: 16433
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        830564 kB
Buffers:         24180 kB
Cached:         156776 kB
SwapCached:        944 kB
Active:         124660 kB
Inactive:        58416 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830312 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15280 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 15:41:30 (client local time) WITH STATUS 0 IN 584.972 SECONDS
stats: 16433 7 584.972 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH070269_bit_7 +156250*SH070269_bit_6 +312500*SH070269_bit_5 +625000*SH070269_bit_4 +1250000*SH070269_bit_3 +2500000*SH070269_bit_2 +5000000*SH070269_bit_1 +10000000*SH070269_bit0 +20000000*SH070269_bit1 +40000000*SH070269_bit2 +80000000*SH070269_bit3 +160000000*SH070269_bit4 +320000000*SH070269_bit5 +640000000*SH070269_bit6 +1280000000*SH070269_bit7 +2560000000*SH070269_bit8 +5120000000*SH070269_bit9 +10240000000*SH070269_bit10 +20480000000*SH070269_bit11 +40960000000*SH070269_bit12 = +104757;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship08s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 584.886 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.91 0.95 0.90 2/55 9752
Raw data (stat): 9752 (runsolver) R 9751 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 822678814 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 1079 0 0 0 991 4 0 0 25 0 1 0 822678814 16486400 1002 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4025 1002 1111 63 0 3962 0
vsize: 16100
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 1454 0 0 0 1990 5 0 0 25 0 1 0 822678814 18051072 1377 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4407 1377 1111 63 0 4344 0
vsize: 17628
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 1840 0 0 0 2990 5 0 0 25 0 1 0 822678814 19603456 1763 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4786 1763 1111 63 0 4723 0
vsize: 19144
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 2239 0 0 0 3989 6 0 0 25 0 1 0 822678814 21155840 2162 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5165 2162 1111 63 0 5102 0
vsize: 20660
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 2632 0 0 0 4989 7 0 0 25 0 1 0 822678814 22847488 2555 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5578 2555 1111 63 0 5515 0
vsize: 22312
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 3025 0 0 0 5988 8 0 0 25 0 1 0 822678814 24399872 2948 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5957 2948 1111 63 0 5894 0
vsize: 23828
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 3426 0 0 0 6987 8 0 0 25 0 1 0 822678814 26095616 3349 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6371 3349 1111 63 0 6308 0
vsize: 25484
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 3839 0 0 0 7987 9 0 0 25 0 1 0 822678814 27807744 3762 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6789 3762 1111 63 0 6726 0
vsize: 27156
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 4242 0 0 0 8987 9 0 0 25 0 1 0 822678814 29360128 4165 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7168 4165 1111 63 0 7105 0
vsize: 28672
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 4655 0 0 0 9986 10 0 0 25 0 1 0 822678814 31055872 4578 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7582 4578 1111 63 0 7519 0
vsize: 30328
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 5056 0 0 0 10986 10 0 0 25 0 1 0 822678814 32747520 4979 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7995 4979 1111 63 0 7932 0
vsize: 31980
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 5478 0 0 0 11986 11 0 0 25 0 1 0 822678814 34447360 5401 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8410 5401 1111 63 0 8347 0
vsize: 33640
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 5905 0 0 0 12985 12 0 0 25 0 1 0 822678814 36282368 5828 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8858 5828 1111 63 0 8795 0
vsize: 35432
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 6344 0 0 0 13984 13 0 0 25 0 1 0 822678814 38129664 6267 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9309 6267 1111 63 0 9246 0
vsize: 37236
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 6766 0 0 0 14984 14 0 0 25 0 1 0 822678814 39821312 6689 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9722 6689 1111 63 0 9659 0
vsize: 38888
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 7209 0 0 0 15984 14 0 0 25 0 1 0 822678814 41660416 7132 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10171 7132 1111 63 0 10108 0
vsize: 40684
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 7650 0 0 0 16983 15 0 0 25 0 1 0 822678814 43352064 7573 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10584 7573 1111 63 0 10521 0
vsize: 42336
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 8101 0 0 0 17982 16 0 0 25 0 1 0 822678814 45187072 8024 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11032 8024 1111 63 0 10969 0
vsize: 44128
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 8549 0 0 0 18981 17 0 0 25 0 1 0 822678814 47022080 8472 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8472 1111 63 0 11417 0
vsize: 45920
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 9006 0 0 0 19981 18 0 0 25 0 1 0 822678814 49000448 8929 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11963 8929 1111 63 0 11900 0
vsize: 47852
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 9468 0 0 0 20980 18 0 0 25 0 1 0 822678814 50835456 9391 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12411 9391 1111 63 0 12348 0
vsize: 49644
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 9946 0 0 0 21980 19 0 0 25 0 1 0 822678814 52813824 9869 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12894 9869 1111 63 0 12831 0
vsize: 51576
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 10428 0 0 0 22979 20 0 0 25 0 1 0 822678814 54788096 10351 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13376 10351 1111 63 0 13313 0
vsize: 53504
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 10914 0 0 0 23978 21 0 0 25 0 1 0 822678814 56766464 10837 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13859 10837 1111 63 0 13796 0
vsize: 55436
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 11417 0 0 0 24977 22 0 0 25 0 1 0 822678814 58744832 11340 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14342 11340 1111 63 0 14279 0
vsize: 57368
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 11939 0 0 0 25976 23 0 0 25 0 1 0 822678814 61083648 11862 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14913 11862 1111 63 0 14850 0
vsize: 59652
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 12449 0 0 0 26976 24 0 0 25 0 1 0 822678814 63197184 12372 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15429 12373 1111 63 0 15366 0
vsize: 61716
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 12962 0 0 0 27974 25 0 0 25 0 1 0 822678814 65175552 12885 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15912 12885 1111 63 0 15849 0
vsize: 63648
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 13488 0 0 0 28974 26 0 0 25 0 1 0 822678814 67436544 13411 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16464 13411 1111 63 0 16401 0
vsize: 65856
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 14040 0 0 0 29973 27 0 0 25 0 1 0 822678814 69697536 13963 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17016 13963 1111 63 0 16953 0
vsize: 68064
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 14593 0 0 0 30972 28 0 0 25 0 1 0 822678814 71958528 14516 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17568 14516 1111 63 0 17505 0
vsize: 70272
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 15160 0 0 0 31972 29 0 0 25 0 1 0 822678814 74211328 15083 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18118 15083 1111 63 0 18055 0
vsize: 72472
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 15740 0 0 0 32971 30 0 0 25 0 1 0 822678814 76611584 15663 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18704 15663 1111 63 0 18641 0
vsize: 74816
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 16321 0 0 0 33970 31 0 0 25 0 1 0 822678814 79011840 16244 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19290 16244 1111 63 0 19227 0
vsize: 77160
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 16908 0 0 0 34969 32 0 0 25 0 1 0 822678814 81412096 16831 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19876 16831 1111 63 0 19813 0
vsize: 79504
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 17510 0 0 0 35969 33 0 0 25 0 1 0 822678814 83812352 17433 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20462 17433 1111 63 0 20399 0
vsize: 81848
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 18128 0 0 0 36968 34 0 0 25 0 1 0 822678814 86351872 18051 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21082 18051 1111 63 0 21019 0
vsize: 84328
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 18763 0 0 0 37967 35 0 0 25 0 1 0 822678814 88899584 18686 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21704 18686 1111 63 0 21641 0
vsize: 86816
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 19412 0 0 0 38965 37 0 0 25 0 1 0 822678814 91582464 19335 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22359 19335 1111 63 0 22296 0
vsize: 89436
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 20069 0 0 0 39964 38 0 0 25 0 1 0 822678814 94261248 19992 4294967295 134512640 134714508 3221221776 3221220420 1077374461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23013 19992 1111 63 0 22950 0
vsize: 92052
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 20745 0 0 0 40963 39 0 0 25 0 1 0 822678814 97083392 20668 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23702 20668 1111 63 0 23639 0
vsize: 94808
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 21432 0 0 0 41962 40 0 0 25 0 1 0 822678814 99774464 21355 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24359 21355 1111 63 0 24296 0
vsize: 97436
[startup+430.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 22150 0 0 0 42962 41 0 0 25 0 1 0 822678814 102735872 22073 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25082 22073 1111 63 0 25019 0
vsize: 100328
[startup+440.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 22875 0 0 0 43960 43 0 0 25 0 1 0 822678814 105705472 22798 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25807 22798 1111 63 0 25744 0
vsize: 103228
[startup+450.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 23641 0 0 0 44959 44 0 0 25 0 1 0 822678814 109056000 23564 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26625 23564 1111 63 0 26562 0
vsize: 106500
[startup+460.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 24388 0 0 0 45958 45 0 0 25 0 1 0 822678814 112164864 24311 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27384 24311 1111 63 0 27321 0
vsize: 109536
[startup+470.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 25147 0 0 0 46956 47 0 0 25 0 1 0 822678814 115265536 25070 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28141 25070 1111 63 0 28078 0
vsize: 112564
[startup+480.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 25922 0 0 0 47956 48 0 0 25 0 1 0 822678814 118374400 25845 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28900 25845 1111 63 0 28837 0
vsize: 115600
[startup+490.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 26696 0 0 0 48954 50 0 0 25 0 1 0 822678814 121618432 26619 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29692 26619 1111 63 0 29629 0
vsize: 118768
[startup+500.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 27498 0 0 0 49953 51 0 0 25 0 1 0 822678814 124866560 27421 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30485 27421 1111 63 0 30422 0
vsize: 121940
[startup+510.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 28341 0 0 0 50952 52 0 0 25 0 1 0 822678814 128258048 28264 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31313 28264 1111 63 0 31250 0
vsize: 125252
[startup+520.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 29200 0 0 0 51950 54 0 0 25 0 1 0 822678814 131788800 29123 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32175 29123 1111 63 0 32112 0
vsize: 128700
[startup+530.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 30057 0 0 0 52950 55 0 0 25 0 1 0 822678814 135319552 29980 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33037 29980 1111 63 0 32974 0
vsize: 132148
[startup+540.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 30927 0 0 0 53948 57 0 0 25 0 1 0 822678814 138850304 30850 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33899 30850 1111 63 0 33836 0
vsize: 135596
[startup+550.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 31811 0 0 0 54946 58 0 0 25 0 1 0 822678814 142520320 31734 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34795 31734 1111 63 0 34732 0
vsize: 139180
[startup+560.017 s]
Raw data (loadavg): 1.01 0.99 0.91 3/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 32712 0 0 0 55944 61 0 0 25 0 1 0 822678814 146190336 32635 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35691 32635 1111 63 0 35628 0
vsize: 142764
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 33665 0 0 0 56941 63 0 0 25 0 1 0 822678814 150003712 33588 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36622 33588 1111 63 0 36559 0
vsize: 146488
[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 35429 0 0 0 57936 69 0 0 25 0 1 0 822678814 157302784 35352 4294967295 134512640 134714508 3221221776 3221218252 1077191702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38404 35352 1111 63 0 38341 0
vsize: 153616
[startup+584.937 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 9752
Raw data (stat): 9752 (bsolo_lpr) R 9751 7876 7672 0 -1 0 35429 0 0 0 57936 69 0 0 25 0 1 0 822678814 157302784 35352 4294967295 134512640 134714508 3221221776 3221218252 1077191702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38404 35352 1111 63 0 38341 0
vsize: 0

Child status: 0
Real time (s): 584.937
CPU time (s): 584.972
CPU user time (s): 584.19
CPU system time (s): 0.781881
CPU usage (%): 100.006
Max. virtual memory (Kb): 153616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####