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-n370c.opb
MD5SUM	b99a0e1987692fd9762e75d45288f75a
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	39256355821
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	39256355821
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	0.97785
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 42960

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 19:28:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26174 boxname=wulflinc3 idbench=1474 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b99a0e1987692fd9762e75d45288f75a  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n370c.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n370c.opb
IDLAUNCH: 26174
/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:        711176 kB
Buffers:         25056 kB
Cached:         275892 kB
SwapCached:        768 kB
Active:          43664 kB
Inactive:       259448 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        710924 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14648 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:34:41 (client local time) WITH STATUS 1 IN 399.835 SECONDS
stats: 26174 7 399.835 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 28670
Raw data (stat): 28670 (runsolver) R 28669 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973273275 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.0016 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 2168 0 0 0 995 3 0 0 25 0 1 0 973273275 7958528 1492 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1943 1492 301 301 0 1642 0
vsize: 7772
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 2717 0 0 0 1993 6 0 0 25 0 1 0 973273275 9445376 2032 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2306 2032 301 301 0 2005 0
vsize: 9224
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 3871 0 0 0 2989 10 0 0 25 0 1 0 973273275 13414400 2475 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2475 301 301 0 2974 0
vsize: 13100
[startup+40.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 4108 0 0 0 3988 11 0 0 25 0 1 0 973273275 14090240 2707 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2707 301 301 0 3139 0
vsize: 13760
[startup+50.0049 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 4365 0 0 0 4986 13 0 0 25 0 1 0 973273275 14766080 2960 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2960 301 301 0 3304 0
vsize: 14420
[startup+60.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 4600 0 0 0 5985 14 0 0 25 0 1 0 973273275 15306752 3191 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3191 301 301 0 3436 0
vsize: 14948
[startup+70.0067 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 4816 0 0 0 6984 15 0 0 25 0 1 0 973273275 15847424 3403 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3403 301 301 0 3568 0
vsize: 15476
[startup+80.0084 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 5017 0 0 0 7983 16 0 0 25 0 1 0 973273275 16388096 3601 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3601 301 301 0 3700 0
vsize: 16004
[startup+90.0093 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 5206 0 0 0 8983 17 0 0 25 0 1 0 973273275 16928768 3787 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3787 301 301 0 3832 0
vsize: 16532
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 5381 0 0 0 9981 18 0 0 25 0 1 0 973273275 17334272 3959 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3959 301 301 0 3931 0
vsize: 16928
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 7451 0 0 0 10976 24 0 0 25 0 1 0 973273275 25407488 4617 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4617 301 301 0 5902 0
vsize: 24812
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 7508 0 0 0 11976 24 0 0 25 0 1 0 973273275 25407488 4671 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4671 301 301 0 5902 0
vsize: 24812
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 7563 0 0 0 12975 24 0 0 25 0 1 0 973273275 25407488 4724 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4724 301 301 0 5902 0
vsize: 24812
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 7616 0 0 0 13975 25 0 0 25 0 1 0 973273275 25407488 4774 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4774 301 301 0 5902 0
vsize: 24812
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 7693 0 0 0 14975 25 0 0 25 0 1 0 973273275 25407488 4849 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4849 301 301 0 5902 0
vsize: 24812
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 7763 0 0 0 15975 26 0 0 25 0 1 0 973273275 25542656 4917 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4917 301 301 0 5935 0
vsize: 24944
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 7896 0 0 0 16974 27 0 0 25 0 1 0 973273275 25948160 5048 4294967295 134512640 135730672 3221224576 3221221728 134576161 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5048 301 301 0 6034 0
vsize: 25340
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8027 0 0 0 17973 27 0 0 25 0 1 0 973273275 26218496 5176 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5176 301 301 0 6100 0
vsize: 25604
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8154 0 0 0 18972 28 0 0 25 0 1 0 973273275 26624000 5301 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6500 5301 301 301 0 6199 0
vsize: 26000
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8278 0 0 0 19971 29 0 0 25 0 1 0 973273275 26894336 5423 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5423 301 301 0 6265 0
vsize: 26264
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8399 0 0 0 20971 30 0 0 25 0 1 0 973273275 27299840 5542 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6665 5542 301 301 0 6364 0
vsize: 26660
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8519 0 0 0 21970 31 0 0 25 0 1 0 973273275 27570176 5660 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5660 301 301 0 6430 0
vsize: 26924
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8633 0 0 0 22970 31 0 0 25 0 1 0 973273275 27840512 5773 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5773 301 301 0 6496 0
vsize: 27188
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8747 0 0 0 23970 32 0 0 25 0 1 0 973273275 28110848 5885 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5885 301 301 0 6562 0
vsize: 27452
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8859 0 0 0 24969 32 0 0 25 0 1 0 973273275 28516352 5995 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6962 5995 301 301 0 6661 0
vsize: 27848
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 8969 0 0 0 25969 33 0 0 25 0 1 0 973273275 28786688 6103 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6103 301 301 0 6727 0
vsize: 28112
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 9077 0 0 0 26968 34 0 0 25 0 1 0 973273275 29057024 6209 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6209 301 301 0 6793 0
vsize: 28376
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 9181 0 0 0 27967 34 0 0 25 0 1 0 973273275 29327360 6312 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6312 301 301 0 6859 0
vsize: 28640
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 9285 0 0 0 28967 35 0 0 25 0 1 0 973273275 29597696 6414 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6414 301 301 0 6925 0
vsize: 28904
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 9388 0 0 0 29967 35 0 0 25 0 1 0 973273275 29868032 6515 4294967295 134512640 135730672 3221224576 3221220524 134608004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6515 301 301 0 6991 0
vsize: 29168
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 38190 0 0 0 30907 95 0 0 25 0 1 0 973273275 125472768 22136 4294967295 134512640 135730672 3221224576 3220368032 134770676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30633 22136 301 301 0 30332 0
vsize: 122532
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 60877 0 0 0 31853 148 0 0 25 0 1 0 973273275 180527104 38438 4294967295 134512640 135730672 3221224576 3220697424 134770415 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44074 38438 301 301 0 43773 0
vsize: 176296
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 98857 0 0 0 32776 227 0 0 25 0 1 0 973273275 294633472 54735 4294967295 134512640 135730672 3221224576 3220812472 135284227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71932 54735 301 301 0 71631 0
vsize: 287728
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 111865 0 0 0 33744 258 0 0 25 0 1 0 973273275 328187904 67513 4294967295 134512640 135730672 3221224576 3220421900 134637875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80124 67513 301 301 0 79823 0
vsize: 320496
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 152067 0 0 0 34665 337 0 0 25 0 1 0 973273275 450846720 88112 4294967295 134512640 135730672 3221224576 3220513584 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110070 88112 301 301 0 109769 0
vsize: 440280
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 188673 0 0 0 35582 420 0 0 25 0 1 0 973273275 551510016 99925 4294967295 134512640 135730672 3221224576 3220740396 134608744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134646 99925 301 301 0 134345 0
vsize: 538584
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 200724 0 0 0 36555 448 0 0 25 0 1 0 973273275 585064448 111760 4294967295 134512640 135730672 3221224576 3220543272 135301581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142838 111760 301 301 0 142537 0
vsize: 571352
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 216351 0 0 0 37520 482 0 0 25 0 1 0 973273275 592633856 127141 4294967295 134512640 135730672 3221224576 3220756444 135291144 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144686 127141 301 301 0 144385 0
vsize: 578744
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 230173 0 0 0 38489 514 0 0 25 0 1 0 973273275 655806464 140771 4294967295 134512640 135730672 3221224576 3220410124 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160109 140771 301 301 0 159808 0
vsize: 640436
[startup+399.833 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 28670
Raw data (stat): 28670 (pb2sat-v2) R 28669 20224 20223 0 -1 0 230173 0 0 0 38489 514 0 0 25 0 1 0 973273275 655806464 140771 4294967295 134512640 135730672 3221224576 3220410124 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160109 140771 301 301 0 159808 0
vsize: 0

Child status: 1
Real time (s): 399.832
CPU time (s): 399.835
CPU user time (s): 394.184
CPU system time (s): 5.65114
CPU usage (%): 100.001
Max. virtual memory (Kb): 640436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####