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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
MD5SUM	450ad3720278f8a937b0ae6f1c4dfd6d
Bench Category	optimization, medium integers (OPTMEDINT)
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	145051
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4825267
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	3840
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	4825267
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.26005
Number of variables	636571
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	10240

Trace number 43006

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 21:00:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26221 boxname=wulflinc6 idbench=1521 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 26221
/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:        560092 kB
Buffers:         21840 kB
Cached:         429312 kB
SwapCached:        980 kB
Active:          75844 kB
Inactive:       377404 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        559840 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15664 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 21:11:48 (client local time) WITH STATUS 1 IN 705.971 SECONDS
stats: 26221 7 705.971 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.94 0.91 2/54 26383
Raw data (stat): 26383 (runsolver) R 26382 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973833708 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+9.99983 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 26436
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 1013 0 0 0 988 10 0 0 25 0 1 0 973833708 4554752 704 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1112 704 301 301 0 811 0
vsize: 4448
[startup+20.0004 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26436
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 2350 0 0 0 1985 14 0 0 25 0 1 0 973833708 8499200 1671 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2075 1671 301 301 0 1774 0
vsize: 8300
[startup+30.0002 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26436
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 2955 0 0 0 2983 16 0 0 25 0 1 0 973833708 14311424 2263 4294967295 134512640 135730672 3221224576 3221221120 134775595 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3494 2263 301 301 0 3193 0
vsize: 13976
[startup+40.0003 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26436
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 3900 0 0 0 3982 18 0 0 25 0 1 0 973833708 13414400 2502 4294967295 134512640 135730672 3221224576 3221221628 134606736 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2502 301 301 0 2974 0
vsize: 13100
[startup+50.0007 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26436
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 4190 0 0 0 4981 19 0 0 25 0 1 0 973833708 14225408 2788 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3473 2788 301 301 0 3172 0
vsize: 13892
[startup+60.0005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26436
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 4446 0 0 0 5980 19 0 0 25 0 1 0 973833708 14901248 3039 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3638 3039 301 301 0 3337 0
vsize: 14552
[startup+70.0007 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 4678 0 0 0 6980 21 0 0 25 0 1 0 973833708 15577088 3268 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3803 3268 301 301 0 3502 0
vsize: 15212
[startup+80.0011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 4894 0 0 0 7979 21 0 0 25 0 1 0 973833708 16117760 3480 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3935 3480 301 301 0 3634 0
vsize: 15740
[startup+90.0013 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 5090 0 0 0 8978 22 0 0 25 0 1 0 973833708 16658432 3673 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4067 3673 301 301 0 3766 0
vsize: 16268
[startup+100.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 5272 0 0 0 9978 22 0 0 25 0 1 0 973833708 17063936 3852 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4166 3852 301 301 0 3865 0
vsize: 16664
[startup+110.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 5446 0 0 0 10978 23 0 0 25 0 1 0 973833708 17604608 4023 4294967295 134512640 135730672 3221224576 3221221208 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4298 4023 301 301 0 3997 0
vsize: 17192
[startup+120.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 7473 0 0 0 11975 27 0 0 25 0 1 0 973833708 25407488 4638 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4638 301 301 0 5902 0
vsize: 24812
[startup+130.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 7528 0 0 0 12975 27 0 0 25 0 1 0 973833708 25407488 4690 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4690 301 301 0 5902 0
vsize: 24812
[startup+140.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 7581 0 0 0 13975 27 0 0 25 0 1 0 973833708 25407488 4741 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4741 301 301 0 5902 0
vsize: 24812
[startup+150.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 7649 0 0 0 14974 28 0 0 25 0 1 0 973833708 25407488 4806 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4806 301 301 0 5902 0
vsize: 24812
[startup+160.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 7710 0 0 0 15974 28 0 0 25 0 1 0 973833708 25407488 4865 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4865 301 301 0 5902 0
vsize: 24812
[startup+170.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 7807 0 0 0 16974 29 0 0 25 0 1 0 973833708 25677824 4960 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4960 301 301 0 5968 0
vsize: 25076
[startup+180.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 7939 0 0 0 17974 29 0 0 25 0 1 0 973833708 26083328 5090 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6368 5090 301 301 0 6067 0
vsize: 25472
[startup+190.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 8070 0 0 0 18974 30 0 0 25 0 1 0 973833708 26353664 5219 4294967295 134512640 135730672 3221224576 3221221888 134569011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6434 5219 301 301 0 6133 0
vsize: 25736
[startup+200.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 8195 0 0 0 19974 30 0 0 25 0 1 0 973833708 26759168 5342 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6533 5342 301 301 0 6232 0
vsize: 26132
[startup+210.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 8319 0 0 0 20974 31 0 0 25 0 1 0 973833708 27029504 5464 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6599 5464 301 301 0 6298 0
vsize: 26396
[startup+220.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 8439 0 0 0 21973 32 0 0 25 0 1 0 973833708 27299840 5582 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6665 5582 301 301 0 6364 0
vsize: 26660
[startup+230.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 8556 0 0 0 22973 32 0 0 25 0 1 0 973833708 27705344 5697 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6764 5697 301 301 0 6463 0
vsize: 27056
[startup+240.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 8673 0 0 0 23972 33 0 0 25 0 1 0 973833708 27975680 5812 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6830 5812 301 301 0 6529 0
vsize: 27320
[startup+250.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 8785 0 0 0 24972 33 0 0 25 0 1 0 973833708 28246016 5922 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6896 5922 301 301 0 6595 0
vsize: 27584
[startup+260.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 8896 0 0 0 25972 34 0 0 25 0 1 0 973833708 28516352 6031 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 6031 301 301 0 6661 0
vsize: 27848
[startup+270.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9004 0 0 0 26972 34 0 0 25 0 1 0 973833708 28786688 6138 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7028 6138 301 301 0 6727 0
vsize: 28112
[startup+280.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9112 0 0 0 27972 34 0 0 25 0 1 0 973833708 29057024 6244 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7094 6244 301 301 0 6793 0
vsize: 28376
[startup+290.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9217 0 0 0 28972 35 0 0 25 0 1 0 973833708 29462528 6347 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7193 6347 301 301 0 6892 0
vsize: 28772
[startup+300.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26438
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9320 0 0 0 29972 35 0 0 25 0 1 0 973833708 29732864 6449 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7259 6449 301 301 0 6958 0
vsize: 29036
[startup+310.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9422 0 0 0 30972 35 0 0 25 0 1 0 973833708 30003200 6549 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 6549 301 301 0 7024 0
vsize: 29300
[startup+320.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9522 0 0 0 31972 36 0 0 25 0 1 0 973833708 30138368 6647 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7358 6647 301 301 0 7057 0
vsize: 29432
[startup+330.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9620 0 0 0 32971 36 0 0 25 0 1 0 973833708 30408704 6744 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6744 301 301 0 7123 0
vsize: 29696
[startup+340.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9716 0 0 0 33971 37 0 0 25 0 1 0 973833708 30679040 6838 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7490 6838 301 301 0 7189 0
vsize: 29960
[startup+350.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9812 0 0 0 34971 37 0 0 25 0 1 0 973833708 30949376 6933 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7556 6933 301 301 0 7255 0
vsize: 30224
[startup+360.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9906 0 0 0 35971 37 0 0 25 0 1 0 973833708 31219712 7025 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7622 7025 301 301 0 7321 0
vsize: 30488
[startup+370.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 9998 0 0 0 36970 38 0 0 25 0 1 0 973833708 31490048 7116 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7688 7116 301 301 0 7387 0
vsize: 30752
[startup+380.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10091 0 0 0 37970 38 0 0 25 0 1 0 973833708 31760384 7207 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7754 7207 301 301 0 7453 0
vsize: 31016
[startup+390.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10181 0 0 0 38970 39 0 0 25 0 1 0 973833708 31895552 7296 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7296 301 301 0 7486 0
vsize: 31148
[startup+400.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10270 0 0 0 39969 39 0 0 25 0 1 0 973833708 32165888 7383 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7853 7383 301 301 0 7552 0
vsize: 31412
[startup+410.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10357 0 0 0 40969 39 0 0 25 0 1 0 973833708 32436224 7469 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7919 7469 301 301 0 7618 0
vsize: 31676
[startup+420.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10445 0 0 0 41969 40 0 0 25 0 1 0 973833708 32706560 7555 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7555 301 301 0 7684 0
vsize: 31940
[startup+430.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10532 0 0 0 42968 40 0 0 25 0 1 0 973833708 32841728 7641 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8018 7641 301 301 0 7717 0
vsize: 32072
[startup+440.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10616 0 0 0 43968 40 0 0 25 0 1 0 973833708 33112064 7724 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8084 7724 301 301 0 7783 0
vsize: 32336
[startup+450.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10702 0 0 0 44968 41 0 0 25 0 1 0 973833708 33382400 7808 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8150 7808 301 301 0 7849 0
vsize: 32600
[startup+460.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10785 0 0 0 45968 41 0 0 25 0 1 0 973833708 33517568 7890 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8183 7890 301 301 0 7882 0
vsize: 32732
[startup+470.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10867 0 0 0 46968 42 0 0 25 0 1 0 973833708 33787904 7971 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8249 7971 301 301 0 7948 0
vsize: 32996
[startup+480.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 10950 0 0 0 47967 42 0 0 25 0 1 0 973833708 33923072 8052 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8052 301 301 0 7981 0
vsize: 33128
[startup+490.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 14827 0 0 0 48958 51 0 0 25 0 1 0 973833708 49258496 9110 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9110 301 301 0 11725 0
vsize: 48104
[startup+500.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 14856 0 0 0 49958 51 0 0 25 0 1 0 973833708 49258496 9138 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9138 301 301 0 11725 0
vsize: 48104
[startup+510.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 14885 0 0 0 50958 51 0 0 25 0 1 0 973833708 49258496 9165 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9165 301 301 0 11725 0
vsize: 48104
[startup+520.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 14913 0 0 0 51958 51 0 0 25 0 1 0 973833708 49258496 9192 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9192 301 301 0 11725 0
vsize: 48104
[startup+530.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 14940 0 0 0 52959 51 0 0 25 0 1 0 973833708 49258496 9218 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9218 301 301 0 11725 0
vsize: 48104
[startup+540.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 14967 0 0 0 53958 52 0 0 25 0 1 0 973833708 49258496 9244 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9244 301 301 0 11725 0
vsize: 48104
[startup+550.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 14995 0 0 0 54958 52 0 0 25 0 1 0 973833708 49258496 9270 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9270 301 301 0 11725 0
vsize: 48104
[startup+560.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 15022 0 0 0 55958 52 0 0 25 0 1 0 973833708 49258496 9296 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9296 301 301 0 11725 0
vsize: 48104
[startup+570.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 15049 0 0 0 56958 52 0 0 25 0 1 0 973833708 49258496 9322 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9322 301 301 0 11725 0
vsize: 48104
[startup+580.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 15074 0 0 0 57957 53 0 0 25 0 1 0 973833708 49258496 9346 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9346 301 301 0 11725 0
vsize: 48104
[startup+590.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 15101 0 0 0 58958 53 0 0 25 0 1 0 973833708 49258496 9372 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9372 301 301 0 11725 0
vsize: 48104
[startup+600.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 22269 0 0 0 59941 69 0 0 25 0 1 0 973833708 67407872 14954 4294967295 134512640 135730672 3221224576 3221221520 134539742 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16457 14954 301 301 0 16156 0
vsize: 65828
[startup+610.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 40709 0 0 0 60899 111 0 0 25 0 1 0 973833708 122298368 24015 4294967295 134512640 135730672 3221224576 3221219080 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29858 24016 301 301 0 29557 0
vsize: 119432
[startup+620.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 63371 0 0 0 61851 159 0 0 25 0 1 0 973833708 198172672 36774 4294967295 134512640 135730672 3221224576 3221221424 134813883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48382 36774 301 301 0 48081 0
vsize: 193528
[startup+630.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 78876 0 0 0 62817 194 0 0 25 0 1 0 973833708 232259584 45916 4294967295 134512640 135730672 3221224576 3221218496 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56704 45916 301 301 0 56403 0
vsize: 226816
[startup+640.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 91122 0 0 0 63786 225 0 0 25 0 1 0 973833708 270663680 57949 4294967295 134512640 135730672 3221224576 3221218008 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66080 57949 301 301 0 65779 0
vsize: 264320
[startup+650.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 122981 0 0 0 64720 291 0 0 25 0 1 0 973833708 374939648 70215 4294967295 134512640 135730672 3221224576 3221218632 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91538 70215 301 301 0 91237 0
vsize: 366152
[startup+660.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 144234 0 0 0 65672 339 0 0 25 0 1 0 973833708 433668096 79000 4294967295 134512640 135730672 3221224576 3217046352 134550533 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105876 79001 301 301 0 105575 0
vsize: 423504
[startup+670.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 162356 0 0 0 66628 384 0 0 25 0 1 0 973833708 476397568 96911 4294967295 134512640 135730672 3221224576 3216700544 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116308 96912 301 301 0 116007 0
vsize: 465232
[startup+680.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 179345 0 0 0 67587 425 0 0 25 0 1 0 973833708 525893632 113703 4294967295 134512640 135730672 3221224576 3216974732 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128392 113704 301 301 0 128091 0
vsize: 513568
[startup+690.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 220195 0 0 0 68501 512 0 0 25 0 1 0 973833708 649805824 129788 4294967295 134512640 135730672 3221224576 3217602648 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158644 129788 301 301 0 158343 0
vsize: 634576
[startup+700.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 233095 0 0 0 69470 543 0 0 25 0 1 0 973833708 665174016 141971 4294967295 134512640 135730672 3221224576 3221223004 135284036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162396 141971 301 301 0 162095 0
vsize: 649584
[startup+705.852 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 26440
Raw data (stat): 26383 (pb2sat-v2) R 26382 25568 25567 0 -1 0 233095 0 0 0 69470 543 0 0 25 0 1 0 973833708 665174016 141971 4294967295 134512640 135730672 3221224576 3221223004 135284036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162396 141971 301 301 0 162095 0
vsize: 0

Child status: 1
Real time (s): 705.851
CPU time (s): 705.971
CPU user time (s): 700.246
CPU system time (s): 5.72513
CPU usage (%): 100.017
Max. virtual memory (Kb): 649584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####