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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
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	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 35214

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-28 12:14:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24410 boxname=wulflinc18 idbench=882 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bdd9a8da4deb9b8348cff99945476562  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-ship12l.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-ship12l.opb
IDLAUNCH: 24410
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        682240 kB
Buffers:         33280 kB
Cached:         285936 kB
SwapCached:        792 kB
Active:          34020 kB
Inactive:       287280 kB
HighTotal:      131008 kB
HighFree:        35840 kB
LowTotal:       903652 kB
LowFree:        646400 kB
SwapTotal:     2097892 kB
SwapFree:      2096240 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5120 kB
Slab:            25272 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:28:52 (client local time) WITH STATUS 1 IN 852.325 SECONDS
stats: 24410 7 852.325 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.84 0.91 0.90 1/54 1886
Raw data (stat): 1886 (runsolver) D 1885 24172 24171 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 864706736 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99976 s]
Raw data (loadavg): 0.87 0.91 0.90 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 2170 0 0 0 991 6 0 0 25 0 1 0 864706736 7954432 1495 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1942 1495 300 300 0 1642 0
vsize: 7768
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 2734 0 0 0 1989 8 0 0 25 0 1 0 864706736 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.001 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 3882 0 0 0 2987 10 0 0 25 0 1 0 864706736 13410304 2486 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2486 300 300 0 2974 0
vsize: 13096
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 4139 0 0 0 3986 11 0 0 25 0 1 0 864706736 14086144 2738 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3439 2738 300 300 0 3139 0
vsize: 13756
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 4390 0 0 0 4985 12 0 0 25 0 1 0 864706736 14761984 2985 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3604 2985 300 300 0 3304 0
vsize: 14416
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.92 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 4614 0 0 0 5985 13 0 0 25 0 1 0 864706736 15302656 3206 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3736 3206 300 300 0 3436 0
vsize: 14944
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 4821 0 0 0 6984 14 0 0 25 0 1 0 864706736 15843328 3409 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3868 3409 300 300 0 3568 0
vsize: 15472
[startup+80.0041 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 5011 0 0 0 7984 14 0 0 25 0 1 0 864706736 16384000 3596 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4000 3596 300 300 0 3700 0
vsize: 16000
[startup+90.0128 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 5191 0 0 0 8984 15 0 0 25 0 1 0 864706736 16924672 3773 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4132 3773 300 300 0 3832 0
vsize: 16528
[startup+100.013 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 5361 0 0 0 9983 16 0 0 25 0 1 0 864706736 17330176 3941 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3941 300 300 0 3931 0
vsize: 16924
[startup+110.013 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 5522 0 0 0 10983 16 0 0 25 0 1 0 864706736 17735680 4099 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4330 4099 300 300 0 4030 0
vsize: 17320
[startup+120.014 s]
Raw data (loadavg): 1.06 0.95 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 7498 0 0 0 11978 21 0 0 25 0 1 0 864706736 25403392 4663 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4663 300 300 0 5902 0
vsize: 24808
[startup+130.014 s]
Raw data (loadavg): 1.05 0.95 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 7553 0 0 0 12978 22 0 0 25 0 1 0 864706736 25403392 4715 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4715 300 300 0 5902 0
vsize: 24808
[startup+140.015 s]
Raw data (loadavg): 1.04 0.95 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 7606 0 0 0 13978 22 0 0 25 0 1 0 864706736 25403392 4766 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4766 300 300 0 5902 0
vsize: 24808
[startup+150.016 s]
Raw data (loadavg): 1.03 0.95 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 7684 0 0 0 14977 23 0 0 25 0 1 0 864706736 25403392 4841 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4841 300 300 0 5902 0
vsize: 24808
[startup+160.016 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 7732 0 0 0 15977 23 0 0 25 0 1 0 864706736 25403392 4887 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4887 300 300 0 5902 0
vsize: 24808
[startup+170.016 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 7861 0 0 0 16977 24 0 0 25 0 1 0 864706736 25808896 5014 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 5014 300 300 0 6001 0
vsize: 25204
[startup+180.017 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 7991 0 0 0 17976 24 0 0 25 0 1 0 864706736 26214400 5142 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6400 5142 300 300 0 6100 0
vsize: 25600
[startup+190.018 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 8116 0 0 0 18976 25 0 0 25 0 1 0 864706736 26484736 5265 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5265 300 300 0 6166 0
vsize: 25864
[startup+200.018 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 8240 0 0 0 19975 25 0 0 25 0 1 0 864706736 26755072 5387 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6532 5387 300 300 0 6232 0
vsize: 26128
[startup+210.019 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 8359 0 0 0 20975 26 0 0 25 0 1 0 864706736 27160576 5504 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5504 300 300 0 6331 0
vsize: 26524
[startup+220.019 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 8477 0 0 0 21975 26 0 0 25 0 1 0 864706736 27430912 5620 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5620 300 300 0 6397 0
vsize: 26788
[startup+230.019 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 8592 0 0 0 22974 27 0 0 25 0 1 0 864706736 27701248 5733 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6763 5733 300 300 0 6463 0
vsize: 27052
[startup+240.02 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 8706 0 0 0 23974 27 0 0 25 0 1 0 864706736 27971584 5845 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6829 5845 300 300 0 6529 0
vsize: 27316
[startup+250.02 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 8818 0 0 0 24974 27 0 0 25 0 1 0 864706736 28377088 5956 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5956 300 300 0 6628 0
vsize: 27712
[startup+260.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 8928 0 0 0 25974 27 0 0 25 0 1 0 864706736 28647424 6064 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6064 300 300 0 6694 0
vsize: 27976
[startup+270.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9035 0 0 0 26974 28 0 0 25 0 1 0 864706736 28917760 6169 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6169 300 300 0 6760 0
vsize: 28240
[startup+280.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9142 0 0 0 27974 28 0 0 25 0 1 0 864706736 29188096 6274 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6274 300 300 0 6826 0
vsize: 28504
[startup+290.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9247 0 0 0 28984 29 0 0 25 0 1 0 864706736 29458432 6378 4294967295 134512640 135726644 3221224576 3221221588 134541496 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6378 300 300 0 6892 0
vsize: 28768
[startup+300.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9349 0 0 0 29984 29 0 0 25 0 1 0 864706736 29728768 6478 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6478 300 300 0 6958 0
vsize: 29032
[startup+310.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9451 0 0 0 30983 29 0 0 25 0 1 0 864706736 29999104 6578 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6578 300 300 0 7024 0
vsize: 29296
[startup+320.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9549 0 0 0 31984 29 0 0 25 0 1 0 864706736 30269440 6675 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 6675 300 300 0 7090 0
vsize: 29560
[startup+330.131 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9647 0 0 0 32983 30 0 0 25 0 1 0 864706736 30539776 6771 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6771 300 300 0 7156 0
vsize: 29824
[startup+340.132 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9745 0 0 0 33983 30 0 0 25 0 1 0 864706736 30810112 6868 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6868 300 300 0 7222 0
vsize: 30088
[startup+350.132 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9840 0 0 0 34983 31 0 0 25 0 1 0 864706736 31080448 6961 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6961 300 300 0 7288 0
vsize: 30352
[startup+360.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 9934 0 0 0 35983 31 0 0 25 0 1 0 864706736 31350784 7054 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7654 7054 300 300 0 7354 0
vsize: 30616
[startup+370.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10027 0 0 0 36983 31 0 0 25 0 1 0 864706736 31485952 7145 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7687 7145 300 300 0 7387 0
vsize: 30748
[startup+380.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10118 0 0 0 37983 31 0 0 25 0 1 0 864706736 31756288 7235 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7235 300 300 0 7453 0
vsize: 31012
[startup+390.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10209 0 0 0 38982 32 0 0 25 0 1 0 864706736 32026624 7324 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7324 300 300 0 7519 0
vsize: 31276
[startup+400.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10296 0 0 0 39982 32 0 0 25 0 1 0 864706736 32296960 7410 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7885 7410 300 300 0 7585 0
vsize: 31540
[startup+410.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10385 0 0 0 40982 33 0 0 25 0 1 0 864706736 32432128 7497 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7918 7497 300 300 0 7618 0
vsize: 31672
[startup+420.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10473 0 0 0 41982 33 0 0 25 0 1 0 864706736 32702464 7584 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7584 300 300 0 7684 0
vsize: 31936
[startup+430.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10558 0 0 0 42982 33 0 0 25 0 1 0 864706736 32972800 7668 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7668 300 300 0 7750 0
vsize: 32200
[startup+440.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10644 0 0 0 43982 33 0 0 25 0 1 0 864706736 33107968 7752 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8083 7752 300 300 0 7783 0
vsize: 32332
[startup+450.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10729 0 0 0 44981 34 0 0 25 0 1 0 864706736 33378304 7836 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8149 7836 300 300 0 7849 0
vsize: 32596
[startup+460.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10811 0 0 0 45981 34 0 0 25 0 1 0 864706736 33648640 7917 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8215 7917 300 300 0 7915 0
vsize: 32860
[startup+470.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 10894 0 0 0 46980 35 0 0 25 0 1 0 864706736 33783808 7998 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 7998 300 300 0 7948 0
vsize: 32992
[startup+480.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 14809 0 0 0 47973 42 0 0 25 0 1 0 864706736 49254400 9094 4294967295 134512640 135726644 3221224576 3221221888 134565772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9094 300 300 0 11725 0
vsize: 48100
[startup+490.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 14837 0 0 0 48972 43 0 0 25 0 1 0 864706736 49254400 9121 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9121 300 300 0 11725 0
vsize: 48100
[startup+500.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 14866 0 0 0 49973 43 0 0 25 0 1 0 864706736 49254400 9148 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9148 300 300 0 11725 0
vsize: 48100
[startup+510.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 14894 0 0 0 50973 43 0 0 25 0 1 0 864706736 49254400 9175 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9175 300 300 0 11725 0
vsize: 48100
[startup+520.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 14922 0 0 0 51972 43 0 0 25 0 1 0 864706736 49254400 9202 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9202 300 300 0 11725 0
vsize: 48100
[startup+530.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 14949 0 0 0 52972 43 0 0 25 0 1 0 864706736 49254400 9228 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9228 300 300 0 11725 0
vsize: 48100
[startup+540.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 14977 0 0 0 53972 43 0 0 25 0 1 0 864706736 49254400 9254 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9254 300 300 0 11725 0
vsize: 48100
[startup+550.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15004 0 0 0 54972 44 0 0 25 0 1 0 864706736 49254400 9280 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9280 300 300 0 11725 0
vsize: 48100
[startup+560.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15031 0 0 0 55972 44 0 0 25 0 1 0 864706736 49254400 9306 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9306 300 300 0 11725 0
vsize: 48100
[startup+570.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15058 0 0 0 56972 44 0 0 25 0 1 0 864706736 49254400 9332 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9332 300 300 0 11725 0
vsize: 48100
[startup+580.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15085 0 0 0 57972 44 0 0 25 0 1 0 864706736 49254400 9357 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9357 300 300 0 11725 0
vsize: 48100
[startup+590.143 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15111 0 0 0 58972 44 0 0 25 0 1 0 864706736 49254400 9382 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9382 300 300 0 11725 0
vsize: 48100
[startup+600.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15136 0 0 0 59972 44 0 0 25 0 1 0 864706736 49254400 9406 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9406 300 300 0 11725 0
vsize: 48100
[startup+610.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15167 0 0 0 60972 45 0 0 25 0 1 0 864706736 49254400 9436 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9436 300 300 0 11725 0
vsize: 48100
[startup+620.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15214 0 0 0 61972 45 0 0 25 0 1 0 864706736 49254400 9482 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9482 300 300 0 11725 0
vsize: 48100
[startup+630.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15239 0 0 0 62972 45 0 0 25 0 1 0 864706736 49254400 9506 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9506 300 300 0 11725 0
vsize: 48100
[startup+640.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15265 0 0 0 63972 45 0 0 25 0 1 0 864706736 49254400 9530 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9530 300 300 0 11725 0
vsize: 48100
[startup+650.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15290 0 0 0 64971 46 0 0 25 0 1 0 864706736 49254400 9554 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9554 300 300 0 11725 0
vsize: 48100
[startup+660.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15315 0 0 0 65971 46 0 0 25 0 1 0 864706736 49254400 9578 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9578 300 300 0 11725 0
vsize: 48100
[startup+670.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15340 0 0 0 66971 46 0 0 25 0 1 0 864706736 49254400 9602 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9602 300 300 0 11725 0
vsize: 48100
[startup+680.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15407 0 0 0 67971 46 0 0 25 0 1 0 864706736 49524736 9668 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12091 9668 300 300 0 11791 0
vsize: 48364
[startup+690.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15474 0 0 0 68971 47 0 0 25 0 1 0 864706736 49659904 9734 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12124 9734 300 300 0 11824 0
vsize: 48496
[startup+700.154 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15543 0 0 0 69971 47 0 0 25 0 1 0 864706736 49795072 9802 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12157 9802 300 300 0 11857 0
vsize: 48628
[startup+710.155 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15609 0 0 0 70970 47 0 0 25 0 1 0 864706736 50065408 9867 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12223 9867 300 300 0 11923 0
vsize: 48892
[startup+720.156 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15677 0 0 0 71970 48 0 0 25 0 1 0 864706736 50200576 9934 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12256 9934 300 300 0 11956 0
vsize: 49024
[startup+730.156 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15745 0 0 0 72969 48 0 0 25 0 1 0 864706736 50335744 10000 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12289 10000 300 300 0 11989 0
vsize: 49156
[startup+740.157 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 15810 0 0 0 73970 48 0 0 25 0 1 0 864706736 50606080 10064 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12355 10064 300 300 0 12055 0
vsize: 49420
[startup+750.26 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 43298 0 0 0 74920 108 0 0 25 0 1 0 864706736 150650880 32097 4294967295 134512640 135726644 3221224576 3171194864 134767136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36781 32098 300 300 0 36481 0
vsize: 147120
[startup+760.26 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 82268 0 0 0 75844 184 0 0 25 0 1 0 864706736 316649472 64945 4294967295 134512640 135726644 3221224576 3156078140 135101148 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77307 64945 300 300 0 77007 0
vsize: 309228
[startup+770.26 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 103691 0 0 0 76793 236 0 0 25 0 1 0 864706736 337014784 71265 4294967295 134512640 135726644 3221224576 3156091664 134767237 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82279 71265 300 300 0 81979 0
vsize: 329116
[startup+780.26 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 136301 0 0 0 77724 305 0 0 25 0 1 0 864706736 418750464 91333 4294967295 134512640 135726644 3221224576 3156202832 134766453 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102234 91334 300 300 0 101934 0
vsize: 408936
[startup+790.261 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 171306 0 0 0 78659 370 0 0 25 0 1 0 864706736 548904960 106755 4294967295 134512640 135726644 3221224576 3156083040 134560242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134010 106755 300 300 0 133710 0
vsize: 536040
[startup+800.261 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 185346 0 0 0 79629 400 0 0 25 0 1 0 864706736 579612672 120533 4294967295 134512640 135726644 3221224576 3156089200 134780435 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141507 120533 300 300 0 141207 0
vsize: 566028
[startup+810.261 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 227557 0 0 0 80539 490 0 0 25 0 1 0 864706736 707985408 137956 4294967295 134512640 135726644 3221224576 3156079352 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172848 137956 300 300 0 172548 0
vsize: 691392
[startup+820.262 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 249321 0 0 0 81491 538 0 0 25 0 1 0 864706736 742727680 159439 4294967295 134512640 135726644 3221224576 3157657752 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181330 159439 300 300 0 181030 0
vsize: 725320
[startup+830.262 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 260871 0 0 0 82465 564 0 0 25 0 1 0 864706736 799637504 170838 4294967295 134512640 135726644 3221224576 3157284440 135139373 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195224 170838 300 300 0 194924 0
vsize: 780896
[startup+840.263 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 260871 0 0 0 83465 564 0 0 25 0 1 0 864706736 799637504 170838 4294967295 134512640 135726644 3221224576 3208373952 135134001 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195224 170838 300 300 0 194924 0
vsize: 780896
[startup+850.264 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 260873 0 0 0 84454 576 0 0 25 0 1 0 864706736 472461312 114834 4294967295 134512640 135726644 3221224576 3221222928 135280446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115347 114834 300 300 0 115047 0
vsize: 461388
[startup+852.306 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 1886
Raw data (stat): 1886 (pb2sat) R 1885 24172 24171 0 -1 0 260873 0 0 0 84454 576 0 0 25 0 1 0 864706736 472461312 114834 4294967295 134512640 135726644 3221224576 3221222928 135280446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115347 114834 300 300 0 115047 0
vsize: 0

Child status: 1
Real time (s): 852.305
CPU time (s): 852.325
CPU user time (s): 846.338
CPU system time (s): 5.98709
CPU usage (%): 100.002
Max. virtual memory (Kb): 780896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####