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-n3706.opb
MD5SUM	2678162fff018c2bb73a090ae021ae87
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	39120920179
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	39120920179
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.973851
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 42952

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 19:21:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26168 boxname=wulflinc3 idbench=1468 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2678162fff018c2bb73a090ae021ae87  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3706.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3706.opb
IDLAUNCH: 26168
/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:        718728 kB
Buffers:         24752 kB
Cached:         268716 kB
SwapCached:        768 kB
Active:          43396 kB
Inactive:       252152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718476 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14668 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:27:50 (client local time) WITH STATUS 1 IN 406.351 SECONDS
stats: 26168 7 406.351 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 28577
Raw data (stat): 28577 (runsolver) R 28576 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973231562 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 2185 0 0 0 994 5 0 0 25 0 1 0 973231562 7958528 1509 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1509 301 301 0 1642 0
vsize: 7772
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 2722 0 0 0 1992 7 0 0 25 0 1 0 973231562 9445376 2037 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2306 2037 301 301 0 2005 0
vsize: 9224
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 3868 0 0 0 2990 9 0 0 25 0 1 0 973231562 13414400 2472 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2472 301 301 0 2974 0
vsize: 13100
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 4097 0 0 0 3988 11 0 0 25 0 1 0 973231562 13955072 2696 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3407 2696 301 301 0 3106 0
vsize: 13628
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 4350 0 0 0 4988 12 0 0 25 0 1 0 973231562 14630912 2945 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2945 301 301 0 3271 0
vsize: 14288
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 4580 0 0 0 5987 13 0 0 25 0 1 0 973231562 15306752 3171 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3171 301 301 0 3436 0
vsize: 14948
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 4790 0 0 0 6986 15 0 0 25 0 1 0 973231562 15847424 3378 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3378 301 301 0 3568 0
vsize: 15476
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 4988 0 0 0 7985 16 0 0 25 0 1 0 973231562 16388096 3573 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3573 301 301 0 3700 0
vsize: 16004
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 5176 0 0 0 8984 17 0 0 25 0 1 0 973231562 16793600 3758 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4100 3758 301 301 0 3799 0
vsize: 16400
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 5355 0 0 0 9983 17 0 0 25 0 1 0 973231562 17334272 3934 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3934 301 301 0 3931 0
vsize: 16928
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 7076 0 0 0 10980 21 0 0 25 0 1 0 973231562 28684288 5592 4294967295 134512640 135730672 3221224576 3221221120 134775425 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7003 5595 301 301 0 6702 0
vsize: 28012
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 7499 0 0 0 11979 22 0 0 25 0 1 0 973231562 25407488 4663 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4663 301 301 0 5902 0
vsize: 24812
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 7553 0 0 0 12979 23 0 0 25 0 1 0 973231562 25407488 4714 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4714 301 301 0 5902 0
vsize: 24812
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 7605 0 0 0 13979 23 0 0 25 0 1 0 973231562 25407488 4764 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4764 301 301 0 5902 0
vsize: 24812
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 7683 0 0 0 14978 24 0 0 25 0 1 0 973231562 25407488 4839 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4839 301 301 0 5902 0
vsize: 24812
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 7732 0 0 0 15978 24 0 0 25 0 1 0 973231562 25407488 4886 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4886 301 301 0 5902 0
vsize: 24812
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 7863 0 0 0 16978 24 0 0 25 0 1 0 973231562 25812992 5015 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6302 5015 301 301 0 6001 0
vsize: 25208
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 7993 0 0 0 17978 25 0 0 25 0 1 0 973231562 26218496 5143 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5143 301 301 0 6100 0
vsize: 25604
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 8119 0 0 0 18978 25 0 0 25 0 1 0 973231562 26488832 5267 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6467 5267 301 301 0 6166 0
vsize: 25868
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 8242 0 0 0 19977 26 0 0 25 0 1 0 973231562 26759168 5388 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6533 5388 301 301 0 6232 0
vsize: 26132
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 8363 0 0 0 20977 26 0 0 25 0 1 0 973231562 27164672 5507 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5507 301 301 0 6331 0
vsize: 26528
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 8480 0 0 0 21977 27 0 0 25 0 1 0 973231562 27435008 5622 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5622 301 301 0 6397 0
vsize: 26792
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 8596 0 0 0 22976 27 0 0 25 0 1 0 973231562 27705344 5736 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6764 5736 301 301 0 6463 0
vsize: 27056
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 8709 0 0 0 23976 28 0 0 25 0 1 0 973231562 28110848 5847 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6863 5847 301 301 0 6562 0
vsize: 27452
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 8820 0 0 0 24976 28 0 0 25 0 1 0 973231562 28381184 5957 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6929 5957 301 301 0 6628 0
vsize: 27716
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 8928 0 0 0 25975 29 0 0 25 0 1 0 973231562 28651520 6063 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6995 6063 301 301 0 6694 0
vsize: 27980
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 9036 0 0 0 26975 30 0 0 25 0 1 0 973231562 28921856 6169 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7061 6169 301 301 0 6760 0
vsize: 28244
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 9142 0 0 0 27975 30 0 0 25 0 1 0 973231562 29192192 6273 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7127 6273 301 301 0 6826 0
vsize: 28508
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 9245 0 0 0 28974 31 0 0 25 0 1 0 973231562 29462528 6375 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7193 6375 301 301 0 6892 0
vsize: 28772
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 9346 0 0 0 29974 31 0 0 25 0 1 0 973231562 29732864 6474 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7259 6474 301 301 0 6958 0
vsize: 29036
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 24090 0 0 0 30942 64 0 0 25 0 1 0 973231562 76402688 15788 4294967295 134512640 135730672 3221224576 3220593836 135301592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18653 15789 301 301 0 18352 0
vsize: 74612
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 53108 0 0 0 31872 133 0 0 25 0 1 0 973231562 173498368 30778 4294967295 134512640 135730672 3221224576 3220344672 134783994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42358 30778 301 301 0 42057 0
vsize: 169432
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 80928 0 0 0 32819 187 0 0 25 0 1 0 973231562 244031488 49193 4294967295 134512640 135730672 3221224576 3220561520 134770892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59578 49193 301 301 0 59277 0
vsize: 238312
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 105196 0 0 0 33763 243 0 0 25 0 1 0 973231562 327917568 60960 4294967295 134512640 135730672 3221224576 3220623584 134743230 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80058 60960 301 301 0 79757 0
vsize: 320232
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 123222 0 0 0 34723 282 0 0 25 0 1 0 973231562 479989760 78600 4294967295 134512640 135730672 3221224576 3220431464 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117185 78603 301 301 0 116884 0
vsize: 468740
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 179690 0 0 0 35619 387 0 0 25 0 1 0 973231562 547184640 91084 4294967295 134512640 135730672 3221224576 3220427888 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133590 91084 301 301 0 133289 0
vsize: 534360
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 191784 0 0 0 36591 415 0 0 25 0 1 0 973231562 580739072 102962 4294967295 134512640 135730672 3221224576 3220670144 135284078 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141782 102964 301 301 0 141481 0
vsize: 567128
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 206724 0 0 0 37559 447 0 0 25 0 1 0 973231562 585199616 117654 4294967295 134512640 135730672 3221224576 3220897080 135284845 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142871 117654 301 301 0 142570 0
vsize: 571484
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 222048 0 0 0 38519 488 0 0 25 0 1 0 973231562 595472384 132749 4294967295 134512640 135730672 3221224576 3220530896 134770715 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145379 132750 301 301 0 145078 0
vsize: 581516
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 236772 0 0 0 39483 524 0 0 25 0 1 0 973231562 661078016 147275 4294967295 134512640 135730672 3221224576 3220655768 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161396 147276 301 301 0 161095 0
vsize: 645584
[startup+406.3 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 28577
Raw data (stat): 28577 (pb2sat-v2) R 28576 20224 20223 0 -1 0 236772 0 0 0 39483 524 0 0 25 0 1 0 973231562 661078016 147275 4294967295 134512640 135730672 3221224576 3220655768 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161396 147276 301 301 0 161095 0
vsize: 0

Child status: 1
Real time (s): 406.299
CPU time (s): 406.351
CPU user time (s): 400.768
CPU system time (s): 5.58315
CPU usage (%): 100.013
Max. virtual memory (Kb): 645584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####