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-n3703.opb
MD5SUM	15d69bc05970e4bbd20708cb8fb70185
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	104999
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	39166356584
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	39166356584
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.97585
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 42949

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 19:16:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26165 boxname=wulflinc1 idbench=1465 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  15d69bc05970e4bbd20708cb8fb70185  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3703.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3703.opb
IDLAUNCH: 26165
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        722788 kB
Buffers:         13312 kB
Cached:         273792 kB
SwapCached:       1148 kB
Active:          33164 kB
Inactive:       256240 kB
HighTotal:      131008 kB
HighFree:         8176 kB
LowTotal:       903652 kB
LowFree:        714612 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16612 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:22:56 (client local time) WITH STATUS 1 IN 404.379 SECONDS
stats: 26165 7 404.379 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.86 0.95 0.90 2/55 24686
Raw data (stat): 24686 (runsolver) R 24685 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 916354279 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 s]
Raw data (loadavg): 0.88 0.95 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 2158 0 0 0 994 5 0 0 25 0 1 0 916354279 7958528 1482 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1483 301 301 0 1642 0
vsize: 7772
[startup+20.0002 s]
Raw data (loadavg): 0.90 0.95 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 2671 0 0 0 1993 6 0 0 25 0 1 0 916354279 9310208 1987 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2273 1987 301 301 0 1972 0
vsize: 9092
[startup+30.0006 s]
Raw data (loadavg): 0.91 0.95 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 3843 0 0 0 2991 8 0 0 25 0 1 0 916354279 13414400 2447 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2447 301 301 0 2974 0
vsize: 13100
[startup+40.0003 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 4066 0 0 0 3990 10 0 0 25 0 1 0 916354279 13955072 2666 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3407 2666 301 301 0 3106 0
vsize: 13628
[startup+50.0012 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 4332 0 0 0 4988 11 0 0 25 0 1 0 916354279 14630912 2927 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2927 301 301 0 3271 0
vsize: 14288
[startup+60.0013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 4569 0 0 0 5987 13 0 0 25 0 1 0 916354279 15306752 3160 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3160 301 301 0 3436 0
vsize: 14948
[startup+70.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 4787 0 0 0 6986 13 0 0 25 0 1 0 916354279 15847424 3375 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3375 301 301 0 3568 0
vsize: 15476
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 4989 0 0 0 7986 14 0 0 25 0 1 0 916354279 16388096 3574 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3574 301 301 0 3700 0
vsize: 16004
[startup+90.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 5178 0 0 0 8985 15 0 0 25 0 1 0 916354279 16793600 3760 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4100 3761 301 301 0 3799 0
vsize: 16400
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 5359 0 0 0 9985 15 0 0 25 0 1 0 916354279 17334272 3938 4294967295 134512640 135730672 3221224576 3221221736 135087853 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3938 301 301 0 3931 0
vsize: 16928
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 7446 0 0 0 10979 22 0 0 25 0 1 0 916354279 25407488 4612 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4612 301 301 0 5902 0
vsize: 24812
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 7503 0 0 0 11979 22 0 0 25 0 1 0 916354279 25407488 4666 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4666 301 301 0 5902 0
vsize: 24812
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 7557 0 0 0 12979 22 0 0 25 0 1 0 916354279 25407488 4718 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4718 301 301 0 5902 0
vsize: 24812
[startup+140.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 7611 0 0 0 13979 22 0 0 25 0 1 0 916354279 25407488 4769 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4769 301 301 0 5902 0
vsize: 24812
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 7688 0 0 0 14979 22 0 0 25 0 1 0 916354279 25407488 4844 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4844 301 301 0 5902 0
vsize: 24812
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 7746 0 0 0 15979 23 0 0 25 0 1 0 916354279 25542656 4900 4294967295 134512640 135730672 3221224576 3221221664 134561669 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 7879 0 0 0 16978 23 0 0 25 0 1 0 916354279 25812992 5031 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5031 301 301 0 6001 0
vsize: 25208
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8009 0 0 0 17978 23 0 0 25 0 1 0 916354279 26218496 5159 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5159 301 301 0 6100 0
vsize: 25604
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8135 0 0 0 18978 24 0 0 25 0 1 0 916354279 26488832 5283 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5283 301 301 0 6166 0
vsize: 25868
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8259 0 0 0 19978 24 0 0 25 0 1 0 916354279 26894336 5405 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5405 301 301 0 6265 0
vsize: 26264
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8380 0 0 0 20978 24 0 0 25 0 1 0 916354279 27164672 5524 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5524 301 301 0 6331 0
vsize: 26528
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8497 0 0 0 21977 25 0 0 25 0 1 0 916354279 27435008 5639 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5639 301 301 0 6397 0
vsize: 26792
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8614 0 0 0 22977 25 0 0 25 0 1 0 916354279 27840512 5754 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5754 301 301 0 6496 0
vsize: 27188
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8726 0 0 0 23976 26 0 0 25 0 1 0 916354279 28110848 5864 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5864 301 301 0 6562 0
vsize: 27452
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8837 0 0 0 24976 26 0 0 25 0 1 0 916354279 28381184 5973 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5973 301 301 0 6628 0
vsize: 27716
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 8945 0 0 0 25976 27 0 0 25 0 1 0 916354279 28651520 6080 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6080 301 301 0 6694 0
vsize: 27980
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 9052 0 0 0 26976 27 0 0 25 0 1 0 916354279 28921856 6185 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6185 301 301 0 6760 0
vsize: 28244
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 9158 0 0 0 27976 27 0 0 25 0 1 0 916354279 29192192 6289 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7127 6289 301 301 0 6826 0
vsize: 28508
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 9263 0 0 0 28975 27 0 0 25 0 1 0 916354279 29462528 6392 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6392 301 301 0 6892 0
vsize: 28772
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 9362 0 0 0 29975 28 0 0 25 0 1 0 916354279 29732864 6490 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6490 301 301 0 6958 0
vsize: 29036
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 30622 0 0 0 30929 74 0 0 25 0 1 0 916354279 93851648 19206 4294967295 134512640 135730672 3221224576 3220775392 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22913 19206 301 301 0 22612 0
vsize: 91652
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 55537 0 0 0 31873 129 0 0 25 0 1 0 916354279 175390720 33172 4294967295 134512640 135730672 3221224576 3220420056 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42820 33172 301 301 0 42519 0
vsize: 171280
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 90194 0 0 0 32800 203 0 0 25 0 1 0 916354279 339013632 58428 4294967295 134512640 135730672 3221224576 3220578352 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82767 58431 301 301 0 82466 0
vsize: 331068
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 106398 0 0 0 33764 239 0 0 25 0 1 0 916354279 323043328 62124 4294967295 134512640 135730672 3221224576 3220470576 134546496 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78868 62125 301 301 0 78567 0
vsize: 315472
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 145160 0 0 0 34694 310 0 0 25 0 1 0 916354279 516476928 99816 4294967295 134512640 135730672 3221224576 3220515184 134775425 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126093 99819 301 301 0 125792 0
vsize: 504372
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 182679 0 0 0 35613 390 0 0 25 0 1 0 916354279 552726528 95051 4294967295 134512640 135730672 3221224576 3220586576 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134943 95051 301 301 0 134642 0
vsize: 539772
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 194850 0 0 0 36583 420 0 0 25 0 1 0 916354279 586280960 107004 4294967295 134512640 135730672 3221224576 3220693356 134787736 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143135 107005 301 301 0 142834 0
vsize: 572540
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 208333 0 0 0 37554 450 0 0 25 0 1 0 916354279 586280960 120245 4294967295 134512640 135730672 3221224576 3220666268 134776219 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143135 120245 301 301 0 142834 0
vsize: 572540
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 225129 0 0 0 38514 490 0 0 25 0 1 0 916354279 652967936 136812 4294967295 134512640 135730672 3221224576 3220305696 134783994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159416 136812 301 301 0 159115 0
vsize: 637664
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 238025 0 0 0 39482 522 0 0 25 0 1 0 916354279 663674880 149118 4294967295 134512640 135730672 3221224576 3221223040 134736337 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162030 149118 301 301 0 161729 0
vsize: 648120
[startup+404.343 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24686
Raw data (stat): 24686 (pb2sat-v2) R 24685 8378 8377 0 -1 0 238025 0 0 0 39482 522 0 0 25 0 1 0 916354279 663674880 149118 4294967295 134512640 135730672 3221224576 3221223040 134736337 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162030 149118 301 301 0 161729 0
vsize: 0

Child status: 1
Real time (s): 404.343
CPU time (s): 404.379
CPU user time (s): 398.849
CPU system time (s): 5.52916
CPU usage (%): 100.009
Max. virtual memory (Kb): 648120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####