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-n370b.opb
MD5SUM	8298f3392c738b735ea9c7e42f541654
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	29694485111877
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	29694485111877
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.44378
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 42575

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 11:16:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25789 boxname=wulflinc6 idbench=1089 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 25789
/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:        631228 kB
Buffers:         33832 kB
Cached:         346280 kB
SwapCached:       1028 kB
Active:          51800 kB
Inactive:       330500 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        630948 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15472 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:29:53 (client local time) WITH STATUS 1 IN 779.419 SECONDS
stats: 25789 7 779.419 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.92 0.95 0.90 2/54 19286
Raw data (stat): 19286 (runsolver) R 19285 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970334406 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 2120 0 0 0 995 4 0 0 25 0 1 0 970334406 7823360 1446 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1910 1446 301 301 0 1609 0
vsize: 7640
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 2652 0 0 0 1993 6 0 0 25 0 1 0 970334406 9310208 1969 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2273 1969 301 301 0 1972 0
vsize: 9092
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 3842 0 0 0 2991 9 0 0 25 0 1 0 970334406 13414400 2447 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2447 301 301 0 2974 0
vsize: 13100
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 4068 0 0 0 3990 10 0 0 25 0 1 0 970334406 13955072 2668 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3407 2668 301 301 0 3106 0
vsize: 13628
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 4331 0 0 0 4989 11 0 0 25 0 1 0 970334406 14630912 2927 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3572 2927 301 301 0 3271 0
vsize: 14288
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 4567 0 0 0 5989 12 0 0 25 0 1 0 970334406 15171584 3159 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3704 3159 301 301 0 3403 0
vsize: 14816
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 4782 0 0 0 6988 14 0 0 25 0 1 0 970334406 15847424 3371 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3371 301 301 0 3568 0
vsize: 15476
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 4979 0 0 0 7988 14 0 0 25 0 1 0 970334406 16388096 3565 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3565 301 301 0 3700 0
vsize: 16004
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 5164 0 0 0 8988 14 0 0 25 0 1 0 970334406 16793600 3747 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3747 301 301 0 3799 0
vsize: 16400
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 5340 0 0 0 9987 15 0 0 25 0 1 0 970334406 17334272 3920 4294967295 134512640 135730672 3221224576 3221221664 134561667 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.98 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 5506 0 0 0 10987 16 0 0 25 0 1 0 970334406 17739776 4083 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4331 4083 301 301 0 4030 0
vsize: 17324
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 7493 0 0 0 11983 20 0 0 25 0 1 0 970334406 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 7549 0 0 0 12983 21 0 0 25 0 1 0 970334406 25407488 4711 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4711 301 301 0 5902 0
vsize: 24812
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 7600 0 0 0 13983 21 0 0 25 0 1 0 970334406 25407488 4760 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4760 301 301 0 5902 0
vsize: 24812
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 7677 0 0 0 14983 22 0 0 25 0 1 0 970334406 25407488 4835 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4835 301 301 0 5902 0
vsize: 24812
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 7727 0 0 0 15982 22 0 0 25 0 1 0 970334406 25407488 4882 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4882 301 301 0 5902 0
vsize: 24812
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 7854 0 0 0 16982 23 0 0 25 0 1 0 970334406 25812992 5007 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5007 301 301 0 6001 0
vsize: 25208
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 7982 0 0 0 17981 24 0 0 25 0 1 0 970334406 26083328 5133 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6368 5133 301 301 0 6067 0
vsize: 25472
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 8109 0 0 0 18981 24 0 0 25 0 1 0 970334406 26488832 5258 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5258 301 301 0 6166 0
vsize: 25868
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 8233 0 0 0 19981 25 0 0 25 0 1 0 970334406 26759168 5380 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6533 5380 301 301 0 6232 0
vsize: 26132
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 8353 0 0 0 20981 26 0 0 25 0 1 0 970334406 27164672 5498 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5498 301 301 0 6331 0
vsize: 26528
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 8471 0 0 0 21980 26 0 0 25 0 1 0 970334406 27435008 5614 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6698 5614 301 301 0 6397 0
vsize: 26792
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 8587 0 0 0 22980 27 0 0 25 0 1 0 970334406 27705344 5728 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6764 5728 301 301 0 6463 0
vsize: 27056
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 8699 0 0 0 23980 27 0 0 25 0 1 0 970334406 27975680 5839 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6830 5839 301 301 0 6529 0
vsize: 27320
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 8811 0 0 0 24981 27 0 0 25 0 1 0 970334406 28381184 5949 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5949 301 301 0 6628 0
vsize: 27716
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 8920 0 0 0 25980 28 0 0 25 0 1 0 970334406 28651520 6056 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6056 301 301 0 6694 0
vsize: 27980
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9028 0 0 0 26980 29 0 0 25 0 1 0 970334406 28921856 6162 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6162 301 301 0 6760 0
vsize: 28244
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9132 0 0 0 27979 29 0 0 25 0 1 0 970334406 29192192 6265 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6265 301 301 0 6826 0
vsize: 28508
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9236 0 0 0 28979 30 0 0 25 0 1 0 970334406 29462528 6367 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6367 301 301 0 6892 0
vsize: 28772
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9339 0 0 0 29979 31 0 0 25 0 1 0 970334406 29732864 6468 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6468 301 301 0 6958 0
vsize: 29036
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9437 0 0 0 30978 32 0 0 25 0 1 0 970334406 30003200 6565 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6565 301 301 0 7024 0
vsize: 29300
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9536 0 0 0 31978 33 0 0 25 0 1 0 970334406 30273536 6662 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6662 301 301 0 7090 0
vsize: 29564
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9635 0 0 0 32978 33 0 0 25 0 1 0 970334406 30543872 6759 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6759 301 301 0 7156 0
vsize: 29828
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9730 0 0 0 33977 34 0 0 25 0 1 0 970334406 30814208 6853 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6853 301 301 0 7222 0
vsize: 30092
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9825 0 0 0 34977 34 0 0 25 0 1 0 970334406 30949376 6946 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6946 301 301 0 7255 0
vsize: 30224
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 9918 0 0 0 35977 35 0 0 25 0 1 0 970334406 31219712 7038 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7622 7038 301 301 0 7321 0
vsize: 30488
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10010 0 0 0 36977 36 0 0 25 0 1 0 970334406 31490048 7128 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7128 301 301 0 7387 0
vsize: 30752
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10101 0 0 0 37976 36 0 0 25 0 1 0 970334406 31760384 7218 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7218 301 301 0 7453 0
vsize: 31016
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10192 0 0 0 38976 37 0 0 25 0 1 0 970334406 32030720 7307 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7307 301 301 0 7519 0
vsize: 31280
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10279 0 0 0 39976 38 0 0 25 0 1 0 970334406 32165888 7393 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7393 301 301 0 7552 0
vsize: 31412
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10367 0 0 0 40975 38 0 0 25 0 1 0 970334406 32436224 7480 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7480 301 301 0 7618 0
vsize: 31676
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10454 0 0 0 41976 39 0 0 25 0 1 0 970334406 32706560 7565 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7565 301 301 0 7684 0
vsize: 31940
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10539 0 0 0 42976 39 0 0 25 0 1 0 970334406 32841728 7649 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7649 301 301 0 7717 0
vsize: 32072
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10623 0 0 0 43975 40 0 0 25 0 1 0 970334406 33112064 7732 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7732 301 301 0 7783 0
vsize: 32336
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10707 0 0 0 44975 40 0 0 25 0 1 0 970334406 33382400 7814 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7814 301 301 0 7849 0
vsize: 32600
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10790 0 0 0 45975 41 0 0 25 0 1 0 970334406 33517568 7896 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7896 301 301 0 7882 0
vsize: 32732
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10874 0 0 0 46975 41 0 0 25 0 1 0 970334406 33787904 7978 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7978 301 301 0 7948 0
vsize: 32996
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 10954 0 0 0 47975 42 0 0 25 0 1 0 970334406 33923072 8057 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8057 301 301 0 7981 0
vsize: 33128
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 14829 0 0 0 48966 51 0 0 25 0 1 0 970334406 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 14856 0 0 0 49966 51 0 0 25 0 1 0 970334406 49258496 9139 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9139 301 301 0 11725 0
vsize: 48104
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 14885 0 0 0 50965 52 0 0 25 0 1 0 970334406 49258496 9166 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9166 301 301 0 11725 0
vsize: 48104
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 14912 0 0 0 51965 53 0 0 25 0 1 0 970334406 49258496 9192 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9192 301 301 0 11725 0
vsize: 48104
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 14940 0 0 0 52965 53 0 0 25 0 1 0 970334406 49258496 9219 4294967295 134512640 135730672 3221224576 3221221664 134561664 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 14967 0 0 0 53964 54 0 0 25 0 1 0 970334406 49258496 9245 4294967295 134512640 135730672 3221224576 3221221664 134561667 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 14995 0 0 0 54964 55 0 0 25 0 1 0 970334406 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15021 0 0 0 55964 55 0 0 25 0 1 0 970334406 49258496 9296 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9296 301 301 0 11725 0
vsize: 48104
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15048 0 0 0 56964 56 0 0 25 0 1 0 970334406 49258496 9322 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9322 301 301 0 11725 0
vsize: 48104
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15073 0 0 0 57964 56 0 0 25 0 1 0 970334406 49258496 9346 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9346 301 301 0 11725 0
vsize: 48104
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15099 0 0 0 58964 56 0 0 25 0 1 0 970334406 49258496 9371 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9371 301 301 0 11725 0
vsize: 48104
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15126 0 0 0 59964 56 0 0 25 0 1 0 970334406 49258496 9396 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9396 301 301 0 11725 0
vsize: 48104
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15151 0 0 0 60964 57 0 0 25 0 1 0 970334406 49258496 9420 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9420 301 301 0 11725 0
vsize: 48104
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15199 0 0 0 61965 57 0 0 25 0 1 0 970334406 49258496 9467 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9467 301 301 0 11725 0
vsize: 48104
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15228 0 0 0 62965 57 0 0 25 0 1 0 970334406 49258496 9495 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9495 301 301 0 11725 0
vsize: 48104
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15252 0 0 0 63964 58 0 0 25 0 1 0 970334406 49258496 9518 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9518 301 301 0 11725 0
vsize: 48104
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15278 0 0 0 64964 58 0 0 25 0 1 0 970334406 49258496 9543 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9543 301 301 0 11725 0
vsize: 48104
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15302 0 0 0 65965 59 0 0 25 0 1 0 970334406 49258496 9566 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9566 301 301 0 11725 0
vsize: 48104
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 15328 0 0 0 66964 59 0 0 25 0 1 0 970334406 49258496 9590 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9590 301 301 0 11725 0
vsize: 48104
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 16984 0 0 0 67961 63 0 0 25 0 1 0 970334406 55971840 11244 4294967295 134512640 135730672 3221224576 3220226016 134770175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13667 11245 301 301 0 13366 0
vsize: 54660
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 45379 0 0 0 68900 124 0 0 25 0 1 0 970334406 141017088 28722 4294967295 134512640 135730672 3221224576 3219867616 134813883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34428 28722 301 301 0 34127 0
vsize: 137712
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 78939 0 0 0 69830 195 0 0 25 0 1 0 970334406 249970688 46732 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61028 46732 301 301 0 60727 0
vsize: 244112
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 102910 0 0 0 70777 248 0 0 25 0 1 0 970334406 333856768 58204 4294967295 134512640 135730672 3221224576 3220572288 134788055 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81508 58205 301 301 0 81207 0
vsize: 326032
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 118592 0 0 0 71739 287 0 0 25 0 1 0 970334406 346157056 73658 4294967295 134512640 135730672 3221224576 3219952284 135291230 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84511 73658 301 301 0 84210 0
vsize: 338044
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 155074 0 0 0 72668 358 0 0 25 0 1 0 970334406 459767808 91569 4294967295 134512640 135730672 3221224576 3221220688 135282716 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112248 91569 301 301 0 111947 0
vsize: 448992
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 191052 0 0 0 73587 439 0 0 25 0 1 0 970334406 560431104 102765 4294967295 134512640 135730672 3221224576 3220011984 135288364 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136824 102765 301 301 0 136523 0
vsize: 547296
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 203049 0 0 0 74555 471 0 0 25 0 1 0 970334406 593985536 114547 4294967295 134512640 135730672 3221224576 3220085408 134786908 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145016 114548 301 301 0 144715 0
vsize: 580064
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 218506 0 0 0 75520 507 0 0 25 0 1 0 970334406 603987968 129771 4294967295 134512640 135730672 3221224576 3220254748 134608033 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147458 129772 301 301 0 147157 0
vsize: 589832
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 233104 0 0 0 76486 541 0 0 25 0 1 0 970334406 669052928 144173 4294967295 134512640 135730672 3221224576 3220429832 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163343 144173 301 301 0 163042 0
vsize: 653372
[startup+779.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19286
Raw data (stat): 19286 (pb2sat-v2) R 19285 25568 25567 0 -1 0 233104 0 0 0 76486 541 0 0 25 0 1 0 970334406 669052928 144173 4294967295 134512640 135730672 3221224576 3220429832 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163343 144173 301 301 0 163042 0
vsize: 0

Child status: 1
Real time (s): 779.169
CPU time (s): 779.419
CPU user time (s): 773.596
CPU system time (s): 5.82311
CPU usage (%): 100.032
Max. virtual memory (Kb): 653372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####