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-degen3.opb
MD5SUM	7312c1a4c94073cc51821da54f781db8
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	47190
Biggest coefficient in the objective function	1001264250880
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	339379725479256
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1001264250880
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	339379725479256
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.474927
Number of variables	54540
Total number of constraints	1503
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	1503
Minimum length of a constraint	60
Maximum length of a constraint	6090

Trace number 26835

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-24 17:11:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10702 boxname=wulflinc2 idbench=824 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  7312c1a4c94073cc51821da54f781db8  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-degen3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-degen3.opb
IDLAUNCH: 10702
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        764924 kB
Buffers:         33692 kB
Cached:         215128 kB
SwapCached:        876 kB
Active:          86772 kB
Inactive:       164584 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        764616 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12676 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:23:13 (client local time) WITH STATUS 20 IN 706.134 SECONDS
stats: 10702 7 706.134 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 54540 variables and 1356 constraints.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 706.049 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.94 0.95 1/54 1219
Raw data (stat): 1219 (runsolver) D 1218 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 773719378 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+10.0009 s]
Raw data (loadavg): 0.89 0.94 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 847 0 0 0 982 2 0 0 25 0 1 0 773719378 16080896 825 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 825 1111 63 0 3863 0
vsize: 15704
[startup+20.0012 s]
Raw data (loadavg): 0.90 0.94 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 1136 0 0 0 1982 2 0 0 25 0 1 0 773719378 17387520 1114 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4245 1114 1111 63 0 4182 0
vsize: 16980
[startup+30.01 s]
Raw data (loadavg): 0.92 0.94 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 1424 0 0 0 2982 2 0 0 25 0 1 0 773719378 18436096 1402 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 1402 1111 63 0 4438 0
vsize: 18004
[startup+40.0175 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 1722 0 0 0 3982 3 0 0 25 0 1 0 773719378 19730432 1700 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4817 1700 1111 63 0 4754 0
vsize: 19268
[startup+50.1401 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 2017 0 0 0 4994 4 0 0 25 0 1 0 773719378 20930560 1995 4294967295 134512640 134714540 3221224592 3221222820 1077414393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5110 1995 1111 63 0 5047 0
vsize: 20440
[startup+60.1402 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 2312 0 0 0 5994 4 0 0 25 0 1 0 773719378 22106112 2290 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5397 2290 1111 63 0 5334 0
vsize: 21588
[startup+70.1399 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 2626 0 0 0 6994 4 0 0 25 0 1 0 773719378 23449600 2604 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 2604 1111 63 0 5662 0
vsize: 22900
[startup+80.1402 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 2920 0 0 0 7993 5 0 0 25 0 1 0 773719378 24649728 2898 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6018 2898 1111 63 0 5955 0
vsize: 24072
[startup+90.1403 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 3232 0 0 0 8993 6 0 0 25 0 1 0 773719378 25858048 3210 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6313 3210 1111 63 0 6250 0
vsize: 25252
[startup+100.14 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 3542 0 0 0 9992 6 0 0 25 0 1 0 773719378 27181056 3520 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6636 3520 1111 63 0 6573 0
vsize: 26544
[startup+110.247 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 3866 0 0 0 11003 7 0 0 25 0 1 0 773719378 28532736 3844 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6966 3844 1111 63 0 6903 0
vsize: 27864
[startup+120.247 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 4189 0 0 0 12003 7 0 0 25 0 1 0 773719378 29888512 4167 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7297 4167 1111 63 0 7234 0
vsize: 29188
[startup+130.248 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 4531 0 0 0 13003 7 0 0 25 0 1 0 773719378 31277056 4509 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 4509 1111 63 0 7573 0
vsize: 30544
[startup+140.247 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 4848 0 0 0 14003 7 0 0 25 0 1 0 773719378 32636928 4826 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7968 4826 1111 63 0 7905 0
vsize: 31872
[startup+150.247 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 5187 0 0 0 15002 9 0 0 25 0 1 0 773719378 33988608 5165 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8298 5165 1111 63 0 8235 0
vsize: 33192
[startup+160.253 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 5527 0 0 0 16002 9 0 0 25 0 1 0 773719378 35344384 5505 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8629 5505 1111 63 0 8566 0
vsize: 34516
[startup+170.253 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 5864 0 0 0 17001 10 0 0 25 0 1 0 773719378 36696064 5842 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8959 5842 1111 63 0 8896 0
vsize: 35836
[startup+180.252 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 6212 0 0 0 18001 10 0 0 25 0 1 0 773719378 38203392 6190 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9327 6190 1111 63 0 9264 0
vsize: 37308
[startup+190.253 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 6561 0 0 0 19001 11 0 0 25 0 1 0 773719378 39559168 6539 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 6539 1111 63 0 9595 0
vsize: 38632
[startup+200.253 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 6913 0 0 0 20000 12 0 0 25 0 1 0 773719378 41062400 6891 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10025 6891 1111 63 0 9962 0
vsize: 40100
[startup+210.253 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 7276 0 0 0 20999 13 0 0 25 0 1 0 773719378 42541056 7254 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10386 7254 1111 63 0 10323 0
vsize: 41544
[startup+220.253 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 7643 0 0 0 21998 14 0 0 25 0 1 0 773719378 44040192 7621 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10752 7621 1111 63 0 10689 0
vsize: 43008
[startup+230.254 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 8005 0 0 0 22998 15 0 0 25 0 1 0 773719378 45395968 7983 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11083 7983 1111 63 0 11020 0
vsize: 44332
[startup+240.254 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 8380 0 0 0 23997 15 0 0 25 0 1 0 773719378 47054848 8358 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11488 8358 1111 63 0 11425 0
vsize: 45952
[startup+250.253 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 8775 0 0 0 24996 16 0 0 25 0 1 0 773719378 48656384 8753 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11879 8753 1111 63 0 11816 0
vsize: 47516
[startup+260.254 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 9157 0 0 0 25996 17 0 0 25 0 1 0 773719378 50282496 9135 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12276 9135 1111 63 0 12213 0
vsize: 49104
[startup+270.254 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 9542 0 0 0 26995 18 0 0 25 0 1 0 773719378 51908608 9520 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12673 9520 1111 63 0 12610 0
vsize: 50692
[startup+280.255 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 9926 0 0 0 27995 19 0 0 25 0 1 0 773719378 53415936 9904 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13041 9904 1111 63 0 12978 0
vsize: 52164
[startup+290.255 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 10323 0 0 0 28994 20 0 0 25 0 1 0 773719378 55070720 10301 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13445 10301 1111 63 0 13382 0
vsize: 53780
[startup+300.255 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 10729 0 0 0 29993 21 0 0 25 0 1 0 773719378 56725504 10707 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13849 10707 1111 63 0 13786 0
vsize: 55396
[startup+310.255 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 11136 0 0 0 30992 22 0 0 25 0 1 0 773719378 58384384 11114 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14254 11114 1111 63 0 14191 0
vsize: 57016
[startup+320.255 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 11550 0 0 0 31991 23 0 0 25 0 1 0 773719378 60039168 11528 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14658 11528 1111 63 0 14595 0
vsize: 58632
[startup+330.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 11977 0 0 0 32991 24 0 0 25 0 1 0 773719378 61845504 11955 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15099 11955 1111 63 0 15036 0
vsize: 60396
[startup+340.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 12404 0 0 0 33989 25 0 0 25 0 1 0 773719378 63500288 12382 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15503 12382 1111 63 0 15440 0
vsize: 62012
[startup+350.255 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 12861 0 0 0 34988 26 0 0 25 0 1 0 773719378 65454080 12839 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15980 12839 1111 63 0 15917 0
vsize: 63920
[startup+360.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 13319 0 0 0 35988 27 0 0 25 0 1 0 773719378 67260416 13297 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16421 13297 1111 63 0 16358 0
vsize: 65684
[startup+370.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 13805 0 0 0 36987 28 0 0 25 0 1 0 773719378 69218304 13783 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16899 13783 1111 63 0 16836 0
vsize: 67596
[startup+380.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 14315 0 0 0 37986 29 0 0 25 0 1 0 773719378 71323648 14293 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17413 14293 1111 63 0 17350 0
vsize: 69652
[startup+390.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 14853 0 0 0 38986 30 0 0 25 0 1 0 773719378 73555968 14831 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17958 14831 1111 63 0 17895 0
vsize: 71832
[startup+400.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 15399 0 0 0 39985 30 0 0 25 0 1 0 773719378 75808768 15377 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18508 15377 1111 63 0 18445 0
vsize: 74032
[startup+410.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 15974 0 0 0 40985 31 0 0 25 0 1 0 773719378 78069760 15952 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19060 15952 1111 63 0 18997 0
vsize: 76240
[startup+420.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 16618 0 0 0 41984 32 0 0 25 0 1 0 773719378 80965632 16596 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19767 16596 1111 63 0 19704 0
vsize: 79068
[startup+430.257 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 17242 0 0 0 42983 33 0 0 25 0 1 0 773719378 83513344 17220 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20389 17220 1111 63 0 20326 0
vsize: 81556
[startup+440.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 17879 0 0 0 43982 34 0 0 25 0 1 0 773719378 86069248 17857 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21013 17857 1111 63 0 20950 0
vsize: 84052
[startup+450.256 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 18521 0 0 0 44981 35 0 0 25 0 1 0 773719378 88776704 18499 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21674 18499 1111 63 0 21611 0
vsize: 86696
[startup+460.261 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 19184 0 0 0 45980 37 0 0 25 0 1 0 773719378 91459584 19162 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22329 19162 1111 63 0 22266 0
vsize: 89316
[startup+470.263 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 19864 0 0 0 46979 38 0 0 25 0 1 0 773719378 94167040 19842 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22990 19842 1111 63 0 22927 0
vsize: 91960
[startup+480.264 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 20550 0 0 0 47978 40 0 0 25 0 1 0 773719378 97026048 20528 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23688 20528 1111 63 0 23625 0
vsize: 94752
[startup+490.265 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 21258 0 0 0 48978 41 0 0 25 0 1 0 773719378 99885056 21236 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24386 21236 1111 63 0 24323 0
vsize: 97544
[startup+500.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 21981 0 0 0 49977 42 0 0 25 0 1 0 773719378 102899712 21959 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25122 21959 1111 63 0 25059 0
vsize: 100488
[startup+510.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 22718 0 0 0 50975 44 0 0 25 0 1 0 773719378 105906176 22696 4294967295 134512640 134714540 3221224592 3221221308 1077199332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25856 22696 1111 63 0 25793 0
vsize: 103424
[startup+520.272 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 23486 0 0 0 51974 45 0 0 25 0 1 0 773719378 109068288 23464 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26628 23464 1111 63 0 26565 0
vsize: 106512
[startup+530.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 25554 0 0 0 52971 48 0 0 25 0 1 0 773719378 117481472 25530 4294967295 134512640 134714540 3221224592 3221222868 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28682 25530 1111 63 0 28619 0
vsize: 114728
[startup+540.274 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 27487 0 0 0 53967 51 0 0 25 0 1 0 773719378 125095936 27365 4294967295 134512640 134714540 3221224592 3221222876 1077399560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30541 27365 1111 63 0 30478 0
vsize: 122164
[startup+550.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 28518 0 0 0 54964 54 0 0 25 0 1 0 773719378 129249280 28394 4294967295 134512640 134714540 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31555 28394 1111 63 0 31492 0
vsize: 126220
[startup+560.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 29254 0 0 0 55962 56 0 0 25 0 1 0 773719378 132403200 29130 4294967295 134512640 134714540 3221224592 3221222868 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32325 29130 1111 63 0 32262 0
vsize: 129300
[startup+570.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 29513 0 0 0 56962 57 0 0 25 0 1 0 773719378 133521408 29385 4294967295 134512640 134714540 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32598 29385 1111 63 0 32535 0
vsize: 130392
[startup+580.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 29725 0 0 0 57962 57 0 0 25 0 1 0 773719378 134524928 29593 4294967295 134512640 134714540 3221224592 3221222868 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32843 29593 1111 63 0 32780 0
vsize: 131372
[startup+590.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 30056 0 0 0 58961 58 0 0 25 0 1 0 773719378 135892992 29918 4294967295 134512640 134714540 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33177 29918 1111 63 0 33114 0
vsize: 132708
[startup+600.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 30991 0 0 0 59957 62 0 0 25 0 1 0 773719378 139759616 30851 4294967295 134512640 134714540 3221224592 3221222868 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34121 30851 1111 63 0 34058 0
vsize: 136484
[startup+610.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 32026 0 0 0 60954 65 0 0 25 0 1 0 773719378 144109568 31886 4294967295 134512640 134714540 3221224592 3221221068 1077191266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35183 31886 1111 63 0 35120 0
vsize: 140732
[startup+620.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 32435 0 0 0 61952 67 0 0 25 0 1 0 773719378 145784832 32295 4294967295 134512640 134714540 3221224592 3221222868 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35592 32295 1111 63 0 35529 0
vsize: 142368
[startup+630.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 32650 0 0 0 62952 67 0 0 25 0 1 0 773719378 146739200 32510 4294967295 134512640 134714540 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35825 32510 1111 63 0 35762 0
vsize: 143300
[startup+640.274 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 33058 0 0 0 63951 68 0 0 25 0 1 0 773719378 148525056 32918 4294967295 134512640 134714540 3221224592 3221222868 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36261 32918 1111 63 0 36198 0
vsize: 145044
[startup+650.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 33290 0 0 0 64951 69 0 0 25 0 1 0 773719378 149479424 33150 4294967295 134512640 134714540 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36494 33150 1111 63 0 36431 0
vsize: 145976
[startup+660.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 33581 0 0 0 65950 70 0 0 25 0 1 0 773719378 150728704 33439 4294967295 134512640 134714540 3221224592 3221222660 1077314320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36799 33439 1111 63 0 36736 0
vsize: 147196
[startup+670.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 33812 0 0 0 66948 71 0 0 25 0 1 0 773719378 151724032 33665 4294967295 134512640 134714540 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37042 33665 1111 63 0 36979 0
vsize: 148168
[startup+680.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 34055 0 0 0 67947 72 0 0 25 0 1 0 773719378 152883200 33902 4294967295 134512640 134714540 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37325 33902 1111 63 0 37262 0
vsize: 149300
[startup+690.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 34227 0 0 0 68946 73 0 0 25 0 1 0 773719378 153595904 34071 4294967295 134512640 134714540 3221224592 3221222868 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37499 34071 1111 63 0 37436 0
vsize: 149996
[startup+700.273 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 34728 0 0 0 69944 74 0 0 25 0 1 0 773719378 155836416 34567 4294967295 134512640 134714540 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38046 34567 1111 63 0 37983 0
vsize: 152184
[startup+706.213 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 1219
Raw data (stat): 1219 (bsolo_mis) R 1218 31399 31398 0 -1 0 34728 0 0 0 69944 74 0 0 25 0 1 0 773719378 155836416 34567 4294967295 134512640 134714540 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38046 34567 1111 63 0 37983 0
vsize: 0

Child status: 20
Real time (s): 706.213
CPU time (s): 706.134
CPU user time (s): 705.182
CPU system time (s): 0.951855
CPU usage (%): 99.9888
Max. virtual memory (Kb): 152184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####