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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
MD5SUM	a8bcf2463daf8317f47d4d0efa977ac7
Bench Category	optimization, big integers (OPTBIGINT)
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	108540
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	416772837549750
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	416772837549750
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.995848
Number of variables	108540
Total number of constraints	1042
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	1042
Minimum length of a constraint	20
Maximum length of a constraint	1500

Trace number 42757

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 14:19:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25966 boxname=wulflinc5 idbench=1266 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a8bcf2463daf8317f47d4d0efa977ac7  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ship12l.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ship12l.opb
IDLAUNCH: 25966
/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:        675600 kB
Buffers:         18316 kB
Cached:         317148 kB
SwapCached:        660 kB
Active:          33856 kB
Inactive:       303712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        675348 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15716 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:26:40 (client local time) WITH STATUS 1 IN 420.446 SECONDS
stats: 25966 7 420.446 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.91 0.95 0.91 2/54 16058
Raw data (stat): 16058 (runsolver) R 16057 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971432083 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 2183 0 0 0 994 4 0 0 25 0 1 0 971432083 7958528 1507 4294967295 134512640 135730672 3221224576 3221221776 134579294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1943 1507 301 301 0 1642 0
vsize: 7772
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 2732 0 0 0 1993 6 0 0 25 0 1 0 971432083 9445376 2047 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2306 2047 301 301 0 2005 0
vsize: 9224
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 3877 0 0 0 2991 8 0 0 25 0 1 0 971432083 13414400 2480 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2480 301 301 0 2974 0
vsize: 13100
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 4126 0 0 0 3990 9 0 0 25 0 1 0 971432083 14090240 2725 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3440 2725 301 301 0 3139 0
vsize: 13760
[startup+50.0035 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 4384 0 0 0 4989 10 0 0 25 0 1 0 971432083 14766080 2978 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3605 2978 301 301 0 3304 0
vsize: 14420
[startup+60.0042 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 4611 0 0 0 5988 11 0 0 25 0 1 0 971432083 15306752 3202 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3202 301 301 0 3436 0
vsize: 14948
[startup+70.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 4821 0 0 0 6987 12 0 0 25 0 1 0 971432083 15847424 3408 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3408 301 301 0 3568 0
vsize: 15476
[startup+80.0047 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 5018 0 0 0 7986 13 0 0 25 0 1 0 971432083 16388096 3602 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3602 301 301 0 3700 0
vsize: 16004
[startup+90.0055 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 5203 0 0 0 8986 14 0 0 25 0 1 0 971432083 16928768 3784 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4133 3784 301 301 0 3832 0
vsize: 16532
[startup+100.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 5376 0 0 0 9985 14 0 0 25 0 1 0 971432083 17334272 3954 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3954 301 301 0 3931 0
vsize: 16928
[startup+110.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 7449 0 0 0 10981 18 0 0 25 0 1 0 971432083 25407488 4615 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4615 301 301 0 5902 0
vsize: 24812
[startup+120.007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 7506 0 0 0 11981 18 0 0 25 0 1 0 971432083 25407488 4669 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4669 301 301 0 5902 0
vsize: 24812
[startup+130.008 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 7560 0 0 0 12981 19 0 0 25 0 1 0 971432083 25407488 4721 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4721 301 301 0 5902 0
vsize: 24812
[startup+140.008 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 7613 0 0 0 13981 19 0 0 25 0 1 0 971432083 25407488 4771 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4771 301 301 0 5902 0
vsize: 24812
[startup+150.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 7690 0 0 0 14980 20 0 0 25 0 1 0 971432083 25407488 4846 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4846 301 301 0 5902 0
vsize: 24812
[startup+160.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 7750 0 0 0 15980 20 0 0 25 0 1 0 971432083 25542656 4904 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6236 4904 301 301 0 5935 0
vsize: 24944
[startup+170.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 7885 0 0 0 16979 21 0 0 25 0 1 0 971432083 25812992 5037 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6302 5037 301 301 0 6001 0
vsize: 25208
[startup+180.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8015 0 0 0 17979 21 0 0 25 0 1 0 971432083 26218496 5165 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5165 301 301 0 6100 0
vsize: 25604
[startup+190.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8141 0 0 0 18978 22 0 0 25 0 1 0 971432083 26488832 5289 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6467 5289 301 301 0 6166 0
vsize: 25868
[startup+200.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8265 0 0 0 19978 23 0 0 25 0 1 0 971432083 26894336 5411 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5411 301 301 0 6265 0
vsize: 26264
[startup+210.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8386 0 0 0 20977 24 0 0 25 0 1 0 971432083 27164672 5530 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5530 301 301 0 6331 0
vsize: 26528
[startup+220.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8505 0 0 0 21977 24 0 0 25 0 1 0 971432083 27570176 5647 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6731 5647 301 301 0 6430 0
vsize: 26924
[startup+230.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8621 0 0 0 22977 25 0 0 25 0 1 0 971432083 27840512 5761 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6797 5761 301 301 0 6496 0
vsize: 27188
[startup+240.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8735 0 0 0 23976 25 0 0 25 0 1 0 971432083 28110848 5873 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6863 5873 301 301 0 6562 0
vsize: 27452
[startup+250.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8847 0 0 0 24976 26 0 0 25 0 1 0 971432083 28381184 5983 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6929 5983 301 301 0 6628 0
vsize: 27716
[startup+260.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 8957 0 0 0 25976 26 0 0 25 0 1 0 971432083 28651520 6091 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6995 6091 301 301 0 6694 0
vsize: 27980
[startup+270.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 9063 0 0 0 26976 26 0 0 25 0 1 0 971432083 29057024 6196 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7094 6196 301 301 0 6793 0
vsize: 28376
[startup+280.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 9169 0 0 0 27976 27 0 0 25 0 1 0 971432083 29327360 6300 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7160 6300 301 301 0 6859 0
vsize: 28640
[startup+290.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 9273 0 0 0 28975 27 0 0 25 0 1 0 971432083 29597696 6402 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7226 6402 301 301 0 6925 0
vsize: 28904
[startup+300.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 9375 0 0 0 29975 27 0 0 25 0 1 0 971432083 29868032 6503 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7292 6503 301 301 0 6991 0
vsize: 29168
[startup+310.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 9475 0 0 0 30974 28 0 0 25 0 1 0 971432083 30138368 6601 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7358 6601 301 301 0 7057 0
vsize: 29432
[startup+320.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 9576 0 0 0 31973 29 0 0 25 0 1 0 971432083 30408704 6700 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7424 6700 301 301 0 7123 0
vsize: 29696
[startup+330.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 29558 0 0 0 32929 74 0 0 25 0 1 0 971432083 104525824 21217 4294967295 134512640 135730672 3221224576 3220634960 134788521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25519 21221 301 301 0 25218 0
vsize: 102076
[startup+340.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 56279 0 0 0 33871 132 0 0 25 0 1 0 971432083 175689728 33900 4294967295 134512640 135730672 3221224576 3220995052 135291096 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42893 33902 301 301 0 42592 0
vsize: 171572
[startup+350.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 93413 0 0 0 34793 210 0 0 25 0 1 0 971432083 285462528 49352 4294967295 134512640 135730672 3221224576 3220711692 135284065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69693 49353 301 301 0 69392 0
vsize: 278772
[startup+360.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 107379 0 0 0 35763 241 0 0 25 0 1 0 971432083 321449984 63078 4294967295 134512640 135730672 3221224576 3220891772 135291163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78479 63078 301 301 0 78178 0
vsize: 313916
[startup+370.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 149899 0 0 0 36677 327 0 0 25 0 1 0 971432083 454524928 87004 4294967295 134512640 135730672 3221224576 3221085924 135281249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110968 87004 301 301 0 110667 0
vsize: 443872
[startup+380.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 186037 0 0 0 37600 405 0 0 25 0 1 0 971432083 555188224 98358 4294967295 134512640 135730672 3221224576 3221029696 134546496 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135544 98358 301 301 0 135243 0
vsize: 542176
[startup+390.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 198377 0 0 0 38571 434 0 0 25 0 1 0 971432083 588742656 110474 4294967295 134512640 135730672 3221224576 3221221776 134577513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143736 110474 301 301 0 143435 0
vsize: 574944
[startup+400.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 212717 0 0 0 39538 468 0 0 25 0 1 0 971432083 588742656 124557 4294967295 134512640 135730672 3221224576 3220827776 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143736 124558 301 301 0 143435 0
vsize: 574944
[startup+410.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 227073 0 0 0 40503 503 0 0 25 0 1 0 971432083 652320768 138713 4294967295 134512640 135730672 3221224576 3220659560 135284233 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159258 138713 301 301 0 158957 0
vsize: 637032
[startup+420.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 237075 0 0 0 41467 539 0 0 25 0 1 0 971432083 308670464 74944 4294967295 134512640 135730672 3221224576 3221222928 135284107 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75359 74944 301 301 0 75058 0
vsize: 301436
[startup+420.441 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 16058
Raw data (stat): 16058 (pb2sat-v2) R 16057 7266 7265 0 -1 0 237075 0 0 0 41467 539 0 0 25 0 1 0 971432083 308670464 74944 4294967295 134512640 135730672 3221224576 3221222928 135284107 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75359 74944 301 301 0 75058 0
vsize: 0

Child status: 1
Real time (s): 420.441
CPU time (s): 420.446
CPU user time (s): 414.89
CPU system time (s): 5.55615
CPU usage (%): 100.001
Max. virtual memory (Kb): 637032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####