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-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
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	39220173760
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	39220173760
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.967852
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 42962

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 19:29:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26176 boxname=wulflinc5 idbench=1476 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5298b427bf0fc38e6e22a1bd59273927  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n370e.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n370e.opb
IDLAUNCH: 26176
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        673152 kB
Buffers:         27652 kB
Cached:         310328 kB
SwapCached:        660 kB
Active:          34904 kB
Inactive:       305160 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        672900 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15816 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:36:02 (client local time) WITH STATUS 1 IN 407.196 SECONDS
stats: 26176 7 407.196 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.97 0.92 1/54 19213
Raw data (stat): 19213 (runsolver) R 19212 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973289901 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 2197 0 0 0 994 5 0 0 25 0 1 0 973289901 8093696 1521 4294967295 134512640 135730672 3221224576 3221221776 134579249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1976 1521 301 301 0 1675 0
vsize: 7904
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 2686 0 0 0 1994 6 0 0 25 0 1 0 973289901 9310208 2002 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2273 2002 301 301 0 1972 0
vsize: 9092
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 3851 0 0 0 2991 8 0 0 25 0 1 0 973289901 13414400 2455 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2455 301 301 0 2974 0
vsize: 13100
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 4087 0 0 0 3990 9 0 0 25 0 1 0 973289901 13955072 2686 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3407 2686 301 301 0 3106 0
vsize: 13628
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 4342 0 0 0 4990 10 0 0 25 0 1 0 973289901 14630912 2937 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3572 2937 301 301 0 3271 0
vsize: 14288
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 4569 0 0 0 5989 11 0 0 25 0 1 0 973289901 15306752 3160 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3160 301 301 0 3436 0
vsize: 14948
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 4781 0 0 0 6988 12 0 0 25 0 1 0 973289901 15847424 3369 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3369 301 301 0 3568 0
vsize: 15476
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 4976 0 0 0 7987 13 0 0 25 0 1 0 973289901 16252928 3561 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3968 3561 301 301 0 3667 0
vsize: 15872
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 5162 0 0 0 8987 14 0 0 25 0 1 0 973289901 16793600 3744 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3744 301 301 0 3799 0
vsize: 16400
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 5338 0 0 0 9986 15 0 0 25 0 1 0 973289901 17334272 3917 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3917 301 301 0 3931 0
vsize: 16928
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 5505 0 0 0 10985 16 0 0 25 0 1 0 973289901 17739776 4081 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4331 4081 301 301 0 4030 0
vsize: 17324
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 7492 0 0 0 11982 19 0 0 25 0 1 0 973289901 25407488 4656 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4656 301 301 0 5902 0
vsize: 24812
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 7547 0 0 0 12982 20 0 0 25 0 1 0 973289901 25407488 4708 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4708 301 301 0 5902 0
vsize: 24812
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 7599 0 0 0 13981 20 0 0 25 0 1 0 973289901 25407488 4758 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4758 301 301 0 5902 0
vsize: 24812
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 7677 0 0 0 14981 21 0 0 25 0 1 0 973289901 25407488 4834 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4834 301 301 0 5902 0
vsize: 24812
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 7726 0 0 0 15981 21 0 0 25 0 1 0 973289901 25407488 4880 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4880 301 301 0 5902 0
vsize: 24812
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 7847 0 0 0 16980 22 0 0 25 0 1 0 973289901 25812992 4999 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 4999 301 301 0 6001 0
vsize: 25208
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 7977 0 0 0 17980 22 0 0 25 0 1 0 973289901 26083328 5127 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6368 5127 301 301 0 6067 0
vsize: 25472
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 8104 0 0 0 18980 23 0 0 25 0 1 0 973289901 26488832 5252 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5252 301 301 0 6166 0
vsize: 25868
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 8227 0 0 0 19980 23 0 0 25 0 1 0 973289901 26759168 5373 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6533 5373 301 301 0 6232 0
vsize: 26132
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 8348 0 0 0 20979 24 0 0 25 0 1 0 973289901 27164672 5492 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5492 301 301 0 6331 0
vsize: 26528
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 8467 0 0 0 21979 24 0 0 25 0 1 0 973289901 27435008 5609 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6698 5609 301 301 0 6397 0
vsize: 26792
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 8582 0 0 0 22978 25 0 0 25 0 1 0 973289901 27705344 5722 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6764 5722 301 301 0 6463 0
vsize: 27056
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 8694 0 0 0 23978 26 0 0 25 0 1 0 973289901 27975680 5833 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6830 5833 301 301 0 6529 0
vsize: 27320
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 8806 0 0 0 24977 26 0 0 25 0 1 0 973289901 28246016 5943 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6896 5943 301 301 0 6595 0
vsize: 27584
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 8916 0 0 0 25977 27 0 0 25 0 1 0 973289901 28651520 6051 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6051 301 301 0 6694 0
vsize: 27980
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 9023 0 0 0 26977 28 0 0 25 0 1 0 973289901 28921856 6156 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6156 301 301 0 6760 0
vsize: 28244
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 9128 0 0 0 27976 28 0 0 25 0 1 0 973289901 29192192 6260 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6260 301 301 0 6826 0
vsize: 28508
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 9233 0 0 0 28976 29 0 0 25 0 1 0 973289901 29462528 6363 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6363 301 301 0 6892 0
vsize: 28772
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 9333 0 0 0 29975 30 0 0 25 0 1 0 973289901 29732864 6461 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6461 301 301 0 6958 0
vsize: 29036
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 21722 0 0 0 30949 56 0 0 25 0 1 0 973289901 68829184 13447 4294967295 134512640 135730672 3221224576 3220702080 134546366 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16804 13447 301 301 0 16503 0
vsize: 67216
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 52281 0 0 0 31882 123 0 0 25 0 1 0 973289901 158343168 29974 4294967295 134512640 135730672 3221224576 3220724348 134608033 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38658 29974 301 301 0 38357 0
vsize: 154632
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 78027 0 0 0 32827 178 0 0 25 0 1 0 973289901 236453888 46318 4294967295 134512640 135730672 3221224576 3220829756 134637856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57728 46318 301 301 0 57427 0
vsize: 230912
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 102103 0 0 0 33775 231 0 0 25 0 1 0 973289901 320339968 57894 4294967295 134512640 135730672 3221224576 3220708064 134786020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78208 57894 301 301 0 77907 0
vsize: 312832
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 118274 0 0 0 34736 270 0 0 25 0 1 0 973289901 331829248 73825 4294967295 134512640 135730672 3221224576 3220548584 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81013 73825 301 301 0 80712 0
vsize: 324052
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 165946 0 0 0 35641 365 0 0 25 0 1 0 973289901 654204928 102943 4294967295 134512640 135730672 3221224576 3220574176 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159718 102947 301 301 0 159417 0
vsize: 638872
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 191071 0 0 0 36580 427 0 0 25 0 1 0 973289901 587091968 103296 4294967295 134512640 135730672 3221224576 3220618648 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143333 103296 301 301 0 143032 0
vsize: 573332
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 204701 0 0 0 37551 456 0 0 25 0 1 0 973289901 587091968 116682 4294967295 134512640 135730672 3221224576 3220574944 134546358 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143333 116683 301 301 0 143032 0
vsize: 573332
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 221157 0 0 0 38512 495 0 0 25 0 1 0 973289901 599257088 132896 4294967295 134512640 135730672 3221224576 3221220844 135284122 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146303 132896 301 301 0 146002 0
vsize: 585212
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 234410 0 0 0 39482 525 0 0 25 0 1 0 973289901 660942848 145962 4294967295 134512640 135730672 3221224576 3220418428 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161363 145963 301 301 0 161062 0
vsize: 645452
[startup+407.13 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 19213
Raw data (stat): 19213 (pb2sat-v2) R 19212 7266 7265 0 -1 0 234410 0 0 0 39482 525 0 0 25 0 1 0 973289901 660942848 145962 4294967295 134512640 135730672 3221224576 3220418428 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161363 145963 301 301 0 161062 0
vsize: 0

Child status: 1
Real time (s): 407.13
CPU time (s): 407.196
CPU user time (s): 401.566
CPU system time (s): 5.63014
CPU usage (%): 100.016
Max. virtual memory (Kb): 645452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####