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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUM	9a33380ca74da1778d689b1fccd15cfc
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29764190431236
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29764190431236
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42078
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 35329

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-28 12:44:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24613 boxname=wulflinc7 idbench=1085 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 24613
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        714136 kB
Buffers:         35952 kB
Cached:         262604 kB
SwapCached:        644 kB
Active:          38724 kB
Inactive:       261852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        713884 kB
SwapTotal:     2097136 kB
SwapFree:      2095560 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            14188 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:57:20 (client local time) WITH STATUS 1 IN 781.76 SECONDS
stats: 24613 7 781.76 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.95 0.96 0.91 1/54 9163
Raw data (stat): 9163 (runsolver) R 9162 24300 24299 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806686243 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.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 2181 0 0 0 993 6 0 0 25 0 1 0 806686243 7954432 1505 4294967295 134512640 135726644 3221224592 3221221680 134556181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1942 1505 300 300 0 1642 0
vsize: 7768
[startup+20.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 2672 0 0 0 1991 8 0 0 25 0 1 0 806686243 9306112 1988 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2272 1988 300 300 0 1972 0
vsize: 9088
[startup+30.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 3851 0 0 0 2989 10 0 0 25 0 1 0 806686243 13410304 2455 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2455 300 300 0 2974 0
vsize: 13096
[startup+40.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 4095 0 0 0 3988 10 0 0 25 0 1 0 806686243 13950976 2694 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3406 2694 300 300 0 3106 0
vsize: 13624
[startup+50.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 4358 0 0 0 4988 11 0 0 25 0 1 0 806686243 14626816 2953 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3571 2953 300 300 0 3271 0
vsize: 14284
[startup+60.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 4596 0 0 0 5987 12 0 0 25 0 1 0 806686243 15302656 3187 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3736 3187 300 300 0 3436 0
vsize: 14944
[startup+70.0052 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 4812 0 0 0 6987 12 0 0 25 0 1 0 806686243 15843328 3400 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3868 3400 300 300 0 3568 0
vsize: 15472
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 5012 0 0 0 7987 13 0 0 25 0 1 0 806686243 16384000 3596 4294967295 134512640 135726644 3221224592 3221221604 134541496 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4000 3596 300 300 0 3700 0
vsize: 16000
[startup+90.0054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 5200 0 0 0 8986 13 0 0 25 0 1 0 806686243 16924672 3781 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4132 3781 300 300 0 3832 0
vsize: 16528
[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 5377 0 0 0 9985 14 0 0 25 0 1 0 806686243 17330176 3955 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3955 300 300 0 3931 0
vsize: 16924
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 7450 0 0 0 10981 18 0 0 25 0 1 0 806686243 25403392 4616 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4616 300 300 0 5902 0
vsize: 24808
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 7509 0 0 0 11981 19 0 0 25 0 1 0 806686243 25403392 4672 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4672 300 300 0 5902 0
vsize: 24808
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 7563 0 0 0 12981 19 0 0 25 0 1 0 806686243 25403392 4724 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4724 300 300 0 5902 0
vsize: 24808
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 7616 0 0 0 13981 19 0 0 25 0 1 0 806686243 25403392 4774 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4774 300 300 0 5902 0
vsize: 24808
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 7694 0 0 0 14981 19 0 0 25 0 1 0 806686243 25403392 4850 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4850 300 300 0 5902 0
vsize: 24808
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 7759 0 0 0 15981 19 0 0 25 0 1 0 806686243 25538560 4913 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6235 4913 300 300 0 5935 0
vsize: 24940
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 7893 0 0 0 16981 20 0 0 25 0 1 0 806686243 25944064 5045 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6334 5045 300 300 0 6034 0
vsize: 25336
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8026 0 0 0 17980 20 0 0 25 0 1 0 806686243 26214400 5175 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6400 5175 300 300 0 6100 0
vsize: 25600
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8153 0 0 0 18980 21 0 0 25 0 1 0 806686243 26619904 5300 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6499 5300 300 300 0 6199 0
vsize: 25996
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8277 0 0 0 19980 21 0 0 25 0 1 0 806686243 26890240 5422 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6565 5422 300 300 0 6265 0
vsize: 26260
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8398 0 0 0 20980 21 0 0 25 0 1 0 806686243 27160576 5541 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5541 300 300 0 6331 0
vsize: 26524
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8515 0 0 0 21979 22 0 0 25 0 1 0 806686243 27566080 5657 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6730 5657 300 300 0 6430 0
vsize: 26920
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8631 0 0 0 22978 23 0 0 25 0 1 0 806686243 27836416 5771 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6796 5771 300 300 0 6496 0
vsize: 27184
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8746 0 0 0 23978 23 0 0 25 0 1 0 806686243 28106752 5884 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6862 5884 300 300 0 6562 0
vsize: 27448
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8857 0 0 0 24978 23 0 0 25 0 1 0 806686243 28377088 5993 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5993 300 300 0 6628 0
vsize: 27712
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 8968 0 0 0 25978 23 0 0 25 0 1 0 806686243 28782592 6102 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7027 6102 300 300 0 6727 0
vsize: 28108
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9074 0 0 0 26978 24 0 0 25 0 1 0 806686243 29052928 6207 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7093 6207 300 300 0 6793 0
vsize: 28372
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9180 0 0 0 27978 24 0 0 25 0 1 0 806686243 29323264 6311 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7159 6311 300 300 0 6859 0
vsize: 28636
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9284 0 0 0 28977 24 0 0 25 0 1 0 806686243 29593600 6413 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7225 6413 300 300 0 6925 0
vsize: 28900
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9388 0 0 0 29977 24 0 0 25 0 1 0 806686243 29863936 6515 4294967295 134512640 135726644 3221224592 3221221040 134766969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7291 6515 300 300 0 6991 0
vsize: 29164
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9487 0 0 0 30977 24 0 0 25 0 1 0 806686243 30134272 6613 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7357 6613 300 300 0 7057 0
vsize: 29428
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9588 0 0 0 31978 25 0 0 25 0 1 0 806686243 30404608 6712 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7423 6712 300 300 0 7123 0
vsize: 29692
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9685 0 0 0 32978 25 0 0 25 0 1 0 806686243 30674944 6808 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7489 6808 300 300 0 7189 0
vsize: 29956
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9782 0 0 0 33978 25 0 0 25 0 1 0 806686243 30945280 6903 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 6903 300 300 0 7255 0
vsize: 30220
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9876 0 0 0 34977 25 0 0 25 0 1 0 806686243 31080448 6996 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7588 6996 300 300 0 7288 0
vsize: 30352
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 9970 0 0 0 35977 26 0 0 25 0 1 0 806686243 31350784 7088 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7654 7088 300 300 0 7354 0
vsize: 30616
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10063 0 0 0 36977 26 0 0 25 0 1 0 806686243 31621120 7180 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7720 7180 300 300 0 7420 0
vsize: 30880
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10155 0 0 0 37977 26 0 0 25 0 1 0 806686243 31891456 7270 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7786 7270 300 300 0 7486 0
vsize: 31144
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10245 0 0 0 38977 26 0 0 25 0 1 0 806686243 32161792 7359 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7852 7359 300 300 0 7552 0
vsize: 31408
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10334 0 0 0 39978 26 0 0 25 0 1 0 806686243 32296960 7446 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7885 7446 300 300 0 7585 0
vsize: 31540
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10421 0 0 0 40977 27 0 0 25 0 1 0 806686243 32567296 7532 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7951 7532 300 300 0 7651 0
vsize: 31804
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10509 0 0 0 41976 28 0 0 25 0 1 0 806686243 32837632 7618 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8017 7618 300 300 0 7717 0
vsize: 32068
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10596 0 0 0 42976 28 0 0 25 0 1 0 806686243 32972800 7704 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8050 7704 300 300 0 7750 0
vsize: 32200
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10680 0 0 0 43976 28 0 0 25 0 1 0 806686243 33243136 7787 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8116 7787 300 300 0 7816 0
vsize: 32464
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10764 0 0 0 44976 28 0 0 25 0 1 0 806686243 33513472 7869 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8182 7869 300 300 0 7882 0
vsize: 32728
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10848 0 0 0 45976 29 0 0 25 0 1 0 806686243 33648640 7952 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8215 7952 300 300 0 7915 0
vsize: 32860
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 10928 0 0 0 46975 30 0 0 25 0 1 0 806686243 33918976 8031 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8281 8031 300 300 0 7981 0
vsize: 33124
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 14822 0 0 0 47966 38 0 0 25 0 1 0 806686243 49254400 9105 4294967295 134512640 135726644 3221224592 3221221680 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9105 300 300 0 11725 0
vsize: 48100
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 14850 0 0 0 48966 38 0 0 25 0 1 0 806686243 49254400 9132 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9132 300 300 0 11725 0
vsize: 48100
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 14878 0 0 0 49966 38 0 0 25 0 1 0 806686243 49254400 9159 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9159 300 300 0 11725 0
vsize: 48100
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 14907 0 0 0 50966 38 0 0 25 0 1 0 806686243 49254400 9187 4294967295 134512640 135726644 3221224592 3221221680 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9187 300 300 0 11725 0
vsize: 48100
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 14936 0 0 0 51967 39 0 0 25 0 1 0 806686243 49254400 9214 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9214 300 300 0 11725 0
vsize: 48100
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 14963 0 0 0 52966 39 0 0 25 0 1 0 806686243 49254400 9240 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9240 300 300 0 11725 0
vsize: 48100
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 14990 0 0 0 53965 39 0 0 25 0 1 0 806686243 49254400 9266 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9266 300 300 0 11725 0
vsize: 48100
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15016 0 0 0 54965 39 0 0 25 0 1 0 806686243 49254400 9291 4294967295 134512640 135726644 3221224592 3221221680 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9291 300 300 0 11725 0
vsize: 48100
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15044 0 0 0 55965 40 0 0 25 0 1 0 806686243 49254400 9317 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9317 300 300 0 11725 0
vsize: 48100
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15070 0 0 0 56965 40 0 0 25 0 1 0 806686243 49254400 9342 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9342 300 300 0 11725 0
vsize: 48100
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15097 0 0 0 57965 40 0 0 25 0 1 0 806686243 49254400 9368 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9368 300 300 0 11725 0
vsize: 48100
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15123 0 0 0 58965 40 0 0 25 0 1 0 806686243 49254400 9393 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9393 300 300 0 11725 0
vsize: 48100
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15149 0 0 0 59965 40 0 0 25 0 1 0 806686243 49254400 9418 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9418 300 300 0 11725 0
vsize: 48100
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15192 0 0 0 60965 41 0 0 25 0 1 0 806686243 49254400 9459 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9459 300 300 0 11725 0
vsize: 48100
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15227 0 0 0 61965 41 0 0 25 0 1 0 806686243 49254400 9493 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9493 300 300 0 11725 0
vsize: 48100
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15251 0 0 0 62965 41 0 0 25 0 1 0 806686243 49254400 9516 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9516 300 300 0 11725 0
vsize: 48100
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15277 0 0 0 63965 41 0 0 25 0 1 0 806686243 49254400 9541 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9541 300 300 0 11725 0
vsize: 48100
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15302 0 0 0 64965 41 0 0 25 0 1 0 806686243 49254400 9565 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9565 300 300 0 11725 0
vsize: 48100
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 15326 0 0 0 65964 42 0 0 25 0 1 0 806686243 49254400 9588 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9588 300 300 0 11725 0
vsize: 48100
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 16576 0 0 0 66962 44 0 0 25 0 1 0 806686243 54390784 10837 4294967295 134512640 135726644 3221224592 3221220464 134549761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13279 10837 300 300 0 12979 0
vsize: 53116
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 56760 0 0 0 67873 133 0 0 25 0 1 0 806686243 189308928 43135 4294967295 134512640 135726644 3221224592 3163486568 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46218 43136 300 300 0 45918 0
vsize: 184872
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 93342 0 0 0 68795 210 0 0 25 0 1 0 806686243 308006912 61108 4294967295 134512640 135726644 3221224592 3166734480 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75197 61109 300 300 0 74897 0
vsize: 300788
[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 116421 0 0 0 69746 262 0 0 25 0 1 0 806686243 440590336 83958 4294967295 134512640 135726644 3221224592 3161233008 134784885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107566 83962 300 300 0 107266 0
vsize: 430264
[startup+710.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 140437 0 0 0 70690 320 0 0 25 0 1 0 806686243 450437120 95472 4294967295 134512640 135726644 3221224592 3159944856 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109970 95472 300 300 0 109670 0
vsize: 439880
[startup+720.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 177961 0 0 0 71615 395 0 0 25 0 1 0 806686243 570134528 113410 4294967295 134512640 135726644 3221224592 3159972168 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139193 113410 300 300 0 138893 0
vsize: 556772
[startup+730.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 214309 0 0 0 72537 473 0 0 25 0 1 0 806686243 670797824 124974 4294967295 134512640 135726644 3221224592 3160742508 134604456 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163769 124974 300 300 0 163469 0
vsize: 655076
[startup+740.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 231098 0 0 0 73497 514 0 0 25 0 1 0 806686243 726519808 141565 4294967295 134512640 135726644 3221224592 3162723696 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177373 141566 300 300 0 177073 0
vsize: 709492
[startup+750.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 251077 0 0 0 74451 559 0 0 25 0 1 0 806686243 755040256 161317 4294967295 134512640 135726644 3221224592 3163976648 135280872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184336 161317 300 300 0 184036 0
vsize: 737344
[startup+760.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 270935 0 0 0 75408 602 0 0 25 0 1 0 806686243 783155200 180945 4294967295 134512640 135726644 3221224592 3162163680 134767234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191200 180946 300 300 0 190900 0
vsize: 764800
[startup+770.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 274681 0 0 0 76400 611 0 0 25 0 1 0 806686243 789745664 184647 4294967295 134512640 135726644 3221224592 3182604320 135103055 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192809 184647 300 300 0 192509 0
vsize: 771236
[startup+780.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 274683 0 0 0 77386 624 0 0 25 0 1 0 806686243 475156480 115569 4294967295 134512640 135726644 3221224592 3221222920 135278569 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116005 115569 300 300 0 115705 0
vsize: 464020
[startup+781.715 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9163
Raw data (stat): 9163 (pb2sat) R 9162 24300 24299 0 -1 0 274683 0 0 0 77386 624 0 0 25 0 1 0 806686243 475156480 115569 4294967295 134512640 135726644 3221224592 3221222920 135278569 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116005 115569 300 300 0 115705 0
vsize: 0

Child status: 1
Real time (s): 781.715
CPU time (s): 781.76
CPU user time (s): 775.275
CPU system time (s): 6.48501
CPU usage (%): 100.006
Max. virtual memory (Kb): 771236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####