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-n370e.opb
MD5SUM	aadb0de5eaca616b889c1e61e0fb0b70
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	29700464693312
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	29700464693312
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.46178
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 35352

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-28 12:47:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24620 boxname=wulflinc1 idbench=1092 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  aadb0de5eaca616b889c1e61e0fb0b70  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n370e.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n370e.opb
IDLAUNCH: 24620
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        688060 kB
Buffers:         36716 kB
Cached:         284992 kB
SwapCached:        680 kB
Active:          31840 kB
Inactive:       292112 kB
HighTotal:      131008 kB
HighFree:         2604 kB
LowTotal:       903652 kB
LowFree:        685456 kB
SwapTotal:     2097136 kB
SwapFree:      2095368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            16748 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:00:22 (client local time) WITH STATUS 1 IN 787.95 SECONDS
stats: 24620 7 787.95 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/55 20014
Raw data (stat): 20014 (runsolver) R 20013 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 749838846 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 2212 0 0 0 994 5 0 0 25 0 1 0 749838846 8089600 1536 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1975 1537 300 300 0 1675 0
vsize: 7900
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 2742 0 0 0 1992 7 0 0 25 0 1 0 749838846 9441280 2057 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2305 2057 300 300 0 2005 0
vsize: 9220
[startup+29.9996 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 3879 0 0 0 2990 9 0 0 25 0 1 0 749838846 13410304 2482 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2482 300 300 0 2974 0
vsize: 13096
[startup+39.9994 s]
Raw data (loadavg): 0.96 0.96 0.91 3/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 4130 0 0 0 3989 10 0 0 25 0 1 0 749838846 14086144 2729 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3439 2729 300 300 0 3139 0
vsize: 13756
[startup+50.0002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 4392 0 0 0 4988 11 0 0 25 0 1 0 749838846 14761984 2986 4294967295 134512640 135726644 3221224592 3221221712 134989989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3604 2986 300 300 0 3304 0
vsize: 14416
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 4622 0 0 0 5987 13 0 0 25 0 1 0 749838846 15437824 3213 4294967295 134512640 135726644 3221224592 3221221680 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3769 3213 300 300 0 3469 0
vsize: 15076
[startup+69.9997 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 4833 0 0 0 6986 13 0 0 25 0 1 0 749838846 15978496 3420 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3901 3420 300 300 0 3601 0
vsize: 15604
[startup+80.0005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 5025 0 0 0 7986 14 0 0 25 0 1 0 749838846 16384000 3609 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4000 3609 300 300 0 3700 0
vsize: 16000
[startup+90.0003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 5206 0 0 0 8985 15 0 0 25 0 1 0 749838846 16924672 3787 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4132 3787 300 300 0 3832 0
vsize: 16528
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 5377 0 0 0 9985 15 0 0 25 0 1 0 749838846 17330176 3955 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3955 300 300 0 3931 0
vsize: 16924
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 7450 0 0 0 10980 20 0 0 25 0 1 0 749838846 25403392 4616 4294967295 134512640 135726644 3221224592 3221221680 134556188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4616 300 300 0 5902 0
vsize: 24808
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 7506 0 0 0 11980 21 0 0 25 0 1 0 749838846 25403392 4669 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4669 300 300 0 5902 0
vsize: 24808
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 7560 0 0 0 12980 21 0 0 25 0 1 0 749838846 25403392 4721 4294967295 134512640 135726644 3221224592 3221221680 134556173 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 7613 0 0 0 13979 22 0 0 25 0 1 0 749838846 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 7689 0 0 0 14979 22 0 0 25 0 1 0 749838846 25403392 4845 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4845 300 300 0 5902 0
vsize: 24808
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 7744 0 0 0 15979 22 0 0 25 0 1 0 749838846 25538560 4898 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6235 4898 300 300 0 5935 0
vsize: 24940
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 7876 0 0 0 16979 23 0 0 25 0 1 0 749838846 25808896 5028 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 5028 300 300 0 6001 0
vsize: 25204
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8005 0 0 0 17978 23 0 0 25 0 1 0 749838846 26214400 5155 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6400 5155 300 300 0 6100 0
vsize: 25600
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8131 0 0 0 18978 24 0 0 25 0 1 0 749838846 26484736 5279 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5279 300 300 0 6166 0
vsize: 25864
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8255 0 0 0 19978 24 0 0 25 0 1 0 749838846 26890240 5401 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6565 5401 300 300 0 6265 0
vsize: 26260
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8374 0 0 0 20977 25 0 0 25 0 1 0 749838846 27160576 5518 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5518 300 300 0 6331 0
vsize: 26524
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8492 0 0 0 21977 25 0 0 25 0 1 0 749838846 27430912 5634 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5634 300 300 0 6397 0
vsize: 26788
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8608 0 0 0 22977 26 0 0 25 0 1 0 749838846 27836416 5748 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6796 5748 300 300 0 6496 0
vsize: 27184
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8722 0 0 0 23976 26 0 0 25 0 1 0 749838846 28106752 5860 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6862 5860 300 300 0 6562 0
vsize: 27448
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8832 0 0 0 24976 27 0 0 25 0 1 0 749838846 28377088 5968 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5968 300 300 0 6628 0
vsize: 27712
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 8940 0 0 0 25976 27 0 0 25 0 1 0 749838846 28647424 6075 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 6075 300 300 0 6694 0
vsize: 27976
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9047 0 0 0 26976 27 0 0 25 0 1 0 749838846 28917760 6180 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6180 300 300 0 6760 0
vsize: 28240
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9152 0 0 0 27975 28 0 0 25 0 1 0 749838846 29188096 6283 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 6283 300 300 0 6826 0
vsize: 28504
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9256 0 0 0 28975 29 0 0 25 0 1 0 749838846 29458432 6386 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 6386 300 300 0 6892 0
vsize: 28768
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9357 0 0 0 29975 29 0 0 25 0 1 0 749838846 29728768 6485 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7258 6485 300 300 0 6958 0
vsize: 29032
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9458 0 0 0 30975 29 0 0 25 0 1 0 749838846 29999104 6584 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7324 6584 300 300 0 7024 0
vsize: 29296
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9557 0 0 0 31975 29 0 0 25 0 1 0 749838846 30269440 6682 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6682 300 300 0 7090 0
vsize: 29560
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9654 0 0 0 32975 30 0 0 25 0 1 0 749838846 30539776 6777 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7456 6777 300 300 0 7156 0
vsize: 29824
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9749 0 0 0 33974 30 0 0 25 0 1 0 749838846 30810112 6871 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6871 300 300 0 7222 0
vsize: 30088
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9844 0 0 0 34974 31 0 0 25 0 1 0 749838846 31080448 6964 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7588 6964 300 300 0 7288 0
vsize: 30352
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 9936 0 0 0 35974 31 0 0 25 0 1 0 749838846 31350784 7055 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7654 7055 300 300 0 7354 0
vsize: 30616
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10028 0 0 0 36974 32 0 0 25 0 1 0 749838846 31485952 7145 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7145 300 300 0 7387 0
vsize: 30748
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10119 0 0 0 37973 32 0 0 25 0 1 0 749838846 31756288 7235 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7753 7235 300 300 0 7453 0
vsize: 31012
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10210 0 0 0 38973 32 0 0 25 0 1 0 749838846 32026624 7324 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7819 7324 300 300 0 7519 0
vsize: 31276
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10297 0 0 0 39973 33 0 0 25 0 1 0 749838846 32296960 7410 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7885 7410 300 300 0 7585 0
vsize: 31540
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10385 0 0 0 40973 33 0 0 25 0 1 0 749838846 32432128 7496 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7496 300 300 0 7618 0
vsize: 31672
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10472 0 0 0 41972 34 0 0 25 0 1 0 749838846 32702464 7582 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7984 7582 300 300 0 7684 0
vsize: 31936
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10556 0 0 0 42972 34 0 0 25 0 1 0 749838846 32972800 7665 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8050 7665 300 300 0 7750 0
vsize: 32200
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10643 0 0 0 43972 34 0 0 25 0 1 0 749838846 33107968 7750 4294967295 134512640 135726644 3221224592 3221221680 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10726 0 0 0 44972 35 0 0 25 0 1 0 749838846 33378304 7832 4294967295 134512640 135726644 3221224592 3221221680 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10807 0 0 0 45972 35 0 0 25 0 1 0 749838846 33648640 7912 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8215 7912 300 300 0 7915 0
vsize: 32860
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 10891 0 0 0 46971 36 0 0 25 0 1 0 749838846 33783808 7994 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7994 300 300 0 7948 0
vsize: 32992
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 14809 0 0 0 47963 45 0 0 25 0 1 0 749838846 51355648 9606 4294967295 134512640 135726644 3221224592 3221221488 135280446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12538 9606 300 300 0 12238 0
vsize: 50152
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 14836 0 0 0 48962 45 0 0 25 0 1 0 749838846 49254400 9119 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9119 300 300 0 11725 0
vsize: 48100
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 14865 0 0 0 49962 45 0 0 25 0 1 0 749838846 49254400 9146 4294967295 134512640 135726644 3221224592 3221221680 134556171 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 14893 0 0 0 50962 46 0 0 25 0 1 0 749838846 49254400 9173 4294967295 134512640 135726644 3221224592 3221221680 134556171 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 14920 0 0 0 51962 46 0 0 25 0 1 0 749838846 49254400 9199 4294967295 134512640 135726644 3221224592 3221221680 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 14948 0 0 0 52962 46 0 0 25 0 1 0 749838846 49254400 9226 4294967295 134512640 135726644 3221224592 3221221680 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 14976 0 0 0 53962 47 0 0 25 0 1 0 749838846 49254400 9252 4294967295 134512640 135726644 3221224592 3221221680 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15002 0 0 0 54962 47 0 0 25 0 1 0 749838846 49254400 9277 4294967295 134512640 135726644 3221224592 3221221680 134556160 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15029 0 0 0 55961 47 0 0 25 0 1 0 749838846 49254400 9303 4294967295 134512640 135726644 3221224592 3221221680 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15055 0 0 0 56961 48 0 0 25 0 1 0 749838846 49254400 9328 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9328 300 300 0 11725 0
vsize: 48100
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15081 0 0 0 57961 48 0 0 25 0 1 0 749838846 49254400 9353 4294967295 134512640 135726644 3221224592 3221221680 134556160 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15108 0 0 0 58961 49 0 0 25 0 1 0 749838846 49254400 9378 4294967295 134512640 135726644 3221224592 3221221680 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15134 0 0 0 59960 49 0 0 25 0 1 0 749838846 49254400 9403 4294967295 134512640 135726644 3221224592 3221221680 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15159 0 0 0 60960 49 0 0 25 0 1 0 749838846 49254400 9427 4294967295 134512640 135726644 3221224592 3221221680 134556173 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15210 0 0 0 61960 49 0 0 25 0 1 0 749838846 49254400 9477 4294967295 134512640 135726644 3221224592 3221221680 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15236 0 0 0 62961 50 0 0 25 0 1 0 749838846 49254400 9502 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9502 300 300 0 11725 0
vsize: 48100
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15260 0 0 0 63961 50 0 0 25 0 1 0 749838846 49254400 9525 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9525 300 300 0 11725 0
vsize: 48100
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15285 0 0 0 64961 50 0 0 25 0 1 0 749838846 49254400 9549 4294967295 134512640 135726644 3221224592 3221221680 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15310 0 0 0 65961 50 0 0 25 0 1 0 749838846 49254400 9572 4294967295 134512640 135726644 3221224592 3221221680 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 15335 0 0 0 66960 51 0 0 25 0 1 0 749838846 49254400 9596 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9596 300 300 0 11725 0
vsize: 48100
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 31039 0 0 0 67920 91 0 0 25 0 1 0 749838846 106254336 24490 4294967295 134512640 135726644 3221224592 3186265216 134780450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25941 24490 300 300 0 25641 0
vsize: 103764
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 65388 0 0 0 68848 164 0 0 25 0 1 0 749838846 218525696 48625 4294967295 134512640 135726644 3221224592 3161457448 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53351 48626 300 300 0 53051 0
vsize: 213404
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 96888 0 0 0 69784 228 0 0 25 0 1 0 749838846 325054464 64592 4294967295 134512640 135726644 3221224592 3161771768 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79359 64592 300 300 0 79059 0
vsize: 317436
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 127303 0 0 0 70717 295 0 0 25 0 1 0 749838846 398094336 82491 4294967295 134512640 135726644 3221224592 3162287744 134554681 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97191 82491 300 300 0 96891 0
vsize: 388764
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 166160 0 0 0 71638 374 0 0 25 0 1 0 749838846 631164928 120313 4294967295 134512640 135726644 3221224592 3162998576 134771783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154093 120315 300 300 0 153793 0
vsize: 616372
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 181573 0 0 0 72600 412 0 0 25 0 1 0 749838846 570269696 116960 4294967295 134512640 135726644 3221224592 3160260144 134554691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139226 116960 300 300 0 138926 0
vsize: 556904
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 218543 0 0 0 73515 497 0 0 25 0 1 0 749838846 674852864 129152 4294967295 134512640 135726644 3221224592 3160267332 134554779 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164759 129154 300 300 0 164459 0
vsize: 659036
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 235511 0 0 0 74479 534 0 0 25 0 1 0 749838846 732737536 145926 4294967295 134512640 135726644 3221224592 3159348968 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178891 145926 300 300 0 178591 0
vsize: 715564
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 255002 0 0 0 75437 576 0 0 25 0 1 0 749838846 760311808 165194 4294967295 134512640 135726644 3221224592 3160386096 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185623 165195 300 300 0 185323 0
vsize: 742492
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20014
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 274655 0 0 0 76389 624 0 0 25 0 1 0 749838846 787886080 184623 4294967295 134512640 135726644 3221224592 3169202480 134766681 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192355 184625 300 300 0 192055 0
vsize: 769420
[startup+780.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 20067
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 274849 0 0 0 77388 625 0 0 25 0 1 0 749838846 789204992 184815 4294967295 134512640 135726644 3221224592 3207137976 135131407 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192677 184815 300 300 0 192377 0
vsize: 770708
[startup+788.009 s]
Raw data (loadavg): 1.06 0.99 0.91 1/54 20067
Raw data (stat): 20014 (pb2sat) R 20013 8378 8377 0 -1 0 274849 0 0 0 77388 625 0 0 25 0 1 0 749838846 789204992 184815 4294967295 134512640 135726644 3221224592 3207137976 135131407 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192677 184815 300 300 0 192377 0
vsize: 0

Child status: 1
Real time (s): 788.009
CPU time (s): 787.95
CPU user time (s): 781.323
CPU system time (s): 6.62699
CPU usage (%): 99.9925
Max. virtual memory (Kb): 770708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####