PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb
MD5SUM	400cadbec334a2c0625c23ea02111b7f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29652813254765
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29652813254765
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45178
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 42576

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        693916 kB
Buffers:         17284 kB
Cached:         300748 kB
SwapCached:        820 kB
Active:          44272 kB
Inactive:       275944 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        693664 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14768 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:31:34 (client local time) WITH STATUS 1 IN 772.026 SECONDS
stats: 25790 7 772.026 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 21533
Raw data (stat): 21533 (runsolver) R 21532 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970337020 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.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 2184 0 0 0 993 5 0 0 25 0 1 0 970337020 7958528 1509 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1509 301 301 0 1642 0
vsize: 7772
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 2701 0 0 0 1991 7 0 0 25 0 1 0 970337020 9310208 2018 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2273 2018 301 301 0 1972 0
vsize: 9092
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 3864 0 0 0 2989 10 0 0 25 0 1 0 970337020 13414400 2469 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2469 301 301 0 2974 0
vsize: 13100
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 4104 0 0 0 3988 11 0 0 25 0 1 0 970337020 13955072 2704 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3407 2704 301 301 0 3106 0
vsize: 13628
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 4365 0 0 0 4987 12 0 0 25 0 1 0 970337020 14766080 2961 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3605 2961 301 301 0 3304 0
vsize: 14420
[startup+60.0044 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 4600 0 0 0 5987 12 0 0 25 0 1 0 970337020 15306752 3192 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3192 301 301 0 3436 0
vsize: 14948
[startup+70.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 4815 0 0 0 6986 13 0 0 25 0 1 0 970337020 15847424 3403 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3403 301 301 0 3568 0
vsize: 15476
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 5012 0 0 0 7986 13 0 0 25 0 1 0 970337020 16388096 3597 4294967295 134512640 135730672 3221224576 3221221676 134854912 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3597 301 301 0 3700 0
vsize: 16004
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 5194 0 0 0 8985 14 0 0 25 0 1 0 970337020 16928768 3776 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4133 3776 301 301 0 3832 0
vsize: 16532
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 5365 0 0 0 9984 15 0 0 25 0 1 0 970337020 17334272 3945 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3945 301 301 0 3931 0
vsize: 16928
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 7445 0 0 0 10981 18 0 0 25 0 1 0 970337020 25407488 4612 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4612 301 301 0 5902 0
vsize: 24812
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 7501 0 0 0 11981 19 0 0 25 0 1 0 970337020 25407488 4665 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4665 301 301 0 5902 0
vsize: 24812
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 7555 0 0 0 12980 20 0 0 25 0 1 0 970337020 25407488 4717 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4717 301 301 0 5902 0
vsize: 24812
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 7606 0 0 0 13980 20 0 0 25 0 1 0 970337020 25407488 4766 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4766 301 301 0 5902 0
vsize: 24812
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 7684 0 0 0 14979 21 0 0 25 0 1 0 970337020 25407488 4841 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4841 301 301 0 5902 0
vsize: 24812
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 7736 0 0 0 15979 21 0 0 25 0 1 0 970337020 25542656 4891 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6236 4891 301 301 0 5935 0
vsize: 24944
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 7869 0 0 0 16978 22 0 0 25 0 1 0 970337020 25812992 5022 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6302 5022 301 301 0 6001 0
vsize: 25208
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 7999 0 0 0 17977 23 0 0 25 0 1 0 970337020 26218496 5150 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5150 301 301 0 6100 0
vsize: 25604
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 8124 0 0 0 18977 24 0 0 25 0 1 0 970337020 26488832 5273 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6467 5273 301 301 0 6166 0
vsize: 25868
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 8248 0 0 0 19976 25 0 0 25 0 1 0 970337020 26894336 5395 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5395 301 301 0 6265 0
vsize: 26264
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 8369 0 0 0 20975 26 0 0 25 0 1 0 970337020 27164672 5514 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5514 301 301 0 6331 0
vsize: 26528
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 8488 0 0 0 21974 27 0 0 25 0 1 0 970337020 27435008 5631 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5631 301 301 0 6397 0
vsize: 26792
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 8603 0 0 0 22973 27 0 0 25 0 1 0 970337020 27840512 5744 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6797 5744 301 301 0 6496 0
vsize: 27188
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 8718 0 0 0 23973 28 0 0 25 0 1 0 970337020 28110848 5857 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6863 5857 301 301 0 6562 0
vsize: 27452
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 8829 0 0 0 24973 28 0 0 25 0 1 0 970337020 28381184 5966 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6929 5966 301 301 0 6628 0
vsize: 27716
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 8937 0 0 0 25973 28 0 0 25 0 1 0 970337020 28651520 6073 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6995 6073 301 301 0 6694 0
vsize: 27980
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9044 0 0 0 26973 29 0 0 25 0 1 0 970337020 28921856 6178 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7061 6178 301 301 0 6760 0
vsize: 28244
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9149 0 0 0 27972 29 0 0 25 0 1 0 970337020 29192192 6281 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7127 6281 301 301 0 6826 0
vsize: 28508
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9253 0 0 0 28972 29 0 0 25 0 1 0 970337020 29462528 6384 4294967295 134512640 135730672 3221224576 3221221664 134561667 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9354 0 0 0 29972 30 0 0 25 0 1 0 970337020 29732864 6483 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7259 6483 301 301 0 6958 0
vsize: 29036
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9455 0 0 0 30971 30 0 0 25 0 1 0 970337020 30003200 6582 4294967295 134512640 135730672 3221224576 3221221664 134561656 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9554 0 0 0 31971 31 0 0 25 0 1 0 970337020 30273536 6680 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6680 301 301 0 7090 0
vsize: 29564
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9653 0 0 0 32971 31 0 0 25 0 1 0 970337020 30543872 6777 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6777 301 301 0 7156 0
vsize: 29828
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9749 0 0 0 33971 31 0 0 25 0 1 0 970337020 30814208 6872 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6872 301 301 0 7222 0
vsize: 30092
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9845 0 0 0 34970 32 0 0 25 0 1 0 970337020 31084544 6966 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6966 301 301 0 7288 0
vsize: 30356
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 9938 0 0 0 35970 32 0 0 25 0 1 0 970337020 31354880 7058 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7058 301 301 0 7354 0
vsize: 30620
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10031 0 0 0 36971 32 0 0 25 0 1 0 970337020 31490048 7149 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7149 301 301 0 7387 0
vsize: 30752
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10123 0 0 0 37971 32 0 0 25 0 1 0 970337020 31760384 7240 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7240 301 301 0 7453 0
vsize: 31016
[startup+390.026 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10214 0 0 0 38971 32 0 0 25 0 1 0 970337020 32030720 7329 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7329 301 301 0 7519 0
vsize: 31280
[startup+400.027 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10304 0 0 0 39971 33 0 0 25 0 1 0 970337020 32301056 7418 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7418 301 301 0 7585 0
vsize: 31544
[startup+410.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10392 0 0 0 40970 33 0 0 25 0 1 0 970337020 32436224 7504 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7919 7504 301 301 0 7618 0
vsize: 31676
[startup+420.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10477 0 0 0 41969 34 0 0 25 0 1 0 970337020 32706560 7588 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7588 301 301 0 7684 0
vsize: 31940
[startup+430.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10565 0 0 0 42968 34 0 0 25 0 1 0 970337020 32976896 7674 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7674 301 301 0 7750 0
vsize: 32204
[startup+440.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10649 0 0 0 43968 35 0 0 25 0 1 0 970337020 33247232 7757 4294967295 134512640 135730672 3221224576 3221221520 134539724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8117 7757 301 301 0 7816 0
vsize: 32468
[startup+450.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10734 0 0 0 44969 35 0 0 25 0 1 0 970337020 33382400 7841 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7841 301 301 0 7849 0
vsize: 32600
[startup+460.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10818 0 0 0 45968 35 0 0 25 0 1 0 970337020 33652736 7923 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7923 301 301 0 7915 0
vsize: 32864
[startup+470.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 10899 0 0 0 46967 36 0 0 25 0 1 0 970337020 33787904 8003 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8249 8003 301 301 0 7948 0
vsize: 32996
[startup+480.031 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 14809 0 0 0 47956 46 0 0 25 0 1 0 970337020 49258496 9094 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9094 301 301 0 11725 0
vsize: 48104
[startup+490.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 14837 0 0 0 48956 46 0 0 25 0 1 0 970337020 49258496 9121 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9121 301 301 0 11725 0
vsize: 48104
[startup+500.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 14867 0 0 0 49956 46 0 0 25 0 1 0 970337020 49258496 9149 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9149 301 301 0 11725 0
vsize: 48104
[startup+510.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 14895 0 0 0 50956 46 0 0 25 0 1 0 970337020 49258496 9176 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9176 301 301 0 11725 0
vsize: 48104
[startup+520.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 14922 0 0 0 51956 47 0 0 25 0 1 0 970337020 49258496 9202 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9202 301 301 0 11725 0
vsize: 48104
[startup+530.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 14951 0 0 0 52955 47 0 0 25 0 1 0 970337020 49258496 9229 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9229 301 301 0 11725 0
vsize: 48104
[startup+540.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 14978 0 0 0 53956 47 0 0 25 0 1 0 970337020 49258496 9255 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9255 301 301 0 11725 0
vsize: 48104
[startup+550.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15005 0 0 0 54956 47 0 0 25 0 1 0 970337020 49258496 9281 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9281 301 301 0 11725 0
vsize: 48104
[startup+560.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15032 0 0 0 55956 47 0 0 25 0 1 0 970337020 49258496 9307 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9307 301 301 0 11725 0
vsize: 48104
[startup+570.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15058 0 0 0 56956 47 0 0 25 0 1 0 970337020 49258496 9332 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9332 301 301 0 11725 0
vsize: 48104
[startup+580.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15085 0 0 0 57956 48 0 0 25 0 1 0 970337020 49258496 9357 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9357 301 301 0 11725 0
vsize: 48104
[startup+590.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15111 0 0 0 58955 48 0 0 25 0 1 0 970337020 49258496 9382 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9382 301 301 0 11725 0
vsize: 48104
[startup+600.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15137 0 0 0 59955 48 0 0 25 0 1 0 970337020 49258496 9407 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9407 301 301 0 11725 0
vsize: 48104
[startup+610.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15170 0 0 0 60955 48 0 0 25 0 1 0 970337020 49258496 9439 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9439 301 301 0 11725 0
vsize: 48104
[startup+620.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15214 0 0 0 61956 48 0 0 25 0 1 0 970337020 49258496 9482 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9482 301 301 0 11725 0
vsize: 48104
[startup+630.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15241 0 0 0 62956 48 0 0 25 0 1 0 970337020 49258496 9507 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9507 301 301 0 11725 0
vsize: 48104
[startup+640.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15265 0 0 0 63956 48 0 0 25 0 1 0 970337020 49258496 9530 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9530 301 301 0 11725 0
vsize: 48104
[startup+650.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15290 0 0 0 64955 49 0 0 25 0 1 0 970337020 49258496 9554 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9554 301 301 0 11725 0
vsize: 48104
[startup+660.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15314 0 0 0 65954 49 0 0 25 0 1 0 970337020 49258496 9577 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9577 301 301 0 11725 0
vsize: 48104
[startup+670.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 15342 0 0 0 66954 49 0 0 25 0 1 0 970337020 49393664 9604 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9604 301 301 0 11758 0
vsize: 48236
[startup+680.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 36090 0 0 0 67910 94 0 0 25 0 1 0 970337020 117477376 22606 4294967295 134512640 135730672 3221224576 3220176456 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28681 22607 301 301 0 28380 0
vsize: 114724
[startup+690.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 60170 0 0 0 68857 147 0 0 25 0 1 0 970337020 189177856 37241 4294967295 134512640 135730672 3221224576 3220384360 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46186 37242 301 301 0 45885 0
vsize: 184744
[startup+700.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 98101 0 0 0 69784 220 0 0 25 0 1 0 970337020 351449088 65773 4294967295 134512640 135730672 3221224576 3220356528 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85803 65778 301 301 0 85502 0
vsize: 343212
[startup+710.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 112100 0 0 0 70752 253 0 0 25 0 1 0 970337020 338857984 67252 4294967295 134512640 135730672 3221224576 3220435312 134770715 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82729 67252 301 301 0 82428 0
vsize: 330916
[startup+720.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 150333 0 0 0 71682 322 0 0 25 0 1 0 970337020 461389824 86919 4294967295 134512640 135730672 3221224576 3220178688 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112644 86919 301 301 0 112343 0
vsize: 450576
[startup+730.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 186407 0 0 0 72604 400 0 0 25 0 1 0 970337020 562053120 98210 4294967295 134512640 135730672 3221224576 3219913832 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137220 98211 301 301 0 136919 0
vsize: 548880
[startup+740.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 198659 0 0 0 73576 428 0 0 25 0 1 0 970337020 595607552 110243 4294967295 134512640 135730672 3221224576 3220066432 134770870 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145412 110243 301 301 0 145111 0
vsize: 581648
[startup+750.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 213474 0 0 0 74543 462 0 0 25 0 1 0 970337020 600068096 124811 4294967295 134512640 135730672 3221224576 3220371200 134786302 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146501 124811 301 301 0 146200 0
vsize: 586004
[startup+760.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 229386 0 0 0 75506 499 0 0 25 0 1 0 970337020 666079232 140508 4294967295 134512640 135730672 3221224576 3220413376 134784081 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162617 140508 301 301 0 162316 0
vsize: 650468
[startup+770.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 237866 0 0 0 76471 534 0 0 25 0 1 0 970337020 315871232 76668 4294967295 134512640 135730672 3221224576 3221222960 134782625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77117 76668 301 301 0 76816 0
vsize: 308468
[startup+772.019 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 21533
Raw data (stat): 21533 (pb2sat-v2) R 21532 20224 20223 0 -1 0 237866 0 0 0 76471 534 0 0 25 0 1 0 970337020 315871232 76668 4294967295 134512640 135730672 3221224576 3221222960 134782625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77117 76668 301 301 0 76816 0
vsize: 0

Child status: 1
Real time (s): 772.019
CPU time (s): 772.026
CPU user time (s): 766.518
CPU system time (s): 5.50816
CPU usage (%): 100.001
Max. virtual memory (Kb): 650468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####