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-n370d.opb
MD5SUM	c845e5aae635eb663462a0603eb54605
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	29652813254765
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	29652813254765
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.43078
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 35351

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-28 12:46:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24619 boxname=wulflinc4 idbench=1091 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c845e5aae635eb663462a0603eb54605  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n370d.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n370d.opb
IDLAUNCH: 24619
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        634896 kB
Buffers:         34348 kB
Cached:         343840 kB
SwapCached:        504 kB
Active:          36068 kB
Inactive:       344576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        634644 kB
SwapTotal:     2097136 kB
SwapFree:      2096000 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5796 kB
Slab:            13348 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:00:04 (client local time) WITH STATUS 1 IN 785.694 SECONDS
stats: 24619 7 785.694 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.86 0.95 0.90 2/54 30194
Raw data (stat): 30194 (runsolver) R 30193 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806685126 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.88 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 2185 0 0 0 994 5 0 0 25 0 1 0 806685126 7954432 1509 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1942 1509 300 300 0 1642 0
vsize: 7768
[startup+20.0013 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 2731 0 0 0 1992 7 0 0 25 0 1 0 806685126 9441280 2046 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2305 2046 300 300 0 2005 0
vsize: 9220
[startup+30.0026 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 3878 0 0 0 2989 10 0 0 25 0 1 0 806685126 13410304 2481 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2481 300 300 0 2974 0
vsize: 13096
[startup+40.003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 4129 0 0 0 3988 12 0 0 25 0 1 0 806685126 14086144 2728 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3439 2728 300 300 0 3139 0
vsize: 13756
[startup+50.0029 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 4391 0 0 0 4987 12 0 0 25 0 1 0 806685126 14761984 2985 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3604 2985 300 300 0 3304 0
vsize: 14416
[startup+60.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 4622 0 0 0 5986 13 0 0 25 0 1 0 806685126 15437824 3213 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3769 3213 300 300 0 3469 0
vsize: 15076
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 4836 0 0 0 6986 14 0 0 25 0 1 0 806685126 15978496 3423 4294967295 134512640 135726644 3221224592 3221221680 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3901 3423 300 300 0 3601 0
vsize: 15604
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 5027 0 0 0 7985 15 0 0 25 0 1 0 806685126 16384000 3611 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4000 3611 300 300 0 3700 0
vsize: 16000
[startup+90.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 5209 0 0 0 8985 15 0 0 25 0 1 0 806685126 16924672 3790 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4132 3790 300 300 0 3832 0
vsize: 16528
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 5381 0 0 0 9985 15 0 0 25 0 1 0 806685126 17330176 3959 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3959 300 300 0 3931 0
vsize: 16924
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 7451 0 0 0 10980 21 0 0 25 0 1 0 806685126 25403392 4617 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4617 300 300 0 5902 0
vsize: 24808
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 7508 0 0 0 11980 21 0 0 25 0 1 0 806685126 25403392 4671 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4671 300 300 0 5902 0
vsize: 24808
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 7560 0 0 0 12980 21 0 0 25 0 1 0 806685126 25403392 4721 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4721 300 300 0 5902 0
vsize: 24808
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 7613 0 0 0 13980 21 0 0 25 0 1 0 806685126 25403392 4771 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4771 300 300 0 5902 0
vsize: 24808
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 7690 0 0 0 14980 21 0 0 25 0 1 0 806685126 25403392 4846 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4846 300 300 0 5902 0
vsize: 24808
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 7747 0 0 0 15979 22 0 0 25 0 1 0 806685126 25538560 4901 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6235 4901 300 300 0 5935 0
vsize: 24940
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 7879 0 0 0 16978 22 0 0 25 0 1 0 806685126 25808896 5031 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 5031 300 300 0 6001 0
vsize: 25204
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8010 0 0 0 17978 23 0 0 25 0 1 0 806685126 26214400 5160 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6400 5160 300 300 0 6100 0
vsize: 25600
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8137 0 0 0 18978 23 0 0 25 0 1 0 806685126 26484736 5285 4294967295 134512640 135726644 3221224592 3221221680 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5285 300 300 0 6166 0
vsize: 25864
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8259 0 0 0 19978 24 0 0 25 0 1 0 806685126 26890240 5405 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6565 5405 300 300 0 6265 0
vsize: 26260
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8380 0 0 0 20978 24 0 0 25 0 1 0 806685126 27160576 5524 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5524 300 300 0 6331 0
vsize: 26524
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8498 0 0 0 21976 24 0 0 25 0 1 0 806685126 27430912 5640 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6697 5640 300 300 0 6397 0
vsize: 26788
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8615 0 0 0 22976 25 0 0 25 0 1 0 806685126 27836416 5755 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6796 5755 300 300 0 6496 0
vsize: 27184
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8728 0 0 0 23976 25 0 0 25 0 1 0 806685126 28106752 5866 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6862 5866 300 300 0 6562 0
vsize: 27448
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8838 0 0 0 24976 25 0 0 25 0 1 0 806685126 28377088 5974 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5974 300 300 0 6628 0
vsize: 27712
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 8946 0 0 0 25976 25 0 0 25 0 1 0 806685126 28647424 6081 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 6081 300 300 0 6694 0
vsize: 27976
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9053 0 0 0 26976 25 0 0 25 0 1 0 806685126 28917760 6186 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6186 300 300 0 6760 0
vsize: 28240
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9159 0 0 0 27975 26 0 0 25 0 1 0 806685126 29188096 6290 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6290 300 300 0 6826 0
vsize: 28504
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9265 0 0 0 28974 27 0 0 25 0 1 0 806685126 29458432 6394 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 6394 300 300 0 6892 0
vsize: 28768
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9364 0 0 0 29974 27 0 0 25 0 1 0 806685126 29728768 6492 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7258 6492 300 300 0 6958 0
vsize: 29032
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9466 0 0 0 30974 27 0 0 25 0 1 0 806685126 29999104 6592 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7324 6592 300 300 0 7024 0
vsize: 29296
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9563 0 0 0 31974 28 0 0 25 0 1 0 806685126 30269440 6688 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6688 300 300 0 7090 0
vsize: 29560
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9660 0 0 0 32974 28 0 0 25 0 1 0 806685126 30539776 6783 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7456 6783 300 300 0 7156 0
vsize: 29824
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9756 0 0 0 33973 28 0 0 25 0 1 0 806685126 30810112 6878 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6878 300 300 0 7222 0
vsize: 30088
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9852 0 0 0 34973 28 0 0 25 0 1 0 806685126 31080448 6972 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7588 6972 300 300 0 7288 0
vsize: 30352
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 9944 0 0 0 35973 29 0 0 25 0 1 0 806685126 31350784 7063 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7654 7063 300 300 0 7354 0
vsize: 30616
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10035 0 0 0 36973 29 0 0 25 0 1 0 806685126 31485952 7152 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7152 300 300 0 7387 0
vsize: 30748
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10126 0 0 0 37973 29 0 0 25 0 1 0 806685126 31756288 7242 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7753 7242 300 300 0 7453 0
vsize: 31012
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10216 0 0 0 38973 29 0 0 25 0 1 0 806685126 32026624 7330 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7819 7330 300 300 0 7519 0
vsize: 31276
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10305 0 0 0 39972 30 0 0 25 0 1 0 806685126 32296960 7418 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7885 7418 300 300 0 7585 0
vsize: 31540
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10394 0 0 0 40971 30 0 0 25 0 1 0 806685126 32432128 7505 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7918 7505 300 300 0 7618 0
vsize: 31672
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10480 0 0 0 41971 31 0 0 25 0 1 0 806685126 32702464 7590 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7590 300 300 0 7684 0
vsize: 31936
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10568 0 0 0 42970 32 0 0 25 0 1 0 806685126 32972800 7676 4294967295 134512640 135726644 3221224592 3221221536 135279105 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7676 300 300 0 7750 0
vsize: 32200
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10652 0 0 0 43970 32 0 0 25 0 1 0 806685126 33243136 7759 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7759 300 300 0 7816 0
vsize: 32464
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10737 0 0 0 44969 33 0 0 25 0 1 0 806685126 33378304 7843 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8149 7843 300 300 0 7849 0
vsize: 32596
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10821 0 0 0 45968 34 0 0 25 0 1 0 806685126 33648640 7925 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8215 7925 300 300 0 7915 0
vsize: 32860
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 10902 0 0 0 46968 34 0 0 25 0 1 0 806685126 33783808 8005 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 8005 300 300 0 7948 0
vsize: 32992
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 14812 0 0 0 47962 41 0 0 25 0 1 0 806685126 49254400 9096 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9096 300 300 0 11725 0
vsize: 48100
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 14841 0 0 0 48962 41 0 0 25 0 1 0 806685126 49254400 9124 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9124 300 300 0 11725 0
vsize: 48100
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 14870 0 0 0 49961 42 0 0 25 0 1 0 806685126 49254400 9151 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9151 300 300 0 11725 0
vsize: 48100
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 14898 0 0 0 50961 42 0 0 25 0 1 0 806685126 49254400 9178 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9178 300 300 0 11725 0
vsize: 48100
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 14926 0 0 0 51961 43 0 0 25 0 1 0 806685126 49254400 9205 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9205 300 300 0 11725 0
vsize: 48100
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 14954 0 0 0 52961 43 0 0 25 0 1 0 806685126 49254400 9231 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9231 300 300 0 11725 0
vsize: 48100
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 14981 0 0 0 53962 43 0 0 25 0 1 0 806685126 49254400 9257 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9257 300 300 0 11725 0
vsize: 48100
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15009 0 0 0 54961 43 0 0 25 0 1 0 806685126 49254400 9284 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9284 300 300 0 11725 0
vsize: 48100
[startup+560.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15035 0 0 0 55963 44 0 0 25 0 1 0 806685126 49254400 9309 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9309 300 300 0 11725 0
vsize: 48100
[startup+570.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15063 0 0 0 56963 44 0 0 25 0 1 0 806685126 49254400 9335 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9335 300 300 0 11725 0
vsize: 48100
[startup+580.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15090 0 0 0 57962 45 0 0 25 0 1 0 806685126 49254400 9361 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9361 300 300 0 11725 0
vsize: 48100
[startup+590.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15115 0 0 0 58962 45 0 0 25 0 1 0 806685126 49254400 9385 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9385 300 300 0 11725 0
vsize: 48100
[startup+600.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15141 0 0 0 59962 45 0 0 25 0 1 0 806685126 49254400 9410 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9410 300 300 0 11725 0
vsize: 48100
[startup+610.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15175 0 0 0 60962 45 0 0 25 0 1 0 806685126 49254400 9443 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9443 300 300 0 11725 0
vsize: 48100
[startup+620.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15218 0 0 0 61962 46 0 0 25 0 1 0 806685126 49254400 9485 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9485 300 300 0 11725 0
vsize: 48100
[startup+630.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15244 0 0 0 62963 46 0 0 25 0 1 0 806685126 49254400 9509 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9509 300 300 0 11725 0
vsize: 48100
[startup+640.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15270 0 0 0 63962 47 0 0 25 0 1 0 806685126 49254400 9534 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9534 300 300 0 11725 0
vsize: 48100
[startup+650.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15294 0 0 0 64964 47 0 0 25 0 1 0 806685126 49254400 9557 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9557 300 300 0 11725 0
vsize: 48100
[startup+660.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15319 0 0 0 65964 47 0 0 25 0 1 0 806685126 49254400 9581 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9581 300 300 0 11725 0
vsize: 48100
[startup+670.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 15347 0 0 0 66964 48 0 0 25 0 1 0 806685126 49389568 9608 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12058 9608 300 300 0 11758 0
vsize: 48232
[startup+680.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 48731 0 0 0 67886 125 0 0 25 0 1 0 806685126 168955904 36721 4294967295 134512640 135726644 3221224592 3159917768 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41249 36722 300 300 0 40949 0
vsize: 164996
[startup+690.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 83377 0 0 0 68822 201 0 0 25 0 1 0 806685126 314298368 66053 4294967295 134512640 135726644 3221224592 3164818928 135280446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76733 66053 300 300 0 76433 0
vsize: 306932
[startup+700.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 103182 0 0 0 69772 250 0 0 25 0 1 0 806685126 330326016 70799 4294967295 134512640 135726644 3221224592 3164907008 134784520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80646 70800 300 300 0 80346 0
vsize: 322584
[startup+710.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 132789 0 0 0 70710 313 0 0 25 0 1 0 806685126 439353344 87916 4294967295 134512640 135726644 3221224592 3159523768 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107264 87918 300 300 0 106964 0
vsize: 429056
[startup+720.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 173221 0 0 0 71630 393 0 0 25 0 1 0 806685126 570945536 108763 4294967295 134512640 135726644 3221224592 3160462920 134604465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139391 108763 300 300 0 139091 0
vsize: 557564
[startup+730.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 186745 0 0 0 72599 424 0 0 25 0 1 0 806685126 570945536 122046 4294967295 134512640 135726644 3221224592 3162953768 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139391 122046 300 300 0 139091 0
vsize: 557564
[startup+740.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 224633 0 0 0 73513 511 0 0 25 0 1 0 806685126 717463552 135173 4294967295 134512640 135726644 3221224592 3160270416 134780450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175162 135173 300 300 0 174862 0
vsize: 700648
[startup+750.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 242904 0 0 0 74473 551 0 0 25 0 1 0 806685126 743550976 153236 4294967295 134512640 135726644 3221224592 3160606096 134782666 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181531 153236 300 300 0 181231 0
vsize: 726124
[startup+760.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 262252 0 0 0 75425 593 0 0 25 0 1 0 806685126 770990080 172362 4294967295 134512640 135726644 3221224592 3160036812 135298008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188230 172363 300 300 0 187930 0
vsize: 752920
[startup+770.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 274923 0 0 0 76395 620 0 0 25 0 1 0 806685126 789745664 184889 4294967295 134512640 135726644 3221224592 3162832832 135139565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192809 184889 300 300 0 192509 0
vsize: 771236
[startup+780.255 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 274924 0 0 0 77398 621 0 0 25 0 1 0 806685126 789745664 184890 4294967295 134512640 135726644 3221224592 3221223292 134603714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192809 184890 300 300 0 192509 0
vsize: 771236
[startup+785.806 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 30194
Raw data (stat): 30194 (pb2sat) R 30193 21152 21151 0 -1 0 274924 0 0 0 77398 621 0 0 25 0 1 0 806685126 789745664 184890 4294967295 134512640 135726644 3221224592 3221223292 134603714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192809 184890 300 300 0 192509 0
vsize: 0

Child status: 1
Real time (s): 785.805
CPU time (s): 785.694
CPU user time (s): 779.103
CPU system time (s): 6.591
CPU usage (%): 99.9858
Max. virtual memory (Kb): 771236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####