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-fit2d.opb
MD5SUM	e4d850251a185eefeba808334bb200f5
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	102000
Biggest coefficient in the objective function	166502400
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	44079267426
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	166502400
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	44079267426
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	267.004
Number of variables	118500
Total number of constraints	10525
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	10525
Minimum length of a constraint	10
Maximum length of a constraint	118500

Trace number 35081

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-28 12:06:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24360 boxname=wulflinc13 idbench=832 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e4d850251a185eefeba808334bb200f5  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-fit2d.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-fit2d.opb
IDLAUNCH: 24360
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        715268 kB
Buffers:         36004 kB
Cached:         261900 kB
SwapCached:        548 kB
Active:          90400 kB
Inactive:       209568 kB
HighTotal:      131008 kB
HighFree:        19264 kB
LowTotal:       903652 kB
LowFree:        696004 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            13552 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:12:41 (client local time) WITH STATUS 1 IN 395.399 SECONDS
stats: 24360 7 395.399 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.96 0.98 0.91 1/54 6551
Raw data (stat): 6551 (runsolver) R 6550 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806455232 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 2121 0 0 0 994 5 0 0 25 0 1 0 806455232 7819264 1447 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1909 1447 300 300 0 1609 0
vsize: 7636
[startup+20.0016 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 2665 0 0 0 1992 7 0 0 25 0 1 0 806455232 9306112 1982 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2272 1982 300 300 0 1972 0
vsize: 9088
[startup+30.0018 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 3842 0 0 0 2990 10 0 0 25 0 1 0 806455232 13410304 2447 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2447 300 300 0 2974 0
vsize: 13096
[startup+40.0091 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 4071 0 0 0 3990 10 0 0 25 0 1 0 806455232 13950976 2671 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3406 2671 300 300 0 3106 0
vsize: 13624
[startup+50.0174 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 4340 0 0 0 4990 11 0 0 25 0 1 0 806455232 14626816 2936 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3571 2936 300 300 0 3271 0
vsize: 14284
[startup+60.0177 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 4577 0 0 0 5989 12 0 0 25 0 1 0 806455232 15302656 3169 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3736 3169 300 300 0 3436 0
vsize: 14944
[startup+70.0174 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 4791 0 0 0 6989 12 0 0 25 0 1 0 806455232 15843328 3380 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3868 3380 300 300 0 3568 0
vsize: 15472
[startup+80.0184 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 4989 0 0 0 7988 13 0 0 25 0 1 0 806455232 16384000 3575 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4000 3575 300 300 0 3700 0
vsize: 16000
[startup+90.0177 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 5174 0 0 0 8988 13 0 0 25 0 1 0 806455232 16789504 3757 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3757 300 300 0 3799 0
vsize: 16396
[startup+100.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 5347 0 0 0 9988 14 0 0 25 0 1 0 806455232 17330176 3927 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4231 3927 300 300 0 3931 0
vsize: 16924
[startup+110.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 5514 0 0 0 10987 15 0 0 25 0 1 0 806455232 17735680 4091 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4330 4091 300 300 0 4030 0
vsize: 17320
[startup+120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 7496 0 0 0 11984 18 0 0 25 0 1 0 806455232 25403392 4661 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4661 300 300 0 5902 0
vsize: 24808
[startup+130.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 7552 0 0 0 12984 18 0 0 25 0 1 0 806455232 25403392 4714 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4714 300 300 0 5902 0
vsize: 24808
[startup+140.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 7604 0 0 0 13984 19 0 0 25 0 1 0 806455232 25403392 4764 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4764 300 300 0 5902 0
vsize: 24808
[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 7683 0 0 0 14984 19 0 0 25 0 1 0 806455232 25403392 4840 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4840 300 300 0 5902 0
vsize: 24808
[startup+160.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 7732 0 0 0 15983 19 0 0 25 0 1 0 806455232 25403392 4887 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4887 300 300 0 5902 0
vsize: 24808
[startup+170.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 7863 0 0 0 16983 20 0 0 25 0 1 0 806455232 25808896 5016 4294967295 134512640 135726644 3221224576 3221221024 134767143 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5016 300 300 0 6001 0
vsize: 25204
[startup+180.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 7995 0 0 0 17982 20 0 0 25 0 1 0 806455232 26214400 5146 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6400 5146 300 300 0 6100 0
vsize: 25600
[startup+190.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 8123 0 0 0 18982 21 0 0 25 0 1 0 806455232 26484736 5272 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6466 5272 300 300 0 6166 0
vsize: 25864
[startup+200.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 8249 0 0 0 19982 21 0 0 25 0 1 0 806455232 26890240 5396 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6565 5396 300 300 0 6265 0
vsize: 26260
[startup+210.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 8371 0 0 0 20982 21 0 0 25 0 1 0 806455232 27160576 5516 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6631 5516 300 300 0 6331 0
vsize: 26524
[startup+220.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 8489 0 0 0 21980 22 0 0 25 0 1 0 806455232 27430912 5632 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5632 300 300 0 6397 0
vsize: 26788
[startup+230.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 8605 0 0 0 22980 22 0 0 25 0 1 0 806455232 27836416 5746 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6796 5746 300 300 0 6496 0
vsize: 27184
[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 8720 0 0 0 23979 22 0 0 25 0 1 0 806455232 28106752 5859 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6862 5859 300 300 0 6562 0
vsize: 27448
[startup+250.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 8831 0 0 0 24979 23 0 0 25 0 1 0 806455232 28377088 5968 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5968 300 300 0 6628 0
vsize: 27712
[startup+260.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 8940 0 0 0 25979 23 0 0 25 0 1 0 806455232 28647424 6076 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6076 300 300 0 6694 0
vsize: 27976
[startup+270.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 9049 0 0 0 26979 23 0 0 25 0 1 0 806455232 28917760 6183 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6183 300 300 0 6760 0
vsize: 28240
[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 9155 0 0 0 27978 24 0 0 25 0 1 0 806455232 29188096 6287 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6287 300 300 0 6826 0
vsize: 28504
[startup+290.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 31333 0 0 0 28927 75 0 0 25 0 1 0 806455232 109150208 24551 4294967295 134512640 135726644 3221224576 3183732000 134780450 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26648 24551 300 300 0 26348 0
vsize: 106592
[startup+300.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 58550 0 0 0 29870 133 0 0 25 0 1 0 806455232 187703296 42316 4294967295 134512640 135726644 3221224576 3184916928 134554559 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45826 42316 300 300 0 45526 0
vsize: 183304
[startup+310.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 90158 0 0 0 30811 192 0 0 25 0 1 0 806455232 293752832 57858 4294967295 134512640 135726644 3221224576 3180816064 134767076 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71717 57858 300 300 0 71417 0
vsize: 286868
[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 120639 0 0 0 31744 259 0 0 25 0 1 0 806455232 369225728 75817 4294967295 134512640 135726644 3221224576 3180571432 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90143 75817 300 300 0 89843 0
vsize: 360572
[startup+330.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 161352 0 0 0 32671 333 0 0 25 0 1 0 806455232 603512832 115354 4294967295 134512640 135726644 3221224576 3181293760 134772474 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147342 115354 300 300 0 147042 0
vsize: 589368
[startup+340.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 173398 0 0 0 33642 362 0 0 25 0 1 0 806455232 536399872 108756 4294967295 134512640 135726644 3221224576 3181331664 134767231 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130957 108756 300 300 0 130657 0
vsize: 523828
[startup+350.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 211259 0 0 0 34560 444 0 0 25 0 1 0 806455232 645849088 121832 4294967295 134512640 135726644 3221224576 3183247348 134772601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157678 121832 300 300 0 157378 0
vsize: 630712
[startup+360.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 227995 0 0 0 35522 482 0 0 25 0 1 0 806455232 704409600 138371 4294967295 134512640 135726644 3221224576 3181695964 135280581 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171975 138371 300 300 0 171675 0
vsize: 687900
[startup+370.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 247507 0 0 0 36480 524 0 0 25 0 1 0 806455232 733605888 157660 4294967295 134512640 135726644 3221224576 3180733280 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179103 157660 300 300 0 178803 0
vsize: 716412
[startup+380.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 262399 0 0 0 37446 558 0 0 25 0 1 0 806455232 757497856 172366 4294967295 134512640 135726644 3221224576 3186556328 135102689 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184936 172366 300 300 0 184636 0
vsize: 739744
[startup+390.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 262401 0 0 0 38434 571 0 0 25 0 1 0 806455232 445005824 108225 4294967295 134512640 135726644 3221224576 3221222764 135277538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108644 108225 300 300 0 108344 0
vsize: 434576
[startup+395.391 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 6551
Raw data (stat): 6551 (pb2sat) R 6550 1269 1268 0 -1 0 262401 0 0 0 38434 571 0 0 25 0 1 0 806455232 445005824 108225 4294967295 134512640 135726644 3221224576 3221222764 135277538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108644 108225 300 300 0 108344 0
vsize: 0

Child status: 1
Real time (s): 395.39
CPU time (s): 395.399
CPU user time (s): 389.466
CPU system time (s): 5.9331
CPU usage (%): 100.002
Max. virtual memory (Kb): 739744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####