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/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
MD5SUM	97d3686ba27caa0b5ec08bf1e8098491
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	861
Optimality of the best value was proved	NO
Number of terms in the objective function	1848
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1848
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1848
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	24.4083
Number of variables	1848
Total number of constraints	14727
Number of constraints which are clauses	14727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16

Trace number 42022

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-15 21:44:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25239 boxname=wulflinc1 idbench=141 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  97d3686ba27caa0b5ec08bf1e8098491  /oldhome/oroussel/tmp/wulflinc1/normalized-ii16c2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii16c2.opb
IDLAUNCH: 25239
/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:        827624 kB
Buffers:         33688 kB
Cached:         149400 kB
SwapCached:       1192 kB
Active:          77052 kB
Inactive:       108416 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        827372 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15788 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:52:17 (client local time) WITH STATUS 1 IN 466.151 SECONDS
stats: 25239 7 466.151 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 924
c big objective detected
c trying from 0 to 511
c trying from 512 to 923

	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.90 2/55 6365
Raw data (stat): 6365 (runsolver) R 6364 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908603291 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0013 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 25634 0 0 0 943 55 0 0 25 0 1 0 908603291 85073920 14776 4294967295 134512640 135730672 3221224592 3220975968 134776266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20770 14776 301 301 0 20469 0
vsize: 83080
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 52765 0 0 0 1890 108 0 0 25 0 1 0 908603291 167821312 30960 4294967295 134512640 135730672 3221224592 3220835848 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40972 30961 301 301 0 40671 0
vsize: 163888
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 94250 0 0 0 2807 191 0 0 25 0 1 0 908603291 298815488 50779 4294967295 134512640 135730672 3221224592 3221118420 135281170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72953 50779 301 301 0 72652 0
vsize: 291812
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 106720 0 0 0 3781 218 0 0 25 0 1 0 908603291 335208448 63039 4294967295 134512640 135730672 3221224592 3220702504 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81838 63039 301 301 0 81537 0
vsize: 327352
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 119338 0 0 0 4757 242 0 0 25 0 1 0 908603291 361697280 73412 4294967295 134512640 135730672 3221224592 3221222816 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88305 73412 301 301 0 88004 0
vsize: 353220
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 121154 0 0 0 5754 246 0 0 25 0 1 0 908603291 366821376 74518 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89556 74518 301 301 0 89255 0
vsize: 358224
[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 123180 0 0 0 6750 249 0 0 25 0 1 0 908603291 372600832 75285 4294967295 134512640 135730672 3221224592 3221222816 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90967 75285 301 301 0 90666 0
vsize: 363868
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 123759 0 0 0 7749 251 0 0 25 0 1 0 908603291 374173696 75478 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91351 75478 301 301 0 91050 0
vsize: 365404
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 125155 0 0 0 8746 253 0 0 25 0 1 0 908603291 378146816 76231 4294967295 134512640 135730672 3221224592 3221222648 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92321 76231 301 301 0 92020 0
vsize: 369284
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 126383 0 0 0 9745 256 0 0 25 0 1 0 908603291 381612032 77073 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93167 77073 301 301 0 92866 0
vsize: 372668
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 127538 0 0 0 10743 258 0 0 25 0 1 0 908603291 384925696 77715 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93976 77715 301 301 0 93675 0
vsize: 375904
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 127540 0 0 0 11743 258 0 0 25 0 1 0 908603291 384925696 77717 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93976 77717 301 301 0 93675 0
vsize: 375904
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 127613 0 0 0 12743 258 0 0 25 0 1 0 908603291 384925696 77790 4294967295 134512640 135730672 3221224592 3221222912 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93976 77790 301 301 0 93675 0
vsize: 375904
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 127625 0 0 0 13743 258 0 0 25 0 1 0 908603291 384925696 77802 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93976 77802 301 301 0 93675 0
vsize: 375904
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 127816 0 0 0 14743 258 0 0 25 0 1 0 908603291 385449984 77864 4294967295 134512640 135730672 3221224592 3221222816 134747558 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94104 77864 301 301 0 93803 0
vsize: 376416
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 128353 0 0 0 15742 259 0 0 25 0 1 0 908603291 386633728 78144 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94393 78144 301 301 0 94092 0
vsize: 377572
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 128973 0 0 0 16741 260 0 0 25 0 1 0 908603291 388730880 78251 4294967295 134512640 135730672 3221224592 3221222816 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94905 78251 301 301 0 94604 0
vsize: 379620
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 128979 0 0 0 17741 261 0 0 25 0 1 0 908603291 388730880 78257 4294967295 134512640 135730672 3221224592 3221222976 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94905 78257 301 301 0 94604 0
vsize: 379620
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 128983 0 0 0 18741 261 0 0 25 0 1 0 908603291 388866048 78261 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94938 78261 301 301 0 94637 0
vsize: 379752
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 129045 0 0 0 19741 261 0 0 25 0 1 0 908603291 388866048 78323 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94938 78323 301 301 0 94637 0
vsize: 379752
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 129564 0 0 0 20741 261 0 0 25 0 1 0 908603291 389914624 78585 4294967295 134512640 135730672 3221224592 3221222800 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95194 78585 301 301 0 94893 0
vsize: 380776
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 129599 0 0 0 21741 261 0 0 25 0 1 0 908603291 390049792 78620 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95227 78620 301 301 0 94926 0
vsize: 380908
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 129606 0 0 0 22741 261 0 0 25 0 1 0 908603291 390049792 78627 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95227 78627 301 301 0 94926 0
vsize: 380908
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130221 0 0 0 23740 263 0 0 25 0 1 0 908603291 392146944 78729 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95739 78729 301 301 0 95438 0
vsize: 382956
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130245 0 0 0 24740 263 0 0 25 0 1 0 908603291 392282112 78753 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95772 78753 301 301 0 95471 0
vsize: 383088
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130246 0 0 0 25740 263 0 0 25 0 1 0 908603291 392282112 78754 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95772 78754 301 301 0 95471 0
vsize: 383088
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130249 0 0 0 26740 263 0 0 25 0 1 0 908603291 392282112 78757 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95772 78757 301 301 0 95471 0
vsize: 383088
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130257 0 0 0 27740 263 0 0 25 0 1 0 908603291 392282112 78765 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95772 78765 301 301 0 95471 0
vsize: 383088
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130259 0 0 0 28741 263 0 0 25 0 1 0 908603291 392282112 78767 4294967295 134512640 135730672 3221224592 3221222816 134747837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95772 78767 301 301 0 95471 0
vsize: 383088
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130271 0 0 0 29741 263 0 0 25 0 1 0 908603291 392466432 78779 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95817 78779 301 301 0 95516 0
vsize: 383268
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130274 0 0 0 30741 263 0 0 25 0 1 0 908603291 392466432 78782 4294967295 134512640 135730672 3221224592 3221222944 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95817 78782 301 301 0 95516 0
vsize: 383268
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130275 0 0 0 31741 263 0 0 25 0 1 0 908603291 392466432 78783 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95817 78783 301 301 0 95516 0
vsize: 383268
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130279 0 0 0 32741 263 0 0 25 0 1 0 908603291 392466432 78787 4294967295 134512640 135730672 3221224592 3221222816 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95817 78787 301 301 0 95516 0
vsize: 383268
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130280 0 0 0 33741 263 0 0 25 0 1 0 908603291 392466432 78788 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95817 78788 301 301 0 95516 0
vsize: 383268
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130281 0 0 0 34742 263 0 0 25 0 1 0 908603291 392466432 78789 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95817 78789 301 301 0 95516 0
vsize: 383268
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130303 0 0 0 35742 263 0 0 25 0 1 0 908603291 392466432 78811 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95817 78811 301 301 0 95516 0
vsize: 383268
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 130312 0 0 0 36742 264 0 0 25 0 1 0 908603291 392466432 78820 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95817 78820 301 301 0 95516 0
vsize: 383268
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 137113 0 0 0 37722 284 0 0 25 0 1 0 908603291 420311040 85621 4294967295 134512640 135730672 3221224592 3221222748 135291216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102615 85621 301 301 0 102314 0
vsize: 410460
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 149097 0 0 0 38691 315 0 0 25 0 1 0 908603291 469512192 97605 4294967295 134512640 135730672 3221224592 3221222288 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114627 97605 301 301 0 114326 0
vsize: 458508
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 160334 0 0 0 39668 337 0 0 25 0 1 0 908603291 469512192 108641 4294967295 134512640 135730672 3221224592 3220548444 135109345 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114627 108641 301 301 0 114326 0
vsize: 458508
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 213768 0 0 0 40562 444 0 0 25 0 1 0 908603291 661078016 118965 4294967295 134512640 135730672 3221224592 3220832124 134637873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161396 118965 301 301 0 161095 0
vsize: 645584
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 222133 0 0 0 41545 461 0 0 25 0 1 0 908603291 661078016 127153 4294967295 134512640 135730672 3221224592 3220940720 134607970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161396 127153 301 301 0 161095 0
vsize: 645584
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 231971 0 0 0 42522 484 0 0 25 0 1 0 908603291 662564864 136765 4294967295 134512640 135730672 3221224592 3220822936 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161759 136765 301 301 0 161458 0
vsize: 647036
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 247580 0 0 0 43488 518 0 0 25 0 1 0 908603291 689192960 152158 4294967295 134512640 135730672 3221224592 3220931808 134770867 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168260 152158 301 301 0 167959 0
vsize: 673040
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 263199 0 0 0 44458 548 0 0 25 0 1 0 908603291 715956224 167560 4294967295 134512640 135730672 3221224592 3220768568 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174794 167560 301 301 0 174493 0
vsize: 699176
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 272415 0 0 0 45437 569 0 0 25 0 1 0 908603291 735551488 172121 4294967295 134512640 135730672 3221224592 3221222844 135281170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179578 172121 301 301 0 179277 0
vsize: 718312
[startup+466.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6365
Raw data (stat): 6365 (pb2sat-v2) R 6364 8378 8377 0 -1 0 272415 0 0 0 45437 569 0 0 25 0 1 0 908603291 735551488 172121 4294967295 134512640 135730672 3221224592 3221222844 135281170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179578 172121 301 301 0 179277 0
vsize: 0

Child status: 1
Real time (s): 466.09
CPU time (s): 466.151
CPU user time (s): 460.117
CPU system time (s): 6.03408
CPU usage (%): 100.013
Max. virtual memory (Kb): 718312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####