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-n370a.opb
MD5SUM	c6fa043dbbb5b108d149e4ec9ce5fa2c
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	29637219205243
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	29637219205243
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.44978
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 42572

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 11:09:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25788 boxname=wulflinc2 idbench=1088 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c6fa043dbbb5b108d149e4ec9ce5fa2c  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n370a.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n370a.opb
IDLAUNCH: 25788
/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:        843720 kB
Buffers:         14368 kB
Cached:         153656 kB
SwapCached:       1432 kB
Active:          38068 kB
Inactive:       132036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        843468 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            15044 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:21:53 (client local time) WITH STATUS 1 IN 769.95 SECONDS
stats: 25788 7 769.95 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 9418
Raw data (stat): 9418 (runsolver) R 9417 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970292208 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 2160 0 0 0 995 4 0 0 25 0 1 0 970292208 7958528 1485 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1943 1485 301 301 0 1642 0
vsize: 7772
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 2699 0 0 0 1994 6 0 0 25 0 1 0 970292208 9310208 2016 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2273 2016 301 301 0 1972 0
vsize: 9092
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 3870 0 0 0 2991 9 0 0 25 0 1 0 970292208 13414400 2475 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2475 301 301 0 2974 0
vsize: 13100
[startup+40.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 4125 0 0 0 3990 9 0 0 25 0 1 0 970292208 14090240 2725 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3440 2725 301 301 0 3139 0
vsize: 13760
[startup+50.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 4391 0 0 0 4989 10 0 0 25 0 1 0 970292208 14766080 2986 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3605 2986 301 301 0 3304 0
vsize: 14420
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 4622 0 0 0 5989 10 0 0 25 0 1 0 970292208 15441920 3214 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3770 3214 301 301 0 3469 0
vsize: 15080
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 4834 0 0 0 6989 11 0 0 25 0 1 0 970292208 15982592 3422 4294967295 134512640 135730672 3221224576 3221221208 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3902 3422 301 301 0 3601 0
vsize: 15608
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 5027 0 0 0 7988 12 0 0 25 0 1 0 970292208 16388096 3612 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3612 301 301 0 3700 0
vsize: 16004
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 5206 0 0 0 8987 13 0 0 25 0 1 0 970292208 16928768 3788 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4133 3788 301 301 0 3832 0
vsize: 16532
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 5377 0 0 0 9986 13 0 0 25 0 1 0 970292208 17334272 3956 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3956 301 301 0 3931 0
vsize: 16928
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 7447 0 0 0 10983 17 0 0 25 0 1 0 970292208 25407488 4614 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4614 301 301 0 5902 0
vsize: 24812
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 7505 0 0 0 11983 17 0 0 25 0 1 0 970292208 25407488 4669 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4669 301 301 0 5902 0
vsize: 24812
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 7560 0 0 0 12983 17 0 0 25 0 1 0 970292208 25407488 4722 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4722 301 301 0 5902 0
vsize: 24812
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 7612 0 0 0 13983 18 0 0 25 0 1 0 970292208 25407488 4771 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4771 301 301 0 5902 0
vsize: 24812
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 7689 0 0 0 14982 18 0 0 25 0 1 0 970292208 25407488 4846 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4846 301 301 0 5902 0
vsize: 24812
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 7752 0 0 0 15982 18 0 0 25 0 1 0 970292208 25542656 4907 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4907 301 301 0 5935 0
vsize: 24944
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 7886 0 0 0 16980 19 0 0 25 0 1 0 970292208 25948160 5039 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5039 301 301 0 6034 0
vsize: 25340
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8015 0 0 0 17979 20 0 0 25 0 1 0 970292208 26218496 5166 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5166 301 301 0 6100 0
vsize: 25604
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8143 0 0 0 18979 20 0 0 25 0 1 0 970292208 26624000 5292 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6500 5292 301 301 0 6199 0
vsize: 26000
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8270 0 0 0 19979 20 0 0 25 0 1 0 970292208 26894336 5416 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5416 301 301 0 6265 0
vsize: 26264
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8389 0 0 0 20979 21 0 0 25 0 1 0 970292208 27164672 5534 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5534 301 301 0 6331 0
vsize: 26528
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8507 0 0 0 21978 21 0 0 25 0 1 0 970292208 27570176 5650 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5650 301 301 0 6430 0
vsize: 26924
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8624 0 0 0 22977 21 0 0 25 0 1 0 970292208 27840512 5765 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6797 5765 301 301 0 6496 0
vsize: 27188
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8739 0 0 0 23977 22 0 0 25 0 1 0 970292208 28110848 5878 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6863 5878 301 301 0 6562 0
vsize: 27452
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8851 0 0 0 24976 23 0 0 25 0 1 0 970292208 28381184 5988 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6929 5988 301 301 0 6628 0
vsize: 27716
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 8962 0 0 0 25976 23 0 0 25 0 1 0 970292208 28786688 6097 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7028 6097 301 301 0 6727 0
vsize: 28112
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9069 0 0 0 26976 23 0 0 25 0 1 0 970292208 29057024 6203 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7094 6203 301 301 0 6793 0
vsize: 28376
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9175 0 0 0 27975 24 0 0 25 0 1 0 970292208 29327360 6307 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6307 301 301 0 6859 0
vsize: 28640
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9279 0 0 0 28974 24 0 0 25 0 1 0 970292208 29597696 6409 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7226 6409 301 301 0 6925 0
vsize: 28904
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9381 0 0 0 29975 24 0 0 25 0 1 0 970292208 29868032 6510 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7292 6510 301 301 0 6991 0
vsize: 29168
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9482 0 0 0 30975 24 0 0 25 0 1 0 970292208 30138368 6609 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7358 6609 301 301 0 7057 0
vsize: 29432
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9580 0 0 0 31974 25 0 0 25 0 1 0 970292208 30408704 6705 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6705 301 301 0 7123 0
vsize: 29696
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9677 0 0 0 32973 26 0 0 25 0 1 0 970292208 30679040 6801 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7490 6801 301 301 0 7189 0
vsize: 29960
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9773 0 0 0 33972 27 0 0 25 0 1 0 970292208 30814208 6895 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6895 301 301 0 7222 0
vsize: 30092
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9867 0 0 0 34970 27 0 0 25 0 1 0 970292208 31084544 6988 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7589 6988 301 301 0 7288 0
vsize: 30356
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 9962 0 0 0 35971 27 0 0 25 0 1 0 970292208 31354880 7081 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7655 7081 301 301 0 7354 0
vsize: 30620
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10053 0 0 0 36971 27 0 0 25 0 1 0 970292208 31625216 7171 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7721 7171 301 301 0 7420 0
vsize: 30884
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10145 0 0 0 37970 28 0 0 25 0 1 0 970292208 31895552 7261 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7787 7261 301 301 0 7486 0
vsize: 31148
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10236 0 0 0 38970 28 0 0 25 0 1 0 970292208 32030720 7351 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7820 7351 301 301 0 7519 0
vsize: 31280
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10324 0 0 0 39971 28 0 0 25 0 1 0 970292208 32301056 7437 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7437 301 301 0 7585 0
vsize: 31544
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10411 0 0 0 40970 28 0 0 25 0 1 0 970292208 32571392 7523 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7952 7523 301 301 0 7651 0
vsize: 31808
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10497 0 0 0 41969 28 0 0 25 0 1 0 970292208 32841728 7608 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8018 7608 301 301 0 7717 0
vsize: 32072
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10585 0 0 0 42969 29 0 0 25 0 1 0 970292208 32976896 7694 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8051 7694 301 301 0 7750 0
vsize: 32204
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10670 0 0 0 43970 29 0 0 25 0 1 0 970292208 33247232 7778 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8117 7778 301 301 0 7816 0
vsize: 32468
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10754 0 0 0 44970 29 0 0 25 0 1 0 970292208 33517568 7860 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8183 7860 301 301 0 7882 0
vsize: 32732
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10837 0 0 0 45970 29 0 0 25 0 1 0 970292208 33652736 7942 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8216 7942 301 301 0 7915 0
vsize: 32864
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 10918 0 0 0 46969 30 0 0 25 0 1 0 970292208 33923072 8022 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8022 301 301 0 7981 0
vsize: 33128
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 14815 0 0 0 47960 38 0 0 25 0 1 0 970292208 49258496 9100 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9100 301 301 0 11725 0
vsize: 48104
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 14845 0 0 0 48960 38 0 0 25 0 1 0 970292208 49258496 9128 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9128 301 301 0 11725 0
vsize: 48104
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 14873 0 0 0 49960 38 0 0 25 0 1 0 970292208 49258496 9155 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9155 301 301 0 11725 0
vsize: 48104
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 14901 0 0 0 50960 39 0 0 25 0 1 0 970292208 49258496 9182 4294967295 134512640 135730672 3221224576 3221221024 134770172 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9182 301 301 0 11725 0
vsize: 48104
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 14930 0 0 0 51960 39 0 0 25 0 1 0 970292208 49258496 9209 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9209 301 301 0 11725 0
vsize: 48104
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 14957 0 0 0 52960 39 0 0 25 0 1 0 970292208 49258496 9235 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9235 301 301 0 11725 0
vsize: 48104
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 14984 0 0 0 53960 39 0 0 25 0 1 0 970292208 49258496 9261 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9261 301 301 0 11725 0
vsize: 48104
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15011 0 0 0 54960 39 0 0 25 0 1 0 970292208 49258496 9287 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9287 301 301 0 11725 0
vsize: 48104
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15038 0 0 0 55960 39 0 0 25 0 1 0 970292208 49258496 9312 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9312 301 301 0 11725 0
vsize: 48104
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15065 0 0 0 56960 39 0 0 25 0 1 0 970292208 49258496 9338 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9338 301 301 0 11725 0
vsize: 48104
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15091 0 0 0 57960 39 0 0 25 0 1 0 970292208 49258496 9363 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9363 301 301 0 11725 0
vsize: 48104
[startup+590.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15117 0 0 0 58959 39 0 0 25 0 1 0 970292208 49258496 9388 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9388 301 301 0 11725 0
vsize: 48104
[startup+600.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15143 0 0 0 59960 39 0 0 25 0 1 0 970292208 49258496 9413 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9413 301 301 0 11725 0
vsize: 48104
[startup+610.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15183 0 0 0 60960 40 0 0 25 0 1 0 970292208 49258496 9451 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9451 301 301 0 11725 0
vsize: 48104
[startup+620.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15221 0 0 0 61960 40 0 0 25 0 1 0 970292208 49258496 9488 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9488 301 301 0 11725 0
vsize: 48104
[startup+630.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15246 0 0 0 62960 40 0 0 25 0 1 0 970292208 49258496 9512 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9512 301 301 0 11725 0
vsize: 48104
[startup+640.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15272 0 0 0 63960 40 0 0 25 0 1 0 970292208 49258496 9537 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9537 301 301 0 11725 0
vsize: 48104
[startup+650.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15296 0 0 0 64960 40 0 0 25 0 1 0 970292208 49258496 9560 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9560 301 301 0 11725 0
vsize: 48104
[startup+660.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15321 0 0 0 65960 40 0 0 25 0 1 0 970292208 49258496 9584 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9584 301 301 0 11725 0
vsize: 48104
[startup+670.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 15359 0 0 0 66960 40 0 0 25 0 1 0 970292208 49393664 9621 4294967295 134512640 135730672 3221224576 3221221100 134608011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12059 9621 301 301 0 11758 0
vsize: 48236
[startup+680.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 42255 0 0 0 67905 96 0 0 25 0 1 0 970292208 138448896 25643 4294967295 134512640 135730672 3221224576 3220377744 134770593 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33801 25644 301 301 0 33500 0
vsize: 135204
[startup+690.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 71717 0 0 0 68844 157 0 0 25 0 1 0 970292208 272379904 48359 4294967295 134512640 135730672 3221224576 3219958848 134775341 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66499 48362 301 301 0 66198 0
vsize: 265996
[startup+700.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 99452 0 0 0 69782 219 0 0 25 0 1 0 970292208 294895616 54784 4294967295 134512640 135730672 3221224576 3219900736 134786923 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71996 54785 301 301 0 71695 0
vsize: 287984
[startup+710.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 115471 0 0 0 70743 258 0 0 25 0 1 0 970292208 342237184 70576 4294967295 134512640 135730672 3221224576 3220001552 134549423 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83554 70576 301 301 0 83253 0
vsize: 334216
[startup+720.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 153855 0 0 0 71668 333 0 0 25 0 1 0 970292208 463552512 90388 4294967295 134512640 135730672 3221224576 3219919328 134546572 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113172 90388 301 301 0 112871 0
vsize: 452688
[startup+730.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 190050 0 0 0 72587 414 0 0 25 0 1 0 970292208 564215808 101797 4294967295 134512640 135730672 3221224576 3219953736 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137748 101797 301 301 0 137447 0
vsize: 550992
[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 202153 0 0 0 73559 442 0 0 25 0 1 0 970292208 597770240 113684 4294967295 134512640 135730672 3221224576 3220140160 134787109 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145940 113684 301 301 0 145639 0
vsize: 583760
[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 217750 0 0 0 74527 475 0 0 25 0 1 0 970292208 605339648 129034 4294967295 134512640 135730672 3221224576 3220416256 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147788 129034 301 301 0 147487 0
vsize: 591152
[startup+760.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 231741 0 0 0 75496 505 0 0 25 0 1 0 970292208 668241920 142830 4294967295 134512640 135730672 3221224576 3220443664 134770712 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163145 142831 301 301 0 162844 0
vsize: 652580
[startup+769.951 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 9418
Raw data (stat): 9418 (pb2sat-v2) R 9417 31399 31398 0 -1 0 231741 0 0 0 75496 505 0 0 25 0 1 0 970292208 668241920 142830 4294967295 134512640 135730672 3221224576 3220443664 134770712 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163145 142831 301 301 0 162844 0
vsize: 0

Child status: 1
Real time (s): 769.95
CPU time (s): 769.95
CPU user time (s): 764.46
CPU system time (s): 5.49017
CPU usage (%): 100
Max. virtual memory (Kb): 652580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####