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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb
MD5SUM	d116f9238cf2e97b47b1161aa0f7f9ea
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	124714
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	862062472006152900
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.31665
Number of variables	244494
Total number of constraints	6084
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	6084
Minimum length of a constraint	10
Maximum length of a constraint	4560

Trace number 42702

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 13:52:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25909 boxname=wulflinc4 idbench=1209 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d116f9238cf2e97b47b1161aa0f7f9ea  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-dfl001.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-dfl001.opb
IDLAUNCH: 25909
/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:        792424 kB
Buffers:          2488 kB
Cached:         217132 kB
SwapCached:        904 kB
Active:          40368 kB
Inactive:       181332 kB
HighTotal:      131008 kB
HighFree:        22484 kB
LowTotal:       903652 kB
LowFree:        769940 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14844 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:01:17 (client local time) WITH STATUS 1 IN 536.201 SECONDS
stats: 25909 7 536.201 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.84 0.92 0.90 2/54 27553
Raw data (stat): 27553 (runsolver) R 27552 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971258028 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.0002 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 2163 0 0 0 992 7 0 0 25 0 1 0 971258028 7958528 1487 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1487 301 301 0 1642 0
vsize: 7772
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 2685 0 0 0 1991 8 0 0 25 0 1 0 971258028 9310208 2001 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2273 2001 301 301 0 1972 0
vsize: 9092
[startup+30.0005 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 3847 0 0 0 2988 11 0 0 25 0 1 0 971258028 13414400 2451 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2451 301 301 0 2974 0
vsize: 13100
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 4077 0 0 0 3987 12 0 0 25 0 1 0 971258028 13955072 2676 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3407 2676 301 301 0 3106 0
vsize: 13628
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 4335 0 0 0 4986 12 0 0 25 0 1 0 971258028 14630912 2930 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2930 301 301 0 3271 0
vsize: 14288
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 4568 0 0 0 5985 13 0 0 25 0 1 0 971258028 15171584 3159 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3704 3159 301 301 0 3403 0
vsize: 14816
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 4783 0 0 0 6985 14 0 0 25 0 1 0 971258028 15847424 3371 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3371 301 301 0 3568 0
vsize: 15476
[startup+80.0028 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 4982 0 0 0 7984 15 0 0 25 0 1 0 971258028 16388096 3567 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3567 301 301 0 3700 0
vsize: 16004
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 5168 0 0 0 8983 16 0 0 25 0 1 0 971258028 16793600 3750 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4100 3750 301 301 0 3799 0
vsize: 16400
[startup+100.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 5344 0 0 0 9983 17 0 0 25 0 1 0 971258028 17334272 3923 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3923 301 301 0 3931 0
vsize: 16928
[startup+110.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 5511 0 0 0 10982 17 0 0 25 0 1 0 971258028 17739776 4087 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4331 4087 301 301 0 4030 0
vsize: 17324
[startup+120.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 7496 0 0 0 11977 22 0 0 25 0 1 0 971258028 25407488 4660 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4660 301 301 0 5902 0
vsize: 24812
[startup+130.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 7552 0 0 0 12977 22 0 0 25 0 1 0 971258028 25407488 4713 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4713 301 301 0 5902 0
vsize: 24812
[startup+140.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 7605 0 0 0 13977 22 0 0 25 0 1 0 971258028 25407488 4764 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4764 301 301 0 5902 0
vsize: 24812
[startup+150.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 7684 0 0 0 14977 23 0 0 25 0 1 0 971258028 25407488 4840 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4840 301 301 0 5902 0
vsize: 24812
[startup+160.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 7735 0 0 0 15976 24 0 0 25 0 1 0 971258028 25542656 4889 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6236 4889 301 301 0 5935 0
vsize: 24944
[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 7871 0 0 0 16976 24 0 0 25 0 1 0 971258028 25812992 5023 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5023 301 301 0 6001 0
vsize: 25208
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8001 0 0 0 17975 25 0 0 25 0 1 0 971258028 26218496 5151 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5151 301 301 0 6100 0
vsize: 25604
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8132 0 0 0 18975 25 0 0 25 0 1 0 971258028 26488832 5280 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5280 301 301 0 6166 0
vsize: 25868
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8257 0 0 0 19974 25 0 0 25 0 1 0 971258028 26894336 5403 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5403 301 301 0 6265 0
vsize: 26264
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8380 0 0 0 20974 26 0 0 25 0 1 0 971258028 27164672 5524 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5524 301 301 0 6331 0
vsize: 26528
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8497 0 0 0 21974 26 0 0 25 0 1 0 971258028 27435008 5639 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6698 5639 301 301 0 6397 0
vsize: 26792
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8614 0 0 0 22974 26 0 0 25 0 1 0 971258028 27840512 5754 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5754 301 301 0 6496 0
vsize: 27188
[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8728 0 0 0 23973 27 0 0 25 0 1 0 971258028 28110848 5866 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5866 301 301 0 6562 0
vsize: 27452
[startup+250.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8840 0 0 0 24973 27 0 0 25 0 1 0 971258028 28381184 5976 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5976 301 301 0 6628 0
vsize: 27716
[startup+260.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 8950 0 0 0 25973 28 0 0 25 0 1 0 971258028 28651520 6085 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6085 301 301 0 6694 0
vsize: 27980
[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9059 0 0 0 26973 28 0 0 25 0 1 0 971258028 28921856 6192 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6192 301 301 0 6760 0
vsize: 28244
[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9164 0 0 0 27972 29 0 0 25 0 1 0 971258028 29192192 6295 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6295 301 301 0 6826 0
vsize: 28508
[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9269 0 0 0 28972 29 0 0 25 0 1 0 971258028 29597696 6398 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6398 301 301 0 6925 0
vsize: 28904
[startup+300.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9372 0 0 0 29972 30 0 0 25 0 1 0 971258028 29868032 6500 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6500 301 301 0 6991 0
vsize: 29168
[startup+310.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9472 0 0 0 30972 30 0 0 25 0 1 0 971258028 30138368 6598 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6598 301 301 0 7057 0
vsize: 29432
[startup+320.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9573 0 0 0 31972 30 0 0 25 0 1 0 971258028 30273536 6697 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6697 301 301 0 7090 0
vsize: 29564
[startup+330.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9670 0 0 0 32972 30 0 0 25 0 1 0 971258028 30543872 6793 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6793 301 301 0 7156 0
vsize: 29828
[startup+340.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9767 0 0 0 33971 30 0 0 25 0 1 0 971258028 30814208 6888 4294967295 134512640 135730672 3221224576 3221221776 134577534 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6888 301 301 0 7222 0
vsize: 30092
[startup+350.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9861 0 0 0 34971 31 0 0 25 0 1 0 971258028 31084544 6981 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6981 301 301 0 7288 0
vsize: 30356
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 9956 0 0 0 35971 31 0 0 25 0 1 0 971258028 31354880 7074 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7074 301 301 0 7354 0
vsize: 30620
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 10049 0 0 0 36970 32 0 0 25 0 1 0 971258028 31625216 7166 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7166 301 301 0 7420 0
vsize: 30884
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 10141 0 0 0 37970 32 0 0 25 0 1 0 971258028 31895552 7256 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7256 301 301 0 7486 0
vsize: 31148
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 10230 0 0 0 38970 32 0 0 25 0 1 0 971258028 32030720 7344 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7344 301 301 0 7519 0
vsize: 31280
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 10321 0 0 0 39970 33 0 0 25 0 1 0 971258028 32301056 7433 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7433 301 301 0 7585 0
vsize: 31544
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 10409 0 0 0 40970 33 0 0 25 0 1 0 971258028 32571392 7520 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7952 7520 301 301 0 7651 0
vsize: 31808
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 10495 0 0 0 41970 33 0 0 25 0 1 0 971258028 32841728 7605 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7605 301 301 0 7717 0
vsize: 32072
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 10581 0 0 0 42969 33 0 0 25 0 1 0 971258028 32976896 7689 4294967295 134512640 135730672 3221224576 3221220920 135284312 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7689 301 301 0 7750 0
vsize: 32204
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 39236 0 0 0 43910 93 0 0 25 0 1 0 971258028 127184896 22897 4294967295 134512640 135730672 3221224576 3221111912 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31051 22898 301 301 0 30750 0
vsize: 124204
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 73916 0 0 0 44839 164 0 0 25 0 1 0 971258028 236085248 41998 4294967295 134512640 135730672 3221224576 3220860852 135281249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57638 41998 301 301 0 57337 0
vsize: 230552
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27553
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 101012 0 0 0 45783 220 0 0 25 0 1 0 971258028 294047744 56067 4294967295 134512640 135730672 3221224576 3220871440 134546483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71789 56068 301 301 0 71488 0
vsize: 287156
[startup+470.024 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27606
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 119776 0 0 0 46747 257 0 0 25 0 1 0 971258028 354770944 74611 4294967295 134512640 135730672 3221224576 3220872784 134786302 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86614 74611 301 301 0 86313 0
vsize: 346456
[startup+480.024 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27606
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 158803 0 0 0 47674 330 0 0 25 0 1 0 971258028 480006144 95069 4294967295 134512640 135730672 3221224576 3220854704 134607989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117189 95069 301 301 0 116888 0
vsize: 468756
[startup+490.027 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27606
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 194408 0 0 0 48600 404 0 0 25 0 1 0 971258028 580669440 105898 4294967295 134512640 135730672 3221224576 3220858576 134551105 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141765 105898 301 301 0 141464 0
vsize: 567060
[startup+500.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27606
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 208972 0 0 0 49572 432 0 0 25 0 1 0 971258028 629092352 120264 4294967295 134512640 135730672 3221224576 3220870928 134786660 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153587 120264 301 301 0 153286 0
vsize: 614348
[startup+510.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27606
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 228104 0 0 0 50534 470 0 0 25 0 1 0 971258028 657076224 139172 4294967295 134512640 135730672 3221224576 3220874092 135301640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160419 139172 301 301 0 160118 0
vsize: 641676
[startup+520.028 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27606
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 247029 0 0 0 51500 505 0 0 25 0 1 0 971258028 684380160 157874 4294967295 134512640 135730672 3221224576 3220836104 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167085 157874 301 301 0 166784 0
vsize: 668340
[startup+530.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27606
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 256489 0 0 0 52482 522 0 0 25 0 1 0 971258028 747311104 166735 4294967295 134512640 135730672 3221224576 3221223004 135284036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182449 166735 301 301 0 182148 0
vsize: 729796
[startup+536.174 s]
Raw data (loadavg): 1.02 0.99 0.91 1/53 27608
Raw data (stat): 27553 (pb2sat-v2) R 27552 21152 21151 0 -1 0 256489 0 0 0 52482 522 0 0 25 0 1 0 971258028 747311104 166735 4294967295 134512640 135730672 3221224576 3221223004 135284036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182449 166735 301 301 0 182148 0
vsize: 0

Child status: 1
Real time (s): 536.174
CPU time (s): 536.201
CPU user time (s): 530.631
CPU system time (s): 5.56915
CPU usage (%): 100.005
Max. virtual memory (Kb): 729796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####