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-80bau3b.opb
MD5SUM	16a606cf9ab6b9dba681e237f3d29f84
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	126788
Biggest coefficient in the objective function	175552593920000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	8868947507751438
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	175552593920000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	8868947507751438
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45378
Number of variables	157082
Total number of constraints	5220
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	5220
Minimum length of a constraint	7
Maximum length of a constraint	2220

Trace number 42678

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 13:39:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25887 boxname=wulflinc1 idbench=1187 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  16a606cf9ab6b9dba681e237f3d29f84  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-80bau3b.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-80bau3b.opb
IDLAUNCH: 25887
/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:        747920 kB
Buffers:         17560 kB
Cached:         243900 kB
SwapCached:       1156 kB
Active:          36656 kB
Inactive:       227092 kB
HighTotal:      131008 kB
HighFree:         8204 kB
LowTotal:       903652 kB
LowFree:        739716 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            17072 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 13:48:33 (client local time) WITH STATUS 1 IN 551.342 SECONDS
stats: 25887 7 551.342 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.84 0.91 0.90 2/55 19508
Raw data (stat): 19508 (runsolver) R 19507 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 914333031 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.0001 s]
Raw data (loadavg): 0.86 0.91 0.90 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 2204 0 0 0 994 5 0 0 25 0 1 0 914333031 8093696 1528 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1976 1528 301 301 0 1675 0
vsize: 7904
[startup+19.9998 s]
Raw data (loadavg): 0.88 0.91 0.90 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 2776 0 0 0 1992 6 0 0 25 0 1 0 914333031 9580544 2091 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2339 2091 301 301 0 2038 0
vsize: 9356
[startup+30.0001 s]
Raw data (loadavg): 0.90 0.92 0.90 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 3930 0 0 0 2989 10 0 0 25 0 1 0 914333031 13684736 2533 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3341 2533 301 301 0 3040 0
vsize: 13364
[startup+40.0004 s]
Raw data (loadavg): 0.91 0.92 0.90 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 4207 0 0 0 3989 10 0 0 25 0 1 0 914333031 14360576 2805 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3506 2805 301 301 0 3205 0
vsize: 14024
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.92 0.90 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 4471 0 0 0 4988 11 0 0 25 0 1 0 914333031 15036416 3065 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3671 3065 301 301 0 3370 0
vsize: 14684
[startup+60.001 s]
Raw data (loadavg): 0.94 0.92 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 4708 0 0 0 5987 12 0 0 25 0 1 0 914333031 15712256 3298 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3836 3298 301 301 0 3535 0
vsize: 15344
[startup+70.0008 s]
Raw data (loadavg): 0.95 0.92 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 4921 0 0 0 6986 14 0 0 25 0 1 0 914333031 16252928 3508 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3968 3508 301 301 0 3667 0
vsize: 15872
[startup+80.0016 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 5121 0 0 0 7985 14 0 0 25 0 1 0 914333031 16793600 3705 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4100 3705 301 301 0 3799 0
vsize: 16400
[startup+90.0018 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 5306 0 0 0 8985 15 0 0 25 0 1 0 914333031 17334272 3887 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3887 301 301 0 3931 0
vsize: 16928
[startup+100.002 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 5483 0 0 0 9984 16 0 0 25 0 1 0 914333031 17739776 4061 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4331 4061 301 301 0 4030 0
vsize: 17324
[startup+110.003 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 7545 0 0 0 10981 19 0 0 25 0 1 0 914333031 25677824 4711 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4711 301 301 0 5968 0
vsize: 25076
[startup+120.003 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 7602 0 0 0 11981 20 0 0 25 0 1 0 914333031 25677824 4765 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4765 301 301 0 5968 0
vsize: 25076
[startup+130.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 7657 0 0 0 12980 20 0 0 25 0 1 0 914333031 25677824 4817 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4817 301 301 0 5968 0
vsize: 25076
[startup+140.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 7708 0 0 0 13980 21 0 0 25 0 1 0 914333031 25677824 4866 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4866 301 301 0 5968 0
vsize: 25076
[startup+150.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 7761 0 0 0 14980 21 0 0 25 0 1 0 914333031 25677824 4917 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4917 301 301 0 5968 0
vsize: 25076
[startup+160.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 7856 0 0 0 15980 22 0 0 25 0 1 0 914333031 25948160 5010 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6335 5010 301 301 0 6034 0
vsize: 25340
[startup+170.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 7990 0 0 0 16979 22 0 0 25 0 1 0 914333031 26218496 5141 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5141 301 301 0 6100 0
vsize: 25604
[startup+180.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 8120 0 0 0 17978 23 0 0 25 0 1 0 914333031 26624000 5269 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6500 5269 301 301 0 6199 0
vsize: 26000
[startup+190.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 8247 0 0 0 18978 24 0 0 25 0 1 0 914333031 27029504 5394 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6599 5394 301 301 0 6298 0
vsize: 26396
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 8371 0 0 0 19977 25 0 0 25 0 1 0 914333031 27299840 5516 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6665 5516 301 301 0 6364 0
vsize: 26660
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 8492 0 0 0 20976 25 0 0 25 0 1 0 914333031 27570176 5635 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6731 5635 301 301 0 6430 0
vsize: 26924
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 8611 0 0 0 21975 26 0 0 25 0 1 0 914333031 27975680 5752 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6830 5752 301 301 0 6529 0
vsize: 27320
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 8725 0 0 0 22975 27 0 0 25 0 1 0 914333031 28246016 5865 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6896 5865 301 301 0 6595 0
vsize: 27584
[startup+240.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 8840 0 0 0 23975 27 0 0 25 0 1 0 914333031 28516352 5978 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 5978 301 301 0 6661 0
vsize: 27848
[startup+250.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 8952 0 0 0 24974 28 0 0 25 0 1 0 914333031 28786688 6088 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7028 6088 301 301 0 6727 0
vsize: 28112
[startup+260.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9061 0 0 0 25974 29 0 0 25 0 1 0 914333031 29057024 6195 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7094 6195 301 301 0 6793 0
vsize: 28376
[startup+270.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9169 0 0 0 26973 29 0 0 25 0 1 0 914333031 29462528 6301 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7193 6301 301 301 0 6892 0
vsize: 28772
[startup+280.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9274 0 0 0 27973 30 0 0 25 0 1 0 914333031 29732864 6405 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7259 6405 301 301 0 6958 0
vsize: 29036
[startup+290.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9378 0 0 0 28972 31 0 0 25 0 1 0 914333031 30003200 6507 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 6507 301 301 0 7024 0
vsize: 29300
[startup+300.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9481 0 0 0 29972 31 0 0 25 0 1 0 914333031 30273536 6608 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7391 6608 301 301 0 7090 0
vsize: 29564
[startup+310.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9581 0 0 0 30971 32 0 0 25 0 1 0 914333031 30543872 6707 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7457 6707 301 301 0 7156 0
vsize: 29828
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9681 0 0 0 31971 32 0 0 25 0 1 0 914333031 30814208 6805 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7523 6805 301 301 0 7222 0
vsize: 30092
[startup+330.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9778 0 0 0 32970 33 0 0 25 0 1 0 914333031 30949376 6901 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7556 6901 301 301 0 7255 0
vsize: 30224
[startup+340.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9874 0 0 0 33969 34 0 0 25 0 1 0 914333031 31219712 6995 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7622 6995 301 301 0 7321 0
vsize: 30488
[startup+350.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 9968 0 0 0 34969 34 0 0 25 0 1 0 914333031 31490048 7088 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7688 7088 301 301 0 7387 0
vsize: 30752
[startup+360.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10064 0 0 0 35968 35 0 0 25 0 1 0 914333031 31760384 7182 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7754 7182 301 301 0 7453 0
vsize: 31016
[startup+370.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10154 0 0 0 36968 36 0 0 25 0 1 0 914333031 32030720 7271 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7820 7271 301 301 0 7519 0
vsize: 31280
[startup+380.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10246 0 0 0 37967 37 0 0 25 0 1 0 914333031 32301056 7361 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7361 301 301 0 7585 0
vsize: 31544
[startup+390.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10335 0 0 0 38967 37 0 0 25 0 1 0 914333031 32436224 7449 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7919 7449 301 301 0 7618 0
vsize: 31676
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10425 0 0 0 39967 37 0 0 25 0 1 0 914333031 32706560 7537 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7985 7537 301 301 0 7684 0
vsize: 31940
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10513 0 0 0 40966 38 0 0 25 0 1 0 914333031 32976896 7624 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8051 7624 301 301 0 7750 0
vsize: 32204
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10600 0 0 0 41966 39 0 0 25 0 1 0 914333031 33247232 7709 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8117 7709 301 301 0 7816 0
vsize: 32468
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10685 0 0 0 42965 40 0 0 25 0 1 0 914333031 33382400 7793 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8150 7793 301 301 0 7849 0
vsize: 32600
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 10770 0 0 0 43965 40 0 0 25 0 1 0 914333031 33652736 7877 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7877 301 301 0 7915 0
vsize: 32864
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 23631 0 0 0 44939 66 0 0 25 0 1 0 914333031 72343552 15317 4294967295 134512640 135730672 3221224576 3221128492 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17662 15317 301 301 0 17361 0
vsize: 70648
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 55454 0 0 0 45873 133 0 0 25 0 1 0 914333031 167612416 33098 4294967295 134512640 135730672 3221224576 3221136040 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40921 33098 301 301 0 40620 0
vsize: 163684
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 83379 0 0 0 46825 181 0 0 25 0 1 0 914333031 253915136 51103 4294967295 134512640 135730672 3221224576 3221141628 134608740 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61991 51103 301 301 0 61690 0
vsize: 247964
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 111660 0 0 0 47767 238 0 0 25 0 1 0 914333031 355106816 66881 4294967295 134512640 135730672 3221224576 3221137200 135284051 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86696 66881 301 301 0 86395 0
vsize: 346784
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 149056 0 0 0 48699 306 0 0 25 0 1 0 914333031 553443328 103360 4294967295 134512640 135730672 3221224576 3221135584 134775425 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135118 103362 301 301 0 134817 0
vsize: 540472
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 168162 0 0 0 49659 347 0 0 25 0 1 0 914333031 499441664 103559 4294967295 134512640 135730672 3221224576 3221134432 135301643 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121934 103559 301 301 0 121633 0
vsize: 487736
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 202650 0 0 0 50581 426 0 0 25 0 1 0 914333031 633659392 113292 4294967295 134512640 135730672 3221224576 3221140928 134784071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154702 113292 301 301 0 154401 0
vsize: 618808
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 221951 0 0 0 51541 466 0 0 25 0 1 0 914333031 660430848 132363 4294967295 134512640 135730672 3221224576 3221136968 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161238 132363 301 301 0 160937 0
vsize: 644952
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 242011 0 0 0 52501 506 0 0 25 0 1 0 914333031 689549312 152191 4294967295 134512640 135730672 3221224576 3221144424 134549480 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168347 152193 301 301 0 168046 0
vsize: 673388
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 258059 0 0 0 53469 538 0 0 25 0 1 0 914333031 763146240 168053 4294967295 134512640 135730672 3221224576 3221134060 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186315 168053 301 301 0 186014 0
vsize: 745260
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 260489 0 0 0 54450 557 0 0 25 0 1 0 914333031 404885504 98374 4294967295 134512640 135730672 3221224576 3221222932 135284063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98849 98374 301 301 0 98548 0
vsize: 395396
[startup+551.271 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19508
Raw data (stat): 19508 (pb2sat-v2) R 19507 8378 8377 0 -1 0 260489 0 0 0 54450 557 0 0 25 0 1 0 914333031 404885504 98374 4294967295 134512640 135730672 3221224576 3221222932 135284063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98849 98374 301 301 0 98548 0
vsize: 0

Child status: 1
Real time (s): 551.271
CPU time (s): 551.342
CPU user time (s): 545.566
CPU system time (s): 5.77612
CPU usage (%): 100.013
Max. virtual memory (Kb): 745260
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####