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-czprob.opb
MD5SUM	8225997c3fd9c39c0ae1e7fa3d3e4160
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	98250
Biggest coefficient in the objective function	16496969383936000
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	33458351340667289600
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	16496969383936000
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	33458351340667289600
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.886864
Number of variables	98820
Total number of constraints	927
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	927
Minimum length of a constraint	30
Maximum length of a constraint	11190

Trace number 42306

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 05:20:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25520 boxname=wulflinc3 idbench=820 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8225997c3fd9c39c0ae1e7fa3d3e4160  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-czprob.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-czprob.opb
IDLAUNCH: 25520
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        776864 kB
Buffers:         34344 kB
Cached:         200796 kB
SwapCached:        820 kB
Active:          64388 kB
Inactive:       172896 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776612 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14656 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:26:29 (client local time) WITH STATUS 1 IN 371.632 SECONDS
stats: 25520 7 371.632 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.83 0.95 0.93 1/54 16550
Raw data (stat): 16550 (runsolver) R 16549 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968186284 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.86 0.95 0.93 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 2217 0 0 0 994 5 0 0 25 0 1 0 968186284 8097792 1542 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1977 1542 301 301 0 1676 0
vsize: 7908
[startup+20.0016 s]
Raw data (loadavg): 0.88 0.95 0.93 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 2726 0 0 0 1992 7 0 0 25 0 1 0 968186284 9584640 2043 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2340 2043 301 301 0 2039 0
vsize: 9360
[startup+30.0024 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 3912 0 0 0 2989 10 0 0 25 0 1 0 968186284 13688832 2517 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3342 2517 301 301 0 3041 0
vsize: 13368
[startup+40.0033 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 4145 0 0 0 3988 11 0 0 25 0 1 0 968186284 14229504 2746 4294967295 134512640 135730672 3221224576 3221221776 134578423 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3474 2746 301 301 0 3173 0
vsize: 13896
[startup+50.008 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 4412 0 0 0 4987 12 0 0 25 0 1 0 968186284 14905344 3008 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3639 3008 301 301 0 3338 0
vsize: 14556
[startup+60.0079 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 4647 0 0 0 5987 13 0 0 25 0 1 0 968186284 15581184 3240 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3804 3240 301 301 0 3503 0
vsize: 15216
[startup+70.0078 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 4866 0 0 0 6987 13 0 0 25 0 1 0 968186284 16121856 3455 4294967295 134512640 135730672 3221224576 3221221776 134577579 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3936 3455 301 301 0 3635 0
vsize: 15744
[startup+80.0086 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 5070 0 0 0 7986 14 0 0 25 0 1 0 968186284 16797696 3656 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4101 3656 301 301 0 3800 0
vsize: 16404
[startup+90.0085 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 5261 0 0 0 8986 14 0 0 25 0 1 0 968186284 17203200 3844 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4200 3844 301 301 0 3899 0
vsize: 16800
[startup+100.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 5441 0 0 0 9985 15 0 0 25 0 1 0 968186284 17743872 4021 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4332 4021 301 301 0 4031 0
vsize: 17328
[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 5614 0 0 0 10985 15 0 0 25 0 1 0 968186284 18149376 4192 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4431 4192 301 301 0 4130 0
vsize: 17724
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 7617 0 0 0 11981 20 0 0 25 0 1 0 968186284 25952256 4782 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6336 4782 301 301 0 6035 0
vsize: 25344
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 7672 0 0 0 12981 20 0 0 25 0 1 0 968186284 25952256 4835 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6336 4835 301 301 0 6035 0
vsize: 25344
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 7725 0 0 0 13981 20 0 0 25 0 1 0 968186284 25952256 4885 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6336 4885 301 301 0 6035 0
vsize: 25344
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 7811 0 0 0 14981 20 0 0 25 0 1 0 968186284 26087424 4969 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6369 4969 301 301 0 6068 0
vsize: 25476
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 7882 0 0 0 15980 21 0 0 25 0 1 0 968186284 26087424 5038 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6369 5038 301 301 0 6068 0
vsize: 25476
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 7992 0 0 0 16979 22 0 0 25 0 1 0 968186284 26357760 5146 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6435 5146 301 301 0 6134 0
vsize: 25740
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 8127 0 0 0 17978 23 0 0 25 0 1 0 968186284 26763264 5278 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6534 5278 301 301 0 6233 0
vsize: 26136
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 8258 0 0 0 18978 24 0 0 25 0 1 0 968186284 27168768 5407 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6633 5407 301 301 0 6332 0
vsize: 26532
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.94 3/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 8387 0 0 0 19978 24 0 0 25 0 1 0 968186284 27439104 5534 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6699 5534 301 301 0 6398 0
vsize: 26796
[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 8513 0 0 0 20978 25 0 0 25 0 1 0 968186284 27844608 5658 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6798 5658 301 301 0 6497 0
vsize: 27192
[startup+220.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 8635 0 0 0 21977 25 0 0 25 0 1 0 968186284 28114944 5778 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6864 5778 301 301 0 6563 0
vsize: 27456
[startup+230.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 8754 0 0 0 22977 26 0 0 25 0 1 0 968186284 28385280 5896 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6930 5896 301 301 0 6629 0
vsize: 27720
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 8873 0 0 0 23977 26 0 0 25 0 1 0 968186284 28790784 6013 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7029 6013 301 301 0 6728 0
vsize: 28116
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 8989 0 0 0 24977 26 0 0 25 0 1 0 968186284 29061120 6127 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7095 6127 301 301 0 6794 0
vsize: 28380
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 9102 0 0 0 25976 27 0 0 25 0 1 0 968186284 29331456 6238 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7161 6238 301 301 0 6860 0
vsize: 28644
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 17298 0 0 0 26958 46 0 0 25 0 1 0 968186284 58826752 11370 4294967295 134512640 135730672 3221224576 3218773816 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14362 11370 301 301 0 14061 0
vsize: 57448
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 44774 0 0 0 27901 103 0 0 25 0 1 0 968186284 136839168 28384 4294967295 134512640 135730672 3221224576 3218912704 134813889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33408 28384 301 301 0 33107 0
vsize: 133632
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 80838 0 0 0 28828 176 0 0 25 0 1 0 968186284 258973696 48397 4294967295 134512640 135730672 3221224576 3218862816 134770700 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63226 48397 301 301 0 62925 0
vsize: 252904
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 105996 0 0 0 29773 231 0 0 25 0 1 0 968186284 348131328 61059 4294967295 134512640 135730672 3221224576 3218905920 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84993 61059 301 301 0 84692 0
vsize: 339972
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 126340 0 0 0 30734 271 0 0 25 0 1 0 968186284 377192448 81170 4294967295 134512640 135730672 3221224576 3218808528 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92088 81170 301 301 0 91787 0
vsize: 368352
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 166140 0 0 0 31655 349 0 0 25 0 1 0 968186284 506216448 101384 4294967295 134512640 135730672 3221224576 3218898168 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 123588 101385 301 301 0 123287 0
vsize: 494352
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 202082 0 0 0 32582 423 0 0 25 0 1 0 968186284 606879744 112547 4294967295 134512640 135730672 3221224576 3218832988 135301642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148164 112547 301 301 0 147863 0
vsize: 592656
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 216692 0 0 0 33552 453 0 0 25 0 1 0 968186284 652869632 126951 4294967295 134512640 135730672 3221224576 3218926088 135284259 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159392 126951 301 301 0 159091 0
vsize: 637568
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 236899 0 0 0 34511 494 0 0 25 0 1 0 968186284 681795584 146926 4294967295 134512640 135730672 3221224576 3218853240 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166454 146926 301 301 0 166153 0
vsize: 665816
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 253256 0 0 0 35478 527 0 0 25 0 1 0 968186284 755376128 163094 4294967295 134512640 135730672 3221224576 3219085072 134770759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184418 163094 301 301 0 184117 0
vsize: 737672
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 264437 0 0 0 36441 564 0 0 25 0 1 0 968186284 409280512 99508 4294967295 134512640 135730672 3221224576 3221222908 135282781 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99922 99508 301 301 0 99621 0
vsize: 399688
[startup+371.671 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 16550
Raw data (stat): 16550 (pb2sat-v2) R 16549 20224 20223 0 -1 0 264437 0 0 0 36441 564 0 0 25 0 1 0 968186284 409280512 99508 4294967295 134512640 135730672 3221224576 3221222908 135282781 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99922 99508 301 301 0 99621 0
vsize: 0

Child status: 1
Real time (s): 371.671
CPU time (s): 371.632
CPU user time (s): 365.778
CPU system time (s): 5.85311
CPU usage (%): 99.9894
Max. virtual memory (Kb): 737672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####