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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb
MD5SUM	1f27e2752aef6110d896dff85e9c13b8
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39171467771
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39171467771
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.01184
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000

Trace number 42957

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 19:25:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26172 boxname=wulflinc4 idbench=1472 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1f27e2752aef6110d896dff85e9c13b8  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370a.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370a.opb
IDLAUNCH: 26172
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        806052 kB
Buffers:         14236 kB
Cached:         191988 kB
SwapCached:        904 kB
Active:          34256 kB
Inactive:       174016 kB
HighTotal:      131008 kB
HighFree:        20440 kB
LowTotal:       903652 kB
LowFree:        785612 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14568 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:32:24 (client local time) WITH STATUS 1 IN 403.127 SECONDS
stats: 26172 7 403.127 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.92 0.95 0.90 2/54 31799
Raw data (stat): 31799 (runsolver) R 31798 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973258214 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.0015 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 2223 0 0 0 994 5 0 0 25 0 1 0 973258214 8093696 1546 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1976 1546 301 301 0 1675 0
vsize: 7904
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 2736 0 0 0 1992 6 0 0 25 0 1 0 973258214 9445376 2051 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2306 2051 301 301 0 2005 0
vsize: 9224
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 3884 0 0 0 2989 10 0 0 25 0 1 0 973258214 13414400 2487 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2487 301 301 0 2974 0
vsize: 13100
[startup+40.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 4138 0 0 0 3988 10 0 0 25 0 1 0 973258214 14090240 2736 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2736 301 301 0 3139 0
vsize: 13760
[startup+50.0052 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 4387 0 0 0 4987 12 0 0 25 0 1 0 973258214 14766080 2981 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2981 301 301 0 3304 0
vsize: 14420
[startup+60.0059 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 4612 0 0 0 5986 13 0 0 25 0 1 0 973258214 15306752 3203 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3203 301 301 0 3436 0
vsize: 14948
[startup+70.0086 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 4820 0 0 0 6985 14 0 0 25 0 1 0 973258214 15847424 3407 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3407 301 301 0 3568 0
vsize: 15476
[startup+80.0164 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 5010 0 0 0 7985 15 0 0 25 0 1 0 973258214 16388096 3594 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3594 301 301 0 3700 0
vsize: 16004
[startup+90.0162 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 5190 0 0 0 8985 16 0 0 25 0 1 0 973258214 16928768 3771 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4133 3771 301 301 0 3832 0
vsize: 16532
[startup+100.016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 5360 0 0 0 9984 16 0 0 25 0 1 0 973258214 17334272 3939 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3939 301 301 0 3931 0
vsize: 16928
[startup+110.017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 7187 0 0 0 10980 20 0 0 25 0 1 0 973258214 28819456 5699 4294967295 134512640 135730672 3221224576 3221221120 134776110 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7036 5699 301 301 0 6735 0
vsize: 28144
[startup+120.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 7501 0 0 0 11980 21 0 0 25 0 1 0 973258214 25407488 4664 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4664 301 301 0 5902 0
vsize: 24812
[startup+130.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 7555 0 0 0 12980 21 0 0 25 0 1 0 973258214 25407488 4716 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4716 301 301 0 5902 0
vsize: 24812
[startup+140.228 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 7609 0 0 0 14001 21 0 0 25 0 1 0 973258214 25407488 4768 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4768 301 301 0 5902 0
vsize: 24812
[startup+150.232 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 7688 0 0 0 15001 22 0 0 25 0 1 0 973258214 25407488 4844 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4844 301 301 0 5902 0
vsize: 24812
[startup+160.233 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 7746 0 0 0 16001 22 0 0 25 0 1 0 973258214 25542656 4900 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6236 4900 301 301 0 5935 0
vsize: 24944
[startup+170.233 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 7881 0 0 0 17000 23 0 0 25 0 1 0 973258214 25812992 5033 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6302 5033 301 301 0 6001 0
vsize: 25208
[startup+180.234 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8012 0 0 0 18000 23 0 0 25 0 1 0 973258214 26218496 5162 4294967295 134512640 135730672 3221224576 3221221588 134540086 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5162 301 301 0 6100 0
vsize: 25604
[startup+190.235 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8139 0 0 0 19000 23 0 0 25 0 1 0 973258214 26488832 5287 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6467 5287 301 301 0 6166 0
vsize: 25868
[startup+200.234 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8263 0 0 0 19999 24 0 0 25 0 1 0 973258214 26894336 5409 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5409 301 301 0 6265 0
vsize: 26264
[startup+210.235 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8384 0 0 0 20999 24 0 0 25 0 1 0 973258214 27164672 5528 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5528 301 301 0 6331 0
vsize: 26528
[startup+220.235 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8504 0 0 0 21998 25 0 0 25 0 1 0 973258214 27570176 5646 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5646 301 301 0 6430 0
vsize: 26924
[startup+230.236 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8620 0 0 0 22998 25 0 0 25 0 1 0 973258214 27840512 5760 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5760 301 301 0 6496 0
vsize: 27188
[startup+240.237 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8735 0 0 0 23998 26 0 0 25 0 1 0 973258214 28110848 5873 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5873 301 301 0 6562 0
vsize: 27452
[startup+250.237 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8847 0 0 0 24997 26 0 0 25 0 1 0 973258214 28381184 5983 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5983 301 301 0 6628 0
vsize: 27716
[startup+260.238 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 8957 0 0 0 25997 27 0 0 25 0 1 0 973258214 28651520 6091 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6091 301 301 0 6694 0
vsize: 27980
[startup+270.238 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 9065 0 0 0 26997 27 0 0 25 0 1 0 973258214 29057024 6198 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6198 301 301 0 6793 0
vsize: 28376
[startup+280.238 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 9171 0 0 0 27996 28 0 0 25 0 1 0 973258214 29327360 6302 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6302 301 301 0 6859 0
vsize: 28640
[startup+290.24 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 9275 0 0 0 28996 28 0 0 25 0 1 0 973258214 29597696 6404 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7226 6404 301 301 0 6925 0
vsize: 28904
[startup+300.239 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 9376 0 0 0 29996 28 0 0 25 0 1 0 973258214 29868032 6504 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7292 6504 301 301 0 6991 0
vsize: 29168
[startup+310.24 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 33184 0 0 0 30944 81 0 0 25 0 1 0 973258214 136949760 21652 4294967295 134512640 135730672 3221224576 3220509184 134775419 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33435 21654 301 301 0 33134 0
vsize: 133740
[startup+320.24 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 58031 0 0 0 31891 134 0 0 25 0 1 0 973258214 177418240 35630 4294967295 134512640 135730672 3221224576 3220650200 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43315 35630 301 301 0 43014 0
vsize: 173260
[startup+330.241 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 96365 0 0 0 32808 217 0 0 25 0 1 0 973258214 291786752 52281 4294967295 134512640 135730672 3221224576 3220769808 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71237 52282 301 301 0 70936 0
vsize: 284948
[startup+340.24 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 108869 0 0 0 33779 246 0 0 25 0 1 0 973258214 325341184 64561 4294967295 134512640 135730672 3221224576 3220625088 134770759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79429 64561 301 301 0 79128 0
vsize: 317716
[startup+350.241 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 149679 0 0 0 34700 325 0 0 25 0 1 0 973258214 453279744 86784 4294967295 134512640 135730672 3221224576 3220599620 135281170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110664 86784 301 301 0 110363 0
vsize: 442656
[startup+360.242 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 184977 0 0 0 35623 402 0 0 25 0 1 0 973258214 553943040 97313 4294967295 134512640 135730672 3221224576 3220437136 134546358 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135240 97313 301 301 0 134939 0
vsize: 540960
[startup+370.241 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 197055 0 0 0 36594 431 0 0 25 0 1 0 973258214 587497472 109175 4294967295 134512640 135730672 3221224576 3220774032 134546351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143432 109175 301 301 0 143131 0
vsize: 573728
[startup+380.242 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 210642 0 0 0 37565 460 0 0 25 0 1 0 973258214 589119488 122525 4294967295 134512640 135730672 3221224576 3220399208 135284274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143828 122525 301 301 0 143527 0
vsize: 575312
[startup+390.243 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 224531 0 0 0 38531 495 0 0 25 0 1 0 973258214 650534912 136214 4294967295 134512640 135730672 3221224576 3220556256 134784090 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158822 136214 301 301 0 158521 0
vsize: 635288
[startup+400.243 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 236942 0 0 0 39502 524 0 0 25 0 1 0 973258214 659214336 148035 4294967295 134512640 135730672 3221224576 3221222828 135281170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160941 148035 301 301 0 160640 0
vsize: 643764
[startup+403.105 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 31799
Raw data (stat): 31799 (pb2sat-v2) R 31798 21152 21151 0 -1 0 236942 0 0 0 39502 524 0 0 25 0 1 0 973258214 659214336 148035 4294967295 134512640 135730672 3221224576 3221222828 135281170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160941 148035 301 301 0 160640 0
vsize: 0

Child status: 1
Real time (s): 403.105
CPU time (s): 403.127
CPU user time (s): 397.585
CPU system time (s): 5.54216
CPU usage (%): 100.005
Max. virtual memory (Kb): 643764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####