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-maros-r7.opb
MD5SUM	652a81faea87c0443f84aaa4223a3702
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	125440
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6576662400
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	4020224000000
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	8483418475850
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.71574
Number of variables	188160
Total number of constraints	3136
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	3136
Minimum length of a constraint	100
Maximum length of a constraint	480

Trace number 35541

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-28 13:15:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24758 boxname=wulflinc26 idbench=1230 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  652a81faea87c0443f84aaa4223a3702  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-maros-r7.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-maros-r7.opb
IDLAUNCH: 24758
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        773492 kB
Buffers:          2996 kB
Cached:         234864 kB
SwapCached:        684 kB
Active:          50764 kB
Inactive:       189152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        773240 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            15612 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:24:30 (client local time) WITH STATUS 1 IN 554.092 SECONDS
stats: 24758 7 554.092 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): 1.11 0.98 0.92 2/54 2694
Raw data (stat): 2694 (runsolver) R 2693 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865091684 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.0001 s]
Raw data (loadavg): 1.10 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 2173 0 0 0 994 5 0 0 25 0 1 0 865091684 7954432 1498 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1942 1498 300 300 0 1642 0
vsize: 7768
[startup+20.0009 s]
Raw data (loadavg): 1.08 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 2701 0 0 0 1991 7 0 0 25 0 1 0 865091684 9306112 2018 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2272 2018 300 300 0 1972 0
vsize: 9088
[startup+30.0005 s]
Raw data (loadavg): 1.07 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 3862 0 0 0 2987 11 0 0 25 0 1 0 865091684 13410304 2467 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2467 300 300 0 2974 0
vsize: 13096
[startup+40.0011 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 4102 0 0 0 3986 11 0 0 25 0 1 0 865091684 13950976 2702 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3406 2702 300 300 0 3106 0
vsize: 13624
[startup+50.0019 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 4358 0 0 0 4985 12 0 0 25 0 1 0 865091684 14626816 2954 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3571 2954 300 300 0 3271 0
vsize: 14284
[startup+60.0017 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 4588 0 0 0 5985 13 0 0 25 0 1 0 865091684 15302656 3180 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3736 3180 300 300 0 3436 0
vsize: 14944
[startup+70.0022 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 4797 0 0 0 6985 13 0 0 25 0 1 0 865091684 15843328 3386 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3868 3386 300 300 0 3568 0
vsize: 15472
[startup+80.003 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 4992 0 0 0 7984 14 0 0 25 0 1 0 865091684 16384000 3578 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4000 3578 300 300 0 3700 0
vsize: 16000
[startup+90.0033 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 5176 0 0 0 8984 15 0 0 25 0 1 0 865091684 16789504 3759 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4099 3759 300 300 0 3799 0
vsize: 16396
[startup+100.003 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 5349 0 0 0 9983 15 0 0 25 0 1 0 865091684 17330176 3929 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4231 3929 300 300 0 3931 0
vsize: 16924
[startup+110.003 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 5515 0 0 0 10982 16 0 0 25 0 1 0 865091684 17735680 4092 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4330 4092 300 300 0 4030 0
vsize: 17320
[startup+120.005 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 7497 0 0 0 11979 20 0 0 25 0 1 0 865091684 25403392 4662 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4662 300 300 0 5902 0
vsize: 24808
[startup+130.005 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 7553 0 0 0 12979 20 0 0 25 0 1 0 865091684 25403392 4715 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4715 300 300 0 5902 0
vsize: 24808
[startup+140.006 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 7606 0 0 0 13979 20 0 0 25 0 1 0 865091684 25403392 4766 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4766 300 300 0 5902 0
vsize: 24808
[startup+150.007 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 7684 0 0 0 14979 20 0 0 25 0 1 0 865091684 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.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 7733 0 0 0 15979 20 0 0 25 0 1 0 865091684 25403392 4888 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4888 300 300 0 5902 0
vsize: 24808
[startup+170.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 7868 0 0 0 16979 21 0 0 25 0 1 0 865091684 25808896 5021 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5021 300 300 0 6001 0
vsize: 25204
[startup+180.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 7998 0 0 0 17979 21 0 0 25 0 1 0 865091684 26214400 5149 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6400 5149 300 300 0 6100 0
vsize: 25600
[startup+190.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 8125 0 0 0 18979 21 0 0 25 0 1 0 865091684 26484736 5274 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6466 5274 300 300 0 6166 0
vsize: 25864
[startup+200.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 8249 0 0 0 19979 21 0 0 25 0 1 0 865091684 26890240 5396 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6565 5396 300 300 0 6265 0
vsize: 26260
[startup+210.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 8370 0 0 0 20979 22 0 0 25 0 1 0 865091684 27160576 5515 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5515 300 300 0 6331 0
vsize: 26524
[startup+220.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 8488 0 0 0 21978 22 0 0 25 0 1 0 865091684 27430912 5631 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6697 5631 300 300 0 6397 0
vsize: 26788
[startup+230.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 8603 0 0 0 22978 22 0 0 25 0 1 0 865091684 27701248 5744 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6763 5744 300 300 0 6463 0
vsize: 27052
[startup+240.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 8716 0 0 0 23979 22 0 0 25 0 1 0 865091684 28106752 5855 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6862 5855 300 300 0 6562 0
vsize: 27448
[startup+250.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 8827 0 0 0 24979 22 0 0 25 0 1 0 865091684 28377088 5965 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5965 300 300 0 6628 0
vsize: 27712
[startup+260.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 8936 0 0 0 25979 23 0 0 25 0 1 0 865091684 28647424 6072 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6072 300 300 0 6694 0
vsize: 27976
[startup+270.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9042 0 0 0 26980 23 0 0 25 0 1 0 865091684 28917760 6176 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6176 300 300 0 6760 0
vsize: 28240
[startup+280.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9149 0 0 0 27979 24 0 0 25 0 1 0 865091684 29188096 6281 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 6281 300 300 0 6826 0
vsize: 28504
[startup+290.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9253 0 0 0 28978 24 0 0 25 0 1 0 865091684 29458432 6384 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 6384 300 300 0 6892 0
vsize: 28768
[startup+300.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9356 0 0 0 29977 25 0 0 25 0 1 0 865091684 29728768 6485 4294967295 134512640 135726644 3221224576 3221221664 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.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9458 0 0 0 30977 26 0 0 25 0 1 0 865091684 29999104 6585 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7324 6585 300 300 0 7024 0
vsize: 29296
[startup+320.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9557 0 0 0 31976 26 0 0 25 0 1 0 865091684 30269440 6683 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6683 300 300 0 7090 0
vsize: 29560
[startup+330.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9655 0 0 0 32976 26 0 0 25 0 1 0 865091684 30539776 6779 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6779 300 300 0 7156 0
vsize: 29824
[startup+340.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9750 0 0 0 33976 27 0 0 25 0 1 0 865091684 30810112 6873 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6873 300 300 0 7222 0
vsize: 30088
[startup+350.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9845 0 0 0 34976 27 0 0 25 0 1 0 865091684 31080448 6966 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6966 300 300 0 7288 0
vsize: 30352
[startup+360.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 9938 0 0 0 35976 27 0 0 25 0 1 0 865091684 31350784 7058 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7654 7058 300 300 0 7354 0
vsize: 30616
[startup+370.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 10030 0 0 0 36976 28 0 0 25 0 1 0 865091684 31485952 7148 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7687 7148 300 300 0 7387 0
vsize: 30748
[startup+380.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 10121 0 0 0 37976 28 0 0 25 0 1 0 865091684 31756288 7238 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7238 300 300 0 7453 0
vsize: 31012
[startup+390.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 10211 0 0 0 38976 28 0 0 25 0 1 0 865091684 32026624 7326 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7326 300 300 0 7519 0
vsize: 31276
[startup+400.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 10300 0 0 0 39975 29 0 0 25 0 1 0 865091684 32296960 7414 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7885 7414 300 300 0 7585 0
vsize: 31540
[startup+410.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 10388 0 0 0 40974 29 0 0 25 0 1 0 865091684 32432128 7500 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7500 300 300 0 7618 0
vsize: 31672
[startup+420.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 10475 0 0 0 41973 30 0 0 25 0 1 0 865091684 32702464 7586 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7586 300 300 0 7684 0
vsize: 31936
[startup+430.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 10559 0 0 0 42973 30 0 0 25 0 1 0 865091684 32972800 7669 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7669 300 300 0 7750 0
vsize: 32200
[startup+440.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 16463 0 0 0 43961 42 0 0 25 0 1 0 865091684 55361536 11207 4294967295 134512640 135726644 3221224576 3216847600 134780435 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13516 11207 300 300 0 13216 0
vsize: 54064
[startup+450.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 56217 0 0 0 44874 129 0 0 25 0 1 0 865091684 191307776 40149 4294967295 134512640 135726644 3221224576 3173925328 134554691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46706 40150 300 300 0 46406 0
vsize: 186824
[startup+460.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 91143 0 0 0 45799 204 0 0 25 0 1 0 865091684 307900416 59028 4294967295 134512640 135726644 3221224576 3178114552 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75171 59028 300 300 0 74871 0
vsize: 300684
[startup+470.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 119506 0 0 0 46738 265 0 0 25 0 1 0 865091684 371073024 74871 4294967295 134512640 135726644 3221224576 3174182040 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90594 74872 300 300 0 90294 0
vsize: 362376
[startup+480.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 138520 0 0 0 47692 312 0 0 25 0 1 0 865091684 431661056 93666 4294967295 134512640 135726644 3221224576 3171776700 134634289 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105386 93666 300 300 0 105086 0
vsize: 421544
[startup+490.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 176618 0 0 0 48621 383 0 0 25 0 1 0 865091684 547561472 112170 4294967295 134512640 135726644 3221224576 3174794152 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133682 112170 300 300 0 133382 0
vsize: 534728
[startup+500.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 213387 0 0 0 49543 461 0 0 25 0 1 0 865091684 650792960 124155 4294967295 134512640 135726644 3221224576 3173280384 135287555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158885 124155 300 300 0 158585 0
vsize: 635540
[startup+510.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 230631 0 0 0 50500 504 0 0 25 0 1 0 865091684 709083136 141199 4294967295 134512640 135726644 3221224576 3173300552 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173116 141199 300 300 0 172816 0
vsize: 692464
[startup+520.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 250176 0 0 0 51456 548 0 0 25 0 1 0 865091684 737198080 160516 4294967295 134512640 135726644 3221224576 3172129264 134767049 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179980 160517 300 300 0 179680 0
vsize: 719920
[startup+530.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 267309 0 0 0 52418 587 0 0 25 0 1 0 865091684 811859968 177452 4294967295 134512640 135726644 3221224576 3175406800 134780435 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198208 177452 300 300 0 197908 0
vsize: 792832
[startup+540.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 274133 0 0 0 53401 603 0 0 25 0 1 0 865091684 822640640 184197 4294967295 134512640 135726644 3221224576 3192500488 135138138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200840 184197 300 300 0 200540 0
vsize: 803360
[startup+550.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 274135 0 0 0 54401 604 0 0 25 0 1 0 865091684 820539392 183708 4294967295 134512640 135726644 3221224576 3221222828 135277538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200327 183708 300 300 0 200027 0
vsize: 801308
[startup+554.077 s]
Raw data (loadavg): 1.00 0.98 0.92 1/53 2694
Raw data (stat): 2694 (pb2sat) R 2693 20687 20686 0 -1 0 274135 0 0 0 54401 604 0 0 25 0 1 0 865091684 820539392 183708 4294967295 134512640 135726644 3221224576 3221222828 135277538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200327 183708 300 300 0 200027 0
vsize: 0

Child status: 1
Real time (s): 554.076
CPU time (s): 554.092
CPU user time (s): 547.682
CPU system time (s): 6.41002
CPU usage (%): 100.003
Max. virtual memory (Kb): 803360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####