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-80bau3b.opb
MD5SUM	16a606cf9ab6b9dba681e237f3d29f84
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	126788
Biggest coefficient in the objective function	175552593920000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	8868947507751438
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	175552593920000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	8868947507751438
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45378
Number of variables	157082
Total number of constraints	5220
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	5220
Minimum length of a constraint	7
Maximum length of a constraint	2220

Trace number 35451

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-28 13:06:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24715 boxname=wulflinc29 idbench=1187 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  16a606cf9ab6b9dba681e237f3d29f84  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-80bau3b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-80bau3b.opb
IDLAUNCH: 24715
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        710440 kB
Buffers:         34768 kB
Cached:         263664 kB
SwapCached:        632 kB
Active:          32092 kB
Inactive:       268380 kB
HighTotal:      131008 kB
HighFree:        12236 kB
LowTotal:       903652 kB
LowFree:        698204 kB
SwapTotal:     2097892 kB
SwapFree:      2096368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            18036 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:16:23 (client local time) WITH STATUS 1 IN 563.565 SECONDS
stats: 24715 7 563.565 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.86 0.97 0.91 2/54 28748
Raw data (stat): 28748 (runsolver) R 28747 20001 20000 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865030804 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.0008 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 2179 0 0 0 994 5 0 0 25 0 1 0 865030804 7954432 1503 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1942 1503 300 300 0 1642 0
vsize: 7768
[startup+20.0019 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 2736 0 0 0 1992 7 0 0 25 0 1 0 865030804 9441280 2051 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2305 2051 300 300 0 2005 0
vsize: 9220
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 3917 0 0 0 2989 10 0 0 25 0 1 0 865030804 13680640 2520 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3340 2520 300 300 0 3040 0
vsize: 13360
[startup+40.002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 4183 0 0 0 3988 11 0 0 25 0 1 0 865030804 14221312 2781 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3472 2781 300 300 0 3172 0
vsize: 13888
[startup+50.0031 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 4450 0 0 0 4987 12 0 0 25 0 1 0 865030804 15032320 3044 4294967295 134512640 135726644 3221224576 3221220824 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3670 3044 300 300 0 3370 0
vsize: 14680
[startup+60.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 4685 0 0 0 5986 13 0 0 25 0 1 0 865030804 15572992 3276 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3802 3276 300 300 0 3502 0
vsize: 15208
[startup+70.0034 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 4902 0 0 0 6986 14 0 0 25 0 1 0 865030804 16248832 3489 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3967 3489 300 300 0 3667 0
vsize: 15868
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 5105 0 0 0 7985 14 0 0 25 0 1 0 865030804 16789504 3689 4294967295 134512640 135726644 3221224576 3221220824 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4099 3689 300 300 0 3799 0
vsize: 16396
[startup+90.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 5293 0 0 0 8985 14 0 0 25 0 1 0 865030804 17330176 3874 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3874 300 300 0 3931 0
vsize: 16924
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 5474 0 0 0 9984 15 0 0 25 0 1 0 865030804 17735680 4052 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4330 4052 300 300 0 4030 0
vsize: 17320
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 7544 0 0 0 10980 19 0 0 25 0 1 0 865030804 25673728 4710 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4710 300 300 0 5968 0
vsize: 25072
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 7600 0 0 0 11980 19 0 0 25 0 1 0 865030804 25673728 4763 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4763 300 300 0 5968 0
vsize: 25072
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 7653 0 0 0 12980 20 0 0 25 0 1 0 865030804 25673728 4814 4294967295 134512640 135726644 3221224576 3221221696 134574051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4814 300 300 0 5968 0
vsize: 25072
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 7705 0 0 0 13980 20 0 0 25 0 1 0 865030804 25673728 4863 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4863 300 300 0 5968 0
vsize: 25072
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 7758 0 0 0 14980 20 0 0 25 0 1 0 865030804 25673728 4914 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4914 300 300 0 5968 0
vsize: 25072
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 7842 0 0 0 15979 21 0 0 25 0 1 0 865030804 25944064 4996 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6334 4996 300 300 0 6034 0
vsize: 25336
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 7974 0 0 0 16979 21 0 0 25 0 1 0 865030804 26214400 5126 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6400 5126 300 300 0 6100 0
vsize: 25600
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 8101 0 0 0 17978 22 0 0 25 0 1 0 865030804 26619904 5251 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6499 5251 300 300 0 6199 0
vsize: 25996
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 8227 0 0 0 18977 23 0 0 25 0 1 0 865030804 26890240 5375 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6565 5375 300 300 0 6265 0
vsize: 26260
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 8349 0 0 0 19976 24 0 0 25 0 1 0 865030804 27160576 5495 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6631 5495 300 300 0 6331 0
vsize: 26524
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 8469 0 0 0 20976 25 0 0 25 0 1 0 865030804 27566080 5613 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6730 5613 300 300 0 6430 0
vsize: 26920
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 8586 0 0 0 21975 26 0 0 25 0 1 0 865030804 27836416 5728 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6796 5728 300 300 0 6496 0
vsize: 27184
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 8702 0 0 0 22974 26 0 0 25 0 1 0 865030804 28106752 5842 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6862 5842 300 300 0 6562 0
vsize: 27448
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 8813 0 0 0 23974 27 0 0 25 0 1 0 865030804 28512256 5951 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6961 5951 300 300 0 6661 0
vsize: 27844
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 8924 0 0 0 24973 28 0 0 25 0 1 0 865030804 28782592 6060 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7027 6060 300 300 0 6727 0
vsize: 28108
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9031 0 0 0 25973 28 0 0 25 0 1 0 865030804 29052928 6166 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7093 6166 300 300 0 6793 0
vsize: 28372
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9139 0 0 0 26973 28 0 0 25 0 1 0 865030804 29323264 6272 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7159 6272 300 300 0 6859 0
vsize: 28636
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9243 0 0 0 27972 29 0 0 25 0 1 0 865030804 29593600 6374 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7225 6374 300 300 0 6925 0
vsize: 28900
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9346 0 0 0 28971 30 0 0 25 0 1 0 865030804 29863936 6476 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7291 6476 300 300 0 6991 0
vsize: 29164
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9447 0 0 0 29971 31 0 0 25 0 1 0 865030804 30134272 6575 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7357 6575 300 300 0 7057 0
vsize: 29428
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9548 0 0 0 30970 31 0 0 25 0 1 0 865030804 30404608 6674 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7423 6674 300 300 0 7123 0
vsize: 29692
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9645 0 0 0 31969 33 0 0 25 0 1 0 865030804 30674944 6770 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7489 6770 300 300 0 7189 0
vsize: 29956
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9742 0 0 0 32969 33 0 0 25 0 1 0 865030804 30945280 6865 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7555 6865 300 300 0 7255 0
vsize: 30220
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9837 0 0 0 33968 34 0 0 25 0 1 0 865030804 31215616 6959 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7621 6959 300 300 0 7321 0
vsize: 30484
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 9932 0 0 0 34968 34 0 0 25 0 1 0 865030804 31350784 7052 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7654 7052 300 300 0 7354 0
vsize: 30616
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10025 0 0 0 35967 36 0 0 25 0 1 0 865030804 31621120 7144 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7720 7144 300 300 0 7420 0
vsize: 30880
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10117 0 0 0 36967 36 0 0 25 0 1 0 865030804 31891456 7234 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7786 7234 300 300 0 7486 0
vsize: 31144
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10207 0 0 0 37966 37 0 0 25 0 1 0 865030804 32161792 7323 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7852 7323 300 300 0 7552 0
vsize: 31408
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10296 0 0 0 38965 38 0 0 25 0 1 0 865030804 32432128 7410 4294967295 134512640 135726644 3221224576 3221221728 134573274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7918 7410 300 300 0 7618 0
vsize: 31672
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10384 0 0 0 39965 38 0 0 25 0 1 0 865030804 32567296 7497 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7951 7497 300 300 0 7651 0
vsize: 31804
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10472 0 0 0 40964 39 0 0 25 0 1 0 865030804 32837632 7583 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8017 7583 300 300 0 7717 0
vsize: 32068
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10558 0 0 0 41963 40 0 0 25 0 1 0 865030804 33107968 7668 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8083 7668 300 300 0 7783 0
vsize: 32332
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10643 0 0 0 42963 41 0 0 25 0 1 0 865030804 33243136 7752 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7752 300 300 0 7816 0
vsize: 32464
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 10727 0 0 0 43962 41 0 0 25 0 1 0 865030804 33513472 7834 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8182 7834 300 300 0 7882 0
vsize: 32728
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 11791 0 0 0 44959 45 0 0 25 0 1 0 865030804 37703680 8897 4294967295 134512640 135726644 3221224576 3221221268 134549896 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9205 8897 300 300 0 8905 0
vsize: 36820
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 54554 0 0 0 45865 139 0 0 25 0 1 0 865030804 182067200 38503 4294967295 134512640 135726644 3221224576 3170514908 134604400 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44450 38503 300 300 0 44150 0
vsize: 177800
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 89420 0 0 0 46796 208 0 0 25 0 1 0 865030804 308940800 57322 4294967295 134512640 135726644 3221224576 3170546840 135297949 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75425 57322 300 300 0 75125 0
vsize: 301700
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 116468 0 0 0 47738 266 0 0 25 0 1 0 865030804 368869376 71860 4294967295 134512640 135726644 3221224576 3170520976 134603602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90056 71860 300 300 0 89756 0
vsize: 360224
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 136050 0 0 0 48697 307 0 0 25 0 1 0 865030804 431079424 91210 4294967295 134512640 135726644 3221224576 3170585292 134604449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105244 91210 300 300 0 104944 0
vsize: 420976
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 174754 0 0 0 49625 380 0 0 25 0 1 0 865030804 555102208 110320 4294967295 134512640 135726644 3221224576 3170541328 134554691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135523 110320 300 300 0 135223 0
vsize: 542092
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 210881 0 0 0 50551 455 0 0 25 0 1 0 865030804 655765504 121655 4294967295 134512640 135726644 3221224576 3170664992 134784439 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160099 121655 300 300 0 159799 0
vsize: 640396
[startup+520.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 226889 0 0 0 51515 491 0 0 25 0 1 0 865030804 708784128 137460 4294967295 134512640 135726644 3221224576 3170590800 135284743 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173043 137460 300 300 0 172743 0
vsize: 692172
[startup+530.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 247155 0 0 0 52475 531 0 0 25 0 1 0 865030804 738664448 157487 4294967295 134512640 135726644 3221224576 3170586864 134766594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180338 157487 300 300 0 180038 0
vsize: 721352
[startup+540.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 266975 0 0 0 53432 574 0 0 25 0 1 0 865030804 766914560 177079 4294967295 134512640 135726644 3221224576 3170597692 134604449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187235 177079 300 300 0 186935 0
vsize: 748940
[startup+550.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 270603 0 0 0 54424 581 0 0 25 0 1 0 865030804 773099520 180666 4294967295 134512640 135726644 3221224576 3199500504 135139585 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188745 180666 300 300 0 188445 0
vsize: 754980
[startup+560.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 270605 0 0 0 55410 595 0 0 25 0 1 0 865030804 460607488 112012 4294967295 134512640 135726644 3221224576 3221222764 135277574 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112453 112012 300 300 0 112153 0
vsize: 449812
[startup+563.549 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 28748
Raw data (stat): 28748 (pb2sat) R 28747 20001 20000 0 -1 0 270605 0 0 0 55410 595 0 0 25 0 1 0 865030804 460607488 112012 4294967295 134512640 135726644 3221224576 3221222764 135277574 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112453 112012 300 300 0 112153 0
vsize: 0

Child status: 1
Real time (s): 563.549
CPU time (s): 563.565
CPU user time (s): 557.375
CPU system time (s): 6.19006
CPU usage (%): 100.003
Max. virtual memory (Kb): 754980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####