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-n3700.opb
MD5SUM	bc3b48d8361bf44c5b17a3bc4d19364a
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	29631666774144
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	29631666774144
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 42561

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 10:50:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25778 boxname=wulflinc6 idbench=1078 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bc3b48d8361bf44c5b17a3bc4d19364a  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n3700.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n3700.opb
IDLAUNCH: 25778
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        654416 kB
Buffers:         33800 kB
Cached:         323192 kB
SwapCached:       1028 kB
Active:          51048 kB
Inactive:       308140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        654164 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15340 kB
Committed_AS:    63836 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:03:34 (client local time) WITH STATUS 1 IN 776.188 SECONDS
stats: 25778 7 776.188 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.89 0.93 0.90 2/54 19043
Raw data (stat): 19043 (runsolver) R 19042 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970176815 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+9.99991 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 2195 0 0 0 994 5 0 0 25 0 1 0 970176815 8093696 1520 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1976 1520 301 301 0 1675 0
vsize: 7904
[startup+20 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 2731 0 0 0 1993 6 0 0 25 0 1 0 970176815 9445376 2047 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2306 2047 301 301 0 2005 0
vsize: 9224
[startup+30.0002 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 3878 0 0 0 2991 8 0 0 25 0 1 0 970176815 13414400 2482 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2482 301 301 0 2974 0
vsize: 13100
[startup+40.0003 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 4130 0 0 0 3990 10 0 0 25 0 1 0 970176815 14090240 2729 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2729 301 301 0 3139 0
vsize: 13760
[startup+50.0005 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 4382 0 0 0 4990 10 0 0 25 0 1 0 970176815 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.0006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 4606 0 0 0 5989 11 0 0 25 0 1 0 970176815 15306752 3198 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3198 301 301 0 3436 0
vsize: 14948
[startup+70.0008 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 4812 0 0 0 6989 12 0 0 25 0 1 0 970176815 15847424 3400 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3400 301 301 0 3568 0
vsize: 15476
[startup+80.0009 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 5002 0 0 0 7988 13 0 0 25 0 1 0 970176815 16388096 3587 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3587 301 301 0 3700 0
vsize: 16004
[startup+90.0011 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 5184 0 0 0 8988 14 0 0 25 0 1 0 970176815 16928768 3766 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3766 301 301 0 3832 0
vsize: 16532
[startup+100.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 5355 0 0 0 9987 14 0 0 25 0 1 0 970176815 17334272 3935 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3935 301 301 0 3931 0
vsize: 16928
[startup+110.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 5520 0 0 0 10987 15 0 0 25 0 1 0 970176815 17739776 4097 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4331 4097 301 301 0 4030 0
vsize: 17324
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 7496 0 0 0 11983 19 0 0 25 0 1 0 970176815 25407488 4661 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4661 301 301 0 5902 0
vsize: 24812
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 7551 0 0 0 12983 19 0 0 25 0 1 0 970176815 25407488 4713 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4713 301 301 0 5902 0
vsize: 24812
[startup+140.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 7602 0 0 0 13983 20 0 0 25 0 1 0 970176815 25407488 4762 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4762 301 301 0 5902 0
vsize: 24812
[startup+150.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 7681 0 0 0 14982 21 0 0 25 0 1 0 970176815 25407488 4838 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4838 301 301 0 5902 0
vsize: 24812
[startup+160.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 7728 0 0 0 15982 21 0 0 25 0 1 0 970176815 25407488 4883 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4883 301 301 0 5902 0
vsize: 24812
[startup+170.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 7858 0 0 0 16982 21 0 0 25 0 1 0 970176815 25812992 5011 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5011 301 301 0 6001 0
vsize: 25208
[startup+180.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 7988 0 0 0 17982 22 0 0 25 0 1 0 970176815 26083328 5139 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6368 5139 301 301 0 6067 0
vsize: 25472
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 8114 0 0 0 18981 22 0 0 25 0 1 0 970176815 26488832 5263 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5263 301 301 0 6166 0
vsize: 25868
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 8237 0 0 0 19981 23 0 0 25 0 1 0 970176815 26759168 5384 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6533 5384 301 301 0 6232 0
vsize: 26132
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 8357 0 0 0 20981 23 0 0 25 0 1 0 970176815 27164672 5502 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5502 301 301 0 6331 0
vsize: 26528
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 8475 0 0 0 21981 24 0 0 25 0 1 0 970176815 27435008 5618 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6698 5618 301 301 0 6397 0
vsize: 26792
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 8591 0 0 0 22981 25 0 0 25 0 1 0 970176815 27705344 5732 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6764 5732 301 301 0 6463 0
vsize: 27056
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 8705 0 0 0 23980 25 0 0 25 0 1 0 970176815 28110848 5844 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5844 301 301 0 6562 0
vsize: 27452
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 8814 0 0 0 24980 26 0 0 25 0 1 0 970176815 28381184 5952 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5952 301 301 0 6628 0
vsize: 27716
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 8924 0 0 0 25979 27 0 0 25 0 1 0 970176815 28651520 6060 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6060 301 301 0 6694 0
vsize: 27980
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9032 0 0 0 26979 28 0 0 25 0 1 0 970176815 28921856 6166 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6166 301 301 0 6760 0
vsize: 28244
[startup+280.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9135 0 0 0 27978 29 0 0 25 0 1 0 970176815 29192192 6268 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6268 301 301 0 6826 0
vsize: 28508
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9239 0 0 0 28977 30 0 0 25 0 1 0 970176815 29462528 6370 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6370 301 301 0 6892 0
vsize: 28772
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9342 0 0 0 29977 30 0 0 25 0 1 0 970176815 29732864 6471 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6471 301 301 0 6958 0
vsize: 29036
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9440 0 0 0 30976 31 0 0 25 0 1 0 970176815 30003200 6568 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6568 301 301 0 7024 0
vsize: 29300
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9540 0 0 0 31976 32 0 0 25 0 1 0 970176815 30273536 6666 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6666 301 301 0 7090 0
vsize: 29564
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9638 0 0 0 32975 33 0 0 25 0 1 0 970176815 30543872 6762 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6762 301 301 0 7156 0
vsize: 29828
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9733 0 0 0 33975 34 0 0 25 0 1 0 970176815 30814208 6856 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6856 301 301 0 7222 0
vsize: 30092
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9828 0 0 0 34974 34 0 0 25 0 1 0 970176815 30949376 6949 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6949 301 301 0 7255 0
vsize: 30224
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 9921 0 0 0 35974 35 0 0 25 0 1 0 970176815 31219712 7041 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7622 7041 301 301 0 7321 0
vsize: 30488
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10013 0 0 0 36974 35 0 0 25 0 1 0 970176815 31490048 7131 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7131 301 301 0 7387 0
vsize: 30752
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10104 0 0 0 37974 36 0 0 25 0 1 0 970176815 31760384 7221 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7221 301 301 0 7453 0
vsize: 31016
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10194 0 0 0 38974 36 0 0 25 0 1 0 970176815 32030720 7309 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7309 301 301 0 7519 0
vsize: 31280
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10283 0 0 0 39973 37 0 0 25 0 1 0 970176815 32165888 7397 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7397 301 301 0 7552 0
vsize: 31412
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10369 0 0 0 40973 37 0 0 25 0 1 0 970176815 32436224 7482 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7482 301 301 0 7618 0
vsize: 31676
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10456 0 0 0 41973 38 0 0 25 0 1 0 970176815 32706560 7567 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7568 301 301 0 7684 0
vsize: 31940
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10541 0 0 0 42972 39 0 0 25 0 1 0 970176815 32841728 7651 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7651 301 301 0 7717 0
vsize: 32072
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10627 0 0 0 43972 39 0 0 25 0 1 0 970176815 33112064 7735 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7735 301 301 0 7783 0
vsize: 32336
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10710 0 0 0 44972 40 0 0 25 0 1 0 970176815 33382400 7817 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7817 301 301 0 7849 0
vsize: 32600
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10793 0 0 0 45971 40 0 0 25 0 1 0 970176815 33517568 7899 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7899 301 301 0 7882 0
vsize: 32732
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10875 0 0 0 46971 41 0 0 25 0 1 0 970176815 33787904 7979 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7979 301 301 0 7948 0
vsize: 32996
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 10957 0 0 0 47971 41 0 0 25 0 1 0 970176815 34058240 8060 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8315 8060 301 301 0 8014 0
vsize: 33260
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 14829 0 0 0 48964 49 0 0 25 0 1 0 970176815 49258496 9113 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9113 301 301 0 11725 0
vsize: 48104
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 14857 0 0 0 49964 49 0 0 25 0 1 0 970176815 49258496 9140 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9140 301 301 0 11725 0
vsize: 48104
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 14886 0 0 0 50964 49 0 0 25 0 1 0 970176815 49258496 9167 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9167 301 301 0 11725 0
vsize: 48104
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 14913 0 0 0 51963 50 0 0 25 0 1 0 970176815 49258496 9193 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9193 301 301 0 11725 0
vsize: 48104
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 14940 0 0 0 52963 50 0 0 25 0 1 0 970176815 49258496 9219 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9219 301 301 0 11725 0
vsize: 48104
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 14967 0 0 0 53963 50 0 0 25 0 1 0 970176815 49258496 9245 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9245 301 301 0 11725 0
vsize: 48104
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 14995 0 0 0 54964 50 0 0 25 0 1 0 970176815 49258496 9271 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9271 301 301 0 11725 0
vsize: 48104
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19043
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15022 0 0 0 55964 51 0 0 25 0 1 0 970176815 49258496 9297 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9297 301 301 0 11725 0
vsize: 48104
[startup+570.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19096
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15048 0 0 0 56957 57 0 0 25 0 1 0 970176815 49258496 9322 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9322 301 301 0 11725 0
vsize: 48104
[startup+580.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19096
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15075 0 0 0 57957 58 0 0 25 0 1 0 970176815 49258496 9348 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9348 301 301 0 11725 0
vsize: 48104
[startup+590.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19096
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15100 0 0 0 58956 58 0 0 25 0 1 0 970176815 49258496 9372 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9372 301 301 0 11725 0
vsize: 48104
[startup+600.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19096
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15127 0 0 0 59956 58 0 0 25 0 1 0 970176815 49258496 9397 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9397 301 301 0 11725 0
vsize: 48104
[startup+610.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19096
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15153 0 0 0 60957 58 0 0 25 0 1 0 970176815 49258496 9422 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9422 301 301 0 11725 0
vsize: 48104
[startup+620.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19096
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15202 0 0 0 61957 58 0 0 25 0 1 0 970176815 49258496 9470 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9470 301 301 0 11725 0
vsize: 48104
[startup+630.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19096
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15230 0 0 0 62957 58 0 0 25 0 1 0 970176815 49258496 9497 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9497 301 301 0 11725 0
vsize: 48104
[startup+640.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15255 0 0 0 63958 58 0 0 25 0 1 0 970176815 49258496 9521 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9521 301 301 0 11725 0
vsize: 48104
[startup+650.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15280 0 0 0 64957 58 0 0 25 0 1 0 970176815 49258496 9545 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9545 301 301 0 11725 0
vsize: 48104
[startup+660.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15306 0 0 0 65957 58 0 0 25 0 1 0 970176815 49258496 9569 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9569 301 301 0 11725 0
vsize: 48104
[startup+670.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 15330 0 0 0 66958 58 0 0 25 0 1 0 970176815 49258496 9592 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9592 301 301 0 11725 0
vsize: 48104
[startup+680.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 21481 0 0 0 67943 73 0 0 25 0 1 0 970176815 68685824 14214 4294967295 134512640 135730672 3221224576 3220039656 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16769 14214 301 301 0 16468 0
vsize: 67076
[startup+690.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 47388 0 0 0 68884 132 0 0 25 0 1 0 970176815 139395072 30689 4294967295 134512640 135730672 3221224576 3220341120 134770772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34032 30689 301 301 0 33731 0
vsize: 136128
[startup+700.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 81208 0 0 0 69816 201 0 0 25 0 1 0 970176815 250646528 48962 4294967295 134512640 135730672 3221224576 3220051816 135284216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61193 48962 301 301 0 60892 0
vsize: 244772
[startup+710.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 105604 0 0 0 70764 254 0 0 25 0 1 0 970176815 334532608 60853 4294967295 134512640 135730672 3221224576 3220155056 134770685 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81673 60853 301 301 0 81372 0
vsize: 326692
[startup+720.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 127713 0 0 0 71716 301 0 0 25 0 1 0 970176815 497553408 82475 4294967295 134512640 135730672 3221224576 3220235820 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121473 82475 301 301 0 121172 0
vsize: 485892
[startup+730.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 159052 0 0 0 72652 365 0 0 25 0 1 0 970176815 463282176 95491 4294967295 134512640 135730672 3221224576 3220381904 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113106 95492 301 301 0 112805 0
vsize: 452424
[startup+740.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 193543 0 0 0 73579 438 0 0 25 0 1 0 970176815 597499904 105226 4294967295 134512640 135730672 3221224576 3220152792 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145874 105226 301 301 0 145573 0
vsize: 583496
[startup+750.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 207596 0 0 0 74549 468 0 0 25 0 1 0 970176815 597499904 119029 4294967295 134512640 135730672 3221224576 3220364408 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145874 119029 301 301 0 145573 0
vsize: 583496
[startup+760.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 223826 0 0 0 75512 506 0 0 25 0 1 0 970176815 611422208 135028 4294967295 134512640 135730672 3221224576 3219943008 134770759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149273 135029 301 301 0 148972 0
vsize: 597092
[startup+770.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 237928 0 0 0 76479 539 0 0 25 0 1 0 970176815 674865152 148934 4294967295 134512640 135730672 3221224576 3219984824 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164762 148934 301 301 0 164461 0
vsize: 659048
[startup+776.015 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 19098
Raw data (stat): 19043 (pb2sat-v2) R 19042 25568 25567 0 -1 0 237928 0 0 0 76479 539 0 0 25 0 1 0 970176815 674865152 148934 4294967295 134512640 135730672 3221224576 3219984824 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164762 148934 301 301 0 164461 0
vsize: 0

Child status: 1
Real time (s): 776.015
CPU time (s): 776.188
CPU user time (s): 770.464
CPU system time (s): 5.72413
CPU usage (%): 100.022
Max. virtual memory (Kb): 659048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####