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 42566

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 10:55:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25782 boxname=wulflinc2 idbench=1082 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6f8b2121f6d249fe6e02652d1aab6d14  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3704.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3704.opb
IDLAUNCH: 25782
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        856388 kB
Buffers:         13244 kB
Cached:         142064 kB
SwapCached:       1432 kB
Active:          38048 kB
Inactive:       119384 kB
HighTotal:      131008 kB
HighFree:        10248 kB
LowTotal:       903652 kB
LowFree:        846140 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            15044 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:08:50 (client local time) WITH STATUS 1 IN 777.16 SECONDS
stats: 25782 7 777.16 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 1/54 9268
Raw data (stat): 9268 (runsolver) R 9267 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970213214 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.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 2141 0 0 0 993 5 0 0 25 0 1 0 970213214 7958528 1467 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1467 301 301 0 1642 0
vsize: 7772
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 2664 0 0 0 1992 7 0 0 25 0 1 0 970213214 9310208 1981 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2273 1981 301 301 0 1972 0
vsize: 9092
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 3842 0 0 0 2990 10 0 0 25 0 1 0 970213214 13414400 2447 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2447 301 301 0 2974 0
vsize: 13100
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 4059 0 0 0 3989 11 0 0 25 0 1 0 970213214 13955072 2660 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3407 2660 301 301 0 3106 0
vsize: 13628
[startup+50.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 4320 0 0 0 4988 11 0 0 25 0 1 0 970213214 14630912 2916 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2916 301 301 0 3271 0
vsize: 14288
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 4556 0 0 0 5987 12 0 0 25 0 1 0 970213214 15171584 3149 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3704 3149 301 301 0 3403 0
vsize: 14816
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 4772 0 0 0 6987 13 0 0 25 0 1 0 970213214 15847424 3361 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3361 301 301 0 3568 0
vsize: 15476
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 4972 0 0 0 7987 13 0 0 25 0 1 0 970213214 16252928 3558 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3968 3558 301 301 0 3667 0
vsize: 15872
[startup+90.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 5162 0 0 0 8986 15 0 0 25 0 1 0 970213214 16793600 3745 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4100 3745 301 301 0 3799 0
vsize: 16400
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 5343 0 0 0 9985 15 0 0 25 0 1 0 970213214 17334272 3923 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3923 301 301 0 3931 0
vsize: 16928
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 5515 0 0 0 10984 16 0 0 25 0 1 0 970213214 17739776 4092 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4331 4092 301 301 0 4030 0
vsize: 17324
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 7495 0 0 0 11980 21 0 0 25 0 1 0 970213214 25407488 4660 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4660 301 301 0 5902 0
vsize: 24812
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 7550 0 0 0 12980 21 0 0 25 0 1 0 970213214 25407488 4712 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4712 301 301 0 5902 0
vsize: 24812
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 7601 0 0 0 13979 22 0 0 25 0 1 0 970213214 25407488 4761 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4761 301 301 0 5902 0
vsize: 24812
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 7681 0 0 0 14978 23 0 0 25 0 1 0 970213214 25407488 4838 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4838 301 301 0 5902 0
vsize: 24812
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 7730 0 0 0 15978 23 0 0 25 0 1 0 970213214 25407488 4885 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4885 301 301 0 5902 0
vsize: 24812
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 7861 0 0 0 16978 24 0 0 25 0 1 0 970213214 25812992 5014 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6302 5014 301 301 0 6001 0
vsize: 25208
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 7992 0 0 0 17977 24 0 0 25 0 1 0 970213214 26218496 5143 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5143 301 301 0 6100 0
vsize: 25604
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 8119 0 0 0 18977 25 0 0 25 0 1 0 970213214 26488832 5268 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6467 5268 301 301 0 6166 0
vsize: 25868
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 8244 0 0 0 19976 25 0 0 25 0 1 0 970213214 26894336 5391 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5391 301 301 0 6265 0
vsize: 26264
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 8365 0 0 0 20976 26 0 0 25 0 1 0 970213214 27164672 5510 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5510 301 301 0 6331 0
vsize: 26528
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 8485 0 0 0 21975 27 0 0 25 0 1 0 970213214 27435008 5628 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5628 301 301 0 6397 0
vsize: 26792
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 8601 0 0 0 22975 27 0 0 25 0 1 0 970213214 27705344 5742 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6764 5742 301 301 0 6463 0
vsize: 27056
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 8715 0 0 0 23975 28 0 0 25 0 1 0 970213214 28110848 5854 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6863 5854 301 301 0 6562 0
vsize: 27452
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9268
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 8828 0 0 0 24975 28 0 0 25 0 1 0 970213214 28381184 5965 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6929 5965 301 301 0 6628 0
vsize: 27716
[startup+260.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9321
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 8937 0 0 0 25974 29 0 0 25 0 1 0 970213214 28651520 6073 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6073 301 301 0 6694 0
vsize: 27980
[startup+270.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9321
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9044 0 0 0 26974 29 0 0 25 0 1 0 970213214 28921856 6178 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6178 301 301 0 6760 0
vsize: 28244
[startup+280.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9321
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9148 0 0 0 27974 29 0 0 25 0 1 0 970213214 29192192 6280 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7127 6280 301 301 0 6826 0
vsize: 28508
[startup+290.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9321
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9253 0 0 0 28973 29 0 0 25 0 1 0 970213214 29462528 6384 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7193 6384 301 301 0 6892 0
vsize: 28772
[startup+300.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9321
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9354 0 0 0 29972 29 0 0 25 0 1 0 970213214 29732864 6483 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6483 301 301 0 6958 0
vsize: 29036
[startup+310.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9321
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9455 0 0 0 30972 30 0 0 25 0 1 0 970213214 30003200 6582 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6582 301 301 0 7024 0
vsize: 29300
[startup+320.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9321
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9553 0 0 0 31972 30 0 0 25 0 1 0 970213214 30273536 6679 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6679 301 301 0 7090 0
vsize: 29564
[startup+330.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9650 0 0 0 32972 30 0 0 25 0 1 0 970213214 30543872 6774 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6774 301 301 0 7156 0
vsize: 29828
[startup+340.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9746 0 0 0 33972 30 0 0 25 0 1 0 970213214 30814208 6869 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7523 6869 301 301 0 7222 0
vsize: 30092
[startup+350.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9841 0 0 0 34971 31 0 0 25 0 1 0 970213214 31084544 6962 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6962 301 301 0 7288 0
vsize: 30356
[startup+360.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 9933 0 0 0 35971 31 0 0 25 0 1 0 970213214 31354880 7053 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7053 301 301 0 7354 0
vsize: 30620
[startup+370.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10025 0 0 0 36971 31 0 0 25 0 1 0 970213214 31490048 7143 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7143 301 301 0 7387 0
vsize: 30752
[startup+380.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10115 0 0 0 37971 32 0 0 25 0 1 0 970213214 31760384 7232 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7232 301 301 0 7453 0
vsize: 31016
[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10206 0 0 0 38971 32 0 0 25 0 1 0 970213214 32030720 7321 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7321 301 301 0 7519 0
vsize: 31280
[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10293 0 0 0 39971 32 0 0 25 0 1 0 970213214 32301056 7407 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7407 301 301 0 7585 0
vsize: 31544
[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10382 0 0 0 40970 33 0 0 25 0 1 0 970213214 32436224 7494 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7494 301 301 0 7618 0
vsize: 31676
[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10468 0 0 0 41970 33 0 0 25 0 1 0 970213214 32706560 7579 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7579 301 301 0 7684 0
vsize: 31940
[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10552 0 0 0 42970 34 0 0 25 0 1 0 970213214 32976896 7662 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7662 301 301 0 7750 0
vsize: 32204
[startup+440.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10637 0 0 0 43970 34 0 0 25 0 1 0 970213214 33112064 7745 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7745 301 301 0 7783 0
vsize: 32336
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10721 0 0 0 44970 34 0 0 25 0 1 0 970213214 33382400 7828 4294967295 134512640 135730672 3221224576 3221221604 134524073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7828 301 301 0 7849 0
vsize: 32600
[startup+460.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10803 0 0 0 45970 34 0 0 25 0 1 0 970213214 33652736 7909 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8216 7909 301 301 0 7915 0
vsize: 32864
[startup+470.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 10886 0 0 0 46970 35 0 0 25 0 1 0 970213214 33787904 7990 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7990 301 301 0 7948 0
vsize: 32996
[startup+480.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 14292 0 0 0 47963 41 0 0 25 0 1 0 970213214 47161344 9090 4294967295 134512640 135730672 3221224576 3221221108 135281170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11514 9090 301 301 0 11213 0
vsize: 46056
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 14833 0 0 0 48963 42 0 0 25 0 1 0 970213214 49258496 9117 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9117 301 301 0 11725 0
vsize: 48104
[startup+500.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 14862 0 0 0 49962 42 0 0 25 0 1 0 970213214 49258496 9144 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9144 301 301 0 11725 0
vsize: 48104
[startup+510.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 14889 0 0 0 50962 43 0 0 25 0 1 0 970213214 49258496 9170 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9170 301 301 0 11725 0
vsize: 48104
[startup+520.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 14917 0 0 0 51962 43 0 0 25 0 1 0 970213214 49258496 9197 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9197 301 301 0 11725 0
vsize: 48104
[startup+530.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 14944 0 0 0 52962 43 0 0 25 0 1 0 970213214 49258496 9223 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9223 301 301 0 11725 0
vsize: 48104
[startup+540.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 14972 0 0 0 53962 43 0 0 25 0 1 0 970213214 49258496 9249 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9249 301 301 0 11725 0
vsize: 48104
[startup+550.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 14999 0 0 0 54962 43 0 0 25 0 1 0 970213214 49258496 9275 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9275 301 301 0 11725 0
vsize: 48104
[startup+560.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15026 0 0 0 55962 43 0 0 25 0 1 0 970213214 49258496 9301 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9301 301 301 0 11725 0
vsize: 48104
[startup+570.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15051 0 0 0 56962 43 0 0 25 0 1 0 970213214 49258496 9325 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9325 301 301 0 11725 0
vsize: 48104
[startup+580.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15077 0 0 0 57962 43 0 0 25 0 1 0 970213214 49258496 9350 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9350 301 301 0 11725 0
vsize: 48104
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15104 0 0 0 58962 43 0 0 25 0 1 0 970213214 49258496 9375 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9375 301 301 0 11725 0
vsize: 48104
[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15130 0 0 0 59962 43 0 0 25 0 1 0 970213214 49258496 9400 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9400 301 301 0 11725 0
vsize: 48104
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9323
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15155 0 0 0 60962 44 0 0 25 0 1 0 970213214 49258496 9424 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9424 301 301 0 11725 0
vsize: 48104
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15207 0 0 0 61962 44 0 0 25 0 1 0 970213214 49258496 9475 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9475 301 301 0 11725 0
vsize: 48104
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15231 0 0 0 62962 44 0 0 25 0 1 0 970213214 49258496 9498 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9498 301 301 0 11725 0
vsize: 48104
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15257 0 0 0 63962 44 0 0 25 0 1 0 970213214 49258496 9523 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9523 301 301 0 11725 0
vsize: 48104
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15281 0 0 0 64962 44 0 0 25 0 1 0 970213214 49258496 9546 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9546 301 301 0 11725 0
vsize: 48104
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15307 0 0 0 65962 44 0 0 25 0 1 0 970213214 49258496 9570 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9570 301 301 0 11725 0
vsize: 48104
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 15331 0 0 0 66962 44 0 0 25 0 1 0 970213214 49258496 9593 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9593 301 301 0 11725 0
vsize: 48104
[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 21827 0 0 0 67948 58 0 0 25 0 1 0 970213214 71188480 14555 4294967295 134512640 135730672 3221224576 3219962088 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17380 14555 301 301 0 17079 0
vsize: 69520
[startup+690.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 47437 0 0 0 68891 115 0 0 25 0 1 0 970213214 139395072 30736 4294967295 134512640 135730672 3221224576 3220037736 135285063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34032 30736 301 301 0 33731 0
vsize: 136128
[startup+700.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 81026 0 0 0 69822 184 0 0 25 0 1 0 970213214 250646528 48783 4294967295 134512640 135730672 3221224576 3220131692 135301640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61193 48785 301 301 0 60892 0
vsize: 244772
[startup+710.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 105217 0 0 0 70767 240 0 0 25 0 1 0 970213214 334532608 60472 4294967295 134512640 135730672 3221224576 3220054352 135282712 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81673 60472 301 301 0 81372 0
vsize: 326692
[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 121826 0 0 0 71729 278 0 0 25 0 1 0 970213214 487956480 76785 4294967295 134512640 135730672 3221224576 3220043760 134775280 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119130 76785 301 301 0 118829 0
vsize: 476520
[startup+730.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 157985 0 0 0 72658 349 0 0 25 0 1 0 970213214 460443648 94431 4294967295 134512640 135730672 3221224576 3219954236 134606866 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112413 94431 301 301 0 112112 0
vsize: 449652
[startup+740.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 192192 0 0 0 73582 424 0 0 25 0 1 0 970213214 594661376 103887 4294967295 134512640 135730672 3221224576 3219864500 135292989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145181 103888 301 301 0 144880 0
vsize: 580724
[startup+750.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 205869 0 0 0 74551 455 0 0 25 0 1 0 970213214 594661376 117320 4294967295 134512640 135730672 3221224576 3220078912 134786901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145181 117321 301 301 0 144880 0
vsize: 580724
[startup+760.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 221665 0 0 0 75512 495 0 0 25 0 1 0 970213214 606150656 132883 4294967295 134512640 135730672 3221224576 3220210168 135284893 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147986 132883 301 301 0 147685 0
vsize: 591944
[startup+770.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 236506 0 0 0 76477 530 0 0 25 0 1 0 970213214 672026624 147526 4294967295 134512640 135730672 3221224576 3220485976 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164069 147526 301 301 0 163768 0
vsize: 656276
[startup+777.117 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 9325
Raw data (stat): 9268 (pb2sat-v2) R 9267 31399 31398 0 -1 0 236506 0 0 0 76477 530 0 0 25 0 1 0 970213214 672026624 147526 4294967295 134512640 135730672 3221224576 3220485976 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164069 147526 301 301 0 163768 0
vsize: 0

Child status: 1
Real time (s): 777.116
CPU time (s): 777.16
CPU user time (s): 771.512
CPU system time (s): 5.64814
CPU usage (%): 100.006
Max. virtual memory (Kb): 656276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####