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-n370c.opb
MD5SUM	400cadbec334a2c0625c23ea02111b7f
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	29652813254765
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	29652813254765
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.45178
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 35339

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        652620 kB
Buffers:         36592 kB
Cached:         324444 kB
SwapCached:        996 kB
Active:          40892 kB
Inactive:       322252 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        652368 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            13212 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:58:23 (client local time) WITH STATUS 1 IN 790.571 SECONDS
stats: 24618 7 790.571 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.93 0.97 0.91 2/54 9213
Raw data (stat): 9213 (runsolver) R 9212 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864919470 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.94 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 2135 0 0 0 993 6 0 0 25 0 1 0 864919470 7819264 1460 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1909 1460 300 300 0 1609 0
vsize: 7636
[startup+20.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 2684 0 0 0 1992 7 0 0 25 0 1 0 864919470 9306112 2000 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2272 2000 300 300 0 1972 0
vsize: 9088
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 3856 0 0 0 2989 10 0 0 25 0 1 0 864919470 13410304 2460 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2460 300 300 0 2974 0
vsize: 13096
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 4093 0 0 0 3987 12 0 0 25 0 1 0 864919470 13950976 2692 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3406 2692 300 300 0 3106 0
vsize: 13624
[startup+50.0008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 4352 0 0 0 4987 13 0 0 25 0 1 0 864919470 14626816 2947 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3571 2947 300 300 0 3271 0
vsize: 14284
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 4581 0 0 0 5986 14 0 0 25 0 1 0 864919470 15302656 3172 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3736 3172 300 300 0 3436 0
vsize: 14944
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 4790 0 0 0 6985 15 0 0 25 0 1 0 864919470 15843328 3378 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3868 3378 300 300 0 3568 0
vsize: 15472
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 4987 0 0 0 7985 16 0 0 25 0 1 0 864919470 16384000 3572 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4000 3572 300 300 0 3700 0
vsize: 16000
[startup+90.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 5173 0 0 0 8984 16 0 0 25 0 1 0 864919470 16789504 3755 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3755 300 300 0 3799 0
vsize: 16396
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 5350 0 0 0 9983 17 0 0 25 0 1 0 864919470 17330176 3929 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4231 3929 300 300 0 3931 0
vsize: 16924
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 5518 0 0 0 10983 18 0 0 25 0 1 0 864919470 17735680 4094 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4330 4094 300 300 0 4030 0
vsize: 17320
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 7498 0 0 0 11978 23 0 0 25 0 1 0 864919470 25403392 4662 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4662 300 300 0 5902 0
vsize: 24808
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 7554 0 0 0 12978 23 0 0 25 0 1 0 864919470 25403392 4715 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4715 300 300 0 5902 0
vsize: 24808
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 7606 0 0 0 13978 24 0 0 25 0 1 0 864919470 25403392 4765 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4765 300 300 0 5902 0
vsize: 24808
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 7684 0 0 0 14977 24 0 0 25 0 1 0 864919470 25403392 4840 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4840 300 300 0 5902 0
vsize: 24808
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 7733 0 0 0 15977 25 0 0 25 0 1 0 864919470 25403392 4887 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4887 300 300 0 5902 0
vsize: 24808
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 7864 0 0 0 16976 26 0 0 25 0 1 0 864919470 25808896 5016 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5016 300 300 0 6001 0
vsize: 25204
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 7995 0 0 0 17975 27 0 0 25 0 1 0 864919470 26214400 5145 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6400 5145 300 300 0 6100 0
vsize: 25600
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 8123 0 0 0 18975 27 0 0 25 0 1 0 864919470 26484736 5271 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6466 5271 300 300 0 6166 0
vsize: 25864
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 8247 0 0 0 19974 29 0 0 25 0 1 0 864919470 26890240 5393 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6565 5393 300 300 0 6265 0
vsize: 26260
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 8368 0 0 0 20974 29 0 0 25 0 1 0 864919470 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 8487 0 0 0 21973 30 0 0 25 0 1 0 864919470 27430912 5629 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6697 5629 300 300 0 6397 0
vsize: 26788
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 8602 0 0 0 22973 30 0 0 25 0 1 0 864919470 27701248 5742 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6763 5742 300 300 0 6463 0
vsize: 27052
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 8715 0 0 0 23972 31 0 0 25 0 1 0 864919470 28106752 5853 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6862 5853 300 300 0 6562 0
vsize: 27448
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 8825 0 0 0 24972 32 0 0 25 0 1 0 864919470 28377088 5962 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5962 300 300 0 6628 0
vsize: 27712
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 8933 0 0 0 25971 32 0 0 25 0 1 0 864919470 28647424 6068 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6068 300 300 0 6694 0
vsize: 27976
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9041 0 0 0 26971 33 0 0 25 0 1 0 864919470 28917760 6174 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6174 300 300 0 6760 0
vsize: 28240
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9147 0 0 0 27970 34 0 0 25 0 1 0 864919470 29188096 6278 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6278 300 300 0 6826 0
vsize: 28504
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9250 0 0 0 28970 34 0 0 25 0 1 0 864919470 29458432 6380 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6380 300 300 0 6892 0
vsize: 28768
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9352 0 0 0 29970 35 0 0 25 0 1 0 864919470 29728768 6480 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6480 300 300 0 6958 0
vsize: 29032
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9452 0 0 0 30969 35 0 0 25 0 1 0 864919470 29999104 6578 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6578 300 300 0 7024 0
vsize: 29296
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9550 0 0 0 31969 36 0 0 25 0 1 0 864919470 30269440 6675 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 6675 300 300 0 7090 0
vsize: 29560
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9647 0 0 0 32968 37 0 0 25 0 1 0 864919470 30539776 6770 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6770 300 300 0 7156 0
vsize: 29824
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9743 0 0 0 33968 37 0 0 25 0 1 0 864919470 30810112 6865 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6865 300 300 0 7222 0
vsize: 30088
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9838 0 0 0 34968 38 0 0 25 0 1 0 864919470 31080448 6958 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6958 300 300 0 7288 0
vsize: 30352
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 9931 0 0 0 35967 38 0 0 25 0 1 0 864919470 31215616 7050 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7621 7050 300 300 0 7321 0
vsize: 30484
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10024 0 0 0 36966 39 0 0 25 0 1 0 864919470 31485952 7141 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7687 7141 300 300 0 7387 0
vsize: 30748
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10113 0 0 0 37966 40 0 0 25 0 1 0 864919470 31756288 7229 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7229 300 300 0 7453 0
vsize: 31012
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10203 0 0 0 38966 41 0 0 25 0 1 0 864919470 32026624 7317 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7317 300 300 0 7519 0
vsize: 31276
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10292 0 0 0 39965 41 0 0 25 0 1 0 864919470 32161792 7405 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7852 7405 300 300 0 7552 0
vsize: 31408
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10381 0 0 0 40965 42 0 0 25 0 1 0 864919470 32432128 7492 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7918 7492 300 300 0 7618 0
vsize: 31672
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10465 0 0 0 41964 43 0 0 25 0 1 0 864919470 32702464 7575 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7575 300 300 0 7684 0
vsize: 31936
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10552 0 0 0 42964 43 0 0 25 0 1 0 864919470 32972800 7661 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7661 300 300 0 7750 0
vsize: 32200
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10636 0 0 0 43963 44 0 0 25 0 1 0 864919470 33107968 7743 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8083 7743 300 300 0 7783 0
vsize: 32332
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10720 0 0 0 44963 44 0 0 25 0 1 0 864919470 33378304 7826 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8149 7826 300 300 0 7849 0
vsize: 32596
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10803 0 0 0 45963 45 0 0 25 0 1 0 864919470 33513472 7908 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8182 7908 300 300 0 7882 0
vsize: 32728
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10884 0 0 0 46963 45 0 0 25 0 1 0 864919470 33783808 7987 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 7987 300 300 0 7948 0
vsize: 32992
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 10965 0 0 0 47962 46 0 0 25 0 1 0 864919470 34054144 8067 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8314 8067 300 300 0 8014 0
vsize: 33256
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 14834 0 0 0 48953 55 0 0 25 0 1 0 864919470 49254400 9117 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9117 300 300 0 11725 0
vsize: 48100
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 14862 0 0 0 49953 55 0 0 25 0 1 0 864919470 49254400 9144 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9144 300 300 0 11725 0
vsize: 48100
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 14891 0 0 0 50953 55 0 0 25 0 1 0 864919470 49254400 9171 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9171 300 300 0 11725 0
vsize: 48100
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 14919 0 0 0 51953 56 0 0 25 0 1 0 864919470 49254400 9198 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9198 300 300 0 11725 0
vsize: 48100
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 14946 0 0 0 52952 56 0 0 25 0 1 0 864919470 49254400 9224 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9224 300 300 0 11725 0
vsize: 48100
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 14972 0 0 0 53952 57 0 0 25 0 1 0 864919470 49254400 9249 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9249 300 300 0 11725 0
vsize: 48100
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15000 0 0 0 54952 57 0 0 25 0 1 0 864919470 49254400 9275 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9275 300 300 0 11725 0
vsize: 48100
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15026 0 0 0 55952 57 0 0 25 0 1 0 864919470 49254400 9300 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9300 300 300 0 11725 0
vsize: 48100
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15053 0 0 0 56952 57 0 0 25 0 1 0 864919470 49254400 9326 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9326 300 300 0 11725 0
vsize: 48100
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15079 0 0 0 57952 57 0 0 25 0 1 0 864919470 49254400 9351 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9351 300 300 0 11725 0
vsize: 48100
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15105 0 0 0 58952 58 0 0 25 0 1 0 864919470 49254400 9376 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9376 300 300 0 11725 0
vsize: 48100
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15131 0 0 0 59951 59 0 0 25 0 1 0 864919470 49254400 9400 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9400 300 300 0 11725 0
vsize: 48100
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15157 0 0 0 60951 59 0 0 25 0 1 0 864919470 49254400 9425 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9425 300 300 0 11725 0
vsize: 48100
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15208 0 0 0 61950 60 0 0 25 0 1 0 864919470 49254400 9475 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9475 300 300 0 11725 0
vsize: 48100
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15233 0 0 0 62950 60 0 0 25 0 1 0 864919470 49254400 9499 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9499 300 300 0 11725 0
vsize: 48100
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15259 0 0 0 63949 61 0 0 25 0 1 0 864919470 49254400 9524 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9524 300 300 0 11725 0
vsize: 48100
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15283 0 0 0 64949 62 0 0 25 0 1 0 864919470 49254400 9547 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9547 300 300 0 11725 0
vsize: 48100
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15309 0 0 0 65948 62 0 0 25 0 1 0 864919470 49254400 9571 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9571 300 300 0 11725 0
vsize: 48100
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 15333 0 0 0 66950 63 0 0 25 0 1 0 864919470 49254400 9594 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9594 300 300 0 11725 0
vsize: 48100
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 25113 0 0 0 67924 89 0 0 25 0 1 0 864919470 84803584 18984 4294967295 134512640 135726644 3221224576 3200364544 134772605 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20705 18985 300 300 0 20405 0
vsize: 82816
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 63300 0 0 0 68841 172 0 0 25 0 1 0 864919470 215281664 46561 4294967295 134512640 135726644 3221224576 3161022064 134739317 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52559 46561 300 300 0 52259 0
vsize: 210236
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 95353 0 0 0 69773 240 0 0 25 0 1 0 864919470 324784128 63081 4294967295 134512640 135726644 3221224576 3159696892 134604441 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79293 63081 300 300 0 78993 0
vsize: 317172
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 124748 0 0 0 70708 306 0 0 25 0 1 0 864919470 394309632 79968 4294967295 134512640 135726644 3221224576 3160101256 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96267 79968 300 300 0 95967 0
vsize: 385068
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 149854 0 0 0 71653 361 0 0 25 0 1 0 864919470 605077504 104570 4294967295 134512640 135726644 3221224576 3159843360 134771720 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147724 104572 300 300 0 147424 0
vsize: 590896
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 179936 0 0 0 72591 423 0 0 25 0 1 0 864919470 570945536 115361 4294967295 134512640 135726644 3221224576 3161032480 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139391 115362 300 300 0 139091 0
vsize: 557564
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 216367 0 0 0 73508 506 0 0 25 0 1 0 864919470 672014336 127001 4294967295 134512640 135726644 3221224576 3159866456 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164066 127001 300 300 0 163766 0
vsize: 656264
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 233409 0 0 0 74467 547 0 0 25 0 1 0 864919470 729493504 143851 4294967295 134512640 135726644 3221224576 3165543216 135278579 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178099 143851 300 300 0 177799 0
vsize: 712396
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 253064 0 0 0 75418 596 0 0 25 0 1 0 864919470 758013952 163279 4294967295 134512640 135726644 3221224576 3159662128 134554559 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185062 163279 300 300 0 184762 0
vsize: 740248
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 272298 0 0 0 76371 636 0 0 25 0 1 0 864919470 785317888 182292 4294967295 134512640 135726644 3221224576 3159391352 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191728 182292 300 300 0 191428 0
vsize: 766912
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 274923 0 0 0 77363 643 0 0 25 0 1 0 864919470 789745664 184889 4294967295 134512640 135726644 3221224576 3190579116 135103007 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192809 184889 300 300 0 192509 0
vsize: 771236
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 274925 0 0 0 78349 657 0 0 25 0 1 0 864919470 475156480 115593 4294967295 134512640 135726644 3221224576 3221222928 135280446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116005 115593 300 300 0 115705 0
vsize: 464020
[startup+790.549 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9213
Raw data (stat): 9213 (pb2sat) R 9212 1586 1585 0 -1 0 274925 0 0 0 78349 657 0 0 25 0 1 0 864919470 475156480 115593 4294967295 134512640 135726644 3221224576 3221222928 135280446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116005 115593 300 300 0 115705 0
vsize: 0

Child status: 1
Real time (s): 790.549
CPU time (s): 790.571
CPU user time (s): 783.759
CPU system time (s): 6.81196
CPU usage (%): 100.003
Max. virtual memory (Kb): 771236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####