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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
MD5SUM	450ad3720278f8a937b0ae6f1c4dfd6d
Bench Category	optimization, medium integers (OPTMEDINT)
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	145051
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4825267
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	3840
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	4825267
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.26005
Number of variables	636571
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	10240

Trace number 35791

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-28 13:59:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25049 boxname=wulflinc23 idbench=1521 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 25049
/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:        672040 kB
Buffers:         10124 kB
Cached:         331012 kB
SwapCached:        700 kB
Active:          69472 kB
Inactive:       273792 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        671788 kB
SwapTotal:     2097136 kB
SwapFree:      2095556 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            13660 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 14:11:15 (client local time) WITH STATUS 1 IN 698.726 SECONDS
stats: 25049 7 698.726 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.88 0.97 0.91 2/54 11143
Raw data (stat): 11143 (runsolver) R 11142 5562 5561 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865353439 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 11143
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 1034 0 0 0 994 5 0 0 25 0 1 0 865353439 4550656 726 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1111 726 300 300 0 811 0
vsize: 4444
[startup+20.0001 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 11143
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 2379 0 0 0 1991 8 0 0 25 0 1 0 865353439 8495104 1701 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2074 1701 300 300 0 1774 0
vsize: 8296
[startup+30.0014 s]
Raw data (loadavg): 0.93 0.97 0.91 4/58 11172
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 3781 0 0 0 2986 12 0 0 25 0 1 0 865353439 13410304 2389 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2389 300 300 0 2974 0
vsize: 13096
[startup+40.0023 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 11196
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 3928 0 0 0 3984 13 0 0 25 0 1 0 865353439 13545472 2531 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3307 2531 300 300 0 3007 0
vsize: 13228
[startup+50.0029 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 11196
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 4213 0 0 0 4984 14 0 0 25 0 1 0 865353439 14356480 2811 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3505 2811 300 300 0 3205 0
vsize: 14020
[startup+60.0026 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 11196
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 4461 0 0 0 5983 15 0 0 25 0 1 0 865353439 14897152 3055 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3637 3055 300 300 0 3337 0
vsize: 14548
[startup+70.0022 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 11196
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 4685 0 0 0 6982 16 0 0 25 0 1 0 865353439 15572992 3276 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3802 3276 300 300 0 3502 0
vsize: 15208
[startup+80.0032 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 11196
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 4890 0 0 0 7981 17 0 0 25 0 1 0 865353439 16113664 3477 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3934 3477 300 300 0 3634 0
vsize: 15736
[startup+90.0025 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 11196
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 5081 0 0 0 8980 18 0 0 25 0 1 0 865353439 16654336 3665 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4066 3665 300 300 0 3766 0
vsize: 16264
[startup+100.003 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 11196
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 5262 0 0 0 9979 20 0 0 25 0 1 0 865353439 17059840 3843 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4165 3843 300 300 0 3865 0
vsize: 16660
[startup+110.009 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 5431 0 0 0 10979 21 0 0 25 0 1 0 865353439 17465344 4010 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4264 4010 300 300 0 3964 0
vsize: 17056
[startup+120.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 7469 0 0 0 11975 25 0 0 25 0 1 0 865353439 25403392 4635 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4635 300 300 0 5902 0
vsize: 24808
[startup+130.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 7525 0 0 0 12975 26 0 0 25 0 1 0 865353439 25403392 4688 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4688 300 300 0 5902 0
vsize: 24808
[startup+140.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 7578 0 0 0 13974 26 0 0 25 0 1 0 865353439 25403392 4739 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4739 300 300 0 5902 0
vsize: 24808
[startup+150.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 7639 0 0 0 14974 27 0 0 25 0 1 0 865353439 25403392 4798 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4798 300 300 0 5902 0
vsize: 24808
[startup+160.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 7707 0 0 0 15973 28 0 0 25 0 1 0 865353439 25403392 4863 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4863 300 300 0 5902 0
vsize: 24808
[startup+170.018 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 7795 0 0 0 16973 28 0 0 25 0 1 0 865353439 25673728 4949 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6268 4949 300 300 0 5968 0
vsize: 25072
[startup+180.018 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 7930 0 0 0 17973 29 0 0 25 0 1 0 865353439 25944064 5082 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6334 5082 300 300 0 6034 0
vsize: 25336
[startup+190.018 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8060 0 0 0 18972 29 0 0 25 0 1 0 865353439 26349568 5210 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6433 5210 300 300 0 6133 0
vsize: 25732
[startup+200.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8187 0 0 0 19972 30 0 0 25 0 1 0 865353439 26619904 5335 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6499 5335 300 300 0 6199 0
vsize: 25996
[startup+210.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8311 0 0 0 20971 31 0 0 25 0 1 0 865353439 27025408 5457 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6598 5457 300 300 0 6298 0
vsize: 26392
[startup+220.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8430 0 0 0 21970 31 0 0 25 0 1 0 865353439 27295744 5574 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6664 5574 300 300 0 6364 0
vsize: 26656
[startup+230.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8549 0 0 0 22970 32 0 0 25 0 1 0 865353439 27566080 5691 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6730 5691 300 300 0 6430 0
vsize: 26920
[startup+240.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8662 0 0 0 23969 33 0 0 25 0 1 0 865353439 27971584 5802 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6829 5802 300 300 0 6529 0
vsize: 27316
[startup+250.022 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8775 0 0 0 24968 34 0 0 25 0 1 0 865353439 28241920 5913 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6895 5913 300 300 0 6595 0
vsize: 27580
[startup+260.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8883 0 0 0 25968 35 0 0 25 0 1 0 865353439 28512256 6020 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6961 6020 300 300 0 6661 0
vsize: 27844
[startup+270.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 8991 0 0 0 26967 35 0 0 25 0 1 0 865353439 28782592 6126 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7027 6126 300 300 0 6727 0
vsize: 28108
[startup+280.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9097 0 0 0 27967 36 0 0 25 0 1 0 865353439 29052928 6230 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7093 6230 300 300 0 6793 0
vsize: 28372
[startup+290.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9203 0 0 0 28966 36 0 0 25 0 1 0 865353439 29323264 6334 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7159 6334 300 300 0 6859 0
vsize: 28636
[startup+300.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9304 0 0 0 29966 37 0 0 25 0 1 0 865353439 29593600 6434 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7225 6434 300 300 0 6925 0
vsize: 28900
[startup+310.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9406 0 0 0 30966 37 0 0 25 0 1 0 865353439 29863936 6534 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7291 6534 300 300 0 6991 0
vsize: 29164
[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9505 0 0 0 31966 37 0 0 25 0 1 0 865353439 30134272 6632 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7357 6632 300 300 0 7057 0
vsize: 29428
[startup+330.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9606 0 0 0 32966 38 0 0 25 0 1 0 865353439 30404608 6731 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7423 6731 300 300 0 7123 0
vsize: 29692
[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9702 0 0 0 33964 38 0 0 25 0 1 0 865353439 30674944 6825 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7489 6825 300 300 0 7189 0
vsize: 29956
[startup+350.025 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9797 0 0 0 34964 38 0 0 25 0 1 0 865353439 30945280 6919 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 6919 300 300 0 7255 0
vsize: 30220
[startup+360.025 s]
Raw data (loadavg): 1.13 1.03 0.94 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9892 0 0 0 35964 39 0 0 25 0 1 0 865353439 31215616 7012 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7621 7012 300 300 0 7321 0
vsize: 30484
[startup+370.025 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 9985 0 0 0 36964 39 0 0 25 0 1 0 865353439 31485952 7104 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7104 300 300 0 7387 0
vsize: 30748
[startup+380.026 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10078 0 0 0 37964 39 0 0 25 0 1 0 865353439 31621120 7195 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7720 7195 300 300 0 7420 0
vsize: 30880
[startup+390.025 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10169 0 0 0 38963 40 0 0 25 0 1 0 865353439 31891456 7285 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7786 7285 300 300 0 7486 0
vsize: 31144
[startup+400.024 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 11198
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10259 0 0 0 39962 40 0 0 25 0 1 0 865353439 32161792 7373 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7852 7373 300 300 0 7552 0
vsize: 31408
[startup+410.025 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10347 0 0 0 40962 41 0 0 25 0 1 0 865353439 32432128 7460 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7460 300 300 0 7618 0
vsize: 31672
[startup+420.025 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10434 0 0 0 41962 41 0 0 25 0 1 0 865353439 32567296 7546 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7951 7546 300 300 0 7651 0
vsize: 31804
[startup+430.024 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10522 0 0 0 42961 42 0 0 25 0 1 0 865353439 32837632 7632 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8017 7632 300 300 0 7717 0
vsize: 32068
[startup+440.024 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10607 0 0 0 43961 42 0 0 25 0 1 0 865353439 33107968 7716 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7716 300 300 0 7783 0
vsize: 32332
[startup+450.024 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10693 0 0 0 44961 42 0 0 25 0 1 0 865353439 33243136 7800 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8116 7800 300 300 0 7816 0
vsize: 32464
[startup+460.024 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10777 0 0 0 45960 43 0 0 25 0 1 0 865353439 33513472 7883 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8182 7883 300 300 0 7882 0
vsize: 32728
[startup+470.024 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10859 0 0 0 46960 43 0 0 25 0 1 0 865353439 33783808 7964 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7964 300 300 0 7948 0
vsize: 32992
[startup+480.025 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 10942 0 0 0 47959 44 0 0 25 0 1 0 865353439 33918976 8045 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8281 8045 300 300 0 7981 0
vsize: 33124
[startup+490.064 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 14826 0 0 0 48954 53 0 0 25 0 1 0 865353439 49254400 9110 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9110 300 300 0 11725 0
vsize: 48100
[startup+500.068 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 14854 0 0 0 49955 53 0 0 25 0 1 0 865353439 49254400 9137 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9137 300 300 0 11725 0
vsize: 48100
[startup+510.076 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 14882 0 0 0 50956 53 0 0 25 0 1 0 865353439 49254400 9164 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9164 300 300 0 11725 0
vsize: 48100
[startup+520.075 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 14911 0 0 0 51955 54 0 0 25 0 1 0 865353439 49254400 9191 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9191 300 300 0 11725 0
vsize: 48100
[startup+530.076 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 14938 0 0 0 52955 54 0 0 25 0 1 0 865353439 49254400 9217 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9217 300 300 0 11725 0
vsize: 48100
[startup+540.076 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 14965 0 0 0 53955 54 0 0 25 0 1 0 865353439 49254400 9243 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9243 300 300 0 11725 0
vsize: 48100
[startup+550.076 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 14993 0 0 0 54955 54 0 0 25 0 1 0 865353439 49254400 9270 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9270 300 300 0 11725 0
vsize: 48100
[startup+560.076 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 15021 0 0 0 55955 54 0 0 25 0 1 0 865353439 49254400 9296 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9296 300 300 0 11725 0
vsize: 48100
[startup+570.077 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 15047 0 0 0 56955 54 0 0 25 0 1 0 865353439 49254400 9321 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9321 300 300 0 11725 0
vsize: 48100
[startup+580.077 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 15074 0 0 0 57955 55 0 0 25 0 1 0 865353439 49254400 9347 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9347 300 300 0 11725 0
vsize: 48100
[startup+590.077 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 15100 0 0 0 58955 55 0 0 25 0 1 0 865353439 49254400 9372 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9372 300 300 0 11725 0
vsize: 48100
[startup+600.076 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 46569 0 0 0 59883 126 0 0 25 0 1 0 865353439 163205120 34590 4294967295 134512640 135726644 3221224576 3167664240 134558459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39845 34591 300 300 0 39545 0
vsize: 159380
[startup+610.076 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 76566 0 0 0 60813 197 0 0 25 0 1 0 865353439 245374976 53612 4294967295 134512640 135726644 3221224576 3181939280 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59906 53612 300 300 0 59606 0
vsize: 239624
[startup+620.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 101903 0 0 0 61758 252 0 0 25 0 1 0 865353439 322953216 69537 4294967295 134512640 135726644 3221224576 3168998064 134767079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78846 69537 300 300 0 78546 0
vsize: 315384
[startup+630.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 132254 0 0 0 62689 321 0 0 25 0 1 0 865353439 431980544 87410 4294967295 134512640 135726644 3221224576 3193706164 135277538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105464 87410 300 300 0 105164 0
vsize: 421856
[startup+640.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 173531 0 0 0 63608 403 0 0 25 0 1 0 865353439 566276096 109074 4294967295 134512640 135726644 3221224576 3163943056 134558261 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138251 109075 300 300 0 137951 0
vsize: 553004
[startup+650.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 205474 0 0 0 64539 472 0 0 25 0 1 0 865353439 767606784 140800 4294967295 134512640 135726644 3221224576 3167861792 134784885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187404 140804 300 300 0 187104 0
vsize: 749616
[startup+660.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 224642 0 0 0 65493 518 0 0 25 0 1 0 865353439 710901760 135205 4294967295 134512640 135726644 3221224576 3186514152 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173560 135206 300 300 0 173260 0
vsize: 694240
[startup+670.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 245130 0 0 0 66444 567 0 0 25 0 1 0 865353439 740233216 155444 4294967295 134512640 135726644 3221224576 3168477336 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180721 155444 300 300 0 180421 0
vsize: 722884
[startup+680.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 265143 0 0 0 67399 609 0 0 25 0 1 0 865353439 768618496 175227 4294967295 134512640 135726644 3221224576 3166768880 134782666 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187651 175228 300 300 0 187351 0
vsize: 750604
[startup+690.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 276683 0 0 0 68364 640 0 0 25 0 1 0 865353439 833921024 186650 4294967295 134512640 135726644 3221224576 3202144432 135298156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203594 186650 300 300 0 203294 0
vsize: 814376
[startup+698.764 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 11200
Raw data (stat): 11143 (pb2sat) R 11142 5562 5561 0 -1 0 276683 0 0 0 68364 640 0 0 25 0 1 0 865353439 833921024 186650 4294967295 134512640 135726644 3221224576 3202144432 135298156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203594 186650 300 300 0 203294 0
vsize: 0

Child status: 1
Real time (s): 698.763
CPU time (s): 698.726
CPU user time (s): 691.943
CPU system time (s): 6.78297
CPU usage (%): 99.9946
Max. virtual memory (Kb): 814376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####