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-n3706.opb
MD5SUM	9e0552681bd542cf776486fc35ee9977
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	29645337650291
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	29645337650291
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.43078
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 42568

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        706444 kB
Buffers:         16260 kB
Cached:         289192 kB
SwapCached:        820 kB
Active:          44264 kB
Inactive:       263380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        706192 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14796 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:18:31 (client local time) WITH STATUS 1 IN 772.947 SECONDS
stats: 25784 7 772.947 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.98 0.91 2/54 21440
Raw data (stat): 21440 (runsolver) R 21439 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970258553 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.0018 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 2187 0 0 0 994 5 0 0 25 0 1 0 970258553 7958528 1512 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1943 1512 301 301 0 1642 0
vsize: 7772
[startup+20.0033 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 2710 0 0 0 1993 6 0 0 25 0 1 0 970258553 9445376 2026 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2306 2026 301 301 0 2005 0
vsize: 9224
[startup+30.0037 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 3874 0 0 0 2990 8 0 0 25 0 1 0 970258553 13414400 2478 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2478 301 301 0 2974 0
vsize: 13100
[startup+40.0039 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 4133 0 0 0 3989 9 0 0 25 0 1 0 970258553 14090240 2732 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2732 301 301 0 3139 0
vsize: 13760
[startup+50.0048 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 4397 0 0 0 4987 11 0 0 25 0 1 0 970258553 14766080 2992 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2992 301 301 0 3304 0
vsize: 14420
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 4630 0 0 0 5986 13 0 0 25 0 1 0 970258553 15441920 3221 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3770 3221 301 301 0 3469 0
vsize: 15080
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 4839 0 0 0 6985 14 0 0 25 0 1 0 970258553 15982592 3427 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3902 3427 301 301 0 3601 0
vsize: 15608
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 5035 0 0 0 7983 16 0 0 25 0 1 0 970258553 16523264 3620 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4034 3620 301 301 0 3733 0
vsize: 16136
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 5221 0 0 0 8983 16 0 0 25 0 1 0 970258553 16928768 3803 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3803 301 301 0 3832 0
vsize: 16532
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 5395 0 0 0 9982 17 0 0 25 0 1 0 970258553 17469440 3974 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4265 3974 301 301 0 3964 0
vsize: 17060
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 7456 0 0 0 10977 22 0 0 25 0 1 0 970258553 25407488 4622 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4622 301 301 0 5902 0
vsize: 24812
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 7512 0 0 0 11977 22 0 0 25 0 1 0 970258553 25407488 4676 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4676 301 301 0 5902 0
vsize: 24812
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 7567 0 0 0 12976 23 0 0 25 0 1 0 970258553 25407488 4728 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4728 301 301 0 5902 0
vsize: 24812
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 7617 0 0 0 13976 23 0 0 25 0 1 0 970258553 25407488 4776 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4776 301 301 0 5902 0
vsize: 24812
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 7694 0 0 0 14976 24 0 0 25 0 1 0 970258553 25407488 4851 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4851 301 301 0 5902 0
vsize: 24812
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 7764 0 0 0 15975 24 0 0 25 0 1 0 970258553 25542656 4919 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4919 301 301 0 5935 0
vsize: 24944
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 7899 0 0 0 16975 25 0 0 25 0 1 0 970258553 25948160 5051 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6335 5051 301 301 0 6034 0
vsize: 25340
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8027 0 0 0 17975 25 0 0 25 0 1 0 970258553 26218496 5177 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5177 301 301 0 6100 0
vsize: 25604
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8153 0 0 0 18974 25 0 0 25 0 1 0 970258553 26624000 5301 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6500 5301 301 301 0 6199 0
vsize: 26000
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8276 0 0 0 19974 26 0 0 25 0 1 0 970258553 26894336 5422 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5422 301 301 0 6265 0
vsize: 26264
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8397 0 0 0 20974 26 0 0 25 0 1 0 970258553 27164672 5541 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5541 301 301 0 6331 0
vsize: 26528
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8514 0 0 0 21973 26 0 0 25 0 1 0 970258553 27570176 5657 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5657 301 301 0 6430 0
vsize: 26924
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8631 0 0 0 22972 27 0 0 25 0 1 0 970258553 27840512 5772 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5772 301 301 0 6496 0
vsize: 27188
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8744 0 0 0 23972 27 0 0 25 0 1 0 970258553 28110848 5883 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5883 301 301 0 6562 0
vsize: 27452
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8857 0 0 0 24971 29 0 0 25 0 1 0 970258553 28381184 5994 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5994 301 301 0 6628 0
vsize: 27716
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 8967 0 0 0 25971 29 0 0 25 0 1 0 970258553 28786688 6102 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6102 301 301 0 6727 0
vsize: 28112
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9076 0 0 0 26971 29 0 0 25 0 1 0 970258553 29057024 6209 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6209 301 301 0 6793 0
vsize: 28376
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9180 0 0 0 27970 30 0 0 25 0 1 0 970258553 29327360 6312 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7160 6312 301 301 0 6859 0
vsize: 28640
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9283 0 0 0 28970 30 0 0 25 0 1 0 970258553 29597696 6413 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7226 6413 301 301 0 6925 0
vsize: 28904
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9385 0 0 0 29971 30 0 0 25 0 1 0 970258553 29868032 6513 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7292 6513 301 301 0 6991 0
vsize: 29168
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9484 0 0 0 30970 30 0 0 25 0 1 0 970258553 30138368 6611 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7358 6611 301 301 0 7057 0
vsize: 29432
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9582 0 0 0 31971 30 0 0 25 0 1 0 970258553 30408704 6707 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7424 6707 301 301 0 7123 0
vsize: 29696
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9678 0 0 0 32971 30 0 0 25 0 1 0 970258553 30679040 6802 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7490 6802 301 301 0 7189 0
vsize: 29960
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9774 0 0 0 33971 31 0 0 25 0 1 0 970258553 30814208 6896 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6896 301 301 0 7222 0
vsize: 30092
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9868 0 0 0 34969 31 0 0 25 0 1 0 970258553 31084544 6989 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7589 6989 301 301 0 7288 0
vsize: 30356
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 9962 0 0 0 35970 31 0 0 25 0 1 0 970258553 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.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10053 0 0 0 36970 32 0 0 25 0 1 0 970258553 31625216 7171 4294967295 134512640 135730672 3221224576 3221221664 134561656 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.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10144 0 0 0 37970 32 0 0 25 0 1 0 970258553 31895552 7260 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7787 7260 301 301 0 7486 0
vsize: 31148
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10232 0 0 0 38969 32 0 0 25 0 1 0 970258553 32030720 7347 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7820 7347 301 301 0 7519 0
vsize: 31280
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10321 0 0 0 39969 33 0 0 25 0 1 0 970258553 32301056 7434 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7434 301 301 0 7585 0
vsize: 31544
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10408 0 0 0 40969 33 0 0 25 0 1 0 970258553 32571392 7520 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7952 7520 301 301 0 7651 0
vsize: 31808
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10494 0 0 0 41969 33 0 0 25 0 1 0 970258553 32841728 7605 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8018 7605 301 301 0 7717 0
vsize: 32072
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10580 0 0 0 42969 33 0 0 25 0 1 0 970258553 32976896 7689 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8051 7689 301 301 0 7750 0
vsize: 32204
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10663 0 0 0 43969 34 0 0 25 0 1 0 970258553 33247232 7771 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8117 7771 301 301 0 7816 0
vsize: 32468
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10747 0 0 0 44969 34 0 0 25 0 1 0 970258553 33382400 7854 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8150 7854 301 301 0 7849 0
vsize: 32600
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10830 0 0 0 45969 34 0 0 25 0 1 0 970258553 33652736 7935 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7935 301 301 0 7915 0
vsize: 32864
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 10911 0 0 0 46968 34 0 0 25 0 1 0 970258553 33923072 8015 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8282 8015 301 301 0 7981 0
vsize: 33128
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 14813 0 0 0 47960 42 0 0 25 0 1 0 970258553 49258496 9098 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9098 301 301 0 11725 0
vsize: 48104
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 14842 0 0 0 48960 43 0 0 25 0 1 0 970258553 49258496 9125 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9125 301 301 0 11725 0
vsize: 48104
[startup+500.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 14870 0 0 0 49960 43 0 0 25 0 1 0 970258553 49258496 9152 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9152 301 301 0 11725 0
vsize: 48104
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 14897 0 0 0 50960 43 0 0 25 0 1 0 970258553 49258496 9178 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9178 301 301 0 11725 0
vsize: 48104
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 14925 0 0 0 51961 43 0 0 25 0 1 0 970258553 49258496 9205 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9205 301 301 0 11725 0
vsize: 48104
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 14953 0 0 0 52960 43 0 0 25 0 1 0 970258553 49258496 9231 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9231 301 301 0 11725 0
vsize: 48104
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 14980 0 0 0 53960 43 0 0 25 0 1 0 970258553 49258496 9257 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9257 301 301 0 11725 0
vsize: 48104
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15007 0 0 0 54960 44 0 0 25 0 1 0 970258553 49258496 9283 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9283 301 301 0 11725 0
vsize: 48104
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15033 0 0 0 55960 44 0 0 25 0 1 0 970258553 49258496 9308 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9308 301 301 0 11725 0
vsize: 48104
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15061 0 0 0 56960 44 0 0 25 0 1 0 970258553 49258496 9334 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9334 301 301 0 11725 0
vsize: 48104
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15087 0 0 0 57960 44 0 0 25 0 1 0 970258553 49258496 9359 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9359 301 301 0 11725 0
vsize: 48104
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15112 0 0 0 58960 44 0 0 25 0 1 0 970258553 49258496 9383 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9383 301 301 0 11725 0
vsize: 48104
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15138 0 0 0 59959 44 0 0 25 0 1 0 970258553 49258496 9408 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9408 301 301 0 11725 0
vsize: 48104
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15172 0 0 0 60959 45 0 0 25 0 1 0 970258553 49258496 9441 4294967295 134512640 135730672 3221224576 3221221664 134561667 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.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15215 0 0 0 61958 46 0 0 25 0 1 0 970258553 49258496 9483 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9483 301 301 0 11725 0
vsize: 48104
[startup+630.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15242 0 0 0 62959 46 0 0 25 0 1 0 970258553 49258496 9508 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9508 301 301 0 11725 0
vsize: 48104
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15267 0 0 0 63958 46 0 0 25 0 1 0 970258553 49258496 9532 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9532 301 301 0 11725 0
vsize: 48104
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15291 0 0 0 64957 47 0 0 25 0 1 0 970258553 49258496 9555 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9555 301 301 0 11725 0
vsize: 48104
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15317 0 0 0 65956 48 0 0 25 0 1 0 970258553 49258496 9580 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9580 301 301 0 11725 0
vsize: 48104
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 15347 0 0 0 66956 49 0 0 25 0 1 0 970258553 49393664 9609 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12059 9609 301 301 0 11758 0
vsize: 48236
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 36765 0 0 0 67911 93 0 0 25 0 1 0 970258553 117477376 23269 4294967295 134512640 135730672 3221224576 3220223288 135291189 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28681 23270 301 301 0 28380 0
vsize: 114724
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 60729 0 0 0 68853 152 0 0 25 0 1 0 970258553 189988864 37793 4294967295 134512640 135730672 3221224576 3220394104 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46384 37794 301 301 0 46083 0
vsize: 185536
[startup+700.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 98112 0 0 0 69780 225 0 0 25 0 1 0 970258553 300978176 53494 4294967295 134512640 135730672 3221224576 3220364780 135282200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73481 53494 301 301 0 73180 0
vsize: 293924
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 111992 0 0 0 70746 259 0 0 25 0 1 0 970258553 338993152 67146 4294967295 134512640 135730672 3221224576 3220449784 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82762 67147 301 301 0 82461 0
vsize: 331048
[startup+720.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 150475 0 0 0 71668 337 0 0 25 0 1 0 970258553 462336000 87063 4294967295 134512640 135730672 3221224576 3220183416 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112875 87063 301 301 0 112574 0
vsize: 451500
[startup+730.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 186441 0 0 0 72591 415 0 0 25 0 1 0 970258553 562999296 98249 4294967295 134512640 135730672 3221224576 3220246536 135284119 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137451 98250 301 301 0 137150 0
vsize: 549804
[startup+740.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 198334 0 0 0 73566 440 0 0 25 0 1 0 970258553 596553728 109928 4294967295 134512640 135730672 3221224576 3220374136 134742749 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145643 109929 301 301 0 145342 0
vsize: 582572
[startup+750.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 211828 0 0 0 74538 468 0 0 25 0 1 0 970258553 599392256 123192 4294967295 134512640 135730672 3221224576 3219879000 135282780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146336 123193 301 301 0 146035 0
vsize: 585344
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 229136 0 0 0 75497 509 0 0 25 0 1 0 970258553 615882752 140263 4294967295 134512640 135730672 3221224576 3219950384 134786297 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150362 140263 301 301 0 150061 0
vsize: 601448
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 238759 0 0 0 76474 532 0 0 25 0 1 0 970258553 671444992 149145 4294967295 134512640 135730672 3221224576 3221222828 135281100 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163927 149145 301 301 0 163626 0
vsize: 655708
[startup+772.917 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 21440
Raw data (stat): 21440 (pb2sat-v2) R 21439 20224 20223 0 -1 0 238759 0 0 0 76474 532 0 0 25 0 1 0 970258553 671444992 149145 4294967295 134512640 135730672 3221224576 3221222828 135281100 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163927 149145 301 301 0 163626 0
vsize: 0

Child status: 1
Real time (s): 772.917
CPU time (s): 772.947
CPU user time (s): 767.329
CPU system time (s): 5.61815
CPU usage (%): 100.004
Max. virtual memory (Kb): 655708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####