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-n3705.opb
MD5SUM	8eea845826d64e6d5753fad916c185c9
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	29593306649763
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	29593306649763
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.43278
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 42567

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 11:03:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25783 boxname=wulflinc6 idbench=1083 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8eea845826d64e6d5753fad916c185c9  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n3705.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n3705.opb
IDLAUNCH: 25783
/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:        642816 kB
Buffers:         33816 kB
Cached:         334804 kB
SwapCached:       1028 kB
Active:          51620 kB
Inactive:       319168 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642564 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15360 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:16:42 (client local time) WITH STATUS 1 IN 776.203 SECONDS
stats: 25783 7 776.203 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 19191
Raw data (stat): 19191 (runsolver) R 19190 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970255610 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.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19191
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 2144 0 0 0 996 3 0 0 25 0 1 0 970255610 7958528 1470 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1470 301 301 0 1642 0
vsize: 7772
[startup+20.0027 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19191
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 2662 0 0 0 1995 4 0 0 25 0 1 0 970255610 9310208 1979 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2273 1979 301 301 0 1972 0
vsize: 9092
[startup+30.0034 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19191
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 3842 0 0 0 2993 7 0 0 25 0 1 0 970255610 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.0049 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19191
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 4068 0 0 0 3992 7 0 0 25 0 1 0 970255610 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.0062 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19191
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 4334 0 0 0 4991 8 0 0 25 0 1 0 970255610 14630912 2930 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2930 301 301 0 3271 0
vsize: 14288
[startup+60.0068 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19191
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 4570 0 0 0 5990 9 0 0 25 0 1 0 970255610 15306752 3162 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3162 301 301 0 3436 0
vsize: 14948
[startup+70.0073 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19191
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 4787 0 0 0 6990 9 0 0 25 0 1 0 970255610 15847424 3376 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3376 301 301 0 3568 0
vsize: 15476
[startup+80.0085 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19191
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 4988 0 0 0 7989 11 0 0 25 0 1 0 970255610 16388096 3574 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3574 301 301 0 3700 0
vsize: 16004
[startup+90.0093 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 5176 0 0 0 8989 11 0 0 25 0 1 0 970255610 16793600 3759 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3759 301 301 0 3799 0
vsize: 16400
[startup+100.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 5356 0 0 0 9989 12 0 0 25 0 1 0 970255610 17334272 3936 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3936 301 301 0 3931 0
vsize: 16928
[startup+110.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 7186 0 0 0 10986 15 0 0 25 0 1 0 970255610 28819456 5699 4294967295 134512640 135730672 3221224576 3221221088 135104813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7036 5699 301 301 0 6735 0
vsize: 28144
[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 7498 0 0 0 11985 16 0 0 25 0 1 0 970255610 25407488 4663 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4663 301 301 0 5902 0
vsize: 24812
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 7552 0 0 0 12986 16 0 0 25 0 1 0 970255610 25407488 4714 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4714 301 301 0 5902 0
vsize: 24812
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 7604 0 0 0 13986 16 0 0 25 0 1 0 970255610 25407488 4764 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4764 301 301 0 5902 0
vsize: 24812
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 7682 0 0 0 14986 16 0 0 25 0 1 0 970255610 25407488 4839 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4839 301 301 0 5902 0
vsize: 24812
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 7731 0 0 0 15985 17 0 0 25 0 1 0 970255610 25407488 4886 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4886 301 301 0 5902 0
vsize: 24812
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 7866 0 0 0 16985 18 0 0 25 0 1 0 970255610 25812992 5019 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5019 301 301 0 6001 0
vsize: 25208
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 7996 0 0 0 17985 18 0 0 25 0 1 0 970255610 26218496 5147 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5147 301 301 0 6100 0
vsize: 25604
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 8123 0 0 0 18985 19 0 0 25 0 1 0 970255610 26488832 5272 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5272 301 301 0 6166 0
vsize: 25868
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 8247 0 0 0 19985 19 0 0 25 0 1 0 970255610 26894336 5394 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5394 301 301 0 6265 0
vsize: 26264
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 8368 0 0 0 20985 19 0 0 25 0 1 0 970255610 27164672 5513 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5513 301 301 0 6331 0
vsize: 26528
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 8488 0 0 0 21985 19 0 0 25 0 1 0 970255610 27435008 5631 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5631 301 301 0 6397 0
vsize: 26792
[startup+230.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 8603 0 0 0 22984 20 0 0 25 0 1 0 970255610 27840512 5744 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5744 301 301 0 6496 0
vsize: 27188
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 8718 0 0 0 23984 20 0 0 25 0 1 0 970255610 28110848 5857 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5857 301 301 0 6562 0
vsize: 27452
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 8829 0 0 0 24984 21 0 0 25 0 1 0 970255610 28381184 5966 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5966 301 301 0 6628 0
vsize: 27716
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 8937 0 0 0 25985 21 0 0 25 0 1 0 970255610 28651520 6073 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6073 301 301 0 6694 0
vsize: 27980
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9044 0 0 0 26984 21 0 0 25 0 1 0 970255610 28921856 6178 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6178 301 301 0 6760 0
vsize: 28244
[startup+280.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9149 0 0 0 27984 22 0 0 25 0 1 0 970255610 29192192 6281 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7127 6281 301 301 0 6826 0
vsize: 28508
[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9252 0 0 0 28984 22 0 0 25 0 1 0 970255610 29462528 6383 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6383 301 301 0 6892 0
vsize: 28772
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9354 0 0 0 29984 22 0 0 25 0 1 0 970255610 29732864 6483 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6483 301 301 0 6958 0
vsize: 29036
[startup+310.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9455 0 0 0 30984 23 0 0 25 0 1 0 970255610 30003200 6582 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6582 301 301 0 7024 0
vsize: 29300
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9552 0 0 0 31984 23 0 0 25 0 1 0 970255610 30273536 6678 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6678 301 301 0 7090 0
vsize: 29564
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9650 0 0 0 32984 23 0 0 25 0 1 0 970255610 30543872 6774 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6774 301 301 0 7156 0
vsize: 29828
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9746 0 0 0 33984 24 0 0 25 0 1 0 970255610 30814208 6869 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7523 6869 301 301 0 7222 0
vsize: 30092
[startup+350.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9841 0 0 0 34984 24 0 0 25 0 1 0 970255610 31084544 6962 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6962 301 301 0 7288 0
vsize: 30356
[startup+360.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 9933 0 0 0 35984 24 0 0 25 0 1 0 970255610 31354880 7053 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7053 301 301 0 7354 0
vsize: 30620
[startup+370.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10025 0 0 0 36984 25 0 0 25 0 1 0 970255610 31490048 7143 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7143 301 301 0 7387 0
vsize: 30752
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10116 0 0 0 37984 25 0 0 25 0 1 0 970255610 31760384 7233 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7233 301 301 0 7453 0
vsize: 31016
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10206 0 0 0 38984 25 0 0 25 0 1 0 970255610 32030720 7321 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7321 301 301 0 7519 0
vsize: 31280
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10294 0 0 0 39985 25 0 0 25 0 1 0 970255610 32301056 7408 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7408 301 301 0 7585 0
vsize: 31544
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10382 0 0 0 40984 26 0 0 25 0 1 0 970255610 32436224 7494 4294967295 134512640 135730672 3221224576 3221221632 134854976 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7494 301 301 0 7618 0
vsize: 31676
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10469 0 0 0 41984 26 0 0 25 0 1 0 970255610 32706560 7580 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7580 301 301 0 7684 0
vsize: 31940
[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10553 0 0 0 42984 26 0 0 25 0 1 0 970255610 32976896 7663 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7663 301 301 0 7750 0
vsize: 32204
[startup+440.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10638 0 0 0 43985 26 0 0 25 0 1 0 970255610 33112064 7746 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7746 301 301 0 7783 0
vsize: 32336
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10721 0 0 0 44985 26 0 0 25 0 1 0 970255610 33382400 7828 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7828 301 301 0 7849 0
vsize: 32600
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10804 0 0 0 45985 26 0 0 25 0 1 0 970255610 33652736 7910 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8216 7910 301 301 0 7915 0
vsize: 32864
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 10888 0 0 0 46984 27 0 0 25 0 1 0 970255610 33787904 7992 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8249 7992 301 301 0 7948 0
vsize: 32996
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 14806 0 0 0 47976 35 0 0 25 0 1 0 970255610 49258496 9091 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9091 301 301 0 11725 0
vsize: 48104
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 14834 0 0 0 48976 35 0 0 25 0 1 0 970255610 49258496 9118 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9118 301 301 0 11725 0
vsize: 48104
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 14863 0 0 0 49976 35 0 0 25 0 1 0 970255610 49258496 9145 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9145 301 301 0 11725 0
vsize: 48104
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 14891 0 0 0 50976 35 0 0 25 0 1 0 970255610 49258496 9172 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9172 301 301 0 11725 0
vsize: 48104
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 14918 0 0 0 51976 36 0 0 25 0 1 0 970255610 49258496 9198 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9198 301 301 0 11725 0
vsize: 48104
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 14946 0 0 0 52976 36 0 0 25 0 1 0 970255610 49258496 9225 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9225 301 301 0 11725 0
vsize: 48104
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 14974 0 0 0 53976 36 0 0 25 0 1 0 970255610 49258496 9251 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9251 301 301 0 11725 0
vsize: 48104
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15001 0 0 0 54976 36 0 0 25 0 1 0 970255610 49258496 9277 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9277 301 301 0 11725 0
vsize: 48104
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15027 0 0 0 55976 37 0 0 25 0 1 0 970255610 49258496 9302 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9302 301 301 0 11725 0
vsize: 48104
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15054 0 0 0 56977 37 0 0 25 0 1 0 970255610 49258496 9328 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9328 301 301 0 11725 0
vsize: 48104
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15079 0 0 0 57977 37 0 0 25 0 1 0 970255610 49258496 9352 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9352 301 301 0 11725 0
vsize: 48104
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15106 0 0 0 58976 37 0 0 25 0 1 0 970255610 49258496 9377 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9377 301 301 0 11725 0
vsize: 48104
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15132 0 0 0 59976 37 0 0 25 0 1 0 970255610 49258496 9402 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9402 301 301 0 11725 0
vsize: 48104
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15160 0 0 0 60975 37 0 0 25 0 1 0 970255610 49258496 9429 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9429 301 301 0 11725 0
vsize: 48104
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15209 0 0 0 61975 38 0 0 25 0 1 0 970255610 49258496 9477 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9477 301 301 0 11725 0
vsize: 48104
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15235 0 0 0 62975 38 0 0 25 0 1 0 970255610 49258496 9502 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9502 301 301 0 11725 0
vsize: 48104
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15260 0 0 0 63975 38 0 0 25 0 1 0 970255610 49258496 9526 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9526 301 301 0 11725 0
vsize: 48104
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15285 0 0 0 64975 39 0 0 25 0 1 0 970255610 49258496 9549 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9549 301 301 0 11725 0
vsize: 48104
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15310 0 0 0 65974 39 0 0 25 0 1 0 970255610 49258496 9573 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9573 301 301 0 11725 0
vsize: 48104
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 15334 0 0 0 66975 39 0 0 25 0 1 0 970255610 49258496 9596 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9596 301 301 0 11725 0
vsize: 48104
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 26157 0 0 0 67952 62 0 0 25 0 1 0 970255610 81534976 17316 4294967295 134512640 135730672 3221224576 3220099296 134787109 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19906 17316 301 301 0 19605 0
vsize: 79624
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 55480 0 0 0 68890 125 0 0 25 0 1 0 970255610 166182912 32608 4294967295 134512640 135730672 3221224576 3220221280 135288517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40572 32608 301 301 0 40271 0
vsize: 162288
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 80700 0 0 0 69835 179 0 0 25 0 1 0 970255610 241995776 48425 4294967295 134512640 135730672 3221224576 3220245504 134770772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59081 48425 301 301 0 58780 0
vsize: 236324
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 105898 0 0 0 70781 234 0 0 25 0 1 0 970255610 331018240 61126 4294967295 134512640 135730672 3221224576 3220236344 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80815 61127 301 301 0 80514 0
vsize: 323260
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 137744 0 0 0 71717 298 0 0 25 0 1 0 970255610 513232896 92161 4294967295 134512640 135730672 3221224576 3220134504 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125301 92161 301 301 0 125000 0
vsize: 501204
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 168447 0 0 0 72653 361 0 0 25 0 1 0 970255610 663396352 104883 4294967295 134512640 135730672 3221224576 3220060992 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161962 104887 301 301 0 161661 0
vsize: 647848
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 193917 0 0 0 73598 417 0 0 25 0 1 0 970255610 596283392 105589 4294967295 134512640 135730672 3221224576 3220096976 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145577 105589 301 301 0 145276 0
vsize: 582308
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 207588 0 0 0 74568 447 0 0 25 0 1 0 970255610 596283392 119016 4294967295 134512640 135730672 3221224576 3220298996 135281187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145577 119016 301 301 0 145276 0
vsize: 582308
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 224279 0 0 0 75531 485 0 0 25 0 1 0 970255610 611287040 135472 4294967295 134512640 135730672 3221224576 3220375976 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149240 135472 301 301 0 148939 0
vsize: 596960
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 237987 0 0 0 76498 518 0 0 25 0 1 0 970255610 673783808 148989 4294967295 134512640 135730672 3221224576 3220364856 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164498 148991 301 301 0 164197 0
vsize: 657992
[startup+776.066 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19193
Raw data (stat): 19191 (pb2sat-v2) R 19190 25568 25567 0 -1 0 237987 0 0 0 76498 518 0 0 25 0 1 0 970255610 673783808 148989 4294967295 134512640 135730672 3221224576 3220364856 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164498 148991 301 301 0 164197 0
vsize: 0

Child status: 1
Real time (s): 776.066
CPU time (s): 776.203
CPU user time (s): 770.686
CPU system time (s): 5.51716
CPU usage (%): 100.018
Max. virtual memory (Kb): 657992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####