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-n3708.opb
MD5SUM	530cef6af13bdf9c6dc1bddf1879e0d7
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	29705729356859
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	29705729356859
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.42678
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 42569

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 11:05:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25786 boxname=wulflinc4 idbench=1086 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  530cef6af13bdf9c6dc1bddf1879e0d7  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n3708.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n3708.opb
IDLAUNCH: 25786
/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:        654160 kB
Buffers:         34708 kB
Cached:         323252 kB
SwapCached:        944 kB
Active:          49540 kB
Inactive:       310476 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        653908 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14832 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:18:39 (client local time) WITH STATUS 1 IN 768.577 SECONDS
stats: 25786 7 768.577 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.93 0.97 0.91 1/54 25119
Raw data (stat): 25119 (runsolver) R 25118 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970258860 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 2205 0 0 0 995 4 0 0 25 0 1 0 970258860 8093696 1530 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1976 1530 301 301 0 1675 0
vsize: 7904
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 2750 0 0 0 1993 6 0 0 25 0 1 0 970258860 9445376 2066 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2306 2066 301 301 0 2005 0
vsize: 9224
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 3880 0 0 0 2990 9 0 0 25 0 1 0 970258860 13414400 2484 4294967295 134512640 135730672 3221224576 3221221888 134568922 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2484 301 301 0 2974 0
vsize: 13100
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 4126 0 0 0 3988 10 0 0 25 0 1 0 970258860 14090240 2726 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2726 301 301 0 3139 0
vsize: 13760
[startup+50.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 4378 0 0 0 4986 12 0 0 25 0 1 0 970258860 14766080 2973 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2973 301 301 0 3304 0
vsize: 14420
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 4604 0 0 0 5985 13 0 0 25 0 1 0 970258860 15306752 3196 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3196 301 301 0 3436 0
vsize: 14948
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 4818 0 0 0 6984 14 0 0 25 0 1 0 970258860 15847424 3406 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3406 301 301 0 3568 0
vsize: 15476
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 5016 0 0 0 7983 15 0 0 25 0 1 0 970258860 16388096 3601 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3601 301 301 0 3700 0
vsize: 16004
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 5200 0 0 0 8983 16 0 0 25 0 1 0 970258860 16928768 3782 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3782 301 301 0 3832 0
vsize: 16532
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 5374 0 0 0 9982 17 0 0 25 0 1 0 970258860 17334272 3953 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3953 301 301 0 3931 0
vsize: 16928
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 7447 0 0 0 10979 20 0 0 25 0 1 0 970258860 25407488 4614 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4614 301 301 0 5902 0
vsize: 24812
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 7505 0 0 0 11978 21 0 0 25 0 1 0 970258860 25407488 4669 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4669 301 301 0 5902 0
vsize: 24812
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 7560 0 0 0 12978 21 0 0 25 0 1 0 970258860 25407488 4722 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4722 301 301 0 5902 0
vsize: 24812
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 7613 0 0 0 13978 21 0 0 25 0 1 0 970258860 25407488 4772 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4772 301 301 0 5902 0
vsize: 24812
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 7691 0 0 0 14978 22 0 0 25 0 1 0 970258860 25407488 4848 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4848 301 301 0 5902 0
vsize: 24812
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 7757 0 0 0 15977 23 0 0 25 0 1 0 970258860 25542656 4912 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4912 301 301 0 5935 0
vsize: 24944
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 7891 0 0 0 16976 24 0 0 25 0 1 0 970258860 25948160 5044 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5044 301 301 0 6034 0
vsize: 25340
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8023 0 0 0 17976 25 0 0 25 0 1 0 970258860 26218496 5173 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5173 301 301 0 6100 0
vsize: 25604
[startup+190.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8150 0 0 0 18976 25 0 0 25 0 1 0 970258860 26624000 5298 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6500 5298 301 301 0 6199 0
vsize: 26000
[startup+200.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8274 0 0 0 19976 26 0 0 25 0 1 0 970258860 26894336 5420 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5420 301 301 0 6265 0
vsize: 26264
[startup+210.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8396 0 0 0 20976 26 0 0 25 0 1 0 970258860 27164672 5540 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5540 301 301 0 6331 0
vsize: 26528
[startup+220.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8513 0 0 0 21975 27 0 0 25 0 1 0 970258860 27570176 5656 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5656 301 301 0 6430 0
vsize: 26924
[startup+230.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8630 0 0 0 22975 28 0 0 25 0 1 0 970258860 27840512 5771 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5771 301 301 0 6496 0
vsize: 27188
[startup+240.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8743 0 0 0 23974 28 0 0 25 0 1 0 970258860 28110848 5882 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5882 301 301 0 6562 0
vsize: 27452
[startup+250.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8855 0 0 0 24974 28 0 0 25 0 1 0 970258860 28381184 5992 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5992 301 301 0 6628 0
vsize: 27716
[startup+260.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 8966 0 0 0 25973 29 0 0 25 0 1 0 970258860 28786688 6101 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6101 301 301 0 6727 0
vsize: 28112
[startup+270.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9072 0 0 0 26972 30 0 0 25 0 1 0 970258860 29057024 6206 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6206 301 301 0 6793 0
vsize: 28376
[startup+280.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9178 0 0 0 27972 30 0 0 25 0 1 0 970258860 29327360 6310 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6310 301 301 0 6859 0
vsize: 28640
[startup+290.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9283 0 0 0 28971 31 0 0 25 0 1 0 970258860 29597696 6413 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6413 301 301 0 6925 0
vsize: 28904
[startup+300.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9386 0 0 0 29971 32 0 0 25 0 1 0 970258860 29868032 6514 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6514 301 301 0 6991 0
vsize: 29168
[startup+310.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9485 0 0 0 30970 32 0 0 25 0 1 0 970258860 30138368 6612 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6612 301 301 0 7057 0
vsize: 29432
[startup+320.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9585 0 0 0 31970 33 0 0 25 0 1 0 970258860 30408704 6710 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6710 301 301 0 7123 0
vsize: 29696
[startup+330.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9682 0 0 0 32969 33 0 0 25 0 1 0 970258860 30679040 6806 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7490 6806 301 301 0 7189 0
vsize: 29960
[startup+340.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9779 0 0 0 33969 34 0 0 25 0 1 0 970258860 30949376 6901 4294967295 134512640 135730672 3221224576 3221221776 134579294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6901 301 301 0 7255 0
vsize: 30224
[startup+350.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9873 0 0 0 34968 34 0 0 25 0 1 0 970258860 31084544 6994 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6994 301 301 0 7288 0
vsize: 30356
[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 9967 0 0 0 35968 35 0 0 25 0 1 0 970258860 31354880 7086 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7086 301 301 0 7354 0
vsize: 30620
[startup+370.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10059 0 0 0 36968 35 0 0 25 0 1 0 970258860 31625216 7177 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7177 301 301 0 7420 0
vsize: 30884
[startup+380.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10151 0 0 0 37968 36 0 0 25 0 1 0 970258860 31895552 7267 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7267 301 301 0 7486 0
vsize: 31148
[startup+390.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10241 0 0 0 38967 36 0 0 25 0 1 0 970258860 32165888 7356 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7356 301 301 0 7552 0
vsize: 31412
[startup+400.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10331 0 0 0 39967 37 0 0 25 0 1 0 970258860 32301056 7444 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7444 301 301 0 7585 0
vsize: 31544
[startup+410.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10418 0 0 0 40966 38 0 0 25 0 1 0 970258860 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10506 0 0 0 41966 38 0 0 25 0 1 0 970258860 32841728 7616 4294967295 134512640 135730672 3221224576 3221221664 134561669 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.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10592 0 0 0 42965 39 0 0 25 0 1 0 970258860 32976896 7701 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7701 301 301 0 7750 0
vsize: 32204
[startup+440.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10676 0 0 0 43965 39 0 0 25 0 1 0 970258860 33247232 7784 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8117 7784 301 301 0 7816 0
vsize: 32468
[startup+450.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10761 0 0 0 44964 40 0 0 25 0 1 0 970258860 33517568 7867 4294967295 134512640 135730672 3221224576 3221221664 134561669 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10844 0 0 0 45963 40 0 0 25 0 1 0 970258860 33652736 7949 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8216 7949 301 301 0 7915 0
vsize: 32864
[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 10925 0 0 0 46963 41 0 0 25 0 1 0 970258860 33923072 8029 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8029 301 301 0 7981 0
vsize: 33128
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 14819 0 0 0 47955 49 0 0 25 0 1 0 970258860 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 14848 0 0 0 48955 49 0 0 25 0 1 0 970258860 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 14875 0 0 0 49955 50 0 0 25 0 1 0 970258860 49258496 9157 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9157 301 301 0 11725 0
vsize: 48104
[startup+510.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 14904 0 0 0 50955 50 0 0 25 0 1 0 970258860 49258496 9185 4294967295 134512640 135730672 3221224576 3221221664 134561669 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.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 14933 0 0 0 51954 50 0 0 25 0 1 0 970258860 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.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 14960 0 0 0 52954 50 0 0 25 0 1 0 970258860 49258496 9238 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9238 301 301 0 11725 0
vsize: 48104
[startup+540.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 14987 0 0 0 53954 51 0 0 25 0 1 0 970258860 49258496 9264 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9264 301 301 0 11725 0
vsize: 48104
[startup+550.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15014 0 0 0 54953 51 0 0 25 0 1 0 970258860 49258496 9290 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9290 301 301 0 11725 0
vsize: 48104
[startup+560.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15041 0 0 0 55953 52 0 0 25 0 1 0 970258860 49258496 9315 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9315 301 301 0 11725 0
vsize: 48104
[startup+570.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15068 0 0 0 56953 52 0 0 25 0 1 0 970258860 49258496 9341 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9341 301 301 0 11725 0
vsize: 48104
[startup+580.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15094 0 0 0 57953 52 0 0 25 0 1 0 970258860 49258496 9366 4294967295 134512640 135730672 3221224576 3221221664 134561669 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.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15120 0 0 0 58952 53 0 0 25 0 1 0 970258860 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.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15146 0 0 0 59952 53 0 0 25 0 1 0 970258860 49258496 9416 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9416 301 301 0 11725 0
vsize: 48104
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15189 0 0 0 60951 54 0 0 25 0 1 0 970258860 49258496 9457 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9457 301 301 0 11725 0
vsize: 48104
[startup+620.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15224 0 0 0 61951 55 0 0 25 0 1 0 970258860 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.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15248 0 0 0 62951 55 0 0 25 0 1 0 970258860 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.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15274 0 0 0 63950 55 0 0 25 0 1 0 970258860 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.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15299 0 0 0 64949 56 0 0 25 0 1 0 970258860 49258496 9563 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9563 301 301 0 11725 0
vsize: 48104
[startup+660.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15323 0 0 0 65949 57 0 0 25 0 1 0 970258860 49258496 9586 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9586 301 301 0 11725 0
vsize: 48104
[startup+670.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 15761 0 0 0 66948 58 0 0 25 0 1 0 970258860 51015680 10023 4294967295 134512640 135730672 3221224576 3221221684 134541884 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12455 10024 301 301 0 12154 0
vsize: 49820
[startup+680.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 43535 0 0 0 67889 117 0 0 25 0 1 0 970258860 138448896 26900 4294967295 134512640 135730672 3221224576 3219857720 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33801 26901 301 301 0 33500 0
vsize: 135204
[startup+690.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 75157 0 0 0 68818 189 0 0 25 0 1 0 970258860 241455104 42979 4294967295 134512640 135730672 3221224576 3219858944 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58949 42979 301 301 0 58648 0
vsize: 235796
[startup+700.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 99981 0 0 0 69762 244 0 0 25 0 1 0 970258860 325341184 55290 4294967295 134512640 135730672 3221224576 3220050992 134784086 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79429 55290 301 301 0 79128 0
vsize: 317716
[startup+710.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 117858 0 0 0 70720 286 0 0 25 0 1 0 970258860 343318528 72925 4294967295 134512640 135730672 3221224576 3220288824 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83818 72925 301 301 0 83517 0
vsize: 335272
[startup+720.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 156906 0 0 0 71646 361 0 0 25 0 1 0 970258860 467066880 93400 4294967295 134512640 135730672 3221224576 3220121736 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114030 93400 301 301 0 113729 0
vsize: 456120
[startup+730.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 192987 0 0 0 72566 441 0 0 25 0 1 0 970258860 567730176 104697 4294967295 134512640 135730672 3221224576 3220138912 134788125 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138606 104697 301 301 0 138305 0
vsize: 554424
[startup+740.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 205070 0 0 0 73543 464 0 0 25 0 1 0 970258860 601284608 116564 4294967295 134512640 135730672 3221224576 3220333216 135282243 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146798 116565 301 301 0 146497 0
vsize: 587192
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 220081 0 0 0 74512 495 0 0 25 0 1 0 970258860 607232000 131332 4294967295 134512640 135730672 3221224576 3220406976 134770721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148250 131332 301 301 0 147949 0
vsize: 593000
[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 234419 0 0 0 75478 530 0 0 25 0 1 0 970258860 671215616 145473 4294967295 134512640 135730672 3221224576 3220490232 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163871 145473 301 301 0 163570 0
vsize: 655484
[startup+768.592 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25119
Raw data (stat): 25119 (pb2sat-v2) R 25118 21152 21151 0 -1 0 234419 0 0 0 75478 530 0 0 25 0 1 0 970258860 671215616 145473 4294967295 134512640 135730672 3221224576 3220490232 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163871 145473 301 301 0 163570 0
vsize: 0

Child status: 1
Real time (s): 768.591
CPU time (s): 768.577
CPU user time (s): 762.904
CPU system time (s): 5.67314
CPU usage (%): 99.9981
Max. virtual memory (Kb): 655484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####