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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
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	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 42386

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 06:06:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25582 boxname=wulflinc1 idbench=882 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bdd9a8da4deb9b8348cff99945476562  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship12l.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship12l.opb
IDLAUNCH: 25582
/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:        690224 kB
Buffers:         33316 kB
Cached:         286248 kB
SwapCached:       1192 kB
Active:          52772 kB
Inactive:       269068 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689972 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16808 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:20:39 (client local time) WITH STATUS 1 IN 850.073 SECONDS
stats: 25582 7 850.073 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.96 0.91 2/55 14740
Raw data (stat): 14740 (runsolver) R 14739 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911615429 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.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 2186 0 0 0 984 5 0 0 25 0 1 0 911615429 7958528 1510 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1943 1510 301 301 0 1642 0
vsize: 7772
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 2712 0 0 0 1982 6 0 0 25 0 1 0 911615429 9445376 2027 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2306 2027 301 301 0 2005 0
vsize: 9224
[startup+30.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 3868 0 0 0 2980 8 0 0 25 0 1 0 911615429 13414400 2472 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2472 301 301 0 2974 0
vsize: 13100
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 4102 0 0 0 3979 10 0 0 25 0 1 0 911615429 13955072 2701 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3407 2701 301 301 0 3106 0
vsize: 13628
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 4353 0 0 0 4977 12 0 0 25 0 1 0 911615429 14630912 2948 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3572 2948 301 301 0 3271 0
vsize: 14288
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 4578 0 0 0 5977 12 0 0 25 0 1 0 911615429 15306752 3169 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3169 301 301 0 3436 0
vsize: 14948
[startup+70.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 4784 0 0 0 6977 13 0 0 25 0 1 0 911615429 15847424 3372 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3372 301 301 0 3568 0
vsize: 15476
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 4978 0 0 0 7976 14 0 0 25 0 1 0 911615429 16388096 3563 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3563 301 301 0 3700 0
vsize: 16004
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 5162 0 0 0 8975 14 0 0 25 0 1 0 911615429 16793600 3744 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3744 301 301 0 3799 0
vsize: 16400
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 5335 0 0 0 9975 15 0 0 25 0 1 0 911615429 17334272 3914 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3914 301 301 0 3931 0
vsize: 16928
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 5502 0 0 0 10975 15 0 0 25 0 1 0 911615429 17739776 4078 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4331 4078 301 301 0 4030 0
vsize: 17324
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 7490 0 0 0 11970 20 0 0 25 0 1 0 911615429 25407488 4654 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4654 301 301 0 5902 0
vsize: 24812
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 7545 0 0 0 12970 20 0 0 25 0 1 0 911615429 25407488 4706 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4706 301 301 0 5902 0
vsize: 24812
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 7596 0 0 0 13970 21 0 0 25 0 1 0 911615429 25407488 4755 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4755 301 301 0 5902 0
vsize: 24812
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 7672 0 0 0 14970 21 0 0 25 0 1 0 911615429 25407488 4829 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4829 301 301 0 5902 0
vsize: 24812
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 7721 0 0 0 15969 22 0 0 25 0 1 0 911615429 25407488 4876 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4876 301 301 0 5902 0
vsize: 24812
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 7834 0 0 0 16969 22 0 0 25 0 1 0 911615429 25677824 4987 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6269 4987 301 301 0 5968 0
vsize: 25076
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 7965 0 0 0 17968 23 0 0 25 0 1 0 911615429 26083328 5115 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6368 5115 301 301 0 6067 0
vsize: 25472
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 8092 0 0 0 18968 23 0 0 25 0 1 0 911615429 26488832 5240 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5240 301 301 0 6166 0
vsize: 25868
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 8214 0 0 0 19968 24 0 0 25 0 1 0 911615429 26759168 5360 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6533 5360 301 301 0 6232 0
vsize: 26132
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 8336 0 0 0 20968 24 0 0 25 0 1 0 911615429 27029504 5480 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6599 5480 301 301 0 6298 0
vsize: 26396
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 8452 0 0 0 21967 25 0 0 25 0 1 0 911615429 27435008 5595 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6698 5595 301 301 0 6397 0
vsize: 26792
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 8569 0 0 0 22967 25 0 0 25 0 1 0 911615429 27705344 5710 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6764 5710 301 301 0 6463 0
vsize: 27056
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 8682 0 0 0 23967 26 0 0 25 0 1 0 911615429 27975680 5821 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6830 5821 301 301 0 6529 0
vsize: 27320
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 8793 0 0 0 24966 26 0 0 25 0 1 0 911615429 28246016 5930 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6896 5930 301 301 0 6595 0
vsize: 27584
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 8902 0 0 0 25966 27 0 0 25 0 1 0 911615429 28516352 6037 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6962 6037 301 301 0 6661 0
vsize: 27848
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9008 0 0 0 26966 27 0 0 25 0 1 0 911615429 28786688 6142 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6142 301 301 0 6727 0
vsize: 28112
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9114 0 0 0 27965 28 0 0 25 0 1 0 911615429 29192192 6246 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6246 301 301 0 6826 0
vsize: 28508
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9219 0 0 0 28965 28 0 0 25 0 1 0 911615429 29462528 6349 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6349 301 301 0 6892 0
vsize: 28772
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9320 0 0 0 29965 29 0 0 25 0 1 0 911615429 29732864 6449 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6449 301 301 0 6958 0
vsize: 29036
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9420 0 0 0 30964 29 0 0 25 0 1 0 911615429 29868032 6547 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6547 301 301 0 6991 0
vsize: 29168
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9519 0 0 0 31965 29 0 0 25 0 1 0 911615429 30138368 6644 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6644 301 301 0 7057 0
vsize: 29432
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9617 0 0 0 32965 30 0 0 25 0 1 0 911615429 30408704 6741 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6741 301 301 0 7123 0
vsize: 29696
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9713 0 0 0 33964 30 0 0 25 0 1 0 911615429 30679040 6835 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7490 6835 301 301 0 7189 0
vsize: 29960
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9807 0 0 0 34964 31 0 0 25 0 1 0 911615429 30949376 6928 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6928 301 301 0 7255 0
vsize: 30224
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9901 0 0 0 35964 31 0 0 25 0 1 0 911615429 31219712 7020 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7622 7020 301 301 0 7321 0
vsize: 30488
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 9992 0 0 0 36964 31 0 0 25 0 1 0 911615429 31490048 7110 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7110 301 301 0 7387 0
vsize: 30752
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10084 0 0 0 37964 31 0 0 25 0 1 0 911615429 31625216 7200 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7200 301 301 0 7420 0
vsize: 30884
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10173 0 0 0 38963 32 0 0 25 0 1 0 911615429 31895552 7288 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7288 301 301 0 7486 0
vsize: 31148
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10262 0 0 0 39963 32 0 0 25 0 1 0 911615429 32165888 7375 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7375 301 301 0 7552 0
vsize: 31412
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10350 0 0 0 40963 33 0 0 25 0 1 0 911615429 32436224 7462 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7462 301 301 0 7618 0
vsize: 31676
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10436 0 0 0 41962 34 0 0 25 0 1 0 911615429 32571392 7547 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7952 7547 301 301 0 7651 0
vsize: 31808
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10522 0 0 0 42961 35 0 0 25 0 1 0 911615429 32841728 7631 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7631 301 301 0 7717 0
vsize: 32072
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10606 0 0 0 43961 35 0 0 25 0 1 0 911615429 33112064 7714 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7714 301 301 0 7783 0
vsize: 32336
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10691 0 0 0 44961 35 0 0 25 0 1 0 911615429 33247232 7797 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8117 7797 301 301 0 7816 0
vsize: 32468
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10773 0 0 0 45960 36 0 0 25 0 1 0 911615429 33517568 7878 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7878 301 301 0 7882 0
vsize: 32732
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10855 0 0 0 46960 36 0 0 25 0 1 0 911615429 33787904 7959 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7959 301 301 0 7948 0
vsize: 32996
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 10937 0 0 0 47959 37 0 0 25 0 1 0 911615429 33923072 8039 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8039 301 301 0 7981 0
vsize: 33128
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 14823 0 0 0 48951 46 0 0 25 0 1 0 911615429 49258496 9106 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9106 301 301 0 11725 0
vsize: 48104
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 14851 0 0 0 49951 46 0 0 25 0 1 0 911615429 49258496 9133 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9133 301 301 0 11725 0
vsize: 48104
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 14879 0 0 0 50950 47 0 0 25 0 1 0 911615429 49258496 9160 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9160 301 301 0 11725 0
vsize: 48104
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 14907 0 0 0 51950 47 0 0 25 0 1 0 911615429 49258496 9186 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9186 301 301 0 11725 0
vsize: 48104
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 14935 0 0 0 52950 48 0 0 25 0 1 0 911615429 49258496 9213 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9213 301 301 0 11725 0
vsize: 48104
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 14962 0 0 0 53950 48 0 0 25 0 1 0 911615429 49258496 9239 4294967295 134512640 135730672 3221224576 3221221776 134577556 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9239 301 301 0 11725 0
vsize: 48104
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 14989 0 0 0 54949 49 0 0 25 0 1 0 911615429 49258496 9265 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9265 301 301 0 11725 0
vsize: 48104
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15015 0 0 0 55949 49 0 0 25 0 1 0 911615429 49258496 9290 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9290 301 301 0 11725 0
vsize: 48104
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15042 0 0 0 56949 49 0 0 25 0 1 0 911615429 49258496 9315 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9315 301 301 0 11725 0
vsize: 48104
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15068 0 0 0 57948 50 0 0 25 0 1 0 911615429 49258496 9340 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9340 301 301 0 11725 0
vsize: 48104
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15094 0 0 0 58948 50 0 0 25 0 1 0 911615429 49258496 9365 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9365 301 301 0 11725 0
vsize: 48104
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15120 0 0 0 59948 51 0 0 25 0 1 0 911615429 49258496 9390 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9390 301 301 0 11725 0
vsize: 48104
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15145 0 0 0 60948 51 0 0 25 0 1 0 911615429 49258496 9414 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9414 301 301 0 11725 0
vsize: 48104
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15187 0 0 0 61948 51 0 0 25 0 1 0 911615429 49258496 9454 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9454 301 301 0 11725 0
vsize: 48104
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15222 0 0 0 62948 51 0 0 25 0 1 0 911615429 49258496 9488 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9488 301 301 0 11725 0
vsize: 48104
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15248 0 0 0 63948 52 0 0 25 0 1 0 911615429 49258496 9513 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9513 301 301 0 11725 0
vsize: 48104
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15273 0 0 0 64948 52 0 0 25 0 1 0 911615429 49258496 9537 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9537 301 301 0 11725 0
vsize: 48104
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15297 0 0 0 65947 52 0 0 25 0 1 0 911615429 49258496 9560 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9560 301 301 0 11725 0
vsize: 48104
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15321 0 0 0 66947 53 0 0 25 0 1 0 911615429 49258496 9583 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9583 301 301 0 11725 0
vsize: 48104
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15359 0 0 0 67947 53 0 0 25 0 1 0 911615429 49393664 9620 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9620 301 301 0 11758 0
vsize: 48236
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15426 0 0 0 68947 53 0 0 25 0 1 0 911615429 49528832 9686 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12092 9686 301 301 0 11791 0
vsize: 48368
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15495 0 0 0 69947 53 0 0 25 0 1 0 911615429 49799168 9753 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9753 301 301 0 11857 0
vsize: 48632
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15561 0 0 0 70947 54 0 0 25 0 1 0 911615429 49934336 9818 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12191 9818 301 301 0 11890 0
vsize: 48764
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15627 0 0 0 71947 54 0 0 25 0 1 0 911615429 50069504 9883 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12224 9883 301 301 0 11923 0
vsize: 48896
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15695 0 0 0 72946 54 0 0 25 0 1 0 911615429 50204672 9950 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12257 9950 301 301 0 11956 0
vsize: 49028
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15761 0 0 0 73946 55 0 0 25 0 1 0 911615429 50475008 10015 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12323 10015 301 301 0 12022 0
vsize: 49292
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 15825 0 0 0 74946 55 0 0 25 0 1 0 911615429 50610176 10078 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12356 10078 301 301 0 12055 0
vsize: 49424
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 40617 0 0 0 75893 108 0 0 25 0 1 0 911615429 130043904 24029 4294967295 134512640 135730672 3221224576 3220843416 135291162 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31749 24031 301 301 0 31448 0
vsize: 126996
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 67473 0 0 0 76832 170 0 0 25 0 1 0 911615429 270876672 44319 4294967295 134512640 135730672 3221224576 3221012888 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66132 44321 301 301 0 65831 0
vsize: 264528
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 99772 0 0 0 77764 238 0 0 25 0 1 0 911615429 301031424 55120 4294967295 134512640 135730672 3221224576 3220909544 134612193 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73494 55120 301 301 0 73193 0
vsize: 293976
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 115040 0 0 0 78727 275 0 0 25 0 1 0 911615429 343371776 70153 4294967295 134512640 135730672 3221224576 3220992444 135301599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83831 70154 301 301 0 83530 0
vsize: 335324
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 152029 0 0 0 79653 348 0 0 25 0 1 0 911615429 460767232 88578 4294967295 134512640 135730672 3221224576 3220846088 135284339 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112492 88579 301 301 0 112191 0
vsize: 449968
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 188821 0 0 0 80572 430 0 0 25 0 1 0 911615429 561430528 100574 4294967295 134512640 135730672 3221224576 3221085968 134788689 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137068 100574 301 301 0 136767 0
vsize: 548272
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 200816 0 0 0 81546 456 0 0 25 0 1 0 911615429 594984960 112353 4294967295 134512640 135730672 3221224576 3220509968 134786302 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145260 112353 301 301 0 144959 0
vsize: 581040
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 215676 0 0 0 82512 490 0 0 25 0 1 0 911615429 600662016 126972 4294967295 134512640 135730672 3221224576 3220761888 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146646 126972 301 301 0 146345 0
vsize: 586584
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 0 230559 0 0 0 83478 525 0 0 25 0 1 0 911615429 665726976 141653 4294967295 134512640 135730672 3221224576 3220864448 134743103 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162531 141654 301 301 0 162230 0
vsize: 650124
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 4 237995 0 0 0 84434 568 0 0 25 0 1 0 911615429 0 0 4294967295 0 0 0 0 0 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14740
Raw data (stat): 14740 (pb2sat-v2) R 14739 8378 8377 0 -1 4 237995 0 0 0 84434 568 0 0 25 0 1 0 911615429 0 0 4294967295 0 0 0 0 0 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0

Child status: 1
Real time (s): 850.058
CPU time (s): 850.073
CPU user time (s): 844.348
CPU system time (s): 5.72513
CPU usage (%): 100.002
Max. virtual memory (Kb): 650124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####