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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb
MD5SUM	d116f9238cf2e97b47b1161aa0f7f9ea
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	124714
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	862062472006152900
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.31665
Number of variables	244494
Total number of constraints	6084
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	6084
Minimum length of a constraint	10
Maximum length of a constraint	4560

Trace number 35489

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-28 13:10:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24737 boxname=wulflinc19 idbench=1209 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d116f9238cf2e97b47b1161aa0f7f9ea  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-dfl001.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-dfl001.opb
IDLAUNCH: 24737
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        934312 kB
Buffers:          3748 kB
Cached:          74780 kB
SwapCached:       1032 kB
Active:          34732 kB
Inactive:        45880 kB
HighTotal:      131008 kB
HighFree:        65968 kB
LowTotal:       903652 kB
LowFree:        868344 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4896 kB
Slab:            14012 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:19:49 (client local time) WITH STATUS 1 IN 542.659 SECONDS
stats: 24737 7 542.659 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/54 20822
Raw data (stat): 20822 (runsolver) R 20821 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865050567 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.001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 2124 0 0 0 994 5 0 0 25 0 1 0 865050567 7819264 1450 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1909 1450 300 300 0 1609 0
vsize: 7636
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 2636 0 0 0 1992 7 0 0 25 0 1 0 865050567 9170944 1954 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2239 1954 300 300 0 1939 0
vsize: 8956
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 3832 0 0 0 2989 10 0 0 25 0 1 0 865050567 13410304 2438 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2438 300 300 0 2974 0
vsize: 13096
[startup+40.0072 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 4029 0 0 0 3989 11 0 0 25 0 1 0 865050567 13815808 2630 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3373 2630 300 300 0 3073 0
vsize: 13492
[startup+50.0077 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 4291 0 0 0 4988 12 0 0 25 0 1 0 865050567 14491648 2888 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3538 2888 300 300 0 3238 0
vsize: 14152
[startup+60.0078 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 4533 0 0 0 5987 14 0 0 25 0 1 0 865050567 15167488 3126 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3703 3126 300 300 0 3403 0
vsize: 14812
[startup+70.0123 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 4754 0 0 0 6986 15 0 0 25 0 1 0 865050567 15708160 3343 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3835 3343 300 300 0 3535 0
vsize: 15340
[startup+80.0131 s]
Raw data (loadavg): 0.98 0.95 0.91 3/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 4959 0 0 0 7985 16 0 0 25 0 1 0 865050567 16248832 3545 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3967 3545 300 300 0 3667 0
vsize: 15868
[startup+90.0132 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 5150 0 0 0 8985 17 0 0 25 0 1 0 865050567 16789504 3733 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4099 3733 300 300 0 3799 0
vsize: 16396
[startup+100.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 5331 0 0 0 9984 18 0 0 25 0 1 0 865050567 17195008 3911 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4198 3911 300 300 0 3898 0
vsize: 16792
[startup+110.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 5501 0 0 0 10983 19 0 0 25 0 1 0 865050567 17735680 4078 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4330 4078 300 300 0 4030 0
vsize: 17320
[startup+120.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 7493 0 0 0 11978 24 0 0 25 0 1 0 865050567 25403392 4658 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4658 300 300 0 5902 0
vsize: 24808
[startup+130.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 7549 0 0 0 12978 24 0 0 25 0 1 0 865050567 25403392 4711 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4711 300 300 0 5902 0
vsize: 24808
[startup+140.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 7602 0 0 0 13978 25 0 0 25 0 1 0 865050567 25403392 4762 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4762 300 300 0 5902 0
vsize: 24808
[startup+150.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 7679 0 0 0 14977 25 0 0 25 0 1 0 865050567 25403392 4837 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4837 300 300 0 5902 0
vsize: 24808
[startup+160.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 7729 0 0 0 15977 26 0 0 25 0 1 0 865050567 25403392 4884 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4884 300 300 0 5902 0
vsize: 24808
[startup+170.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 7854 0 0 0 16976 26 0 0 25 0 1 0 865050567 25808896 5007 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 5007 300 300 0 6001 0
vsize: 25204
[startup+180.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 7984 0 0 0 17976 27 0 0 25 0 1 0 865050567 26079232 5135 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6367 5135 300 300 0 6067 0
vsize: 25468
[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 8111 0 0 0 18975 28 0 0 25 0 1 0 865050567 26484736 5260 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5260 300 300 0 6166 0
vsize: 25864
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 8235 0 0 0 19974 29 0 0 25 0 1 0 865050567 26755072 5382 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6532 5382 300 300 0 6232 0
vsize: 26128
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 8356 0 0 0 20974 30 0 0 25 0 1 0 865050567 27160576 5501 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5501 300 300 0 6331 0
vsize: 26524
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 8475 0 0 0 21974 30 0 0 25 0 1 0 865050567 27430912 5618 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5618 300 300 0 6397 0
vsize: 26788
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 8590 0 0 0 22973 31 0 0 25 0 1 0 865050567 27701248 5731 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6763 5731 300 300 0 6463 0
vsize: 27052
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 8703 0 0 0 23972 32 0 0 25 0 1 0 865050567 27971584 5843 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6829 5843 300 300 0 6529 0
vsize: 27316
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 8816 0 0 0 24972 32 0 0 25 0 1 0 865050567 28377088 5954 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5954 300 300 0 6628 0
vsize: 27712
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 8926 0 0 0 25972 33 0 0 25 0 1 0 865050567 28647424 6062 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6062 300 300 0 6694 0
vsize: 27976
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9034 0 0 0 26972 33 0 0 25 0 1 0 865050567 28917760 6168 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6168 300 300 0 6760 0
vsize: 28240
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9141 0 0 0 27970 33 0 0 25 0 1 0 865050567 29188096 6273 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6273 300 300 0 6826 0
vsize: 28504
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9244 0 0 0 28970 34 0 0 25 0 1 0 865050567 29458432 6375 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6375 300 300 0 6892 0
vsize: 28768
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9347 0 0 0 29970 34 0 0 25 0 1 0 865050567 29728768 6476 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6476 300 300 0 6958 0
vsize: 29032
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9447 0 0 0 30970 35 0 0 25 0 1 0 865050567 29999104 6575 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6575 300 300 0 7024 0
vsize: 29296
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9548 0 0 0 31970 35 0 0 25 0 1 0 865050567 30269440 6674 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 6674 300 300 0 7090 0
vsize: 29560
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9646 0 0 0 32970 35 0 0 25 0 1 0 865050567 30539776 6770 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6770 300 300 0 7156 0
vsize: 29824
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9742 0 0 0 33969 36 0 0 25 0 1 0 865050567 30810112 6865 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6865 300 300 0 7222 0
vsize: 30088
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9837 0 0 0 34969 36 0 0 25 0 1 0 865050567 31080448 6958 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6958 300 300 0 7288 0
vsize: 30352
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 9931 0 0 0 35969 36 0 0 25 0 1 0 865050567 31215616 7051 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7621 7051 300 300 0 7321 0
vsize: 30484
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 10024 0 0 0 36969 36 0 0 25 0 1 0 865050567 31485952 7142 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7687 7142 300 300 0 7387 0
vsize: 30748
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 10115 0 0 0 37969 36 0 0 25 0 1 0 865050567 31756288 7232 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7232 300 300 0 7453 0
vsize: 31012
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 10205 0 0 0 38969 37 0 0 25 0 1 0 865050567 32026624 7320 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7320 300 300 0 7519 0
vsize: 31276
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 10295 0 0 0 39969 37 0 0 25 0 1 0 865050567 32296960 7409 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7885 7409 300 300 0 7585 0
vsize: 31540
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 10383 0 0 0 40968 37 0 0 25 0 1 0 865050567 32432128 7495 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7495 300 300 0 7618 0
vsize: 31672
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 10468 0 0 0 41966 38 0 0 25 0 1 0 865050567 32702464 7579 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7579 300 300 0 7684 0
vsize: 31936
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 10554 0 0 0 42966 38 0 0 25 0 1 0 865050567 32972800 7664 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7664 300 300 0 7750 0
vsize: 32200
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 42661 0 0 0 43894 111 0 0 25 0 1 0 865050567 169082880 35679 4294967295 134512640 135726644 3221224576 3173245712 135280446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41280 35679 300 300 0 40980 0
vsize: 165120
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 64111 0 0 0 44844 161 0 0 25 0 1 0 865050567 205762560 47921 4294967295 134512640 135726644 3221224576 3172542952 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50235 47921 300 300 0 49935 0
vsize: 200940
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 93799 0 0 0 45784 221 0 0 25 0 1 0 865050567 305729536 61546 4294967295 134512640 135726644 3221224576 3173036152 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74641 61546 300 300 0 74341 0
vsize: 298564
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 124956 0 0 0 46719 286 0 0 25 0 1 0 865050567 387014656 80173 4294967295 134512640 135726644 3221224576 3172678552 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94486 80173 300 300 0 94186 0
vsize: 377944
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 161976 0 0 0 47653 352 0 0 25 0 1 0 865050567 527273984 97611 4294967295 134512640 135726644 3221224576 3172638952 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128729 97611 300 300 0 128429 0
vsize: 514916
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 174264 0 0 0 48626 380 0 0 25 0 1 0 865050567 527273984 109636 4294967295 134512640 135726644 3221224576 3171535352 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128729 109636 300 300 0 128429 0
vsize: 514916
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 189779 0 0 0 49596 410 0 0 25 0 1 0 865050567 572579840 124928 4294967295 134512640 135726644 3221224576 3173452152 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139790 124928 300 300 0 139490 0
vsize: 559160
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 230757 0 0 0 50503 504 0 0 25 0 1 0 865050567 698925056 141113 4294967295 134512640 135726644 3221224576 3173085964 135280581 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170636 141113 300 300 0 170336 0
vsize: 682544
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 251248 0 0 0 51460 547 0 0 25 0 1 0 865050567 734744576 161354 4294967295 134512640 135726644 3221224576 3173488152 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179381 161354 300 300 0 179081 0
vsize: 717524
[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 254324 0 0 0 52454 553 0 0 25 0 1 0 865050567 740524032 164388 4294967295 134512640 135726644 3221224576 3202441120 135102999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180792 164388 300 300 0 180492 0
vsize: 723168
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 254326 0 0 0 53443 563 0 0 25 0 1 0 865050567 453197824 110219 4294967295 134512640 135726644 3221224576 3221222764 135277577 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110644 110219 300 300 0 110344 0
vsize: 442576
[startup+542.622 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20822
Raw data (stat): 20822 (pb2sat) R 20821 10795 10794 0 -1 0 254326 0 0 0 53443 563 0 0 25 0 1 0 865050567 453197824 110219 4294967295 134512640 135726644 3221224576 3221222764 135277577 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110644 110219 300 300 0 110344 0
vsize: 0

Child status: 1
Real time (s): 542.621
CPU time (s): 542.659
CPU user time (s): 536.799
CPU system time (s): 5.85911
CPU usage (%): 100.007
Max. virtual memory (Kb): 723168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####