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-n3701.opb
MD5SUM	43fed3c1d7a16e4c08eafe49f6a33c8e
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	29697461525571
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	29697461525571
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 35320

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-28 12:42:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24607 boxname=wulflinc15 idbench=1079 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  43fed3c1d7a16e4c08eafe49f6a33c8e  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n3701.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n3701.opb
IDLAUNCH: 24607
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        820004 kB
Buffers:         33396 kB
Cached:         158576 kB
SwapCached:        604 kB
Active:          69392 kB
Inactive:       124692 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        819724 kB
SwapTotal:     2097136 kB
SwapFree:      2095616 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            14880 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:55:47 (client local time) WITH STATUS 1 IN 782.637 SECONDS
stats: 24607 7 782.637 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.91 0.93 0.90 2/54 3062
Raw data (stat): 3062 (runsolver) R 3061 23514 23513 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806662091 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.92 0.93 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 2191 0 0 0 995 3 0 0 25 0 1 0 806662091 7954432 1515 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1942 1515 300 300 0 1642 0
vsize: 7768
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 2710 0 0 0 1994 5 0 0 25 0 1 0 806662091 9441280 2026 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2305 2026 300 300 0 2005 0
vsize: 9220
[startup+30.001 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 3876 0 0 0 2991 8 0 0 25 0 1 0 806662091 13410304 2479 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2479 300 300 0 2974 0
vsize: 13096
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 4121 0 0 0 3990 9 0 0 25 0 1 0 806662091 14086144 2720 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3439 2720 300 300 0 3139 0
vsize: 13756
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 4381 0 0 0 4990 10 0 0 25 0 1 0 806662091 14761984 2975 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3604 2975 300 300 0 3304 0
vsize: 14416
[startup+60.0025 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 4611 0 0 0 5988 11 0 0 25 0 1 0 806662091 15302656 3202 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3736 3202 300 300 0 3436 0
vsize: 14944
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 4825 0 0 0 6987 12 0 0 25 0 1 0 806662091 15843328 3412 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3868 3412 300 300 0 3568 0
vsize: 15472
[startup+80.0021 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 5022 0 0 0 7986 13 0 0 25 0 1 0 806662091 16384000 3606 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4000 3606 300 300 0 3700 0
vsize: 16000
[startup+90.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 5206 0 0 0 8985 15 0 0 25 0 1 0 806662091 16924672 3787 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4132 3787 300 300 0 3832 0
vsize: 16528
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 5380 0 0 0 9984 16 0 0 25 0 1 0 806662091 17330176 3958 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4231 3958 300 300 0 3931 0
vsize: 16924
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7452 0 0 0 10980 20 0 0 25 0 1 0 806662091 25403392 4618 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4618 300 300 0 5902 0
vsize: 24808
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7508 0 0 0 11979 21 0 0 25 0 1 0 806662091 25403392 4671 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4671 300 300 0 5902 0
vsize: 24808
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7562 0 0 0 12979 21 0 0 25 0 1 0 806662091 25403392 4723 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4723 300 300 0 5902 0
vsize: 24808
[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7615 0 0 0 13979 22 0 0 25 0 1 0 806662091 25403392 4773 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4773 300 300 0 5902 0
vsize: 24808
[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7692 0 0 0 14978 23 0 0 25 0 1 0 806662091 25403392 4848 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4848 300 300 0 5902 0
vsize: 24808
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7754 0 0 0 15978 24 0 0 25 0 1 0 806662091 25538560 4908 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6235 4908 300 300 0 5935 0
vsize: 24940
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 7888 0 0 0 16977 24 0 0 25 0 1 0 806662091 25808896 5040 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5040 300 300 0 6001 0
vsize: 25204
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8018 0 0 0 17977 25 0 0 25 0 1 0 806662091 26214400 5168 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6400 5168 300 300 0 6100 0
vsize: 25600
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8146 0 0 0 18976 26 0 0 25 0 1 0 806662091 26619904 5294 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6499 5294 300 300 0 6199 0
vsize: 25996
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8273 0 0 0 19976 26 0 0 25 0 1 0 806662091 26890240 5418 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6565 5418 300 300 0 6265 0
vsize: 26260
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8392 0 0 0 20976 27 0 0 25 0 1 0 806662091 27160576 5536 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6631 5536 300 300 0 6331 0
vsize: 26524
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8511 0 0 0 21975 27 0 0 25 0 1 0 806662091 27566080 5653 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6730 5653 300 300 0 6430 0
vsize: 26920
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8628 0 0 0 22975 28 0 0 25 0 1 0 806662091 27836416 5768 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6796 5768 300 300 0 6496 0
vsize: 27184
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8742 0 0 0 23974 29 0 0 25 0 1 0 806662091 28106752 5880 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6862 5880 300 300 0 6562 0
vsize: 27448
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8853 0 0 0 24974 29 0 0 25 0 1 0 806662091 28377088 5989 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5989 300 300 0 6628 0
vsize: 27712
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 8963 0 0 0 25972 31 0 0 25 0 1 0 806662091 28782592 6097 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7027 6097 300 300 0 6727 0
vsize: 28108
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9070 0 0 0 26972 32 0 0 25 0 1 0 806662091 29052928 6203 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7093 6203 300 300 0 6793 0
vsize: 28372
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9177 0 0 0 27971 32 0 0 25 0 1 0 806662091 29323264 6308 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7159 6308 300 300 0 6859 0
vsize: 28636
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9281 0 0 0 28971 32 0 0 25 0 1 0 806662091 29593600 6410 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7225 6410 300 300 0 6925 0
vsize: 28900
[startup+300.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9382 0 0 0 29971 33 0 0 25 0 1 0 806662091 29863936 6510 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7291 6510 300 300 0 6991 0
vsize: 29164
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9484 0 0 0 30971 33 0 0 25 0 1 0 806662091 30134272 6610 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7357 6610 300 300 0 7057 0
vsize: 29428
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9583 0 0 0 31971 34 0 0 25 0 1 0 806662091 30404608 6707 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7423 6707 300 300 0 7123 0
vsize: 29692
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9681 0 0 0 32970 35 0 0 25 0 1 0 806662091 30674944 6804 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7489 6804 300 300 0 7189 0
vsize: 29956
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9777 0 0 0 33969 35 0 0 25 0 1 0 806662091 30810112 6898 4294967295 134512640 135726644 3221224576 3221221512 135281220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6898 300 300 0 7222 0
vsize: 30088
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9872 0 0 0 34969 36 0 0 25 0 1 0 806662091 31080448 6992 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6992 300 300 0 7288 0
vsize: 30352
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 9966 0 0 0 35969 36 0 0 25 0 1 0 806662091 31350784 7084 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7654 7084 300 300 0 7354 0
vsize: 30616
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10059 0 0 0 36968 37 0 0 25 0 1 0 806662091 31621120 7176 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7720 7176 300 300 0 7420 0
vsize: 30880
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10151 0 0 0 37968 37 0 0 25 0 1 0 806662091 31891456 7266 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7786 7266 300 300 0 7486 0
vsize: 31144
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10240 0 0 0 38968 38 0 0 25 0 1 0 806662091 32026624 7354 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7354 300 300 0 7519 0
vsize: 31276
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10329 0 0 0 39968 38 0 0 25 0 1 0 806662091 32296960 7441 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7885 7441 300 300 0 7585 0
vsize: 31540
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10417 0 0 0 40967 39 0 0 25 0 1 0 806662091 32567296 7528 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7951 7528 300 300 0 7651 0
vsize: 31804
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10505 0 0 0 41966 40 0 0 25 0 1 0 806662091 32837632 7614 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8017 7614 300 300 0 7717 0
vsize: 32068
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10591 0 0 0 42966 41 0 0 25 0 1 0 806662091 32972800 7699 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7699 300 300 0 7750 0
vsize: 32200
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10676 0 0 0 43966 41 0 0 25 0 1 0 806662091 33243136 7783 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7783 300 300 0 7816 0
vsize: 32464
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10760 0 0 0 44965 42 0 0 25 0 1 0 806662091 33513472 7865 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8182 7865 300 300 0 7882 0
vsize: 32728
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10844 0 0 0 45965 42 0 0 25 0 1 0 806662091 33648640 7948 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8215 7948 300 300 0 7915 0
vsize: 32860
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 10925 0 0 0 46965 43 0 0 25 0 1 0 806662091 33918976 8028 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8281 8028 300 300 0 7981 0
vsize: 33124
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14821 0 0 0 47957 50 0 0 25 0 1 0 806662091 49254400 9104 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9104 300 300 0 11725 0
vsize: 48100
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14850 0 0 0 48957 51 0 0 25 0 1 0 806662091 49254400 9132 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9132 300 300 0 11725 0
vsize: 48100
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14878 0 0 0 49957 51 0 0 25 0 1 0 806662091 49254400 9159 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9159 300 300 0 11725 0
vsize: 48100
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14905 0 0 0 50957 51 0 0 25 0 1 0 806662091 49254400 9185 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9185 300 300 0 11725 0
vsize: 48100
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14934 0 0 0 51956 52 0 0 25 0 1 0 806662091 49254400 9212 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9212 300 300 0 11725 0
vsize: 48100
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14961 0 0 0 52956 52 0 0 25 0 1 0 806662091 49254400 9238 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9238 300 300 0 11725 0
vsize: 48100
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 14988 0 0 0 53956 52 0 0 25 0 1 0 806662091 49254400 9264 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9264 300 300 0 11725 0
vsize: 48100
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15015 0 0 0 54956 52 0 0 25 0 1 0 806662091 49254400 9290 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9290 300 300 0 11725 0
vsize: 48100
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15043 0 0 0 55956 53 0 0 25 0 1 0 806662091 49254400 9316 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9316 300 300 0 11725 0
vsize: 48100
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15069 0 0 0 56956 53 0 0 25 0 1 0 806662091 49254400 9341 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9341 300 300 0 11725 0
vsize: 48100
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15095 0 0 0 57956 53 0 0 25 0 1 0 806662091 49254400 9366 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9366 300 300 0 11725 0
vsize: 48100
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15120 0 0 0 58957 53 0 0 25 0 1 0 806662091 49254400 9390 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9390 300 300 0 11725 0
vsize: 48100
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15146 0 0 0 59956 53 0 0 25 0 1 0 806662091 49254400 9415 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9415 300 300 0 11725 0
vsize: 48100
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15187 0 0 0 60956 53 0 0 25 0 1 0 806662091 49254400 9454 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9454 300 300 0 11725 0
vsize: 48100
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15223 0 0 0 61956 53 0 0 25 0 1 0 806662091 49254400 9489 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9489 300 300 0 11725 0
vsize: 48100
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15249 0 0 0 62956 53 0 0 25 0 1 0 806662091 49254400 9514 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9514 300 300 0 11725 0
vsize: 48100
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15273 0 0 0 63956 54 0 0 25 0 1 0 806662091 49254400 9537 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9537 300 300 0 11725 0
vsize: 48100
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15298 0 0 0 64956 54 0 0 25 0 1 0 806662091 49254400 9561 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9561 300 300 0 11725 0
vsize: 48100
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15322 0 0 0 65955 54 0 0 25 0 1 0 806662091 49254400 9584 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9584 300 300 0 11725 0
vsize: 48100
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 15359 0 0 0 66955 55 0 0 25 0 1 0 806662091 49389568 9620 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12058 9620 300 300 0 11758 0
vsize: 48232
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 53333 0 0 0 67868 141 0 0 25 0 1 0 806662091 183902208 39751 4294967295 134512640 135726644 3221224576 3164720152 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44898 39752 300 300 0 44598 0
vsize: 179592
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 87022 0 0 0 68798 212 0 0 25 0 1 0 806662091 333312000 60969 4294967295 134512640 135726644 3221224576 3160960192 134784885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81375 60973 300 300 0 81075 0
vsize: 325500
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 106216 0 0 0 69752 258 0 0 25 0 1 0 806662091 334651392 73797 4294967295 134512640 135726644 3221224576 3160700056 135280647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81702 73798 300 300 0 81402 0
vsize: 326808
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 136489 0 0 0 70680 330 0 0 25 0 1 0 806662091 444895232 91569 4294967295 134512640 135726644 3221224576 3159682480 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108617 91570 300 300 0 108317 0
vsize: 434468
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 175217 0 0 0 71606 405 0 0 25 0 1 0 806662091 569864192 110713 4294967295 134512640 135726644 3221224576 3161433328 134554678 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139127 110714 300 300 0 138827 0
vsize: 556508
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 196819 0 0 0 72556 455 0 0 25 0 1 0 806662091 771194880 132095 4294967295 134512640 135726644 3221224576 3163947792 134784885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188280 132100 300 300 0 187980 0
vsize: 753120
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 226211 0 0 0 73489 522 0 0 25 0 1 0 806662091 719355904 136733 4294967295 134512640 135726644 3221224576 3163750152 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175624 136734 300 300 0 175324 0
vsize: 702496
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 245818 0 0 0 74447 564 0 0 25 0 1 0 806662091 747200512 156115 4294967295 134512640 135726644 3221224576 3162354620 134604449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182422 156115 300 300 0 182122 0
vsize: 729688
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 265209 0 0 0 75402 609 0 0 25 0 1 0 806662091 774909952 175283 4294967295 134512640 135726644 3221224576 3160859640 135280647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189187 175283 300 300 0 188887 0
vsize: 756748
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 274763 0 0 0 76380 631 0 0 25 0 1 0 806662091 789069824 184729 4294967295 134512640 135726644 3221224576 3177338320 135101187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192644 184729 300 300 0 192344 0
vsize: 770576
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 274765 0 0 0 77380 632 0 0 25 0 1 0 806662091 784871424 184125 4294967295 134512640 135726644 3221224576 3221222976 135278565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191619 184125 300 300 0 191319 0
vsize: 766476
[startup+782.542 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3062
Raw data (stat): 3062 (pb2sat) R 3061 23514 23513 0 -1 0 274765 0 0 0 77380 632 0 0 25 0 1 0 806662091 784871424 184125 4294967295 134512640 135726644 3221224576 3221222976 135278565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191619 184125 300 300 0 191319 0
vsize: 0

Child status: 1
Real time (s): 782.542
CPU time (s): 782.637
CPU user time (s): 775.945
CPU system time (s): 6.69198
CPU usage (%): 100.012
Max. virtual memory (Kb): 770576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####