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-n3707.opb
MD5SUM	9a33380ca74da1778d689b1fccd15cfc
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	29764190431236
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	29764190431236
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.42078
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 42570

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 11:05:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25785 boxname=wulflinc5 idbench=1085 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 25785
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        735460 kB
Buffers:         27884 kB
Cached:         247712 kB
SwapCached:        688 kB
Active:          45012 kB
Inactive:       232696 kB
HighTotal:      131008 kB
HighFree:         6496 kB
LowTotal:       903652 kB
LowFree:        728964 kB
SwapTotal:     2097136 kB
SwapFree:      2095520 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15780 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:18:47 (client local time) WITH STATUS 1 IN 780.019 SECONDS
stats: 25785 7 780.019 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 13183
Raw data (stat): 13183 (runsolver) R 13182 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970268674 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.0001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 2147 0 0 0 994 5 0 0 25 0 1 0 970268674 7958528 1473 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1943 1473 301 301 0 1642 0
vsize: 7772
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 2678 0 0 0 1992 7 0 0 25 0 1 0 970268674 9310208 1995 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2273 1995 301 301 0 1972 0
vsize: 9092
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 3846 0 0 0 2990 10 0 0 25 0 1 0 970268674 13414400 2451 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2451 301 301 0 2974 0
vsize: 13100
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 4078 0 0 0 3989 10 0 0 25 0 1 0 970268674 13955072 2678 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3407 2678 301 301 0 3106 0
vsize: 13628
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 4340 0 0 0 4988 12 0 0 25 0 1 0 970268674 14630912 2936 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3572 2936 301 301 0 3271 0
vsize: 14288
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 4571 0 0 0 5986 13 0 0 25 0 1 0 970268674 15306752 3163 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3163 301 301 0 3436 0
vsize: 14948
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 4780 0 0 0 6986 14 0 0 25 0 1 0 970268674 15847424 3369 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3369 301 301 0 3568 0
vsize: 15476
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 4976 0 0 0 7986 15 0 0 25 0 1 0 970268674 16388096 3562 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3562 301 301 0 3700 0
vsize: 16004
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 5162 0 0 0 8985 16 0 0 25 0 1 0 970268674 16793600 3745 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3745 301 301 0 3799 0
vsize: 16400
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 5340 0 0 0 9984 16 0 0 25 0 1 0 970268674 17334272 3920 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3920 301 301 0 3931 0
vsize: 16928
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 5510 0 0 0 10983 17 0 0 25 0 1 0 970268674 17739776 4087 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4331 4087 301 301 0 4030 0
vsize: 17324
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 7493 0 0 0 11979 22 0 0 25 0 1 0 970268674 25407488 4658 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4658 301 301 0 5902 0
vsize: 24812
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 7547 0 0 0 12979 23 0 0 25 0 1 0 970268674 25407488 4709 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4709 301 301 0 5902 0
vsize: 24812
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 7599 0 0 0 13978 23 0 0 25 0 1 0 970268674 25407488 4759 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4759 301 301 0 5902 0
vsize: 24812
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 7676 0 0 0 14977 24 0 0 25 0 1 0 970268674 25407488 4834 4294967295 134512640 135730672 3221224576 3221221520 134539721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4834 301 301 0 5902 0
vsize: 24812
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 7725 0 0 0 15977 25 0 0 25 0 1 0 970268674 25407488 4880 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4880 301 301 0 5902 0
vsize: 24812
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 7846 0 0 0 16976 26 0 0 25 0 1 0 970268674 25812992 4999 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 4999 301 301 0 6001 0
vsize: 25208
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 7975 0 0 0 17975 27 0 0 25 0 1 0 970268674 26083328 5126 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6368 5126 301 301 0 6067 0
vsize: 25472
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 8102 0 0 0 18974 28 0 0 25 0 1 0 970268674 26488832 5251 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5251 301 301 0 6166 0
vsize: 25868
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 8226 0 0 0 19974 29 0 0 25 0 1 0 970268674 26759168 5373 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6533 5373 301 301 0 6232 0
vsize: 26132
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 8346 0 0 0 20973 30 0 0 25 0 1 0 970268674 27029504 5491 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6599 5491 301 301 0 6298 0
vsize: 26396
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 8464 0 0 0 21973 30 0 0 25 0 1 0 970268674 27435008 5607 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6698 5607 301 301 0 6397 0
vsize: 26792
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 8580 0 0 0 22972 31 0 0 25 0 1 0 970268674 27705344 5721 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6764 5721 301 301 0 6463 0
vsize: 27056
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 8692 0 0 0 23971 32 0 0 25 0 1 0 970268674 27975680 5832 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6830 5832 301 301 0 6529 0
vsize: 27320
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 8803 0 0 0 24971 32 0 0 25 0 1 0 970268674 28246016 5941 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6896 5941 301 301 0 6595 0
vsize: 27584
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 8912 0 0 0 25971 33 0 0 25 0 1 0 970268674 28651520 6048 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6048 301 301 0 6694 0
vsize: 27980
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9020 0 0 0 26970 33 0 0 25 0 1 0 970268674 28921856 6154 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6154 301 301 0 6760 0
vsize: 28244
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9124 0 0 0 27970 34 0 0 25 0 1 0 970268674 29192192 6257 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6257 301 301 0 6826 0
vsize: 28508
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9229 0 0 0 28969 35 0 0 25 0 1 0 970268674 29462528 6360 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6360 301 301 0 6892 0
vsize: 28772
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9331 0 0 0 29968 35 0 0 25 0 1 0 970268674 29732864 6460 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6460 301 301 0 6958 0
vsize: 29036
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9430 0 0 0 30968 36 0 0 25 0 1 0 970268674 30003200 6558 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6558 301 301 0 7024 0
vsize: 29300
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9529 0 0 0 31968 36 0 0 25 0 1 0 970268674 30273536 6655 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6655 301 301 0 7090 0
vsize: 29564
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9626 0 0 0 32968 37 0 0 25 0 1 0 970268674 30543872 6751 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6751 301 301 0 7156 0
vsize: 29828
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9722 0 0 0 33967 37 0 0 25 0 1 0 970268674 30679040 6845 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7490 6845 301 301 0 7189 0
vsize: 29960
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9817 0 0 0 34967 38 0 0 25 0 1 0 970268674 30949376 6939 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6939 301 301 0 7255 0
vsize: 30224
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 9911 0 0 0 35966 39 0 0 25 0 1 0 970268674 31219712 7031 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7622 7031 301 301 0 7321 0
vsize: 30488
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10003 0 0 0 36966 39 0 0 25 0 1 0 970268674 31490048 7122 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7122 301 301 0 7387 0
vsize: 30752
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10093 0 0 0 37966 39 0 0 25 0 1 0 970268674 31760384 7210 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7210 301 301 0 7453 0
vsize: 31016
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10183 0 0 0 38965 40 0 0 25 0 1 0 970268674 31895552 7299 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7299 301 301 0 7486 0
vsize: 31148
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10272 0 0 0 39965 40 0 0 25 0 1 0 970268674 32165888 7386 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7386 301 301 0 7552 0
vsize: 31412
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10360 0 0 0 40965 41 0 0 25 0 1 0 970268674 32436224 7473 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7473 301 301 0 7618 0
vsize: 31676
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10447 0 0 0 41965 41 0 0 25 0 1 0 970268674 32706560 7558 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7558 301 301 0 7684 0
vsize: 31940
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10532 0 0 0 42964 42 0 0 25 0 1 0 970268674 32841728 7642 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7642 301 301 0 7717 0
vsize: 32072
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10616 0 0 0 43963 43 0 0 25 0 1 0 970268674 33112064 7725 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7725 301 301 0 7783 0
vsize: 32336
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10701 0 0 0 44963 44 0 0 25 0 1 0 970268674 33382400 7808 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7808 301 301 0 7849 0
vsize: 32600
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10783 0 0 0 45963 44 0 0 25 0 1 0 970268674 33517568 7889 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7889 301 301 0 7882 0
vsize: 32732
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10865 0 0 0 46962 45 0 0 25 0 1 0 970268674 33787904 7970 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7970 301 301 0 7948 0
vsize: 32996
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 10946 0 0 0 47962 45 0 0 25 0 1 0 970268674 33923072 8049 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8049 301 301 0 7981 0
vsize: 33128
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 14826 0 0 0 48954 53 0 0 25 0 1 0 970268674 49258496 9110 4294967295 134512640 135730672 3221224576 3221221776 134577628 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9110 301 301 0 11725 0
vsize: 48104
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 14853 0 0 0 49954 53 0 0 25 0 1 0 970268674 49258496 9136 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9136 301 301 0 11725 0
vsize: 48104
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 14882 0 0 0 50954 54 0 0 25 0 1 0 970268674 49258496 9164 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9164 301 301 0 11725 0
vsize: 48104
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 14910 0 0 0 51954 54 0 0 25 0 1 0 970268674 49258496 9190 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9190 301 301 0 11725 0
vsize: 48104
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 14938 0 0 0 52953 55 0 0 25 0 1 0 970268674 49258496 9217 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9217 301 301 0 11725 0
vsize: 48104
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 14964 0 0 0 53953 55 0 0 25 0 1 0 970268674 49258496 9242 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9242 301 301 0 11725 0
vsize: 48104
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 14991 0 0 0 54952 56 0 0 25 0 1 0 970268674 49258496 9268 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9268 301 301 0 11725 0
vsize: 48104
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15018 0 0 0 55952 57 0 0 25 0 1 0 970268674 49258496 9293 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9293 301 301 0 11725 0
vsize: 48104
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15045 0 0 0 56951 57 0 0 25 0 1 0 970268674 49258496 9319 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9319 301 301 0 11725 0
vsize: 48104
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15071 0 0 0 57951 58 0 0 25 0 1 0 970268674 49258496 9344 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9344 301 301 0 11725 0
vsize: 48104
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15097 0 0 0 58951 58 0 0 25 0 1 0 970268674 49258496 9369 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9369 301 301 0 11725 0
vsize: 48104
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15122 0 0 0 59951 58 0 0 25 0 1 0 970268674 49258496 9393 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9393 301 301 0 11725 0
vsize: 48104
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15149 0 0 0 60951 58 0 0 25 0 1 0 970268674 49258496 9418 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9418 301 301 0 11725 0
vsize: 48104
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15194 0 0 0 61950 59 0 0 25 0 1 0 970268674 49258496 9462 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9462 301 301 0 11725 0
vsize: 48104
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15225 0 0 0 62950 60 0 0 25 0 1 0 970268674 49258496 9492 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9492 301 301 0 11725 0
vsize: 48104
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15250 0 0 0 63949 60 0 0 25 0 1 0 970268674 49258496 9516 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9516 301 301 0 11725 0
vsize: 48104
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15275 0 0 0 64949 61 0 0 25 0 1 0 970268674 49258496 9540 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9540 301 301 0 11725 0
vsize: 48104
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15300 0 0 0 65949 61 0 0 25 0 1 0 970268674 49258496 9564 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9564 301 301 0 11725 0
vsize: 48104
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15324 0 0 0 66949 62 0 0 25 0 1 0 970268674 49258496 9587 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9587 301 301 0 11725 0
vsize: 48104
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 15790 0 0 0 67948 62 0 0 25 0 1 0 970268674 51150848 10052 4294967295 134512640 135730672 3221224576 3221221368 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12488 10052 301 301 0 12187 0
vsize: 49952
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 44177 0 0 0 68882 129 0 0 25 0 1 0 970268674 139935744 27537 4294967295 134512640 135730672 3221224576 3220430568 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34164 27538 301 301 0 33863 0
vsize: 136656
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 77175 0 0 0 69813 197 0 0 25 0 1 0 970268674 249430016 44997 4294967295 134512640 135730672 3221224576 3220348508 134607990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60896 44998 301 301 0 60595 0
vsize: 243584
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 101928 0 0 0 70763 247 0 0 25 0 1 0 970268674 333316096 57237 4294967295 134512640 135730672 3221224576 3220424480 134783984 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81376 57237 301 301 0 81075 0
vsize: 325504
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 116176 0 0 0 71730 281 0 0 25 0 1 0 970268674 342507520 71269 4294967295 134512640 135730672 3221224576 3219990832 134611253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83620 71270 301 301 0 83319 0
vsize: 334480
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 154179 0 0 0 72659 352 0 0 25 0 1 0 970268674 461389824 90697 4294967295 134512640 135730672 3221224576 3220363752 135284254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112644 90697 301 301 0 112343 0
vsize: 450576
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 190403 0 0 0 73580 431 0 0 25 0 1 0 970268674 562053120 102136 4294967295 134512640 135730672 3221224576 3220449196 134608033 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137220 102136 301 301 0 136919 0
vsize: 548880
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 201861 0 0 0 74553 458 0 0 25 0 1 0 970268674 595607552 113388 4294967295 134512640 135730672 3221224576 3219902592 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145412 113388 301 301 0 145111 0
vsize: 581648
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 215993 0 0 0 75518 493 0 0 25 0 1 0 970268674 600473600 127287 4294967295 134512640 135730672 3221224576 3220098956 134637875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146600 127287 301 301 0 146299 0
vsize: 586400
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 229913 0 0 0 76484 527 0 0 25 0 1 0 970268674 663646208 141015 4294967295 134512640 135730672 3221224576 3220051208 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162023 141015 301 301 0 161722 0
vsize: 648092
[startup+779.915 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 13183
Raw data (stat): 13183 (pb2sat-v2) R 13182 7266 7265 0 -1 0 229913 0 0 0 76484 527 0 0 25 0 1 0 970268674 663646208 141015 4294967295 134512640 135730672 3221224576 3220051208 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162023 141015 301 301 0 161722 0
vsize: 0

Child status: 1
Real time (s): 779.914
CPU time (s): 780.019
CPU user time (s): 774.24
CPU system time (s): 5.77912
CPU usage (%): 100.013
Max. virtual memory (Kb): 648092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####