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-n3704.opb
MD5SUM	6f8b2121f6d249fe6e02652d1aab6d14
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	29675972066390
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	29675972066390
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.43378
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 35326

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-28 12:43:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24610 boxname=wulflinc31 idbench=1082 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6f8b2121f6d249fe6e02652d1aab6d14  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3704.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3704.opb
IDLAUNCH: 24610
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        821072 kB
Buffers:         35504 kB
Cached:         154932 kB
SwapCached:       1052 kB
Active:          92452 kB
Inactive:       100224 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        820820 kB
SwapTotal:     2097892 kB
SwapFree:      2095928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            15320 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:56:42 (client local time) WITH STATUS 1 IN 783.631 SECONDS
stats: 24610 7 783.631 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.85 0.93 0.90 2/55 20109
Raw data (stat): 20109 (runsolver) R 20108 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864875051 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.0004 s]
Raw data (loadavg): 0.88 0.93 0.90 2/55 20109
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 2197 0 0 0 993 6 0 0 25 0 1 0 864875051 8089600 1521 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1975 1521 300 300 0 1675 0
vsize: 7900
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 20109
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 2747 0 0 0 1991 8 0 0 25 0 1 0 864875051 9441280 2062 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2305 2062 300 300 0 2005 0
vsize: 9220
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 20109
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 3883 0 0 0 2989 11 0 0 25 0 1 0 864875051 13410304 2486 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2486 300 300 0 2974 0
vsize: 13096
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 20109
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 4145 0 0 0 3988 12 0 0 25 0 1 0 864875051 14086144 2743 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3439 2743 300 300 0 3139 0
vsize: 13756
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 20109
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 4405 0 0 0 4987 12 0 0 25 0 1 0 864875051 14761984 2999 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3604 2999 300 300 0 3304 0
vsize: 14416
[startup+60.003 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 20111
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 4637 0 0 0 5986 13 0 0 25 0 1 0 864875051 15437824 3227 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3769 3227 300 300 0 3469 0
vsize: 15076
[startup+70.0034 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 20111
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 4853 0 0 0 6985 14 0 0 25 0 1 0 864875051 15978496 3440 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3901 3440 300 300 0 3601 0
vsize: 15604
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 20111
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 5053 0 0 0 7984 16 0 0 25 0 1 0 864875051 16519168 3637 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4033 3637 300 300 0 3733 0
vsize: 16132
[startup+90.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 20111
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 5241 0 0 0 8983 17 0 0 25 0 1 0 864875051 17059840 3822 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4165 3822 300 300 0 3865 0
vsize: 16660
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 20111
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 5419 0 0 0 9983 18 0 0 25 0 1 0 864875051 17465344 3997 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4264 3997 300 300 0 3964 0
vsize: 17056
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 20111
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7466 0 0 0 10978 22 0 0 25 0 1 0 864875051 25403392 4631 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4631 300 300 0 5902 0
vsize: 24808
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 20113
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7521 0 0 0 11977 23 0 0 25 0 1 0 864875051 25403392 4684 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4684 300 300 0 5902 0
vsize: 24808
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 20113
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7576 0 0 0 12977 24 0 0 25 0 1 0 864875051 25403392 4736 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4736 300 300 0 5902 0
vsize: 24808
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 20113
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7635 0 0 0 13977 24 0 0 25 0 1 0 864875051 25403392 4793 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4793 300 300 0 5902 0
vsize: 24808
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 20113
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7706 0 0 0 14977 24 0 0 25 0 1 0 864875051 25403392 4861 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4861 300 300 0 5902 0
vsize: 24808
[startup+160.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20113
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7791 0 0 0 15976 25 0 0 25 0 1 0 864875051 25673728 4944 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4944 300 300 0 5968 0
vsize: 25072
[startup+170.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20113
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 7923 0 0 0 16976 25 0 0 25 0 1 0 864875051 25944064 5074 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6334 5074 300 300 0 6034 0
vsize: 25336
[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20115
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8052 0 0 0 17975 26 0 0 25 0 1 0 864875051 26349568 5201 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6433 5201 300 300 0 6133 0
vsize: 25732
[startup+190.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 20115
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8179 0 0 0 18974 27 0 0 25 0 1 0 864875051 26619904 5326 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6499 5326 300 300 0 6199 0
vsize: 25996
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20115
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8302 0 0 0 19974 28 0 0 25 0 1 0 864875051 27025408 5447 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6598 5447 300 300 0 6298 0
vsize: 26392
[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 20115
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8422 0 0 0 20973 29 0 0 25 0 1 0 864875051 27295744 5565 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6664 5565 300 300 0 6364 0
vsize: 26656
[startup+220.015 s]
Raw data (loadavg): 1.07 0.97 0.91 2/55 20115
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8540 0 0 0 21972 30 0 0 25 0 1 0 864875051 27566080 5681 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6730 5681 300 300 0 6430 0
vsize: 26920
[startup+230.016 s]
Raw data (loadavg): 1.06 0.97 0.91 2/55 20115
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8656 0 0 0 22972 30 0 0 25 0 1 0 864875051 27971584 5795 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6829 5795 300 300 0 6529 0
vsize: 27316
[startup+240.017 s]
Raw data (loadavg): 1.05 0.97 0.91 2/55 20117
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8770 0 0 0 23971 31 0 0 25 0 1 0 864875051 28241920 5907 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6895 5907 300 300 0 6595 0
vsize: 27580
[startup+250.018 s]
Raw data (loadavg): 1.04 0.97 0.91 2/55 20117
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8881 0 0 0 24970 32 0 0 25 0 1 0 864875051 28512256 6017 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6961 6017 300 300 0 6661 0
vsize: 27844
[startup+260.018 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 20117
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 8990 0 0 0 25970 33 0 0 25 0 1 0 864875051 28782592 6124 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7027 6124 300 300 0 6727 0
vsize: 28108
[startup+270.018 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 20117
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9097 0 0 0 26969 34 0 0 25 0 1 0 864875051 29052928 6229 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7093 6229 300 300 0 6793 0
vsize: 28372
[startup+280.019 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 20117
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9203 0 0 0 27968 34 0 0 25 0 1 0 864875051 29323264 6333 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 6333 300 300 0 6859 0
vsize: 28636
[startup+290.02 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 20117
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9305 0 0 0 28968 35 0 0 25 0 1 0 864875051 29593600 6434 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7225 6434 300 300 0 6925 0
vsize: 28900
[startup+300.02 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 20119
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9408 0 0 0 29966 37 0 0 25 0 1 0 864875051 29863936 6535 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7291 6535 300 300 0 6991 0
vsize: 29164
[startup+310.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 20119
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9508 0 0 0 30966 38 0 0 25 0 1 0 864875051 30134272 6634 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7357 6634 300 300 0 7057 0
vsize: 29428
[startup+320.021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 20119
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9608 0 0 0 31965 39 0 0 25 0 1 0 864875051 30404608 6732 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7423 6732 300 300 0 7123 0
vsize: 29692
[startup+330.022 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 20119
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9706 0 0 0 32964 39 0 0 25 0 1 0 864875051 30674944 6828 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7489 6828 300 300 0 7189 0
vsize: 29956
[startup+340.022 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 20119
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9801 0 0 0 33964 40 0 0 25 0 1 0 864875051 30945280 6922 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 6922 300 300 0 7255 0
vsize: 30220
[startup+350.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20119
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9896 0 0 0 34963 41 0 0 25 0 1 0 864875051 31215616 7015 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7621 7015 300 300 0 7321 0
vsize: 30484
[startup+360.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20121
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 9989 0 0 0 35963 41 0 0 25 0 1 0 864875051 31485952 7107 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7107 300 300 0 7387 0
vsize: 30748
[startup+370.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20121
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10082 0 0 0 36962 42 0 0 25 0 1 0 864875051 31621120 7198 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7720 7198 300 300 0 7420 0
vsize: 30880
[startup+380.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20121
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10172 0 0 0 37962 43 0 0 25 0 1 0 864875051 31891456 7287 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7786 7287 300 300 0 7486 0
vsize: 31144
[startup+390.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20121
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10263 0 0 0 38962 43 0 0 25 0 1 0 864875051 32161792 7376 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7852 7376 300 300 0 7552 0
vsize: 31408
[startup+400.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20121
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10352 0 0 0 39961 44 0 0 25 0 1 0 864875051 32432128 7464 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7464 300 300 0 7618 0
vsize: 31672
[startup+410.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20121
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10439 0 0 0 40961 44 0 0 25 0 1 0 864875051 32567296 7550 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7951 7550 300 300 0 7651 0
vsize: 31804
[startup+420.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20123
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10526 0 0 0 41960 45 0 0 25 0 1 0 864875051 32837632 7635 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8017 7635 300 300 0 7717 0
vsize: 32068
[startup+430.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20123
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10612 0 0 0 42959 46 0 0 25 0 1 0 864875051 33107968 7720 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7720 300 300 0 7783 0
vsize: 32332
[startup+440.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20123
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10697 0 0 0 43959 47 0 0 25 0 1 0 864875051 33243136 7803 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8116 7803 300 300 0 7816 0
vsize: 32464
[startup+450.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20123
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10782 0 0 0 44958 48 0 0 25 0 1 0 864875051 33513472 7887 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8182 7887 300 300 0 7882 0
vsize: 32728
[startup+460.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20123
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10863 0 0 0 45957 48 0 0 25 0 1 0 864875051 33783808 7967 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7967 300 300 0 7948 0
vsize: 32992
[startup+470.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20123
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 10946 0 0 0 46957 49 0 0 25 0 1 0 864875051 33918976 8048 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8281 8048 300 300 0 7981 0
vsize: 33124
[startup+480.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20125
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14828 0 0 0 47948 57 0 0 25 0 1 0 864875051 49254400 9111 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9111 300 300 0 11725 0
vsize: 48100
[startup+490.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20125
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14856 0 0 0 48948 58 0 0 25 0 1 0 864875051 49254400 9138 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9138 300 300 0 11725 0
vsize: 48100
[startup+500.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20125
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14883 0 0 0 49948 58 0 0 25 0 1 0 864875051 49254400 9164 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9164 300 300 0 11725 0
vsize: 48100
[startup+510.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20125
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14912 0 0 0 50948 58 0 0 25 0 1 0 864875051 49254400 9191 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9191 300 300 0 11725 0
vsize: 48100
[startup+520.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20125
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14939 0 0 0 51948 58 0 0 25 0 1 0 864875051 49254400 9217 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9217 300 300 0 11725 0
vsize: 48100
[startup+530.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20125
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14966 0 0 0 52948 59 0 0 25 0 1 0 864875051 49254400 9243 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9243 300 300 0 11725 0
vsize: 48100
[startup+540.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20127
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 14993 0 0 0 53947 59 0 0 25 0 1 0 864875051 49254400 9269 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9269 300 300 0 11725 0
vsize: 48100
[startup+550.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20127
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15021 0 0 0 54947 59 0 0 25 0 1 0 864875051 49254400 9295 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9295 300 300 0 11725 0
vsize: 48100
[startup+560.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20127
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15047 0 0 0 55947 59 0 0 25 0 1 0 864875051 49254400 9320 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9320 300 300 0 11725 0
vsize: 48100
[startup+570.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20127
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15074 0 0 0 56948 59 0 0 25 0 1 0 864875051 49254400 9346 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9346 300 300 0 11725 0
vsize: 48100
[startup+580.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20127
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15100 0 0 0 57948 59 0 0 25 0 1 0 864875051 49254400 9371 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9371 300 300 0 11725 0
vsize: 48100
[startup+590.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20127
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15125 0 0 0 58947 60 0 0 25 0 1 0 864875051 49254400 9395 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9395 300 300 0 11725 0
vsize: 48100
[startup+600.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20129
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15152 0 0 0 59946 60 0 0 25 0 1 0 864875051 49254400 9420 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9420 300 300 0 11725 0
vsize: 48100
[startup+610.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20129
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15196 0 0 0 60946 60 0 0 25 0 1 0 864875051 49254400 9463 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9463 300 300 0 11725 0
vsize: 48100
[startup+620.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20129
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15228 0 0 0 61946 60 0 0 25 0 1 0 864875051 49254400 9494 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9494 300 300 0 11725 0
vsize: 48100
[startup+630.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20129
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15253 0 0 0 62947 60 0 0 25 0 1 0 864875051 49254400 9518 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9518 300 300 0 11725 0
vsize: 48100
[startup+640.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20129
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15278 0 0 0 63946 61 0 0 25 0 1 0 864875051 49254400 9542 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9542 300 300 0 11725 0
vsize: 48100
[startup+650.038 s]
Raw data (loadavg): 1.00 0.97 0.91 3/55 20129
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15303 0 0 0 64946 61 0 0 25 0 1 0 864875051 49254400 9566 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9566 300 300 0 11725 0
vsize: 48100
[startup+660.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20131
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 15327 0 0 0 65946 61 0 0 25 0 1 0 864875051 49254400 9589 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9589 300 300 0 11725 0
vsize: 48100
[startup+670.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20131
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 16576 0 0 0 66943 64 0 0 25 0 1 0 864875051 54390784 10837 4294967295 134512640 135726644 3221224576 3221220144 134606509 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.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20131
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 56675 0 0 0 67850 158 0 0 25 0 1 0 864875051 189173760 43050 4294967295 134512640 135726644 3221224576 3159523640 135297949 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46185 43050 300 300 0 45885 0
vsize: 184740
[startup+690.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20131
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 92825 0 0 0 68778 230 0 0 25 0 1 0 864875051 308142080 60598 4294967295 134512640 135726644 3221224576 3159323004 134634276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75230 60598 300 300 0 74930 0
vsize: 300920
[startup+700.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20131
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 108789 0 0 0 69740 268 0 0 25 0 1 0 864875051 338300928 76341 4294967295 134512640 135726644 3221224576 3162651656 135281619 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82593 76341 300 300 0 82293 0
vsize: 330372
[startup+710.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20131
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 137765 0 0 0 70673 336 0 0 25 0 1 0 864875051 446111744 92836 4294967295 134512640 135726644 3221224576 3160372552 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108914 92837 300 300 0 108614 0
vsize: 435656
[startup+720.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20133
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 176099 0 0 0 71597 412 0 0 25 0 1 0 864875051 569458688 111577 4294967295 134512640 135726644 3221224576 3159605008 135280446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139028 111578 300 300 0 138728 0
vsize: 556112
[startup+730.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20133
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 207194 0 0 0 72533 476 0 0 25 0 1 0 864875051 770789376 142465 4294967295 134512640 135726644 3221224576 3160134992 134784885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188181 142469 300 300 0 187881 0
vsize: 752724
[startup+740.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20133
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 227319 0 0 0 73485 525 0 0 25 0 1 0 864875051 720977920 137831 4294967295 134512640 135726644 3221224576 3166228152 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176020 137831 300 300 0 175720 0
vsize: 704080
[startup+750.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20133
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 246869 0 0 0 74440 570 0 0 25 0 1 0 864875051 749092864 157153 4294967295 134512640 135726644 3221224576 3159727352 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182884 157153 300 300 0 182584 0
vsize: 731536
[startup+760.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20133
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 266145 0 0 0 75400 611 0 0 25 0 1 0 864875051 776396800 176208 4294967295 134512640 135726644 3221224576 3159826928 134554711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189550 176209 300 300 0 189250 0
vsize: 758200
[startup+770.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20133
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 274791 0 0 0 76381 630 0 0 25 0 1 0 864875051 789340160 184757 4294967295 134512640 135726644 3221224576 3172131500 135102828 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192710 184757 300 300 0 192410 0
vsize: 770840
[startup+780.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20135
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 274792 0 0 0 77380 631 0 0 25 0 1 0 864875051 785141760 184152 4294967295 134512640 135726644 3221224576 3221222560 135280446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191685 184152 300 300 0 191385 0
vsize: 766740
[startup+783.574 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 20135
Raw data (stat): 20109 (pb2sat) R 20108 29618 29617 0 -1 0 274792 0 0 0 77380 631 0 0 25 0 1 0 864875051 785141760 184152 4294967295 134512640 135726644 3221224576 3221222560 135280446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191685 184152 300 300 0 191385 0
vsize: 0

Child status: 1
Real time (s): 783.573
CPU time (s): 783.631
CPU user time (s): 776.938
CPU system time (s): 6.69298
CPU usage (%): 100.007
Max. virtual memory (Kb): 770840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####