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-n3702.opb
MD5SUM	8a9d9f3204d778657700e0268ec9ac0e
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	29701186548799
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	29701186548799
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.43078
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 35324

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-28 12:43:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24608 boxname=wulflinc12 idbench=1080 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8a9d9f3204d778657700e0268ec9ac0e  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3702.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3702.opb
IDLAUNCH: 24608
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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	: 2
cpu MHz		: 451.091
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:        683880 kB
Buffers:         35624 kB
Cached:         278060 kB
SwapCached:        340 kB
Active:          29184 kB
Inactive:       296288 kB
HighTotal:      131008 kB
HighFree:        73500 kB
LowTotal:       903652 kB
LowFree:        610380 kB
SwapTotal:     2097136 kB
SwapFree:      2096008 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            19560 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:56:21 (client local time) WITH STATUS 1 IN 783.426 SECONDS
stats: 24608 7 783.426 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.90 0.93 0.91 2/54 12406
Raw data (stat): 12406 (runsolver) R 12405 32284 32283 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806664774 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.0011 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 2227 0 0 0 994 5 0 0 25 0 1 0 806664774 8089600 1550 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1975 1550 300 300 0 1675 0
vsize: 7900
[startup+20.0015 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 2770 0 0 0 1993 6 0 0 25 0 1 0 806664774 9576448 2085 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2338 2085 300 300 0 2038 0
vsize: 9352
[startup+30.0012 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 3889 0 0 0 2990 9 0 0 25 0 1 0 806664774 13410304 2492 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2492 300 300 0 2974 0
vsize: 13096
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 4155 0 0 0 3988 10 0 0 25 0 1 0 806664774 14086144 2753 4294967295 134512640 135726644 3221224576 3221221208 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3439 2753 300 300 0 3139 0
vsize: 13756
[startup+50.0033 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 4404 0 0 0 4987 12 0 0 25 0 1 0 806664774 14761984 2998 4294967295 134512640 135726644 3221224576 3221220824 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3604 2998 300 300 0 3304 0
vsize: 14416
[startup+60.0071 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 4630 0 0 0 5986 13 0 0 25 0 1 0 806664774 15437824 3220 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3769 3220 300 300 0 3469 0
vsize: 15076
[startup+70.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 4836 0 0 0 6986 13 0 0 25 0 1 0 806664774 15978496 3423 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3901 3423 300 300 0 3601 0
vsize: 15604
[startup+80.0104 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 5030 0 0 0 7986 14 0 0 25 0 1 0 806664774 16384000 3614 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4000 3614 300 300 0 3700 0
vsize: 16000
[startup+90.0107 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 5212 0 0 0 8985 15 0 0 25 0 1 0 806664774 16924672 3793 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4132 3793 300 300 0 3832 0
vsize: 16528
[startup+100.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 5383 0 0 0 9984 16 0 0 25 0 1 0 806664774 17330176 3961 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3961 300 300 0 3931 0
vsize: 16924
[startup+110.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 7452 0 0 0 10980 20 0 0 25 0 1 0 806664774 25403392 4618 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4618 300 300 0 5902 0
vsize: 24808
[startup+120.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 7508 0 0 0 11980 21 0 0 25 0 1 0 806664774 25403392 4671 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4671 300 300 0 5902 0
vsize: 24808
[startup+130.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 7560 0 0 0 12980 21 0 0 25 0 1 0 806664774 25403392 4721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4721 300 300 0 5902 0
vsize: 24808
[startup+140.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 7613 0 0 0 13979 21 0 0 25 0 1 0 806664774 25403392 4771 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4771 300 300 0 5902 0
vsize: 24808
[startup+150.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 7690 0 0 0 14979 22 0 0 25 0 1 0 806664774 25403392 4846 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4846 300 300 0 5902 0
vsize: 24808
[startup+160.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 7745 0 0 0 15979 22 0 0 25 0 1 0 806664774 25538560 4899 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6235 4899 300 300 0 5935 0
vsize: 24940
[startup+170.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 7876 0 0 0 16978 23 0 0 25 0 1 0 806664774 25808896 5028 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6301 5028 300 300 0 6001 0
vsize: 25204
[startup+180.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8005 0 0 0 17978 24 0 0 25 0 1 0 806664774 26214400 5155 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6400 5155 300 300 0 6100 0
vsize: 25600
[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8131 0 0 0 18978 24 0 0 25 0 1 0 806664774 26484736 5279 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5279 300 300 0 6166 0
vsize: 25864
[startup+200.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8255 0 0 0 19978 24 0 0 25 0 1 0 806664774 26890240 5401 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6565 5401 300 300 0 6265 0
vsize: 26260
[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8377 0 0 0 20978 24 0 0 25 0 1 0 806664774 27160576 5521 4294967295 134512640 135726644 3221224576 3221221728 134606965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6631 5521 300 300 0 6331 0
vsize: 26524
[startup+220.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8495 0 0 0 21976 26 0 0 25 0 1 0 806664774 27430912 5637 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6697 5637 300 300 0 6397 0
vsize: 26788
[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8612 0 0 0 22976 26 0 0 25 0 1 0 806664774 27836416 5752 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6796 5752 300 300 0 6496 0
vsize: 27184
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8726 0 0 0 23976 26 0 0 25 0 1 0 806664774 28106752 5864 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6862 5864 300 300 0 6562 0
vsize: 27448
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8838 0 0 0 24976 26 0 0 25 0 1 0 806664774 28377088 5974 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5974 300 300 0 6628 0
vsize: 27712
[startup+260.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 8947 0 0 0 25976 27 0 0 25 0 1 0 806664774 28647424 6082 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6082 300 300 0 6694 0
vsize: 27976
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9056 0 0 0 26976 27 0 0 25 0 1 0 806664774 28917760 6189 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6189 300 300 0 6760 0
vsize: 28240
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9160 0 0 0 27975 27 0 0 25 0 1 0 806664774 29188096 6291 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 6291 300 300 0 6826 0
vsize: 28504
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9266 0 0 0 28975 28 0 0 25 0 1 0 806664774 29458432 6395 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6395 300 300 0 6892 0
vsize: 28768
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9367 0 0 0 29975 28 0 0 25 0 1 0 806664774 29728768 6495 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6495 300 300 0 6958 0
vsize: 29032
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9469 0 0 0 30974 29 0 0 25 0 1 0 806664774 29999104 6595 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6595 300 300 0 7024 0
vsize: 29296
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9567 0 0 0 31974 30 0 0 25 0 1 0 806664774 30269440 6692 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 6692 300 300 0 7090 0
vsize: 29560
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9666 0 0 0 32974 30 0 0 25 0 1 0 806664774 30539776 6789 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6789 300 300 0 7156 0
vsize: 29824
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9762 0 0 0 33973 30 0 0 25 0 1 0 806664774 30810112 6883 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6883 300 300 0 7222 0
vsize: 30088
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9857 0 0 0 34972 31 0 0 25 0 1 0 806664774 31080448 6977 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6977 300 300 0 7288 0
vsize: 30352
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 9951 0 0 0 35973 31 0 0 25 0 1 0 806664774 31350784 7069 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7654 7069 300 300 0 7354 0
vsize: 30616
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10044 0 0 0 36972 31 0 0 25 0 1 0 806664774 31621120 7161 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7720 7161 300 300 0 7420 0
vsize: 30880
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10136 0 0 0 37972 31 0 0 25 0 1 0 806664774 31756288 7251 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7251 300 300 0 7453 0
vsize: 31012
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10226 0 0 0 38972 32 0 0 25 0 1 0 806664774 32026624 7340 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7340 300 300 0 7519 0
vsize: 31276
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10314 0 0 0 39972 32 0 0 25 0 1 0 806664774 32296960 7427 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7885 7427 300 300 0 7585 0
vsize: 31540
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10403 0 0 0 40971 32 0 0 25 0 1 0 806664774 32567296 7514 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7951 7514 300 300 0 7651 0
vsize: 31804
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10490 0 0 0 41971 33 0 0 25 0 1 0 806664774 32702464 7600 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7600 300 300 0 7684 0
vsize: 31936
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10577 0 0 0 42971 33 0 0 25 0 1 0 806664774 32972800 7685 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7685 300 300 0 7750 0
vsize: 32200
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10662 0 0 0 43971 34 0 0 25 0 1 0 806664774 33243136 7769 4294967295 134512640 135726644 3221224576 3221221776 134574378 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7769 300 300 0 7816 0
vsize: 32464
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10745 0 0 0 44970 34 0 0 25 0 1 0 806664774 33378304 7851 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8149 7851 300 300 0 7849 0
vsize: 32596
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10830 0 0 0 45970 34 0 0 25 0 1 0 806664774 33648640 7934 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8215 7934 300 300 0 7915 0
vsize: 32860
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 10911 0 0 0 46969 35 0 0 25 0 1 0 806664774 33918976 8014 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8281 8014 300 300 0 7981 0
vsize: 33124
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 14815 0 0 0 47962 43 0 0 25 0 1 0 806664774 49254400 9099 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9099 300 300 0 11725 0
vsize: 48100
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 14845 0 0 0 48962 43 0 0 25 0 1 0 806664774 49254400 9127 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9127 300 300 0 11725 0
vsize: 48100
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 14873 0 0 0 49962 43 0 0 25 0 1 0 806664774 49254400 9154 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9154 300 300 0 11725 0
vsize: 48100
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 14900 0 0 0 50962 43 0 0 25 0 1 0 806664774 49254400 9180 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9180 300 300 0 11725 0
vsize: 48100
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 14928 0 0 0 51962 43 0 0 25 0 1 0 806664774 49254400 9207 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9207 300 300 0 11725 0
vsize: 48100
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 14957 0 0 0 52961 43 0 0 25 0 1 0 806664774 49254400 9234 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9234 300 300 0 11725 0
vsize: 48100
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 14983 0 0 0 53962 44 0 0 25 0 1 0 806664774 49254400 9259 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9259 300 300 0 11725 0
vsize: 48100
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15010 0 0 0 54962 44 0 0 25 0 1 0 806664774 49254400 9285 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9285 300 300 0 11725 0
vsize: 48100
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15037 0 0 0 55961 44 0 0 25 0 1 0 806664774 49254400 9311 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9311 300 300 0 11725 0
vsize: 48100
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15065 0 0 0 56961 44 0 0 25 0 1 0 806664774 49254400 9337 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9337 300 300 0 11725 0
vsize: 48100
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15091 0 0 0 57961 45 0 0 25 0 1 0 806664774 49254400 9362 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9362 300 300 0 11725 0
vsize: 48100
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15118 0 0 0 58961 45 0 0 25 0 1 0 806664774 49254400 9388 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9388 300 300 0 11725 0
vsize: 48100
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15143 0 0 0 59961 45 0 0 25 0 1 0 806664774 49254400 9412 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9412 300 300 0 11725 0
vsize: 48100
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15179 0 0 0 60961 45 0 0 25 0 1 0 806664774 49254400 9447 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9447 300 300 0 11725 0
vsize: 48100
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15221 0 0 0 61961 45 0 0 25 0 1 0 806664774 49254400 9487 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9487 300 300 0 11725 0
vsize: 48100
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15246 0 0 0 62962 45 0 0 25 0 1 0 806664774 49254400 9511 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9511 300 300 0 11725 0
vsize: 48100
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15272 0 0 0 63962 45 0 0 25 0 1 0 806664774 49254400 9536 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9536 300 300 0 11725 0
vsize: 48100
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15297 0 0 0 64961 46 0 0 25 0 1 0 806664774 49254400 9560 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9560 300 300 0 11725 0
vsize: 48100
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15321 0 0 0 65961 46 0 0 25 0 1 0 806664774 49254400 9583 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9583 300 300 0 11725 0
vsize: 48100
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 15351 0 0 0 66960 46 0 0 25 0 1 0 806664774 49389568 9612 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12058 9612 300 300 0 11758 0
vsize: 48232
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 50963 0 0 0 67875 131 0 0 25 0 1 0 806664774 182894592 38941 4294967295 134512640 135726644 3221224576 3161222192 134784885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44652 38945 300 300 0 44352 0
vsize: 178608
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 83513 0 0 0 68809 197 0 0 25 0 1 0 806664774 278777856 57484 4294967295 134512640 135726644 3221224576 3165746616 135281197 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68061 57484 300 300 0 67761 0
vsize: 272244
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 104423 0 0 0 69764 242 0 0 25 0 1 0 806664774 332083200 72024 4294967295 134512640 135726644 3221224576 3159582952 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81075 72024 300 300 0 80775 0
vsize: 324300
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 134897 0 0 0 70703 304 0 0 25 0 1 0 806664774 442462208 89996 4294967295 134512640 135726644 3221224576 3160574552 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108023 89996 300 300 0 107723 0
vsize: 432092
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 174357 0 0 0 71630 377 0 0 25 0 1 0 806664774 569999360 109868 4294967295 134512640 135726644 3221224576 3159471248 134739618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139160 109868 300 300 0 138860 0
vsize: 556640
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 188188 0 0 0 72597 410 0 0 25 0 1 0 806664774 771330048 123461 4294967295 134512640 135726644 3221224576 3160822592 134784885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188313 123465 300 300 0 188013 0
vsize: 753252
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 225621 0 0 0 73513 494 0 0 25 0 1 0 806664774 718680064 136148 4294967295 134512640 135726644 3221224576 3159824152 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175459 136149 300 300 0 175159 0
vsize: 701836
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 245555 0 0 0 74470 537 0 0 25 0 1 0 806664774 746930176 155854 4294967295 134512640 135726644 3221224576 3159973752 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182356 155854 300 300 0 182056 0
vsize: 729424
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 265118 0 0 0 75427 579 0 0 25 0 1 0 806664774 774774784 175192 4294967295 134512640 135726644 3221224576 3159656192 134607330 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189154 175192 300 300 0 188854 0
vsize: 756616
[startup+770.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 274612 0 0 0 76405 604 0 0 25 0 1 0 806664774 789340160 184578 4294967295 134512640 135726644 3221224576 3172815904 135298560 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192710 184578 300 300 0 192410 0
vsize: 770840
[startup+780.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 274613 0 0 0 77406 605 0 0 25 0 1 0 806664774 785141760 183973 4294967295 134512640 135726644 3221224576 3221222884 134541622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191685 183973 300 300 0 191385 0
vsize: 766740
[startup+783.449 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12406
Raw data (stat): 12406 (pb2sat) R 12405 32284 32283 0 -1 0 274613 0 0 0 77406 605 0 0 25 0 1 0 806664774 785141760 183973 4294967295 134512640 135726644 3221224576 3221222884 134541622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191685 183973 300 300 0 191385 0
vsize: 0

Child status: 1
Real time (s): 783.449
CPU time (s): 783.426
CPU user time (s): 776.997
CPU system time (s): 6.42902
CPU usage (%): 99.9971
Max. virtual memory (Kb): 770840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####