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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb
MD5SUM	2b4498b8d68d4bfe8495244ac3a43397
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	158360
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	33594826051364978688
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	33607626051364978688
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.60676
Number of variables	158360
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	158360
Trace number 43039

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 21:30:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26251 boxname=wulflinc4 idbench=1551 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2b4498b8d68d4bfe8495244ac3a43397  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-NSR8K.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-NSR8K.opb
IDLAUNCH: 26251
/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:        642208 kB
Buffers:         22692 kB
Cached:         347072 kB
SwapCached:        904 kB
Active:          46824 kB
Inactive:       325032 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        641956 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14856 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 21:43:39 (client local time) WITH STATUS 1 IN 800.761 SECONDS
stats: 26251 7 800.761 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.85 0.94 0.90 2/54 743
Raw data (stat): 743 (runsolver) R 742 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 974006099 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+9.99982 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 1965 0 0 0 994 5 0 0 25 0 1 0 974006099 7417856 1294 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1811 1294 301 301 0 1510 0
vsize: 7244
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 2575 0 0 0 1992 6 0 0 25 0 1 0 974006099 9039872 1894 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2207 1894 301 301 0 1906 0
vsize: 8828
[startup+30.0005 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 3824 0 0 0 2988 9 0 0 25 0 1 0 974006099 13414400 2430 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2430 301 301 0 2974 0
vsize: 13100
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 4032 0 0 0 3988 10 0 0 25 0 1 0 974006099 13819904 2633 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3374 2633 301 301 0 3073 0
vsize: 13496
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 4305 0 0 0 4986 11 0 0 25 0 1 0 974006099 14495744 2902 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3539 2902 301 301 0 3238 0
vsize: 14156
[startup+60.002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 4547 0 0 0 5986 11 0 0 25 0 1 0 974006099 15171584 3140 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3704 3140 301 301 0 3403 0
vsize: 14816
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 4769 0 0 0 6986 12 0 0 25 0 1 0 974006099 15712256 3358 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3836 3358 301 301 0 3535 0
vsize: 15344
[startup+80.0021 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 4970 0 0 0 7985 12 0 0 25 0 1 0 974006099 16252928 3556 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3968 3556 301 301 0 3667 0
vsize: 15872
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 5158 0 0 0 8985 13 0 0 25 0 1 0 974006099 16793600 3741 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3741 301 301 0 3799 0
vsize: 16400
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 5333 0 0 0 9984 14 0 0 25 0 1 0 974006099 17199104 3913 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4199 3913 301 301 0 3898 0
vsize: 16796
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 5501 0 0 0 10983 14 0 0 25 0 1 0 974006099 17739776 4078 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4331 4078 301 301 0 4030 0
vsize: 17324
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 7490 0 0 0 11980 18 0 0 25 0 1 0 974006099 25407488 4655 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4655 301 301 0 5902 0
vsize: 24812
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 7544 0 0 0 12979 18 0 0 25 0 1 0 974006099 25407488 4706 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4706 301 301 0 5902 0
vsize: 24812
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 7595 0 0 0 13979 19 0 0 25 0 1 0 974006099 25407488 4755 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4755 301 301 0 5902 0
vsize: 24812
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 7672 0 0 0 14978 20 0 0 25 0 1 0 974006099 25407488 4830 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4830 301 301 0 5902 0
vsize: 24812
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 7720 0 0 0 15978 21 0 0 25 0 1 0 974006099 25407488 4876 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4876 301 301 0 5902 0
vsize: 24812
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 7836 0 0 0 16978 21 0 0 25 0 1 0 974006099 25812992 4989 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6302 4989 301 301 0 6001 0
vsize: 25208
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 7965 0 0 0 17977 21 0 0 25 0 1 0 974006099 26083328 5116 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6368 5116 301 301 0 6067 0
vsize: 25472
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 8092 0 0 0 18977 22 0 0 25 0 1 0 974006099 26488832 5241 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6467 5241 301 301 0 6166 0
vsize: 25868
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 8215 0 0 0 19976 23 0 0 25 0 1 0 974006099 26759168 5362 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6533 5362 301 301 0 6232 0
vsize: 26132
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 8336 0 0 0 20976 23 0 0 25 0 1 0 974006099 27029504 5481 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6599 5481 301 301 0 6298 0
vsize: 26396
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 8453 0 0 0 21975 24 0 0 25 0 1 0 974006099 27435008 5597 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5597 301 301 0 6397 0
vsize: 26792
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 8569 0 0 0 22975 25 0 0 25 0 1 0 974006099 27705344 5711 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6764 5711 301 301 0 6463 0
vsize: 27056
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 8682 0 0 0 23974 25 0 0 25 0 1 0 974006099 27975680 5822 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6830 5822 301 301 0 6529 0
vsize: 27320
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 8795 0 0 0 24974 26 0 0 25 0 1 0 974006099 28246016 5933 4294967295 134512640 135730672 3221224576 3221221644 134529932 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6896 5933 301 301 0 6595 0
vsize: 27584
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 8904 0 0 0 25973 27 0 0 25 0 1 0 974006099 28516352 6040 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 6040 301 301 0 6661 0
vsize: 27848
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9010 0 0 0 26973 27 0 0 25 0 1 0 974006099 28786688 6145 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7028 6145 301 301 0 6727 0
vsize: 28112
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9115 0 0 0 27972 28 0 0 25 0 1 0 974006099 29192192 6248 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7127 6248 301 301 0 6826 0
vsize: 28508
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9219 0 0 0 28972 28 0 0 25 0 1 0 974006099 29462528 6350 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7193 6350 301 301 0 6892 0
vsize: 28772
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9321 0 0 0 29972 29 0 0 25 0 1 0 974006099 29732864 6451 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7259 6451 301 301 0 6958 0
vsize: 29036
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9422 0 0 0 30971 29 0 0 25 0 1 0 974006099 30003200 6550 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 6550 301 301 0 7024 0
vsize: 29300
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9520 0 0 0 31971 30 0 0 25 0 1 0 974006099 30138368 6646 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7358 6646 301 301 0 7057 0
vsize: 29432
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9618 0 0 0 32971 30 0 0 25 0 1 0 974006099 30408704 6743 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7424 6743 301 301 0 7123 0
vsize: 29696
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9714 0 0 0 33971 30 0 0 25 0 1 0 974006099 30679040 6837 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7490 6837 301 301 0 7189 0
vsize: 29960
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9808 0 0 0 34970 31 0 0 25 0 1 0 974006099 30949376 6930 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7556 6930 301 301 0 7255 0
vsize: 30224
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9901 0 0 0 35970 31 0 0 25 0 1 0 974006099 31219712 7021 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7622 7021 301 301 0 7321 0
vsize: 30488
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 9994 0 0 0 36970 32 0 0 25 0 1 0 974006099 31490048 7113 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7688 7113 301 301 0 7387 0
vsize: 30752
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10085 0 0 0 37969 33 0 0 25 0 1 0 974006099 31625216 7202 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7721 7202 301 301 0 7420 0
vsize: 30884
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10174 0 0 0 38968 33 0 0 25 0 1 0 974006099 31895552 7290 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7787 7290 301 301 0 7486 0
vsize: 31148
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10264 0 0 0 39968 34 0 0 25 0 1 0 974006099 32165888 7378 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7853 7378 301 301 0 7552 0
vsize: 31412
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10351 0 0 0 40968 34 0 0 25 0 1 0 974006099 32436224 7464 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7919 7464 301 301 0 7618 0
vsize: 31676
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10437 0 0 0 41967 35 0 0 25 0 1 0 974006099 32571392 7549 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7952 7549 301 301 0 7651 0
vsize: 31808
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10523 0 0 0 42967 35 0 0 25 0 1 0 974006099 32841728 7633 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8018 7633 301 301 0 7717 0
vsize: 32072
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10608 0 0 0 43966 36 0 0 25 0 1 0 974006099 33112064 7717 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8084 7717 301 301 0 7783 0
vsize: 32336
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10692 0 0 0 44966 37 0 0 25 0 1 0 974006099 33247232 7799 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8117 7799 301 301 0 7816 0
vsize: 32468
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10774 0 0 0 45965 37 0 0 25 0 1 0 974006099 33517568 7880 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8183 7880 301 301 0 7882 0
vsize: 32732
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10856 0 0 0 46965 37 0 0 25 0 1 0 974006099 33787904 7961 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8249 7961 301 301 0 7948 0
vsize: 32996
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 10938 0 0 0 47965 38 0 0 25 0 1 0 974006099 33923072 8041 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8282 8041 301 301 0 7981 0
vsize: 33128
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 14823 0 0 0 48956 47 0 0 25 0 1 0 974006099 49258496 9107 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9107 301 301 0 11725 0
vsize: 48104
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 14851 0 0 0 49956 47 0 0 25 0 1 0 974006099 49258496 9134 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9134 301 301 0 11725 0
vsize: 48104
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 14879 0 0 0 50955 47 0 0 25 0 1 0 974006099 49258496 9161 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9161 301 301 0 11725 0
vsize: 48104
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 14907 0 0 0 51955 48 0 0 25 0 1 0 974006099 49258496 9187 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9187 301 301 0 11725 0
vsize: 48104
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 14934 0 0 0 52955 48 0 0 25 0 1 0 974006099 49258496 9213 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9213 301 301 0 11725 0
vsize: 48104
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 14961 0 0 0 53955 48 0 0 25 0 1 0 974006099 49258496 9239 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9239 301 301 0 11725 0
vsize: 48104
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 14988 0 0 0 54955 48 0 0 25 0 1 0 974006099 49258496 9265 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9265 301 301 0 11725 0
vsize: 48104
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15016 0 0 0 55955 49 0 0 25 0 1 0 974006099 49258496 9291 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9291 301 301 0 11725 0
vsize: 48104
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15042 0 0 0 56955 49 0 0 25 0 1 0 974006099 49258496 9316 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9316 301 301 0 11725 0
vsize: 48104
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15068 0 0 0 57954 49 0 0 25 0 1 0 974006099 49258496 9341 4294967295 134512640 135730672 3221224576 3221221776 134579277 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9341 301 301 0 11725 0
vsize: 48104
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15094 0 0 0 58954 50 0 0 25 0 1 0 974006099 49258496 9366 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9366 301 301 0 11725 0
vsize: 48104
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15120 0 0 0 59954 50 0 0 25 0 1 0 974006099 49258496 9391 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9391 301 301 0 11725 0
vsize: 48104
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15145 0 0 0 60954 51 0 0 25 0 1 0 974006099 49258496 9415 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9415 301 301 0 11725 0
vsize: 48104
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15187 0 0 0 61953 51 0 0 25 0 1 0 974006099 49258496 9455 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9455 301 301 0 11725 0
vsize: 48104
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15223 0 0 0 62953 52 0 0 25 0 1 0 974006099 49258496 9490 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9490 301 301 0 11725 0
vsize: 48104
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15247 0 0 0 63953 52 0 0 25 0 1 0 974006099 49258496 9513 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9513 301 301 0 11725 0
vsize: 48104
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15272 0 0 0 64953 52 0 0 25 0 1 0 974006099 49258496 9537 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9537 301 301 0 11725 0
vsize: 48104
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15296 0 0 0 65952 53 0 0 25 0 1 0 974006099 49258496 9560 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9560 301 301 0 11725 0
vsize: 48104
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15321 0 0 0 66952 53 0 0 25 0 1 0 974006099 49258496 9584 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9584 301 301 0 11725 0
vsize: 48104
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15359 0 0 0 67952 53 0 0 25 0 1 0 974006099 49393664 9621 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12059 9621 301 301 0 11758 0
vsize: 48236
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15427 0 0 0 68952 54 0 0 25 0 1 0 974006099 49528832 9688 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12092 9688 301 301 0 11791 0
vsize: 48368
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15495 0 0 0 69951 55 0 0 25 0 1 0 974006099 49799168 9754 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12158 9754 301 301 0 11857 0
vsize: 48632
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 15563 0 0 0 70951 55 0 0 25 0 1 0 974006099 49934336 9821 4294967295 134512640 135730672 3221224576 3221221108 135292590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12191 9821 301 301 0 11890 0
vsize: 48764
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 35406 0 0 0 71907 99 0 0 25 0 1 0 974006099 110505984 21902 4294967295 134512640 135730672 3221224576 3221196572 135301642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26979 21902 301 301 0 26678 0
vsize: 107916
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 66807 0 0 0 72838 168 0 0 25 0 1 0 974006099 262868992 43585 4294967295 134512640 135730672 3221224576 3221177740 135301624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64177 43585 301 301 0 63876 0
vsize: 256708
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 98780 0 0 0 73766 240 0 0 25 0 1 0 974006099 289439744 54095 4294967295 134512640 135730672 3221224576 3221179068 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70664 54095 301 301 0 70363 0
vsize: 282656
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 116666 0 0 0 74716 290 0 0 25 0 1 0 974006099 335024128 71710 4294967295 134512640 135730672 3221224576 3221208504 135284936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81793 71710 301 301 0 81492 0
vsize: 327172
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 155393 0 0 0 75635 371 0 0 25 0 1 0 974006099 454045696 91848 4294967295 134512640 135730672 3221224576 3221190320 134550133 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110851 91848 301 301 0 110550 0
vsize: 443404
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 191236 0 0 0 76553 453 0 0 25 0 1 0 974006099 588263424 102911 4294967295 134512640 135730672 3221224576 3221208928 134550210 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143619 102911 301 301 0 143318 0
vsize: 574476
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 206869 0 0 0 77516 490 0 0 25 0 1 0 974006099 588263424 118261 4294967295 134512640 135730672 3221224576 3221210548 135284318 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143619 118261 301 301 0 143318 0
vsize: 574476
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 226425 0 0 0 78467 539 0 0 25 0 1 0 974006099 604618752 137536 4294967295 134512640 135730672 3221224576 3221205632 135284041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147612 137536 301 301 0 147311 0
vsize: 590448
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 234980 0 0 0 79430 576 0 0 25 0 1 0 974006099 307310592 74600 4294967295 134512640 135730672 3221224576 3221222928 135284192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75027 74600 301 301 0 74726 0
vsize: 300108
[startup+800.737 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 743
Raw data (stat): 743 (pb2sat-v2) R 742 21152 21151 0 -1 0 234980 0 0 0 79430 576 0 0 25 0 1 0 974006099 307310592 74600 4294967295 134512640 135730672 3221224576 3221222928 135284192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75027 74600 301 301 0 74726 0
vsize: 0

Child status: 1
Real time (s): 800.736
CPU time (s): 800.761
CPU user time (s): 794.833
CPU system time (s): 5.9281
CPU usage (%): 100.003
Max. virtual memory (Kb): 590448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####