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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb
MD5SUM	5a18ff1f45b144b201f1f80233dc9b6b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30407
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.04
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032

Trace number 42855

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 16:40:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26074 boxname=wulflinc6 idbench=1374 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-nw04.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-nw04.opb
IDLAUNCH: 26074
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        666616 kB
Buffers:         23884 kB
Cached:         320760 kB
SwapCached:       1000 kB
Active:          45392 kB
Inactive:       301384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        666364 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15636 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:51:12 (client local time) WITH STATUS 1 IN 634.9 SECONDS
stats: 26074 7 634.9 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 14463
c big objective detected
c trying from 0 to 511

	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): 1.11 1.00 0.92 2/54 23558
Raw data (stat): 23558 (runsolver) R 23557 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972276944 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.0007 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 744 0 0 0 994 4 0 0 25 0 1 0 972276944 3461120 614 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 845 614 301 301 0 544 0
vsize: 3380
[startup+20.0009 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 2327 0 0 0 1990 8 0 0 25 0 1 0 972276944 8364032 1649 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2042 1649 301 301 0 1741 0
vsize: 8168
[startup+30.0014 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 2795 0 0 0 2989 9 0 0 25 0 1 0 972276944 9580544 2109 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2339 2109 301 301 0 2038 0
vsize: 9356
[startup+40.0011 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 3891 0 0 0 3987 12 0 0 25 0 1 0 972276944 13414400 2494 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2494 301 301 0 2974 0
vsize: 13100
[startup+50.0012 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 4170 0 0 0 4987 12 0 0 25 0 1 0 972276944 14225408 2768 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3473 2768 301 301 0 3172 0
vsize: 13892
[startup+60.0017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 4424 0 0 0 5986 13 0 0 25 0 1 0 972276944 14901248 3018 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3638 3018 301 301 0 3337 0
vsize: 14552
[startup+70.0015 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 4654 0 0 0 6986 14 0 0 25 0 1 0 972276944 15441920 3244 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3770 3244 301 301 0 3469 0
vsize: 15080
[startup+80.002 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 4864 0 0 0 7985 15 0 0 25 0 1 0 972276944 15982592 3451 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3902 3451 301 301 0 3601 0
vsize: 15608
[startup+90.0021 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 5062 0 0 0 8985 15 0 0 25 0 1 0 972276944 16523264 3645 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4034 3645 301 301 0 3733 0
vsize: 16136
[startup+100.002 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 5242 0 0 0 9984 16 0 0 25 0 1 0 972276944 17063936 3823 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4166 3823 301 301 0 3865 0
vsize: 16664
[startup+110.002 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 5415 0 0 0 10985 16 0 0 25 0 1 0 972276944 17469440 3993 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4265 3993 301 301 0 3964 0
vsize: 17060
[startup+120.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 7462 0 0 0 11981 20 0 0 25 0 1 0 972276944 25407488 4627 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4627 301 301 0 5902 0
vsize: 24812
[startup+130.002 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 7517 0 0 0 12981 20 0 0 25 0 1 0 972276944 25407488 4680 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4680 301 301 0 5902 0
vsize: 24812
[startup+140.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 7570 0 0 0 13981 21 0 0 25 0 1 0 972276944 25407488 4730 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4730 301 301 0 5902 0
vsize: 24812
[startup+150.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 7624 0 0 0 14982 21 0 0 25 0 1 0 972276944 25407488 4782 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4782 301 301 0 5902 0
vsize: 24812
[startup+160.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 7698 0 0 0 15981 21 0 0 25 0 1 0 972276944 25407488 4854 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4854 301 301 0 5902 0
vsize: 24812
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 7772 0 0 0 16981 22 0 0 25 0 1 0 972276944 25542656 4926 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4926 301 301 0 5935 0
vsize: 24944
[startup+180.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 7904 0 0 0 17982 22 0 0 25 0 1 0 972276944 25948160 5055 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5055 301 301 0 6034 0
vsize: 25340
[startup+190.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 8033 0 0 0 18982 22 0 0 25 0 1 0 972276944 26218496 5182 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5182 301 301 0 6100 0
vsize: 25604
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 8158 0 0 0 19982 22 0 0 25 0 1 0 972276944 26624000 5305 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6500 5305 301 301 0 6199 0
vsize: 26000
[startup+210.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 8281 0 0 0 20982 22 0 0 25 0 1 0 972276944 26894336 5426 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5426 301 301 0 6265 0
vsize: 26264
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 9252 0 0 0 21979 26 0 0 25 0 1 0 972276944 30814208 6395 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7523 6395 301 301 0 7222 0
vsize: 30092
[startup+230.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 21711 0 0 0 22948 57 0 0 25 0 1 0 972276944 70021120 13412 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17095 13412 301 301 0 16794 0
vsize: 68380
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 25830 0 0 0 23937 68 0 0 25 0 1 0 972276944 77070336 17466 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18816 17466 301 301 0 18515 0
vsize: 75264
[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 40445 0 0 0 24905 100 0 0 25 0 1 0 972276944 131723264 24019 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32159 24019 301 301 0 31858 0
vsize: 128636
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 43330 0 0 0 25896 109 0 0 25 0 1 0 972276944 131723264 26849 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32159 26849 301 301 0 31858 0
vsize: 128636
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 53008 0 0 0 26874 131 0 0 25 0 1 0 972276944 157159424 30316 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38369 30316 301 301 0 38068 0
vsize: 153476
[startup+280.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 53041 0 0 0 27874 132 0 0 25 0 1 0 972276944 157159424 30349 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38369 30349 301 301 0 38068 0
vsize: 153476
[startup+290.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 58424 0 0 0 28858 148 0 0 25 0 1 0 972276944 183926784 35677 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44904 35677 301 301 0 44603 0
vsize: 179616
[startup+300.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 61769 0 0 0 29850 156 0 0 25 0 1 0 972276944 187035648 38972 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45663 38972 301 301 0 45362 0
vsize: 182652
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 76842 0 0 0 30822 185 0 0 25 0 1 0 972276944 235724800 44273 4294967295 134512640 135730672 3221224576 3221221632 134854967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57550 44273 301 301 0 57249 0
vsize: 230200
[startup+320.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 79461 0 0 0 31815 192 0 0 25 0 1 0 972276944 235724800 46841 4294967295 134512640 135730672 3221224576 3221220476 134637856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57550 46841 301 301 0 57249 0
vsize: 230200
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 79487 0 0 0 32815 192 0 0 25 0 1 0 972276944 235724800 46867 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57550 46867 301 301 0 57249 0
vsize: 230200
[startup+340.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 82190 0 0 0 33806 201 0 0 25 0 1 0 972276944 235724800 49517 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57550 49517 301 301 0 57249 0
vsize: 230200
[startup+350.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 97235 0 0 0 34775 232 0 0 25 0 1 0 972276944 286056448 52220 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69838 52220 301 301 0 69537 0
vsize: 279352
[startup+360.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 97235 0 0 0 35775 232 0 0 25 0 1 0 972276944 286056448 52220 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69838 52220 301 301 0 69537 0
vsize: 279352
[startup+370.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 101033 0 0 0 36764 244 0 0 25 0 1 0 972276944 323125248 55961 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78888 55961 301 301 0 78587 0
vsize: 315552
[startup+380.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 102955 0 0 0 37760 249 0 0 25 0 1 0 972276944 324603904 57847 4294967295 134512640 135730672 3221224576 3217667888 134770024 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79249 57847 301 301 0 78948 0
vsize: 316996
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 105115 0 0 0 38755 254 0 0 25 0 1 0 972276944 327847936 59986 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80041 59986 301 301 0 79740 0
vsize: 320164
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 105258 0 0 0 39754 255 0 0 25 0 1 0 972276944 328372224 60000 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80169 60000 301 301 0 79868 0
vsize: 320676
[startup+410.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 111030 0 0 0 40740 268 0 0 25 0 1 0 972276944 337391616 65703 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82371 65703 301 301 0 82070 0
vsize: 329484
[startup+420.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 111030 0 0 0 41741 268 0 0 25 0 1 0 972276944 337391616 65703 4294967295 134512640 135730672 3221224576 3221221768 135087853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82371 65703 301 301 0 82070 0
vsize: 329484
[startup+430.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 111030 0 0 0 42741 269 0 0 25 0 1 0 972276944 337391616 65703 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82371 65703 301 301 0 82070 0
vsize: 329484
[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 116244 0 0 0 43727 283 0 0 25 0 1 0 972276944 343445504 70844 4294967295 134512640 135730672 3221224576 3221221520 134539721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83849 70844 301 301 0 83548 0
vsize: 335396
[startup+450.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 116244 0 0 0 44727 283 0 0 25 0 1 0 972276944 343445504 70844 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83849 70844 301 301 0 83548 0
vsize: 335396
[startup+460.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 116244 0 0 0 45726 283 0 0 25 0 1 0 972276944 343445504 70844 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83849 70844 301 301 0 83548 0
vsize: 335396
[startup+470.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 137764 0 0 0 46689 321 0 0 25 0 1 0 972276944 514035712 91628 4294967295 134512640 135730672 3221224576 3209535980 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125497 91631 301 301 0 125196 0
vsize: 501988
[startup+480.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 148167 0 0 0 47665 345 0 0 25 0 1 0 972276944 455299072 84265 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 84265 301 301 0 110856 0
vsize: 444628
[startup+490.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 148167 0 0 0 48666 345 0 0 25 0 1 0 972276944 455299072 84265 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 84265 301 301 0 110856 0
vsize: 444628
[startup+500.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 148167 0 0 0 49666 345 0 0 25 0 1 0 972276944 455299072 84265 4294967295 134512640 135730672 3221224576 3221221184 134607989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 84265 301 301 0 110856 0
vsize: 444628
[startup+510.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 151748 0 0 0 50657 354 0 0 25 0 1 0 972276944 455299072 87776 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 87776 301 301 0 110856 0
vsize: 444628
[startup+520.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 151748 0 0 0 51657 354 0 0 25 0 1 0 972276944 455299072 87776 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111157 87776 301 301 0 110856 0
vsize: 444628
[startup+530.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 152553 0 0 0 52654 356 0 0 25 0 1 0 972276944 455299072 88551 4294967295 134512640 135730672 3221224576 3207052828 134637875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 88551 301 301 0 110856 0
vsize: 444628
[startup+540.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 155315 0 0 0 53648 363 0 0 25 0 1 0 972276944 455299072 91274 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 91274 301 301 0 110856 0
vsize: 444628
[startup+550.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 155315 0 0 0 54649 363 0 0 25 0 1 0 972276944 455299072 91274 4294967295 134512640 135730672 3221224576 3221221520 134539675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 91274 301 301 0 110856 0
vsize: 444628
[startup+560.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 155315 0 0 0 55649 363 0 0 25 0 1 0 972276944 455299072 91274 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 91274 301 301 0 110856 0
vsize: 444628
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 155334 0 0 0 56649 364 0 0 25 0 1 0 972276944 455299072 91293 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111157 91293 301 301 0 110856 0
vsize: 444628
[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 186578 0 0 0 57577 435 0 0 25 0 1 0 972276944 558321664 97840 4294967295 134512640 135730672 3221224576 3219057280 134549451 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136309 97840 301 301 0 136008 0
vsize: 545236
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 193834 0 0 0 58558 454 0 0 25 0 1 0 972276944 569208832 102402 4294967295 134512640 135730672 3221224576 3221222996 134748221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138967 102402 301 301 0 138666 0
vsize: 555868
[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 203079 0 0 0 59538 475 0 0 25 0 1 0 972276944 596525056 111562 4294967295 134512640 135730672 3221224576 3182358480 134786088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145636 111562 301 301 0 145335 0
vsize: 582544
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 221932 0 0 0 60488 525 0 0 25 0 1 0 972276944 660086784 130165 4294967295 134512640 135730672 3221224576 3183645180 134607990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161154 130165 301 301 0 160853 0
vsize: 644616
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 243111 0 0 0 61438 574 0 0 25 0 1 0 972276944 693878784 151081 4294967295 134512640 135730672 3221224576 3204279712 134786302 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169404 151082 301 301 0 169103 0
vsize: 677616
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 251978 0 0 0 62418 595 0 0 25 0 1 0 972276944 705290240 159320 4294967295 134512640 135730672 3221224576 3221222828 135281172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172190 159320 301 301 0 171889 0
vsize: 688760
[startup+634.775 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 23558
Raw data (stat): 23558 (pb2sat-v2) R 23557 25568 25567 0 -1 0 251978 0 0 0 62418 595 0 0 25 0 1 0 972276944 705290240 159320 4294967295 134512640 135730672 3221224576 3221222828 135281172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172190 159320 301 301 0 171889 0
vsize: 0

Child status: 1
Real time (s): 634.775
CPU time (s): 634.9
CPU user time (s): 628.631
CPU system time (s): 6.26905
CPU usage (%): 100.02
Max. virtual memory (Kb): 688760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####