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-n3702.opb
MD5SUM	8a9d9f3204d778657700e0268ec9ac0e
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	29701186548799
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	29701186548799
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 42564

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 10:52:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25780 boxname=wulflinc4 idbench=1080 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8a9d9f3204d778657700e0268ec9ac0e  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n3702.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n3702.opb
IDLAUNCH: 25780
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        665696 kB
Buffers:         34692 kB
Cached:         311640 kB
SwapCached:        944 kB
Active:          49032 kB
Inactive:       299420 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        665444 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14800 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:05:38 (client local time) WITH STATUS 1 IN 773.115 SECONDS
stats: 25780 7 773.115 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.91 0.95 0.91 1/54 24969
Raw data (stat): 24969 (runsolver) R 24968 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970180285 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 2192 0 0 0 994 5 0 0 25 0 1 0 970180285 8093696 1517 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1976 1517 301 301 0 1675 0
vsize: 7904
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 2715 0 0 0 1992 7 0 0 25 0 1 0 970180285 9445376 2031 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2306 2031 301 301 0 2005 0
vsize: 9224
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 3870 0 0 0 2990 9 0 0 25 0 1 0 970180285 13414400 2475 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2475 301 301 0 2974 0
vsize: 13100
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 4112 0 0 0 3989 10 0 0 25 0 1 0 970180285 14090240 2712 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2712 301 301 0 3139 0
vsize: 13760
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 4373 0 0 0 4988 12 0 0 25 0 1 0 970180285 14766080 2969 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2969 301 301 0 3304 0
vsize: 14420
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 4608 0 0 0 5987 13 0 0 25 0 1 0 970180285 15306752 3200 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3200 301 301 0 3436 0
vsize: 14948
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 4816 0 0 0 6986 13 0 0 25 0 1 0 970180285 15847424 3404 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3404 301 301 0 3568 0
vsize: 15476
[startup+80.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 5012 0 0 0 7986 14 0 0 25 0 1 0 970180285 16388096 3597 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3597 301 301 0 3700 0
vsize: 16004
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 5195 0 0 0 8985 15 0 0 25 0 1 0 970180285 16928768 3777 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3777 301 301 0 3832 0
vsize: 16532
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 5371 0 0 0 9985 15 0 0 25 0 1 0 970180285 17334272 3950 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3950 301 301 0 3931 0
vsize: 16928
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 7446 0 0 0 10982 19 0 0 25 0 1 0 970180285 25407488 4613 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4613 301 301 0 5902 0
vsize: 24812
[startup+120.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 7504 0 0 0 11981 19 0 0 25 0 1 0 970180285 25407488 4668 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4668 301 301 0 5902 0
vsize: 24812
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 7558 0 0 0 12981 19 0 0 25 0 1 0 970180285 25407488 4720 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4720 301 301 0 5902 0
vsize: 24812
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 7611 0 0 0 13981 20 0 0 25 0 1 0 970180285 25407488 4770 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4770 301 301 0 5902 0
vsize: 24812
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 7689 0 0 0 14981 20 0 0 25 0 1 0 970180285 25407488 4846 4294967295 134512640 135730672 3221224576 3221221504 134540818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4846 301 301 0 5902 0
vsize: 24812
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 7752 0 0 0 15980 20 0 0 25 0 1 0 970180285 25542656 4907 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4907 301 301 0 5935 0
vsize: 24944
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 7887 0 0 0 16980 21 0 0 25 0 1 0 970180285 25948160 5040 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5040 301 301 0 6034 0
vsize: 25340
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8017 0 0 0 17979 22 0 0 25 0 1 0 970180285 26218496 5168 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5168 301 301 0 6100 0
vsize: 25604
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8147 0 0 0 18979 22 0 0 25 0 1 0 970180285 26624000 5295 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6500 5295 301 301 0 6199 0
vsize: 26000
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8271 0 0 0 19978 23 0 0 25 0 1 0 970180285 26894336 5417 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5417 301 301 0 6265 0
vsize: 26264
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8394 0 0 0 20978 24 0 0 25 0 1 0 970180285 27164672 5538 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5538 301 301 0 6331 0
vsize: 26528
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8511 0 0 0 21977 24 0 0 25 0 1 0 970180285 27570176 5654 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5654 301 301 0 6430 0
vsize: 26924
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8628 0 0 0 22976 25 0 0 25 0 1 0 970180285 27840512 5769 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5769 301 301 0 6496 0
vsize: 27188
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8743 0 0 0 23975 27 0 0 25 0 1 0 970180285 28110848 5882 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5882 301 301 0 6562 0
vsize: 27452
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8854 0 0 0 24975 27 0 0 25 0 1 0 970180285 28381184 5991 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5991 301 301 0 6628 0
vsize: 27716
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 8966 0 0 0 25975 28 0 0 25 0 1 0 970180285 28786688 6101 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6101 301 301 0 6727 0
vsize: 28112
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9073 0 0 0 26974 29 0 0 25 0 1 0 970180285 29057024 6207 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6207 301 301 0 6793 0
vsize: 28376
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9178 0 0 0 27974 29 0 0 25 0 1 0 970180285 29327360 6310 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6310 301 301 0 6859 0
vsize: 28640
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9283 0 0 0 28973 29 0 0 25 0 1 0 970180285 29597696 6413 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6413 301 301 0 6925 0
vsize: 28904
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9386 0 0 0 29973 30 0 0 25 0 1 0 970180285 29868032 6514 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6514 301 301 0 6991 0
vsize: 29168
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9485 0 0 0 30972 31 0 0 25 0 1 0 970180285 30138368 6612 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6612 301 301 0 7057 0
vsize: 29432
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9586 0 0 0 31971 32 0 0 25 0 1 0 970180285 30408704 6711 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6711 301 301 0 7123 0
vsize: 29696
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9682 0 0 0 32971 33 0 0 25 0 1 0 970180285 30679040 6806 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7490 6806 301 301 0 7189 0
vsize: 29960
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9779 0 0 0 33970 33 0 0 25 0 1 0 970180285 30949376 6901 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6901 301 301 0 7255 0
vsize: 30224
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9874 0 0 0 34970 34 0 0 25 0 1 0 970180285 31084544 6995 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6995 301 301 0 7288 0
vsize: 30356
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 9968 0 0 0 35969 34 0 0 25 0 1 0 970180285 31354880 7087 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7087 301 301 0 7354 0
vsize: 30620
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10060 0 0 0 36968 35 0 0 25 0 1 0 970180285 31625216 7178 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7178 301 301 0 7420 0
vsize: 30884
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10152 0 0 0 37968 36 0 0 25 0 1 0 970180285 31895552 7268 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7268 301 301 0 7486 0
vsize: 31148
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10242 0 0 0 38968 36 0 0 25 0 1 0 970180285 32165888 7357 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7357 301 301 0 7552 0
vsize: 31412
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10331 0 0 0 39968 36 0 0 25 0 1 0 970180285 32301056 7444 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7444 301 301 0 7585 0
vsize: 31544
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10418 0 0 0 40967 37 0 0 25 0 1 0 970180285 32571392 7530 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7952 7530 301 301 0 7651 0
vsize: 31808
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10506 0 0 0 41967 37 0 0 25 0 1 0 970180285 32841728 7616 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7616 301 301 0 7717 0
vsize: 32072
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24969
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10593 0 0 0 42966 38 0 0 25 0 1 0 970180285 32976896 7702 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7702 301 301 0 7750 0
vsize: 32204
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 25005
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10676 0 0 0 43959 44 0 0 25 0 1 0 970180285 33247232 7784 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8117 7784 301 301 0 7816 0
vsize: 32468
[startup+450.025 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 25022
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10760 0 0 0 44956 48 0 0 25 0 1 0 970180285 33517568 7866 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8183 7866 301 301 0 7882 0
vsize: 32732
[startup+460.026 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 25022
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10842 0 0 0 45956 48 0 0 25 0 1 0 970180285 33652736 7947 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7947 301 301 0 7915 0
vsize: 32864
[startup+470.027 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 25022
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 10923 0 0 0 46955 49 0 0 25 0 1 0 970180285 33923072 8027 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8282 8027 301 301 0 7981 0
vsize: 33128
[startup+480.028 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 25022
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 14818 0 0 0 47948 56 0 0 25 0 1 0 970180285 49258496 9102 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9102 301 301 0 11725 0
vsize: 48104
[startup+490.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25022
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 14846 0 0 0 48948 57 0 0 25 0 1 0 970180285 49258496 9129 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9129 301 301 0 11725 0
vsize: 48104
[startup+500.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25022
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 14874 0 0 0 49948 57 0 0 25 0 1 0 970180285 49258496 9156 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9156 301 301 0 11725 0
vsize: 48104
[startup+510.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25022
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 14901 0 0 0 50948 57 0 0 25 0 1 0 970180285 49258496 9182 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9182 301 301 0 11725 0
vsize: 48104
[startup+520.028 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 14930 0 0 0 51948 58 0 0 25 0 1 0 970180285 49258496 9209 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9209 301 301 0 11725 0
vsize: 48104
[startup+530.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 14957 0 0 0 52947 58 0 0 25 0 1 0 970180285 49258496 9235 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9235 301 301 0 11725 0
vsize: 48104
[startup+540.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 14984 0 0 0 53947 59 0 0 25 0 1 0 970180285 49258496 9261 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9261 301 301 0 11725 0
vsize: 48104
[startup+550.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15010 0 0 0 54947 59 0 0 25 0 1 0 970180285 49258496 9286 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9286 301 301 0 11725 0
vsize: 48104
[startup+560.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15038 0 0 0 55947 59 0 0 25 0 1 0 970180285 49258496 9312 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9312 301 301 0 11725 0
vsize: 48104
[startup+570.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15064 0 0 0 56947 60 0 0 25 0 1 0 970180285 49258496 9337 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9337 301 301 0 11725 0
vsize: 48104
[startup+580.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15090 0 0 0 57947 60 0 0 25 0 1 0 970180285 49258496 9362 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9362 301 301 0 11725 0
vsize: 48104
[startup+590.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15116 0 0 0 58947 60 0 0 25 0 1 0 970180285 49258496 9387 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9387 301 301 0 11725 0
vsize: 48104
[startup+600.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15141 0 0 0 59947 60 0 0 25 0 1 0 970180285 49258496 9411 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9411 301 301 0 11725 0
vsize: 48104
[startup+610.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15177 0 0 0 60947 61 0 0 25 0 1 0 970180285 49258496 9446 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9446 301 301 0 11725 0
vsize: 48104
[startup+620.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15219 0 0 0 61946 61 0 0 25 0 1 0 970180285 49258496 9486 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9486 301 301 0 11725 0
vsize: 48104
[startup+630.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15243 0 0 0 62946 62 0 0 25 0 1 0 970180285 49258496 9509 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9509 301 301 0 11725 0
vsize: 48104
[startup+640.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15268 0 0 0 63946 62 0 0 25 0 1 0 970180285 49258496 9533 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9533 301 301 0 11725 0
vsize: 48104
[startup+650.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15292 0 0 0 64946 62 0 0 25 0 1 0 970180285 49258496 9556 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9556 301 301 0 11725 0
vsize: 48104
[startup+660.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15317 0 0 0 65946 63 0 0 25 0 1 0 970180285 49258496 9580 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9580 301 301 0 11725 0
vsize: 48104
[startup+670.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 15348 0 0 0 66945 64 0 0 25 0 1 0 970180285 49393664 9610 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12059 9610 301 301 0 11758 0
vsize: 48236
[startup+680.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 37305 0 0 0 67897 112 0 0 25 0 1 0 970180285 117477376 23799 4294967295 134512640 135730672 3221224576 3220307632 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28681 23799 301 301 0 28380 0
vsize: 114724
[startup+690.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 61869 0 0 0 68846 164 0 0 25 0 1 0 970180285 191881216 38921 4294967295 134512640 135730672 3221224576 3220499420 134637879 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46846 38922 301 301 0 46545 0
vsize: 187384
[startup+700.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 96588 0 0 0 69772 238 0 0 25 0 1 0 970180285 291786752 51957 4294967295 134512640 135730672 3221224576 3220421888 134610850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71237 51957 301 301 0 70936 0
vsize: 284948
[startup+710.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 113381 0 0 0 70730 279 0 0 25 0 1 0 970180285 341696512 68522 4294967295 134512640 135730672 3221224576 3220504896 134546572 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83422 68523 301 301 0 83121 0
vsize: 333688
[startup+720.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 151038 0 0 0 71658 352 0 0 25 0 1 0 970180285 462876672 87618 4294967295 134512640 135730672 3221224576 3220189884 134772437 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113007 87618 301 301 0 112706 0
vsize: 452028
[startup+730.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 186721 0 0 0 72575 435 0 0 25 0 1 0 970180285 563539968 98526 4294967295 134512640 135730672 3221224576 3221220820 134540264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137583 98526 301 301 0 137282 0
vsize: 550332
[startup+740.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 198554 0 0 0 73549 462 0 0 25 0 1 0 970180285 597094400 110146 4294967295 134512640 135730672 3221224576 3220040960 134606754 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145775 110147 301 301 0 145474 0
vsize: 583100
[startup+750.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 211886 0 0 0 74517 494 0 0 25 0 1 0 970180285 598851584 123247 4294967295 134512640 135730672 3221224576 3219966128 134786262 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146204 123247 301 301 0 145903 0
vsize: 584816
[startup+760.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25024
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 228334 0 0 0 75476 535 0 0 25 0 1 0 970180285 611422208 139456 4294967295 134512640 135730672 3221224576 3220133676 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149273 139458 301 301 0 148972 0
vsize: 597092
[startup+770.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 25026
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 238579 0 0 0 76450 562 0 0 25 0 1 0 970180285 671039488 148965 4294967295 134512640 135730672 3221224576 3221222828 135281187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163828 148965 301 301 0 163527 0
vsize: 655312
[startup+773.043 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 25026
Raw data (stat): 24969 (pb2sat-v2) R 24968 21152 21151 0 -1 0 238579 0 0 0 76450 562 0 0 25 0 1 0 970180285 671039488 148965 4294967295 134512640 135730672 3221224576 3221222828 135281187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163828 148965 301 301 0 163527 0
vsize: 0

Child status: 1
Real time (s): 773.043
CPU time (s): 773.115
CPU user time (s): 767.188
CPU system time (s): 5.9271
CPU usage (%): 100.009
Max. virtual memory (Kb): 655312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####