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-n3706.opb
MD5SUM	9e0552681bd542cf776486fc35ee9977
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	29645337650291
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	29645337650291
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 35328

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-28 12:44:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24612 boxname=wulflinc13 idbench=1084 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9e0552681bd542cf776486fc35ee9977  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3706.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3706.opb
IDLAUNCH: 24612
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        716908 kB
Buffers:         36152 kB
Cached:         259848 kB
SwapCached:        548 kB
Active:          71068 kB
Inactive:       226952 kB
HighTotal:      131008 kB
HighFree:        21336 kB
LowTotal:       903652 kB
LowFree:        695572 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            13872 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:57:14 (client local time) WITH STATUS 1 IN 788.952 SECONDS
stats: 24612 7 788.952 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.90 0.94 0.90 2/54 7294
Raw data (stat): 7294 (runsolver) R 7293 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806683225 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.0025 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 2170 0 0 0 993 6 0 0 25 0 1 0 806683225 7954432 1494 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1942 1494 300 300 0 1642 0
vsize: 7768
[startup+20.0099 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 2735 0 0 0 1992 8 0 0 25 0 1 0 806683225 9441280 2050 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2305 2050 300 300 0 2005 0
vsize: 9220
[startup+30.01 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 3872 0 0 0 2989 11 0 0 25 0 1 0 806683225 13410304 2476 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2476 300 300 0 2974 0
vsize: 13096
[startup+40.0107 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 4101 0 0 0 3988 12 0 0 25 0 1 0 806683225 13950976 2700 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3406 2700 300 300 0 3106 0
vsize: 13624
[startup+50.0118 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 4353 0 0 0 4987 14 0 0 25 0 1 0 806683225 14626816 2948 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3571 2948 300 300 0 3271 0
vsize: 14284
[startup+60.0119 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 4583 0 0 0 5987 14 0 0 25 0 1 0 806683225 15302656 3174 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3736 3174 300 300 0 3436 0
vsize: 14944
[startup+70.0116 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 4795 0 0 0 6985 15 0 0 25 0 1 0 806683225 15843328 3383 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3868 3383 300 300 0 3568 0
vsize: 15472
[startup+80.0118 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 4993 0 0 0 7985 16 0 0 25 0 1 0 806683225 16384000 3578 4294967295 134512640 135726644 3221224576 3221221588 134541501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4000 3578 300 300 0 3700 0
vsize: 16000
[startup+90.0119 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 5180 0 0 0 8984 17 0 0 25 0 1 0 806683225 16789504 3762 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4099 3762 300 300 0 3799 0
vsize: 16396
[startup+100.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 5359 0 0 0 9983 18 0 0 25 0 1 0 806683225 17330176 3938 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3938 300 300 0 3931 0
vsize: 16924
[startup+110.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 7127 0 0 0 10980 21 0 0 25 0 1 0 806683225 28680192 5642 4294967295 134512640 135726644 3221224576 3221221120 134771783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7002 5642 300 300 0 6702 0
vsize: 28008
[startup+120.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 7503 0 0 0 11979 23 0 0 25 0 1 0 806683225 25403392 4666 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4666 300 300 0 5902 0
vsize: 24808
[startup+130.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 7557 0 0 0 12979 23 0 0 25 0 1 0 806683225 25403392 4718 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4718 300 300 0 5902 0
vsize: 24808
[startup+140.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 7609 0 0 0 13978 23 0 0 25 0 1 0 806683225 25403392 4768 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4768 300 300 0 5902 0
vsize: 24808
[startup+150.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 7687 0 0 0 14978 24 0 0 25 0 1 0 806683225 25403392 4843 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4843 300 300 0 5902 0
vsize: 24808
[startup+160.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 7740 0 0 0 15978 24 0 0 25 0 1 0 806683225 25538560 4894 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6235 4894 300 300 0 5935 0
vsize: 24940
[startup+170.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 7875 0 0 0 16978 24 0 0 25 0 1 0 806683225 25808896 5027 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 5027 300 300 0 6001 0
vsize: 25204
[startup+180.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8007 0 0 0 17977 25 0 0 25 0 1 0 806683225 26214400 5157 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6400 5157 300 300 0 6100 0
vsize: 25600
[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8134 0 0 0 18976 26 0 0 25 0 1 0 806683225 26484736 5282 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5282 300 300 0 6166 0
vsize: 25864
[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8257 0 0 0 19976 26 0 0 25 0 1 0 806683225 26890240 5403 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6565 5403 300 300 0 6265 0
vsize: 26260
[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8378 0 0 0 20975 27 0 0 25 0 1 0 806683225 27160576 5522 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5522 300 300 0 6331 0
vsize: 26524
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8495 0 0 0 21975 28 0 0 25 0 1 0 806683225 27430912 5637 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5637 300 300 0 6397 0
vsize: 26788
[startup+230.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8612 0 0 0 22975 28 0 0 25 0 1 0 806683225 27836416 5752 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6796 5752 300 300 0 6496 0
vsize: 27184
[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8725 0 0 0 23974 29 0 0 25 0 1 0 806683225 28106752 5863 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6862 5863 300 300 0 6562 0
vsize: 27448
[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8835 0 0 0 24974 29 0 0 25 0 1 0 806683225 28377088 5971 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5971 300 300 0 6628 0
vsize: 27712
[startup+260.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 8943 0 0 0 25973 30 0 0 25 0 1 0 806683225 28647424 6078 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 6078 300 300 0 6694 0
vsize: 27976
[startup+270.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9050 0 0 0 26973 30 0 0 25 0 1 0 806683225 28917760 6183 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6183 300 300 0 6760 0
vsize: 28240
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9156 0 0 0 27973 31 0 0 25 0 1 0 806683225 29188096 6287 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 6287 300 300 0 6826 0
vsize: 28504
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9258 0 0 0 28972 32 0 0 25 0 1 0 806683225 29458432 6388 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 6388 300 300 0 6892 0
vsize: 28768
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9360 0 0 0 29972 32 0 0 25 0 1 0 806683225 29728768 6488 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7258 6488 300 300 0 6958 0
vsize: 29032
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9461 0 0 0 30972 32 0 0 25 0 1 0 806683225 29999104 6587 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7324 6587 300 300 0 7024 0
vsize: 29296
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9558 0 0 0 31971 33 0 0 25 0 1 0 806683225 30269440 6683 4294967295 134512640 135726644 3221224576 3221221728 134606965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6683 300 300 0 7090 0
vsize: 29560
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9656 0 0 0 32971 33 0 0 25 0 1 0 806683225 30539776 6779 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7456 6779 300 300 0 7156 0
vsize: 29824
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9750 0 0 0 33970 34 0 0 25 0 1 0 806683225 30810112 6872 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6872 300 300 0 7222 0
vsize: 30088
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9845 0 0 0 34970 35 0 0 25 0 1 0 806683225 31080448 6965 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7588 6965 300 300 0 7288 0
vsize: 30352
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 9938 0 0 0 35970 35 0 0 25 0 1 0 806683225 31350784 7057 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7654 7057 300 300 0 7354 0
vsize: 30616
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10030 0 0 0 36970 35 0 0 25 0 1 0 806683225 31485952 7147 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7147 300 300 0 7387 0
vsize: 30748
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10121 0 0 0 37969 36 0 0 25 0 1 0 806683225 31756288 7237 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7753 7237 300 300 0 7453 0
vsize: 31012
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10211 0 0 0 38969 36 0 0 25 0 1 0 806683225 32026624 7325 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7819 7325 300 300 0 7519 0
vsize: 31276
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10299 0 0 0 39969 37 0 0 25 0 1 0 806683225 32296960 7412 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7885 7412 300 300 0 7585 0
vsize: 31540
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10387 0 0 0 40969 37 0 0 25 0 1 0 806683225 32432128 7498 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7498 300 300 0 7618 0
vsize: 31672
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10473 0 0 0 41968 38 0 0 25 0 1 0 806683225 32702464 7583 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7984 7583 300 300 0 7684 0
vsize: 31936
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10558 0 0 0 42968 38 0 0 25 0 1 0 806683225 32972800 7667 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8050 7667 300 300 0 7750 0
vsize: 32200
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10643 0 0 0 43967 38 0 0 25 0 1 0 806683225 33107968 7750 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7750 300 300 0 7783 0
vsize: 32332
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10726 0 0 0 44967 39 0 0 25 0 1 0 806683225 33378304 7832 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8149 7832 300 300 0 7849 0
vsize: 32596
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10808 0 0 0 45967 39 0 0 25 0 1 0 806683225 33648640 7913 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8215 7913 300 300 0 7915 0
vsize: 32860
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 10892 0 0 0 46967 39 0 0 25 0 1 0 806683225 33783808 7995 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7995 300 300 0 7948 0
vsize: 32992
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 14809 0 0 0 47960 46 0 0 25 0 1 0 806683225 49254400 9093 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9093 300 300 0 11725 0
vsize: 48100
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 14837 0 0 0 48960 46 0 0 25 0 1 0 806683225 49254400 9120 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9120 300 300 0 11725 0
vsize: 48100
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 14865 0 0 0 49960 47 0 0 25 0 1 0 806683225 49254400 9146 4294967295 134512640 135726644 3221224576 3221221504 134542271 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9146 300 300 0 11725 0
vsize: 48100
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 14893 0 0 0 50960 47 0 0 25 0 1 0 806683225 49254400 9173 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9173 300 300 0 11725 0
vsize: 48100
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 14920 0 0 0 51960 47 0 0 25 0 1 0 806683225 49254400 9199 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9199 300 300 0 11725 0
vsize: 48100
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 14948 0 0 0 52960 47 0 0 25 0 1 0 806683225 49254400 9226 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9226 300 300 0 11725 0
vsize: 48100
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 14976 0 0 0 53959 48 0 0 25 0 1 0 806683225 49254400 9252 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9252 300 300 0 11725 0
vsize: 48100
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15002 0 0 0 54959 48 0 0 25 0 1 0 806683225 49254400 9277 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9277 300 300 0 11725 0
vsize: 48100
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15029 0 0 0 55959 48 0 0 25 0 1 0 806683225 49254400 9303 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9303 300 300 0 11725 0
vsize: 48100
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15054 0 0 0 56959 49 0 0 25 0 1 0 806683225 49254400 9327 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9327 300 300 0 11725 0
vsize: 48100
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15081 0 0 0 57959 49 0 0 25 0 1 0 806683225 49254400 9353 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9353 300 300 0 11725 0
vsize: 48100
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15108 0 0 0 58958 49 0 0 25 0 1 0 806683225 49254400 9378 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9378 300 300 0 11725 0
vsize: 48100
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15134 0 0 0 59958 50 0 0 25 0 1 0 806683225 49254400 9403 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9403 300 300 0 11725 0
vsize: 48100
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15159 0 0 0 60958 50 0 0 25 0 1 0 806683225 49254400 9427 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9427 300 300 0 11725 0
vsize: 48100
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15210 0 0 0 61958 50 0 0 25 0 1 0 806683225 49254400 9477 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9477 300 300 0 11725 0
vsize: 48100
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15235 0 0 0 62958 50 0 0 25 0 1 0 806683225 49254400 9501 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9501 300 300 0 11725 0
vsize: 48100
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15260 0 0 0 63958 50 0 0 25 0 1 0 806683225 49254400 9525 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9525 300 300 0 11725 0
vsize: 48100
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15285 0 0 0 64958 51 0 0 25 0 1 0 806683225 49254400 9549 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9549 300 300 0 11725 0
vsize: 48100
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15310 0 0 0 65957 51 0 0 25 0 1 0 806683225 49254400 9572 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9572 300 300 0 11725 0
vsize: 48100
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 15334 0 0 0 66957 51 0 0 25 0 1 0 806683225 49254400 9595 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9595 300 300 0 11725 0
vsize: 48100
[startup+680.034 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 30864 0 0 0 67916 93 0 0 25 0 1 0 806683225 104620032 24316 4294967295 134512640 135726644 3221224576 3186712856 135280844 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25542 24316 300 300 0 25242 0
vsize: 102168
[startup+690.034 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 65433 0 0 0 68838 171 0 0 25 0 1 0 806683225 218660864 48667 4294967295 134512640 135726644 3221224576 3159467328 134554678 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53384 48667 300 300 0 53084 0
vsize: 213536
[startup+700.035 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 96913 0 0 0 69775 233 0 0 25 0 1 0 806683225 324919296 64614 4294967295 134512640 135726644 3221224576 3161026648 134558972 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79326 64614 300 300 0 79026 0
vsize: 317304
[startup+710.036 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 127039 0 0 0 70711 298 0 0 25 0 1 0 806683225 397418496 82237 4294967295 134512640 135726644 3221224576 3166651116 134604430 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97026 82237 300 300 0 96726 0
vsize: 388104
[startup+720.035 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 162874 0 0 0 71639 369 0 0 25 0 1 0 806683225 625893376 117148 4294967295 134512640 135726644 3221224576 3160454960 134771885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152806 117148 300 300 0 152506 0
vsize: 611224
[startup+730.043 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 181486 0 0 0 72601 409 0 0 25 0 1 0 806683225 570810368 116882 4294967295 134512640 135726644 3221224576 3160199856 134560113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139358 116882 300 300 0 139058 0
vsize: 557432
[startup+740.15 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 219085 0 0 0 73528 492 0 0 25 0 1 0 806683225 675663872 129692 4294967295 134512640 135726644 3221224576 3166386624 134604463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164957 129692 300 300 0 164657 0
vsize: 659828
[startup+750.152 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 236073 0 0 0 74494 527 0 0 25 0 1 0 806683225 733683712 146483 4294967295 134512640 135726644 3221224576 3161844928 134554685 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179122 146483 300 300 0 178822 0
vsize: 716488
[startup+760.152 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 255563 0 0 0 75452 569 0 0 25 0 1 0 806683225 761393152 165750 4294967295 134512640 135726644 3221224576 3162809292 134604449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185887 165750 300 300 0 185587 0
vsize: 743548
[startup+770.151 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 274758 0 0 0 76408 610 0 0 25 0 1 0 806683225 789745664 184724 4294967295 134512640 135726644 3221224576 3162849512 135131405 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192809 184724 300 300 0 192509 0
vsize: 771236
[startup+780.153 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 274758 0 0 0 77408 610 0 0 25 0 1 0 806683225 789745664 184724 4294967295 134512640 135726644 3221224576 3201687520 135101187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192809 184724 300 300 0 192509 0
vsize: 771236
[startup+788.918 s]
Raw data (loadavg): 1.04 1.01 0.93 1/53 7294
Raw data (stat): 7294 (pb2sat) R 7293 1269 1268 0 -1 0 274758 0 0 0 77408 610 0 0 25 0 1 0 806683225 789745664 184724 4294967295 134512640 135726644 3221224576 3201687520 135101187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192809 184724 300 300 0 192509 0
vsize: 0

Child status: 1
Real time (s): 788.918
CPU time (s): 788.952
CPU user time (s): 782.468
CPU system time (s): 6.48401
CPU usage (%): 100.004
Max. virtual memory (Kb): 771236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####