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/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
MD5SUM	5b9b020cb595d55e8dbba526590c1088
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	144804
Biggest coefficient in the objective function	37355509514240
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	86052429291555573
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	37355509514240
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	86052429291555573
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9477
Number of variables	211663
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	16460

Trace number 35629

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-28 13:26:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24891 boxname=wulflinc27 idbench=1363 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 24891
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        722048 kB
Buffers:         34316 kB
Cached:         247588 kB
SwapCached:        704 kB
Active:          33536 kB
Inactive:       250400 kB
HighTotal:      131008 kB
HighFree:        14756 kB
LowTotal:       903652 kB
LowFree:        707292 kB
SwapTotal:     2097892 kB
SwapFree:      2096316 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5128 kB
Slab:            22900 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:38:30 (client local time) WITH STATUS 1 IN 690.487 SECONDS
stats: 24891 7 690.487 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.91 0.93 0.90 2/54 20980
Raw data (stat): 20980 (runsolver) R 20979 3394 3393 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865149681 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.0007 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 2133 0 0 0 994 5 0 0 25 0 1 0 865149681 7819264 1458 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1909 1458 300 300 0 1609 0
vsize: 7636
[startup+20.0019 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 2636 0 0 0 1993 6 0 0 25 0 1 0 865149681 9170944 1953 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2239 1953 300 300 0 1939 0
vsize: 8956
[startup+30.0017 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 3834 0 0 0 2990 10 0 0 25 0 1 0 865149681 13410304 2439 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2439 300 300 0 2974 0
vsize: 13096
[startup+40.0139 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 4049 0 0 0 3990 10 0 0 25 0 1 0 865149681 13815808 2649 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3373 2649 300 300 0 3073 0
vsize: 13492
[startup+50.0144 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 4316 0 0 0 4989 12 0 0 25 0 1 0 865149681 14626816 2912 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3571 2912 300 300 0 3271 0
vsize: 14284
[startup+60.0146 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 4553 0 0 0 5987 13 0 0 25 0 1 0 865149681 15167488 3145 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3703 3145 300 300 0 3403 0
vsize: 14812
[startup+70.0154 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 4768 0 0 0 6987 14 0 0 25 0 1 0 865149681 15708160 3356 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3835 3356 300 300 0 3535 0
vsize: 15340
[startup+80.0188 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 4965 0 0 0 7986 16 0 0 25 0 1 0 865149681 16248832 3550 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3967 3550 300 300 0 3667 0
vsize: 15868
[startup+90.0247 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 5151 0 0 0 8985 17 0 0 25 0 1 0 865149681 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.024 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 5329 0 0 0 9984 18 0 0 25 0 1 0 865149681 17195008 3908 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4198 3908 300 300 0 3898 0
vsize: 16792
[startup+110.026 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 5498 0 0 0 10984 19 0 0 25 0 1 0 865149681 17735680 4074 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4330 4074 300 300 0 4030 0
vsize: 17320
[startup+120.027 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 7492 0 0 0 11980 23 0 0 25 0 1 0 865149681 25403392 4656 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4656 300 300 0 5902 0
vsize: 24808
[startup+130.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 7548 0 0 0 12980 23 0 0 25 0 1 0 865149681 25403392 4709 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4709 300 300 0 5902 0
vsize: 24808
[startup+140.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 7602 0 0 0 13979 23 0 0 25 0 1 0 865149681 25403392 4761 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4761 300 300 0 5902 0
vsize: 24808
[startup+150.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 7679 0 0 0 14979 24 0 0 25 0 1 0 865149681 25403392 4836 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4836 300 300 0 5902 0
vsize: 24808
[startup+160.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 7730 0 0 0 15978 25 0 0 25 0 1 0 865149681 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.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 7857 0 0 0 16978 25 0 0 25 0 1 0 865149681 25808896 5009 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 5009 300 300 0 6001 0
vsize: 25204
[startup+180.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 7989 0 0 0 17977 25 0 0 25 0 1 0 865149681 26079232 5139 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6367 5139 300 300 0 6067 0
vsize: 25468
[startup+190.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 8119 0 0 0 18977 26 0 0 25 0 1 0 865149681 26484736 5267 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5267 300 300 0 6166 0
vsize: 25864
[startup+200.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 8244 0 0 0 19977 27 0 0 25 0 1 0 865149681 26755072 5390 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6532 5390 300 300 0 6232 0
vsize: 26128
[startup+210.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 8368 0 0 0 20976 28 0 0 25 0 1 0 865149681 27160576 5512 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6631 5512 300 300 0 6331 0
vsize: 26524
[startup+220.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 8488 0 0 0 21978 28 0 0 25 0 1 0 865149681 27430912 5630 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5630 300 300 0 6397 0
vsize: 26788
[startup+230.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 8605 0 0 0 22977 29 0 0 25 0 1 0 865149681 27836416 5745 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6796 5745 300 300 0 6496 0
vsize: 27184
[startup+240.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 8721 0 0 0 23977 30 0 0 25 0 1 0 865149681 28106752 5859 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6862 5859 300 300 0 6562 0
vsize: 27448
[startup+250.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 8834 0 0 0 24976 31 0 0 25 0 1 0 865149681 28377088 5970 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5970 300 300 0 6628 0
vsize: 27712
[startup+260.062 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 8943 0 0 0 25975 32 0 0 25 0 1 0 865149681 28647424 6078 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 6078 300 300 0 6694 0
vsize: 27976
[startup+270.063 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9051 0 0 0 26974 32 0 0 25 0 1 0 865149681 28917760 6184 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6184 300 300 0 6760 0
vsize: 28240
[startup+280.063 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9159 0 0 0 27973 33 0 0 25 0 1 0 865149681 29188096 6290 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 6290 300 300 0 6826 0
vsize: 28504
[startup+290.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9262 0 0 0 28973 34 0 0 25 0 1 0 865149681 29458432 6392 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 6392 300 300 0 6892 0
vsize: 28768
[startup+300.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9364 0 0 0 29972 34 0 0 25 0 1 0 865149681 29728768 6492 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7258 6492 300 300 0 6958 0
vsize: 29032
[startup+310.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9466 0 0 0 30971 35 0 0 25 0 1 0 865149681 29999104 6592 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7324 6592 300 300 0 7024 0
vsize: 29296
[startup+320.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9564 0 0 0 31970 36 0 0 25 0 1 0 865149681 30269440 6689 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6689 300 300 0 7090 0
vsize: 29560
[startup+330.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9662 0 0 0 32970 37 0 0 25 0 1 0 865149681 30539776 6785 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7456 6785 300 300 0 7156 0
vsize: 29824
[startup+340.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9761 0 0 0 33969 38 0 0 25 0 1 0 865149681 30810112 6882 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6882 300 300 0 7222 0
vsize: 30088
[startup+350.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9855 0 0 0 34968 39 0 0 25 0 1 0 865149681 31080448 6975 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7588 6975 300 300 0 7288 0
vsize: 30352
[startup+360.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 9949 0 0 0 35968 39 0 0 25 0 1 0 865149681 31350784 7067 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7654 7067 300 300 0 7354 0
vsize: 30616
[startup+370.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10041 0 0 0 36967 40 0 0 25 0 1 0 865149681 31621120 7158 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7720 7158 300 300 0 7420 0
vsize: 30880
[startup+380.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10133 0 0 0 37966 41 0 0 25 0 1 0 865149681 31756288 7248 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7753 7248 300 300 0 7453 0
vsize: 31012
[startup+390.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10224 0 0 0 38966 41 0 0 25 0 1 0 865149681 32026624 7338 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7819 7338 300 300 0 7519 0
vsize: 31276
[startup+400.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10311 0 0 0 39965 42 0 0 25 0 1 0 865149681 32296960 7424 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7885 7424 300 300 0 7585 0
vsize: 31540
[startup+410.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10400 0 0 0 40965 43 0 0 25 0 1 0 865149681 32567296 7511 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7951 7511 300 300 0 7651 0
vsize: 31804
[startup+420.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10487 0 0 0 41965 43 0 0 25 0 1 0 865149681 32702464 7597 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7984 7597 300 300 0 7684 0
vsize: 31936
[startup+430.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10574 0 0 0 42965 43 0 0 25 0 1 0 865149681 32972800 7682 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8050 7682 300 300 0 7750 0
vsize: 32200
[startup+440.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10659 0 0 0 43964 44 0 0 25 0 1 0 865149681 33243136 7766 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8116 7766 300 300 0 7816 0
vsize: 32464
[startup+450.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10742 0 0 0 44963 45 0 0 25 0 1 0 865149681 33378304 7848 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8149 7848 300 300 0 7849 0
vsize: 32596
[startup+460.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10826 0 0 0 45963 45 0 0 25 0 1 0 865149681 33648640 7930 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8215 7930 300 300 0 7915 0
vsize: 32860
[startup+470.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 10909 0 0 0 46963 46 0 0 25 0 1 0 865149681 33918976 8012 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8281 8012 300 300 0 7981 0
vsize: 33124
[startup+480.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 14815 0 0 0 47954 55 0 0 25 0 1 0 865149681 49254400 9099 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9099 300 300 0 11725 0
vsize: 48100
[startup+490.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 14844 0 0 0 48953 56 0 0 25 0 1 0 865149681 49254400 9126 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9126 300 300 0 11725 0
vsize: 48100
[startup+500.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 14872 0 0 0 49952 56 0 0 25 0 1 0 865149681 49254400 9153 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9153 300 300 0 11725 0
vsize: 48100
[startup+510.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 14900 0 0 0 50952 57 0 0 25 0 1 0 865149681 49254400 9180 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9180 300 300 0 11725 0
vsize: 48100
[startup+520.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 14927 0 0 0 51951 58 0 0 25 0 1 0 865149681 49254400 9206 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9206 300 300 0 11725 0
vsize: 48100
[startup+530.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 14956 0 0 0 52951 58 0 0 25 0 1 0 865149681 49254400 9233 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9233 300 300 0 11725 0
vsize: 48100
[startup+540.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 14983 0 0 0 53950 59 0 0 25 0 1 0 865149681 49254400 9259 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9259 300 300 0 11725 0
vsize: 48100
[startup+550.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 15010 0 0 0 54949 60 0 0 25 0 1 0 865149681 49254400 9285 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9285 300 300 0 11725 0
vsize: 48100
[startup+560.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 15036 0 0 0 55949 60 0 0 25 0 1 0 865149681 49254400 9310 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9310 300 300 0 11725 0
vsize: 48100
[startup+570.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 15064 0 0 0 56948 61 0 0 25 0 1 0 865149681 49254400 9336 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9336 300 300 0 11725 0
vsize: 48100
[startup+580.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 15090 0 0 0 57947 62 0 0 25 0 1 0 865149681 49254400 9361 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9361 300 300 0 11725 0
vsize: 48100
[startup+590.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 34949 0 0 0 58899 110 0 0 25 0 1 0 865149681 120057856 28382 4294967295 134512640 135726644 3221224576 3174545808 135280427 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29311 28382 300 300 0 29011 0
vsize: 117244
[startup+600.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 65857 0 0 0 59827 183 0 0 25 0 1 0 865149681 216940544 49064 4294967295 134512640 135726644 3221224576 3166954780 135287540 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52964 49064 300 300 0 52664 0
vsize: 211856
[startup+610.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 95929 0 0 0 60769 241 0 0 25 0 1 0 865149681 318603264 63577 4294967295 134512640 135726644 3221224576 3168435804 134634291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77784 63577 300 300 0 77484 0
vsize: 311136
[startup+620.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 127807 0 0 0 61699 311 0 0 25 0 1 0 865149681 400564224 82912 4294967295 134512640 135726644 3221224576 3167230892 134604449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97794 82912 300 300 0 97494 0
vsize: 391176
[startup+630.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 164500 0 0 0 62627 383 0 0 25 0 1 0 865149681 538931200 100019 4294967295 134512640 135726644 3221224576 3166747488 135279105 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131575 100019 300 300 0 131275 0
vsize: 526300
[startup+640.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 177657 0 0 0 63599 411 0 0 25 0 1 0 865149681 538931200 112899 4294967295 134512640 135726644 3221224576 3169610608 134558137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131575 112899 300 300 0 131275 0
vsize: 526300
[startup+650.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 196103 0 0 0 64556 454 0 0 25 0 1 0 865149681 793001984 131102 4294967295 134512640 135726644 3221224576 3167601392 134784885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193604 131102 300 300 0 193304 0
vsize: 774416
[startup+660.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 238768 0 0 0 65464 546 0 0 25 0 1 0 865149681 721674240 148947 4294967295 134512640 135726644 3221224576 3163360552 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176190 148947 300 300 0 175890 0
vsize: 704760
[startup+670.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 255148 0 0 0 66433 577 0 0 25 0 1 0 865149681 748556288 165114 4294967295 134512640 135726644 3221224576 3163333792 135102710 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182753 165114 300 300 0 182453 0
vsize: 731012
[startup+680.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 255148 0 0 0 67433 578 0 0 25 0 1 0 865149681 748556288 165114 4294967295 134512640 135726644 3221224576 3215936192 135141190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182753 165114 300 300 0 182453 0
vsize: 731012
[startup+690.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 255150 0 0 0 68422 589 0 0 25 0 1 0 865149681 459132928 111658 4294967295 134512640 135726644 3221224576 3221222960 134778989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112093 111658 300 300 0 111793 0
vsize: 448372
[startup+690.464 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20980
Raw data (stat): 20980 (pb2sat) R 20979 3394 3393 0 -1 0 255150 0 0 0 68422 589 0 0 25 0 1 0 865149681 459132928 111658 4294967295 134512640 135726644 3221224576 3221222960 134778989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112093 111658 300 300 0 111793 0
vsize: 0

Child status: 1
Real time (s): 690.464
CPU time (s): 690.487
CPU user time (s): 684.379
CPU system time (s): 6.10807
CPU usage (%): 100.003
Max. virtual memory (Kb): 774416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####