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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370d.opb
MD5SUM	c845e5aae635eb663462a0603eb54605
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29652813254765
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29652813254765
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43078
Number of variables	155000
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	31
Maximum length of a constraint	3000
Trace number 42577

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 11:18:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25791 boxname=wulflinc4 idbench=1091 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c845e5aae635eb663462a0603eb54605  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n370d.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n370d.opb
IDLAUNCH: 25791
/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:        642512 kB
Buffers:         34724 kB
Cached:         334728 kB
SwapCached:        944 kB
Active:          49996 kB
Inactive:       321592 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642260 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14836 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:31:40 (client local time) WITH STATUS 1 IN 768.886 SECONDS
stats: 25791 7 768.886 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.94 0.90 2/54 25212
Raw data (stat): 25212 (runsolver) R 25211 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970336960 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.0015 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 2211 0 0 0 993 6 0 0 25 0 1 0 970336960 8093696 1536 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1976 1536 301 301 0 1675 0
vsize: 7904
[startup+20.0024 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 2726 0 0 0 1991 7 0 0 25 0 1 0 970336960 9445376 2042 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2306 2042 301 301 0 2005 0
vsize: 9224
[startup+30.0018 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 3871 0 0 0 2989 9 0 0 25 0 1 0 970336960 13414400 2476 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2476 301 301 0 2974 0
vsize: 13100
[startup+40.003 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 4119 0 0 0 3989 10 0 0 25 0 1 0 970336960 14090240 2719 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2719 301 301 0 3139 0
vsize: 13760
[startup+50.0038 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 4382 0 0 0 4987 11 0 0 25 0 1 0 970336960 14766080 2977 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2977 301 301 0 3304 0
vsize: 14420
[startup+60.0043 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 4618 0 0 0 5987 11 0 0 25 0 1 0 970336960 15441920 3210 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3770 3210 301 301 0 3469 0
vsize: 15080
[startup+70.0046 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 4834 0 0 0 6987 12 0 0 25 0 1 0 970336960 15982592 3422 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3902 3422 301 301 0 3601 0
vsize: 15608
[startup+80.0055 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 5034 0 0 0 7986 12 0 0 25 0 1 0 970336960 16523264 3619 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4034 3619 301 301 0 3733 0
vsize: 16136
[startup+90.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 5221 0 0 0 8986 13 0 0 25 0 1 0 970336960 16928768 3803 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3803 301 301 0 3832 0
vsize: 16532
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 5394 0 0 0 9985 13 0 0 25 0 1 0 970336960 17469440 3973 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4265 3973 301 301 0 3964 0
vsize: 17060
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 7456 0 0 0 10981 18 0 0 25 0 1 0 970336960 25407488 4622 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4622 301 301 0 5902 0
vsize: 24812
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 7511 0 0 0 11981 18 0 0 25 0 1 0 970336960 25407488 4675 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4675 301 301 0 5902 0
vsize: 24812
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 7566 0 0 0 12981 18 0 0 25 0 1 0 970336960 25407488 4727 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4727 301 301 0 5902 0
vsize: 24812
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 7617 0 0 0 13981 18 0 0 25 0 1 0 970336960 25407488 4776 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4776 301 301 0 5902 0
vsize: 24812
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 7694 0 0 0 14981 18 0 0 25 0 1 0 970336960 25407488 4851 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4851 301 301 0 5902 0
vsize: 24812
[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 7765 0 0 0 15980 19 0 0 25 0 1 0 970336960 25542656 4920 4294967295 134512640 135730672 3221224576 3221221520 134539721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4920 301 301 0 5935 0
vsize: 24944
[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 7899 0 0 0 16980 19 0 0 25 0 1 0 970336960 25948160 5051 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5051 301 301 0 6034 0
vsize: 25340
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8029 0 0 0 17980 19 0 0 25 0 1 0 970336960 26218496 5179 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5179 301 301 0 6100 0
vsize: 25604
[startup+190.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8156 0 0 0 18980 20 0 0 25 0 1 0 970336960 26624000 5304 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6500 5304 301 301 0 6199 0
vsize: 26000
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8280 0 0 0 19980 20 0 0 25 0 1 0 970336960 26894336 5426 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5426 301 301 0 6265 0
vsize: 26264
[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8401 0 0 0 20980 20 0 0 25 0 1 0 970336960 27299840 5545 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6665 5545 301 301 0 6364 0
vsize: 26660
[startup+220.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8519 0 0 0 21979 21 0 0 25 0 1 0 970336960 27570176 5661 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5661 301 301 0 6430 0
vsize: 26924
[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8634 0 0 0 22979 21 0 0 25 0 1 0 970336960 27840512 5775 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5775 301 301 0 6496 0
vsize: 27188
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8748 0 0 0 23978 22 0 0 25 0 1 0 970336960 28110848 5887 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5887 301 301 0 6562 0
vsize: 27452
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8860 0 0 0 24978 23 0 0 25 0 1 0 970336960 28516352 5997 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6962 5997 301 301 0 6661 0
vsize: 27848
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 8970 0 0 0 25978 23 0 0 25 0 1 0 970336960 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 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9077 0 0 0 26978 23 0 0 25 0 1 0 970336960 29057024 6210 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6210 301 301 0 6793 0
vsize: 28376
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9182 0 0 0 27978 23 0 0 25 0 1 0 970336960 29327360 6314 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7160 6314 301 301 0 6859 0
vsize: 28640
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9284 0 0 0 28976 24 0 0 25 0 1 0 970336960 29597696 6414 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7226 6414 301 301 0 6925 0
vsize: 28904
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9387 0 0 0 29976 24 0 0 25 0 1 0 970336960 29868032 6515 4294967295 134512640 135730672 3221224576 3221221664 134561675 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9487 0 0 0 30976 25 0 0 25 0 1 0 970336960 30138368 6614 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6614 301 301 0 7057 0
vsize: 29432
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9587 0 0 0 31976 25 0 0 25 0 1 0 970336960 30408704 6712 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6712 301 301 0 7123 0
vsize: 29696
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9684 0 0 0 32976 25 0 0 25 0 1 0 970336960 30679040 6808 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7490 6808 301 301 0 7189 0
vsize: 29960
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9780 0 0 0 33976 25 0 0 25 0 1 0 970336960 30949376 6902 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7556 6902 301 301 0 7255 0
vsize: 30224
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9874 0 0 0 34974 26 0 0 25 0 1 0 970336960 31084544 6995 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6995 301 301 0 7288 0
vsize: 30356
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 9968 0 0 0 35974 26 0 0 25 0 1 0 970336960 31354880 7087 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7087 301 301 0 7354 0
vsize: 30620
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10060 0 0 0 36974 27 0 0 25 0 1 0 970336960 31625216 7178 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7178 301 301 0 7420 0
vsize: 30884
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10152 0 0 0 37974 27 0 0 25 0 1 0 970336960 31895552 7268 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7268 301 301 0 7486 0
vsize: 31148
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10242 0 0 0 38974 27 0 0 25 0 1 0 970336960 32165888 7357 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7357 301 301 0 7552 0
vsize: 31412
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10331 0 0 0 39974 27 0 0 25 0 1 0 970336960 32301056 7444 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7444 301 301 0 7585 0
vsize: 31544
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10418 0 0 0 40973 28 0 0 25 0 1 0 970336960 32571392 7530 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7952 7530 301 301 0 7651 0
vsize: 31808
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10506 0 0 0 41973 28 0 0 25 0 1 0 970336960 32841728 7616 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7616 301 301 0 7717 0
vsize: 32072
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10593 0 0 0 42973 28 0 0 25 0 1 0 970336960 32976896 7702 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7702 301 301 0 7750 0
vsize: 32204
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10677 0 0 0 43972 29 0 0 25 0 1 0 970336960 33247232 7785 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8117 7785 301 301 0 7816 0
vsize: 32468
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10761 0 0 0 44972 29 0 0 25 0 1 0 970336960 33517568 7867 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7867 301 301 0 7882 0
vsize: 32732
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10845 0 0 0 45972 30 0 0 25 0 1 0 970336960 33652736 7950 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7950 301 301 0 7915 0
vsize: 32864
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 10927 0 0 0 46971 30 0 0 25 0 1 0 970336960 33923072 8031 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8031 301 301 0 7981 0
vsize: 33128
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 14819 0 0 0 47964 37 0 0 25 0 1 0 970336960 49258496 9103 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9103 301 301 0 11725 0
vsize: 48104
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 14848 0 0 0 48964 38 0 0 25 0 1 0 970336960 49258496 9131 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9131 301 301 0 11725 0
vsize: 48104
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 14876 0 0 0 49964 38 0 0 25 0 1 0 970336960 49258496 9158 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9158 301 301 0 11725 0
vsize: 48104
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 14904 0 0 0 50964 38 0 0 25 0 1 0 970336960 49258496 9185 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9185 301 301 0 11725 0
vsize: 48104
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 14933 0 0 0 51964 39 0 0 25 0 1 0 970336960 49258496 9212 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9212 301 301 0 11725 0
vsize: 48104
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 14960 0 0 0 52963 39 0 0 25 0 1 0 970336960 49258496 9238 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9238 301 301 0 11725 0
vsize: 48104
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 14987 0 0 0 53962 40 0 0 25 0 1 0 970336960 49258496 9264 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9264 301 301 0 11725 0
vsize: 48104
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15013 0 0 0 54961 40 0 0 25 0 1 0 970336960 49258496 9289 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9289 301 301 0 11725 0
vsize: 48104
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15040 0 0 0 55961 40 0 0 25 0 1 0 970336960 49258496 9314 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9314 301 301 0 11725 0
vsize: 48104
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15067 0 0 0 56962 40 0 0 25 0 1 0 970336960 49258496 9340 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9340 301 301 0 11725 0
vsize: 48104
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15094 0 0 0 57961 40 0 0 25 0 1 0 970336960 49258496 9366 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9366 301 301 0 11725 0
vsize: 48104
[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15120 0 0 0 58961 40 0 0 25 0 1 0 970336960 49258496 9391 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9391 301 301 0 11725 0
vsize: 48104
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15145 0 0 0 59961 40 0 0 25 0 1 0 970336960 49258496 9415 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9415 301 301 0 11725 0
vsize: 48104
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15188 0 0 0 60961 41 0 0 25 0 1 0 970336960 49258496 9456 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9456 301 301 0 11725 0
vsize: 48104
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15224 0 0 0 61961 41 0 0 25 0 1 0 970336960 49258496 9491 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9491 301 301 0 11725 0
vsize: 48104
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15248 0 0 0 62961 41 0 0 25 0 1 0 970336960 49258496 9514 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9514 301 301 0 11725 0
vsize: 48104
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15274 0 0 0 63961 41 0 0 25 0 1 0 970336960 49258496 9539 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9539 301 301 0 11725 0
vsize: 48104
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15298 0 0 0 64961 41 0 0 25 0 1 0 970336960 49258496 9562 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9562 301 301 0 11725 0
vsize: 48104
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15323 0 0 0 65960 42 0 0 25 0 1 0 970336960 49258496 9586 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9586 301 301 0 11725 0
vsize: 48104
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 15359 0 0 0 66960 42 0 0 25 0 1 0 970336960 49393664 9621 4294967295 134512640 135730672 3221224576 3221220680 134610095 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9621 301 301 0 11758 0
vsize: 48236
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 43766 0 0 0 67898 104 0 0 25 0 1 0 970336960 139259904 27131 4294967295 134512640 135730672 3221224576 3221221068 134608058 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33999 27131 301 301 0 33698 0
vsize: 135996
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 77603 0 0 0 68825 177 0 0 25 0 1 0 970336960 250781696 45423 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61226 45423 301 301 0 60925 0
vsize: 244904
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 102235 0 0 0 69774 228 0 0 25 0 1 0 970336960 334667776 57544 4294967295 134512640 135730672 3221224576 3219911328 134783984 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81706 57544 301 301 0 81405 0
vsize: 326824
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 117107 0 0 0 70744 258 0 0 25 0 1 0 970336960 343859200 72189 4294967295 134512640 135730672 3221224576 3219968364 135301586 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83950 72189 301 301 0 83649 0
vsize: 335800
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 154522 0 0 0 71669 333 0 0 25 0 1 0 970336960 461389824 91034 4294967295 134512640 135730672 3221224576 3219916096 134546483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112644 91035 301 301 0 112343 0
vsize: 450576
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 190853 0 0 0 72589 413 0 0 25 0 1 0 970336960 562053120 102576 4294967295 134512640 135730672 3221224576 3220199568 134770873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137220 102576 301 301 0 136919 0
vsize: 548880
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 203226 0 0 0 73560 442 0 0 25 0 1 0 970336960 595607552 114729 4294967295 134512640 135730672 3221224576 3220382504 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145412 114730 301 301 0 145111 0
vsize: 581648
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 218581 0 0 0 74525 477 0 0 25 0 1 0 970336960 605339648 129851 4294967295 134512640 135730672 3221224576 3219947184 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147788 129852 301 301 0 147487 0
vsize: 591152
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 232529 0 0 0 75496 507 0 0 25 0 1 0 970336960 668377088 143603 4294967295 134512640 135730672 3221224576 3219912352 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163178 143603 301 301 0 162877 0
vsize: 652712
[startup+768.894 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25212
Raw data (stat): 25212 (pb2sat-v2) R 25211 21152 21151 0 -1 0 232529 0 0 0 75496 507 0 0 25 0 1 0 970336960 668377088 143603 4294967295 134512640 135730672 3221224576 3219912352 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163178 143603 301 301 0 162877 0
vsize: 0

Child status: 1
Real time (s): 768.894
CPU time (s): 768.886
CPU user time (s): 763.386
CPU system time (s): 5.50016
CPU usage (%): 99.999
Max. virtual memory (Kb): 652712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####