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-n3704.opb
MD5SUM	ff4950ed0b09d2cfc714de8611974ec9
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	39088316758
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	39088316758
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.98385
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 42950

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 19:18:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26166 boxname=wulflinc4 idbench=1466 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ff4950ed0b09d2cfc714de8611974ec9  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3704.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3704.opb
IDLAUNCH: 26166
/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:        813864 kB
Buffers:         13668 kB
Cached:         184668 kB
SwapCached:        904 kB
Active:          34256 kB
Inactive:       166192 kB
HighTotal:      131008 kB
HighFree:        27692 kB
LowTotal:       903652 kB
LowFree:        786172 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14636 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:25:30 (client local time) WITH STATUS 1 IN 400.096 SECONDS
stats: 26166 7 400.096 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.94 0.90 2/54 31706
Raw data (stat): 31706 (runsolver) R 31705 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973217159 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+9.99992 s]
Raw data (loadavg): 0.88 0.94 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 2234 0 0 0 995 4 0 0 25 0 1 0 973217159 8093696 1557 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1976 1557 301 301 0 1675 0
vsize: 7904
[startup+20.0007 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 2781 0 0 0 1993 5 0 0 25 0 1 0 973217159 9580544 2095 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2339 2095 301 301 0 2038 0
vsize: 9356
[startup+30.0006 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 3887 0 0 0 2991 8 0 0 25 0 1 0 973217159 13414400 2490 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2490 301 301 0 2974 0
vsize: 13100
[startup+40.0015 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 4150 0 0 0 3990 9 0 0 25 0 1 0 973217159 14090240 2748 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2748 301 301 0 3139 0
vsize: 13760
[startup+50.0024 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 4403 0 0 0 4989 10 0 0 25 0 1 0 973217159 14766080 2997 4294967295 134512640 135730672 3221224576 3221221776 134577751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2997 301 301 0 3304 0
vsize: 14420
[startup+60.0022 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 4634 0 0 0 5989 11 0 0 25 0 1 0 973217159 15441920 3224 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3770 3224 301 301 0 3469 0
vsize: 15080
[startup+70.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 4847 0 0 0 6987 12 0 0 25 0 1 0 973217159 15982592 3434 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3902 3434 301 301 0 3601 0
vsize: 15608
[startup+80.0109 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 5045 0 0 0 7988 13 0 0 25 0 1 0 973217159 16523264 3629 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4034 3629 301 301 0 3733 0
vsize: 16136
[startup+90.0118 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 5229 0 0 0 8987 14 0 0 25 0 1 0 973217159 16928768 3810 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3810 301 301 0 3832 0
vsize: 16532
[startup+100.012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 5404 0 0 0 9987 14 0 0 25 0 1 0 973217159 17469440 3982 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4265 3982 301 301 0 3964 0
vsize: 17060
[startup+110.013 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 7459 0 0 0 10982 20 0 0 25 0 1 0 973217159 25407488 4624 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4624 301 301 0 5902 0
vsize: 24812
[startup+120.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 7514 0 0 0 11982 20 0 0 25 0 1 0 973217159 25407488 4677 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4677 301 301 0 5902 0
vsize: 24812
[startup+130.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 7568 0 0 0 12981 21 0 0 25 0 1 0 973217159 25407488 4728 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4728 301 301 0 5902 0
vsize: 24812
[startup+140.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 7619 0 0 0 13981 21 0 0 25 0 1 0 973217159 25407488 4777 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4777 301 301 0 5902 0
vsize: 24812
[startup+150.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 7696 0 0 0 14980 22 0 0 25 0 1 0 973217159 25407488 4852 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4852 301 301 0 5902 0
vsize: 24812
[startup+160.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 7767 0 0 0 15980 22 0 0 25 0 1 0 973217159 25542656 4921 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4921 301 301 0 5935 0
vsize: 24944
[startup+170.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 7902 0 0 0 16979 23 0 0 25 0 1 0 973217159 25948160 5053 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5053 301 301 0 6034 0
vsize: 25340
[startup+180.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8031 0 0 0 17979 24 0 0 25 0 1 0 973217159 26218496 5180 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5180 301 301 0 6100 0
vsize: 25604
[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8158 0 0 0 18979 24 0 0 25 0 1 0 973217159 26624000 5305 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6500 5305 301 301 0 6199 0
vsize: 26000
[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8282 0 0 0 19978 25 0 0 25 0 1 0 973217159 26894336 5427 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5427 301 301 0 6265 0
vsize: 26264
[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8403 0 0 0 20978 25 0 0 25 0 1 0 973217159 27299840 5546 4294967295 134512640 135730672 3221224576 3221221520 134539724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6665 5546 301 301 0 6364 0
vsize: 26660
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8522 0 0 0 21977 26 0 0 25 0 1 0 973217159 27570176 5663 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5663 301 301 0 6430 0
vsize: 26924
[startup+230.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8636 0 0 0 22977 26 0 0 25 0 1 0 973217159 27840512 5776 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5776 301 301 0 6496 0
vsize: 27188
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8751 0 0 0 23976 27 0 0 25 0 1 0 973217159 28110848 5889 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5889 301 301 0 6562 0
vsize: 27452
[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8862 0 0 0 24976 27 0 0 25 0 1 0 973217159 28516352 5998 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6962 5998 301 301 0 6661 0
vsize: 27848
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 8971 0 0 0 25976 28 0 0 25 0 1 0 973217159 28786688 6105 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6105 301 301 0 6727 0
vsize: 28112
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 9079 0 0 0 26975 28 0 0 25 0 1 0 973217159 29057024 6211 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6211 301 301 0 6793 0
vsize: 28376
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 9184 0 0 0 27975 29 0 0 25 0 1 0 973217159 29327360 6315 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6315 301 301 0 6859 0
vsize: 28640
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 9288 0 0 0 28974 29 0 0 25 0 1 0 973217159 29597696 6417 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6417 301 301 0 6925 0
vsize: 28904
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 9388 0 0 0 29974 30 0 0 25 0 1 0 973217159 29868032 6515 4294967295 134512640 135730672 3221224576 3221220976 134543555 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 38486 0 0 0 30913 91 0 0 25 0 1 0 973217159 125472768 22426 4294967295 134512640 135730672 3221224576 3220480160 134785952 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30633 22426 301 301 0 30332 0
vsize: 122532
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 61274 0 0 0 31861 143 0 0 25 0 1 0 973217159 180932608 38830 4294967295 134512640 135730672 3221224576 3220743136 135282211 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44173 38830 301 301 0 43872 0
vsize: 176692
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 98332 0 0 0 32783 221 0 0 25 0 1 0 973217159 290299904 54206 4294967295 134512640 135730672 3221224576 3220819632 134550701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70874 54206 301 301 0 70573 0
vsize: 283496
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 111755 0 0 0 33755 249 0 0 25 0 1 0 973217159 327368704 67404 4294967295 134512640 135730672 3221224576 3220411588 135292972 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79924 67404 301 301 0 79623 0
vsize: 319696
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 150265 0 0 0 34676 329 0 0 25 0 1 0 973217159 448819200 87340 4294967295 134512640 135730672 3221224576 3220401520 134788824 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109575 87340 301 301 0 109274 0
vsize: 438300
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 187040 0 0 0 35596 408 0 0 25 0 1 0 973217159 549482496 99320 4294967295 134512640 135730672 3221224576 3220677020 134608033 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134151 99320 301 301 0 133850 0
vsize: 536604
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 199143 0 0 0 36567 437 0 0 25 0 1 0 973217159 583036928 111206 4294967295 134512640 135730672 3221224576 3220553744 134551572 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142343 111206 301 301 0 142042 0
vsize: 569372
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 214613 0 0 0 37530 474 0 0 25 0 1 0 973217159 591417344 126435 4294967295 134512640 135730672 3221224576 3220410888 135284262 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144389 126435 301 301 0 144088 0
vsize: 577556
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 0 228559 0 0 0 38498 506 0 0 25 0 1 0 973217159 653238272 140181 4294967295 134512640 135730672 3221224576 3220557704 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159482 140181 301 301 0 159181 0
vsize: 637928
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 4 237086 0 0 0 39453 552 0 0 25 0 1 0 973217159 0 0 4294967295 0 0 0 0 0 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
[startup+400.062 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 31706
Raw data (stat): 31706 (pb2sat-v2) R 31705 21152 21151 0 -1 4 237086 0 0 0 39453 552 0 0 25 0 1 0 973217159 0 0 4294967295 0 0 0 0 0 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0

Child status: 1
Real time (s): 400.061
CPU time (s): 400.096
CPU user time (s): 394.536
CPU system time (s): 5.56015
CPU usage (%): 100.009
Max. virtual memory (Kb): 637928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####