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-fit2d.opb
MD5SUM	2e76b80d3e2b7702736bbbb87d69e547
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	75000
Biggest coefficient in the objective function	20812800
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	5499924834
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	20812800
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	5499924834
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.850869
Number of variables	87000
Total number of constraints	10525
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	10525
Minimum length of a constraint	7
Maximum length of a constraint	87000

Trace number 42709

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        642016 kB
Buffers:         23760 kB
Cached:         346256 kB
SwapCached:        788 kB
Active:          57072 kB
Inactive:       315136 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        641764 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14704 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:04:12 (client local time) WITH STATUS 1 IN 460.959 SECONDS
stats: 25916 7 460.959 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.93 0.91 2/54 23874
Raw data (stat): 23874 (runsolver) R 23873 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971284023 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.0013 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 2162 0 0 0 994 5 0 0 25 0 1 0 971284023 7958528 1486 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1943 1486 301 301 0 1642 0
vsize: 7772
[startup+20.0026 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 2686 0 0 0 1993 6 0 0 25 0 1 0 971284023 9310208 2002 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2273 2002 301 301 0 1972 0
vsize: 9092
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 3858 0 0 0 2990 9 0 0 25 0 1 0 971284023 13414400 2462 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2462 301 301 0 2974 0
vsize: 13100
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 4109 0 0 0 3989 10 0 0 25 0 1 0 971284023 14090240 2708 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3440 2708 301 301 0 3139 0
vsize: 13760
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 4374 0 0 0 4988 11 0 0 25 0 1 0 971284023 14766080 2969 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3605 2969 301 301 0 3304 0
vsize: 14420
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 4610 0 0 0 5987 12 0 0 25 0 1 0 971284023 15306752 3201 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3201 301 301 0 3436 0
vsize: 14948
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 4823 0 0 0 6986 13 0 0 25 0 1 0 971284023 15847424 3410 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3869 3410 301 301 0 3568 0
vsize: 15476
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 5021 0 0 0 7985 14 0 0 25 0 1 0 971284023 16388096 3605 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4001 3605 301 301 0 3700 0
vsize: 16004
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 5206 0 0 0 8984 15 0 0 25 0 1 0 971284023 16928768 3787 4294967295 134512640 135730672 3221224576 3221221448 135285245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4133 3787 301 301 0 3832 0
vsize: 16532
[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 5381 0 0 0 9983 16 0 0 25 0 1 0 971284023 17334272 3959 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3959 301 301 0 3931 0
vsize: 16928
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 7451 0 0 0 10978 22 0 0 25 0 1 0 971284023 25407488 4617 4294967295 134512640 135730672 3221224576 3221221748 135159546 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4617 301 301 0 5902 0
vsize: 24812
[startup+120.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 7507 0 0 0 11978 22 0 0 25 0 1 0 971284023 25407488 4670 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4670 301 301 0 5902 0
vsize: 24812
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 7561 0 0 0 12978 22 0 0 25 0 1 0 971284023 25407488 4722 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4722 301 301 0 5902 0
vsize: 24812
[startup+140.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 7613 0 0 0 13978 22 0 0 25 0 1 0 971284023 25407488 4771 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4771 301 301 0 5902 0
vsize: 24812
[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 10555 0 0 0 14973 27 0 0 25 0 1 0 971284023 34086912 6950 4294967295 134512640 135730672 3221224576 3221219008 134770685 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8322 6951 301 301 0 8021 0
vsize: 33288
[startup+160.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18090 0 0 0 15956 45 0 0 25 0 1 0 971284023 55377920 11342 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13520 11342 301 301 0 13219 0
vsize: 54080
[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18090 0 0 0 16955 45 0 0 25 0 1 0 971284023 55377920 11342 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13520 11342 301 301 0 13219 0
vsize: 54080
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18232 0 0 0 17955 46 0 0 25 0 1 0 971284023 56430592 11484 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13777 11484 301 301 0 13476 0
vsize: 55108
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18253 0 0 0 18955 46 0 0 25 0 1 0 971284023 56430592 11505 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13777 11505 301 301 0 13476 0
vsize: 55108
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18270 0 0 0 19955 46 0 0 25 0 1 0 971284023 56430592 11522 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13777 11522 301 301 0 13476 0
vsize: 55108
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23874
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18285 0 0 0 20955 46 0 0 25 0 1 0 971284023 56430592 11537 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13777 11537 301 301 0 13476 0
vsize: 55108
[startup+220.011 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 23927
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18299 0 0 0 21954 46 0 0 25 0 1 0 971284023 56430592 11551 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13777 11551 301 301 0 13476 0
vsize: 55108
[startup+230.011 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 23927
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18312 0 0 0 22955 46 0 0 25 0 1 0 971284023 56430592 11564 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13777 11564 301 301 0 13476 0
vsize: 55108
[startup+240.02 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 23927
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18324 0 0 0 23955 46 0 0 25 0 1 0 971284023 56430592 11576 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13777 11576 301 301 0 13476 0
vsize: 55108
[startup+250.019 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 23927
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18336 0 0 0 24956 46 0 0 25 0 1 0 971284023 56430592 11588 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13777 11588 301 301 0 13476 0
vsize: 55108
[startup+260.02 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 23927
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18346 0 0 0 25956 47 0 0 25 0 1 0 971284023 56430592 11598 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13777 11598 301 301 0 13476 0
vsize: 55108
[startup+270.02 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 23927
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18648 0 0 0 26954 48 0 0 25 0 1 0 971284023 57614336 11643 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 11643 301 301 0 13765 0
vsize: 56264
[startup+280.02 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 23927
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18658 0 0 0 27954 48 0 0 25 0 1 0 971284023 57614336 11653 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 11653 301 301 0 13765 0
vsize: 56264
[startup+290.021 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18668 0 0 0 28954 48 0 0 25 0 1 0 971284023 57614336 11663 4294967295 134512640 135730672 3221224576 3221221696 134577277 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 11663 301 301 0 13765 0
vsize: 56264
[startup+300.022 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18677 0 0 0 29955 48 0 0 25 0 1 0 971284023 57614336 11672 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 11672 301 301 0 13765 0
vsize: 56264
[startup+310.022 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18686 0 0 0 30955 48 0 0 25 0 1 0 971284023 57614336 11681 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 11681 301 301 0 13765 0
vsize: 56264
[startup+320.023 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18695 0 0 0 31955 48 0 0 25 0 1 0 971284023 57614336 11690 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 11690 301 301 0 13765 0
vsize: 56264
[startup+330.023 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18703 0 0 0 32955 48 0 0 25 0 1 0 971284023 57614336 11698 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14066 11698 301 301 0 13765 0
vsize: 56264
[startup+340.023 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18711 0 0 0 33954 48 0 0 25 0 1 0 971284023 57614336 11706 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 11706 301 301 0 13765 0
vsize: 56264
[startup+350.023 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 18719 0 0 0 34954 48 0 0 25 0 1 0 971284023 57614336 11714 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 11714 301 301 0 13765 0
vsize: 56264
[startup+360.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 49506 0 0 0 35886 117 0 0 25 0 1 0 971284023 168718336 32878 4294967295 134512640 135730672 3221224576 3181384664 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41191 32879 301 301 0 40890 0
vsize: 164764
[startup+370.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 84219 0 0 0 36811 193 0 0 25 0 1 0 971284023 322654208 60834 4294967295 134512640 135730672 3221224576 3181198872 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78773 60837 301 301 0 78472 0
vsize: 315092
[startup+380.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 111972 0 0 0 37747 257 0 0 25 0 1 0 971284023 346996736 66790 4294967295 134512640 135730672 3221224576 3187940520 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84716 66790 301 301 0 84415 0
vsize: 338864
[startup+390.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 130165 0 0 0 38702 301 0 0 25 0 1 0 971284023 405692416 84773 4294967295 134512640 135730672 3221224576 3190511652 135291159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99046 84773 301 301 0 98745 0
vsize: 396184
[startup+400.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 171179 0 0 0 39622 382 0 0 25 0 1 0 971284023 540393472 106199 4294967295 134512640 135730672 3221224576 3182102336 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131932 106199 301 301 0 131631 0
vsize: 527728
[startup+410.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 207379 0 0 0 40542 463 0 0 25 0 1 0 971284023 641056768 117624 4294967295 134512640 135730672 3221224576 3189935720 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156508 117625 301 301 0 156207 0
vsize: 626032
[startup+420.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 220314 0 0 0 41508 497 0 0 25 0 1 0 971284023 681910272 130357 4294967295 134512640 135730672 3221224576 3181476536 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166482 130357 301 301 0 166181 0
vsize: 665928
[startup+430.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 239324 0 0 0 42467 537 0 0 25 0 1 0 971284023 708673536 149151 4294967295 134512640 135730672 3221224576 3185460056 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173016 149151 301 301 0 172715 0
vsize: 692064
[startup+440.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 258069 0 0 0 43423 579 0 0 25 0 1 0 971284023 734490624 167688 4294967295 134512640 135730672 3221224576 3201071632 134770605 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179319 167689 301 301 0 179018 0
vsize: 717276
[startup+450.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 272903 0 0 0 44382 613 0 0 25 0 1 0 971284023 807092224 182345 4294967295 134512640 135730672 3221224576 3189509908 135141884 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197044 182345 301 301 0 196743 0
vsize: 788176
[startup+460.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 272905 0 0 0 45367 628 0 0 25 0 1 0 971284023 442167296 107508 4294967295 134512640 135730672 3221224576 3221222916 135282196 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107951 107508 301 301 0 107650 0
vsize: 431804
[startup+461.069 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 23929
Raw data (stat): 23874 (pb2sat-v2) R 23873 20224 20223 0 -1 0 272905 0 0 0 45367 628 0 0 25 0 1 0 971284023 442167296 107508 4294967295 134512640 135730672 3221224576 3221222916 135282196 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107951 107508 301 301 0 107650 0
vsize: 0

Child status: 1
Real time (s): 461.068
CPU time (s): 460.959
CPU user time (s): 454.448
CPU system time (s): 6.51101
CPU usage (%): 99.9763
Max. virtual memory (Kb): 788176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####