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-n3703.opb
MD5SUM	a137a4431766bfb5dcfb15040aa6f686
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	154999
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	29657420026984
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	29657420026984
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.43978
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 42565

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 10:55:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25781 boxname=wulflinc1 idbench=1081 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a137a4431766bfb5dcfb15040aa6f686  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n3703.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n3703.opb
IDLAUNCH: 25781
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        596544 kB
Buffers:         31980 kB
Cached:         381092 kB
SwapCached:       1184 kB
Active:          42544 kB
Inactive:       372824 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        596236 kB
SwapTotal:     2097136 kB
SwapFree:      2094888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16904 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:08:40 (client local time) WITH STATUS 1 IN 773.741 SECONDS
stats: 25781 7 773.741 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.92 0.95 0.90 2/55 17661
Raw data (stat): 17661 (runsolver) R 17660 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913351423 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.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 2188 0 0 0 995 4 0 0 25 0 1 0 913351423 7958528 1513 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1513 301 301 0 1642 0
vsize: 7772
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 2710 0 0 0 1994 6 0 0 25 0 1 0 913351423 9445376 2026 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2306 2026 301 301 0 2005 0
vsize: 9224
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 3868 0 0 0 2992 7 0 0 25 0 1 0 913351423 13414400 2473 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2473 301 301 0 2974 0
vsize: 13100
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 4116 0 0 0 3991 8 0 0 25 0 1 0 913351423 14090240 2716 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3440 2716 301 301 0 3139 0
vsize: 13760
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 4379 0 0 0 4991 9 0 0 25 0 1 0 913351423 14766080 2974 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3605 2974 301 301 0 3304 0
vsize: 14420
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 4612 0 0 0 5990 9 0 0 25 0 1 0 913351423 15306752 3204 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3204 301 301 0 3436 0
vsize: 14948
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 4828 0 0 0 6990 10 0 0 25 0 1 0 913351423 15982592 3416 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3902 3416 301 301 0 3601 0
vsize: 15608
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 5028 0 0 0 7990 11 0 0 25 0 1 0 913351423 16523264 3613 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4034 3613 301 301 0 3733 0
vsize: 16136
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 5213 0 0 0 8989 12 0 0 25 0 1 0 913351423 16928768 3795 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4133 3795 301 301 0 3832 0
vsize: 16532
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 5388 0 0 0 9988 12 0 0 25 0 1 0 913351423 17469440 3967 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4265 3967 301 301 0 3964 0
vsize: 17060
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 7452 0 0 0 10985 16 0 0 25 0 1 0 913351423 25407488 4619 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4619 301 301 0 5902 0
vsize: 24812
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 7508 0 0 0 11985 16 0 0 25 0 1 0 913351423 25407488 4672 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4672 301 301 0 5902 0
vsize: 24812
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 7561 0 0 0 12985 17 0 0 25 0 1 0 913351423 25407488 4723 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4723 301 301 0 5902 0
vsize: 24812
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 7614 0 0 0 13984 17 0 0 25 0 1 0 913351423 25407488 4773 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4773 301 301 0 5902 0
vsize: 24812
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 7691 0 0 0 14984 17 0 0 25 0 1 0 913351423 25407488 4848 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4848 301 301 0 5902 0
vsize: 24812
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 7756 0 0 0 15984 17 0 0 25 0 1 0 913351423 25542656 4911 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6236 4911 301 301 0 5935 0
vsize: 24944
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 7889 0 0 0 16984 18 0 0 25 0 1 0 913351423 25948160 5042 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6335 5042 301 301 0 6034 0
vsize: 25340
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8019 0 0 0 17983 19 0 0 25 0 1 0 913351423 26218496 5170 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5170 301 301 0 6100 0
vsize: 25604
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8147 0 0 0 18983 19 0 0 25 0 1 0 913351423 26624000 5295 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6500 5295 301 301 0 6199 0
vsize: 26000
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8271 0 0 0 19983 20 0 0 25 0 1 0 913351423 26894336 5417 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5417 301 301 0 6265 0
vsize: 26264
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8391 0 0 0 20982 20 0 0 25 0 1 0 913351423 27164672 5536 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5536 301 301 0 6331 0
vsize: 26528
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8510 0 0 0 21982 21 0 0 25 0 1 0 913351423 27570176 5653 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6731 5653 301 301 0 6430 0
vsize: 26924
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8627 0 0 0 22982 21 0 0 25 0 1 0 913351423 27840512 5768 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6797 5768 301 301 0 6496 0
vsize: 27188
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8740 0 0 0 23981 21 0 0 25 0 1 0 913351423 28110848 5879 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6863 5879 301 301 0 6562 0
vsize: 27452
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17661
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8852 0 0 0 24981 22 0 0 25 0 1 0 913351423 28381184 5989 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6929 5989 301 301 0 6628 0
vsize: 27716
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17714
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 8962 0 0 0 25976 25 0 0 25 0 1 0 913351423 28786688 6097 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6097 301 301 0 6727 0
vsize: 28112
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17714
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9067 0 0 0 26976 25 0 0 25 0 1 0 913351423 29057024 6201 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6201 301 301 0 6793 0
vsize: 28376
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17714
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9172 0 0 0 27976 26 0 0 25 0 1 0 913351423 29327360 6304 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6304 301 301 0 6859 0
vsize: 28640
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17714
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9276 0 0 0 28976 26 0 0 25 0 1 0 913351423 29597696 6406 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6406 301 301 0 6925 0
vsize: 28904
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17714
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9376 0 0 0 29976 26 0 0 25 0 1 0 913351423 29868032 6505 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6505 301 301 0 6991 0
vsize: 29168
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17714
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9477 0 0 0 30975 26 0 0 25 0 1 0 913351423 30138368 6604 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6604 301 301 0 7057 0
vsize: 29432
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9576 0 0 0 31974 27 0 0 25 0 1 0 913351423 30408704 6701 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7424 6701 301 301 0 7123 0
vsize: 29696
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9672 0 0 0 32974 28 0 0 25 0 1 0 913351423 30543872 6796 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6796 301 301 0 7156 0
vsize: 29828
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9768 0 0 0 33974 28 0 0 25 0 1 0 913351423 30814208 6890 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7523 6890 301 301 0 7222 0
vsize: 30092
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9862 0 0 0 34973 29 0 0 25 0 1 0 913351423 31084544 6983 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6983 301 301 0 7288 0
vsize: 30356
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 9955 0 0 0 35973 29 0 0 25 0 1 0 913351423 31354880 7074 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7074 301 301 0 7354 0
vsize: 30620
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10046 0 0 0 36973 29 0 0 25 0 1 0 913351423 31625216 7164 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7164 301 301 0 7420 0
vsize: 30884
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10138 0 0 0 37973 30 0 0 25 0 1 0 913351423 31895552 7254 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7254 301 301 0 7486 0
vsize: 31148
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10227 0 0 0 38972 30 0 0 25 0 1 0 913351423 32030720 7342 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7342 301 301 0 7519 0
vsize: 31280
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10316 0 0 0 39972 30 0 0 25 0 1 0 913351423 32301056 7429 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7429 301 301 0 7585 0
vsize: 31544
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10403 0 0 0 40970 32 0 0 25 0 1 0 913351423 32571392 7515 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7952 7515 301 301 0 7651 0
vsize: 31808
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10490 0 0 0 41969 32 0 0 25 0 1 0 913351423 32706560 7601 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7985 7601 301 301 0 7684 0
vsize: 31940
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10577 0 0 0 42968 33 0 0 25 0 1 0 913351423 32976896 7686 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7686 301 301 0 7750 0
vsize: 32204
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10661 0 0 0 43968 33 0 0 25 0 1 0 913351423 33247232 7769 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8117 7769 301 301 0 7816 0
vsize: 32468
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10743 0 0 0 44968 33 0 0 25 0 1 0 913351423 33382400 7850 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7850 301 301 0 7849 0
vsize: 32600
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10827 0 0 0 45968 34 0 0 25 0 1 0 913351423 33652736 7932 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7932 301 301 0 7915 0
vsize: 32864
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 10909 0 0 0 46967 34 0 0 25 0 1 0 913351423 33923072 8013 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8013 301 301 0 7981 0
vsize: 33128
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 14812 0 0 0 47958 42 0 0 25 0 1 0 913351423 49258496 9097 4294967295 134512640 135730672 3221224576 3221221520 134539721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9097 301 301 0 11725 0
vsize: 48104
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 14841 0 0 0 48958 42 0 0 25 0 1 0 913351423 49258496 9124 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9124 301 301 0 11725 0
vsize: 48104
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 14869 0 0 0 49959 42 0 0 25 0 1 0 913351423 49258496 9151 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9151 301 301 0 11725 0
vsize: 48104
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 14897 0 0 0 50959 42 0 0 25 0 1 0 913351423 49258496 9178 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9178 301 301 0 11725 0
vsize: 48104
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 14924 0 0 0 51958 43 0 0 25 0 1 0 913351423 49258496 9204 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9204 301 301 0 11725 0
vsize: 48104
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 14952 0 0 0 52958 43 0 0 25 0 1 0 913351423 49258496 9230 4294967295 134512640 135730672 3221224576 3221221592 134542325 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9230 301 301 0 11725 0
vsize: 48104
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 14979 0 0 0 53958 43 0 0 25 0 1 0 913351423 49258496 9256 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9256 301 301 0 11725 0
vsize: 48104
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15006 0 0 0 54958 43 0 0 25 0 1 0 913351423 49258496 9282 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9282 301 301 0 11725 0
vsize: 48104
[startup+560.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15033 0 0 0 55958 43 0 0 25 0 1 0 913351423 49258496 9308 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9308 301 301 0 11725 0
vsize: 48104
[startup+570.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15060 0 0 0 56958 43 0 0 25 0 1 0 913351423 49258496 9333 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9333 301 301 0 11725 0
vsize: 48104
[startup+580.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 17718
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15086 0 0 0 57958 44 0 0 25 0 1 0 913351423 49258496 9358 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9358 301 301 0 11725 0
vsize: 48104
[startup+590.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15112 0 0 0 58957 44 0 0 25 0 1 0 913351423 49258496 9383 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9383 301 301 0 11725 0
vsize: 48104
[startup+600.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15138 0 0 0 59957 44 0 0 25 0 1 0 913351423 49258496 9408 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9408 301 301 0 11725 0
vsize: 48104
[startup+610.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15172 0 0 0 60957 45 0 0 25 0 1 0 913351423 49258496 9441 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9441 301 301 0 11725 0
vsize: 48104
[startup+620.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15214 0 0 0 61957 45 0 0 25 0 1 0 913351423 49258496 9482 4294967295 134512640 135730672 3221224576 3221221664 134561667 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.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15241 0 0 0 62957 45 0 0 25 0 1 0 913351423 49258496 9507 4294967295 134512640 135730672 3221224576 3221221664 134561667 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.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15265 0 0 0 63957 45 0 0 25 0 1 0 913351423 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.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15290 0 0 0 64958 45 0 0 25 0 1 0 913351423 49258496 9554 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9554 301 301 0 11725 0
vsize: 48104
[startup+660.015 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15314 0 0 0 65958 45 0 0 25 0 1 0 913351423 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.016 s]
Raw data (loadavg): 1.15 1.02 0.93 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 15341 0 0 0 66958 45 0 0 25 0 1 0 913351423 49393664 9603 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9603 301 301 0 11758 0
vsize: 48236
[startup+680.016 s]
Raw data (loadavg): 1.13 1.02 0.93 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 35965 0 0 0 67916 87 0 0 25 0 1 0 913351423 135307264 26836 4294967295 134512640 135730672 3221224576 3220172704 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33034 26836 301 301 0 32733 0
vsize: 132136
[startup+690.016 s]
Raw data (loadavg): 1.19 1.03 0.93 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 58873 0 0 0 68863 141 0 0 25 0 1 0 913351423 186880000 35957 4294967295 134512640 135730672 3221224576 3220388576 134788035 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45625 35959 301 301 0 45324 0
vsize: 182500
[startup+700.016 s]
Raw data (loadavg): 1.23 1.05 0.94 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 85621 0 0 0 69805 198 0 0 25 0 1 0 913351423 249970688 53293 4294967295 134512640 135730672 3221224576 3220378984 135284119 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61028 53293 301 301 0 60727 0
vsize: 244112
[startup+710.016 s]
Raw data (loadavg): 1.20 1.05 0.94 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 110225 0 0 0 70752 252 0 0 25 0 1 0 913351423 336289792 65399 4294967295 134512640 135730672 3221224576 3220365616 134770122 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82102 65400 301 301 0 81801 0
vsize: 328408
[startup+720.016 s]
Raw data (loadavg): 1.16 1.04 0.94 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 150392 0 0 0 71671 332 0 0 25 0 1 0 913351423 463147008 86985 4294967295 134512640 135730672 3221224576 3220231668 135281218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113073 86985 301 301 0 112772 0
vsize: 452292
[startup+730.017 s]
Raw data (loadavg): 1.14 1.04 0.94 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 185796 0 0 0 72588 416 0 0 25 0 1 0 913351423 563810304 97619 4294967295 134512640 135730672 3221224576 3220267160 135291151 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137649 97619 301 301 0 137348 0
vsize: 550596
[startup+740.016 s]
Raw data (loadavg): 1.12 1.04 0.94 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 197668 0 0 0 73560 443 0 0 25 0 1 0 913351423 597364736 109277 4294967295 134512640 135730672 3221224576 3220403816 135284239 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145841 109277 301 301 0 145540 0
vsize: 583364
[startup+750.017 s]
Raw data (loadavg): 1.10 1.04 0.94 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 212185 0 0 0 74527 477 0 0 25 0 1 0 913351423 600879104 123551 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146699 123551 301 301 0 146398 0
vsize: 586796
[startup+760.017 s]
Raw data (loadavg): 1.08 1.04 0.94 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 227396 0 0 0 75491 513 0 0 25 0 1 0 913351423 612233216 138538 4294967295 134512640 135730672 3221224576 3220075248 134546483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149471 138538 301 301 0 149170 0
vsize: 597884
[startup+770.018 s]
Raw data (loadavg): 1.07 1.04 0.94 2/55 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 238651 0 0 0 76460 544 0 0 25 0 1 0 913351423 671309824 149037 4294967295 134512640 135730672 3221224576 3221223040 134736337 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163894 149037 301 301 0 163593 0
vsize: 655576
[startup+773.716 s]
Raw data (loadavg): 1.06 1.03 0.94 1/54 17720
Raw data (stat): 17661 (pb2sat-v2) R 17660 8378 8377 0 -1 0 238651 0 0 0 76460 544 0 0 25 0 1 0 913351423 671309824 149037 4294967295 134512640 135730672 3221224576 3221223040 134736337 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163894 149037 301 301 0 163593 0
vsize: 0

Child status: 1
Real time (s): 773.716
CPU time (s): 773.741
CPU user time (s): 767.994
CPU system time (s): 5.74713
CPU usage (%): 100.003
Max. virtual memory (Kb): 655576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####