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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb
MD5SUM16a606cf9ab6b9dba681e237f3d29f84
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 126788
Biggest coefficient in the objective function 175552593920000
Number of bits for the biggest coefficient in the objective function 48
Sum of the numbers in the objective function 8868947507751438
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 175552593920000
Number of bits of the biggest number in a constraint 48
Biggest sum of numbers in a constraint 8868947507751438
Number of bits of the biggest sum of numbers53
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.618
Number of variables157082
Total number of constraints5220
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5220
Minimum length of a constraint7
Maximum length of a constraint2220

Trace number 10376

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-23 17:51:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9075 boxname=wulflinc11 idbench=871 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  16a606cf9ab6b9dba681e237f3d29f84  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-80bau3b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-80bau3b.opb
IDLAUNCH: 9075
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        891676 kB
Buffers:          9528 kB
Cached:         107704 kB
SwapCached:          0 kB
Active:          69544 kB
Inactive:        57256 kB
HighTotal:      131008 kB
HighFree:        21000 kB
LowTotal:       903652 kB
LowFree:        870676 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10492 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:00:45 (client local time) WITH STATUS 1 IN 551.351 SECONDS
stats: 9075 7 551.351 1

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22128538 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 373 2 364 364 0 9 0
[pid=11000] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-80bau3b.opb

[startup+10.0019 s]
Raw data (loadavg): 0.86 0.92 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 2442 0 0 0 991 7 0 0 25 0 1 0 22128538 9322496 1790 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 2276 1790 364 364 0 1912 0
[pid=11000] vsize: 9104
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9104

[startup+20.0027 s]
Raw data (loadavg): 0.88 0.92 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 2984 0 0 0 1989 8 0 0 25 0 1 0 22128538 10674176 2323 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 2606 2323 364 364 0 2242 0
[pid=11000] vsize: 10424
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 10424

[startup+30.0025 s]
Raw data (loadavg): 0.90 0.92 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 4371 0 0 0 2987 11 0 0 25 0 1 0 22128538 15720448 2965 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 3838 2965 364 364 0 3474 0
[pid=11000] vsize: 15352
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15352

[startup+40.0033 s]
Raw data (loadavg): 0.91 0.92 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 4644 0 0 0 3986 11 0 0 25 0 1 0 22128538 16396288 3233 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 4003 3233 364 364 0 3639 0
[pid=11000] vsize: 16012
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 16012

[startup+50.0041 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 4915 0 0 0 4985 13 0 0 25 0 1 0 22128538 17072128 3500 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 4168 3500 364 364 0 3804 0
[pid=11000] vsize: 16672
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16672

[startup+60.0039 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 5143 0 0 0 5985 13 0 0 25 0 1 0 22128538 17747968 3724 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 4333 3724 364 364 0 3969 0
[pid=11000] vsize: 17332
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17332

[startup+70.0036 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 5351 0 0 0 6984 14 0 0 25 0 1 0 22128538 18288640 3929 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 4465 3929 364 364 0 4101 0
[pid=11000] vsize: 17860
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17860

[startup+80.0044 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 5543 0 0 0 7983 15 0 0 25 0 1 0 22128538 18694144 4118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 4564 4118 364 364 0 4200 0
[pid=11000] vsize: 18256
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18256

[startup+90.0042 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 5726 0 0 0 8982 16 0 0 25 0 1 0 22128538 19234816 4298 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 4696 4298 364 364 0 4332 0
[pid=11000] vsize: 18784
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18784

[startup+100.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 5897 0 0 0 9982 17 0 0 25 0 1 0 22128538 19640320 4466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 4795 4466 364 364 0 4431 0
[pid=11000] vsize: 19180
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19180

[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 8287 0 0 0 10976 22 0 0 25 0 1 0 22128538 28921856 5379 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7061 5379 364 364 0 6697 0
[pid=11000] vsize: 28244
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28244

[startup+120.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 8344 0 0 0 11976 22 0 0 25 0 1 0 22128538 28921856 5433 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7061 5433 364 364 0 6697 0
[pid=11000] vsize: 28244
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28244

[startup+130.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 8435 0 0 0 12976 23 0 0 25 0 1 0 22128538 29057024 5522 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7094 5522 364 364 0 6730 0
[pid=11000] vsize: 28376
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28376

[startup+140.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 8560 0 0 0 13975 23 0 0 25 0 1 0 22128538 29327360 5644 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7160 5645 364 364 0 6796 0
[pid=11000] vsize: 28640
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28640

[startup+150.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 8681 0 0 0 14975 24 0 0 25 0 1 0 22128538 29597696 5763 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7226 5763 364 364 0 6862 0
[pid=11000] vsize: 28904
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28904

[startup+160.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 8800 0 0 0 15975 24 0 0 25 0 1 0 22128538 29868032 5880 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7292 5880 364 364 0 6928 0
[pid=11000] vsize: 29168
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29168

[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 8914 0 0 0 16974 24 0 0 25 0 1 0 22128538 30138368 5992 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7358 5992 364 364 0 6994 0
[pid=11000] vsize: 29432
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29432

[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9028 0 0 0 17974 25 0 0 25 0 1 0 22128538 30408704 6104 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7424 6104 364 364 0 7060 0
[pid=11000] vsize: 29696
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29696

[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9153 0 0 0 18974 25 0 0 25 0 1 0 22128538 30814208 6227 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7523 6227 364 364 0 7159 0
[pid=11000] vsize: 30092
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30092

[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9274 0 0 0 19974 26 0 0 25 0 1 0 22128538 31084544 6346 4294967295 134512640 135987407 3221224560 3221221896 134612850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7589 6346 364 364 0 7225 0
[pid=11000] vsize: 30356
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 30356

[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9394 0 0 0 20973 26 0 0 25 0 1 0 22128538 31354880 6464 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7655 6464 364 364 0 7291 0
[pid=11000] vsize: 30620
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30620

[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9512 0 0 0 21973 26 0 0 25 0 1 0 22128538 31760384 6580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7754 6580 364 364 0 7390 0
[pid=11000] vsize: 31016
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 31016

[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9625 0 0 0 22973 27 0 0 25 0 1 0 22128538 32030720 6691 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7820 6691 364 364 0 7456 0
[pid=11000] vsize: 31280
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 31280

[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9739 0 0 0 23972 27 0 0 25 0 1 0 22128538 32301056 6803 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7886 6803 364 364 0 7522 0
[pid=11000] vsize: 31544
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31544

[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9849 0 0 0 24971 28 0 0 25 0 1 0 22128538 32571392 6911 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 7952 6911 364 364 0 7588 0
[pid=11000] vsize: 31808
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31808

[startup+260.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 9958 0 0 0 25971 28 0 0 25 0 1 0 22128538 32841728 7019 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8018 7019 364 364 0 7654 0
[pid=11000] vsize: 32072
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 32072

[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10064 0 0 0 26971 29 0 0 25 0 1 0 22128538 33112064 7123 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8084 7123 364 364 0 7720 0
[pid=11000] vsize: 32336
Current children cumulated CPU time (s) 270
Current children cumulated vsize (Kb) 32336

[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10168 0 0 0 27970 30 0 0 25 0 1 0 22128538 33382400 7225 4294967295 134512640 135987407 3221224560 3221221792 134534651 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8150 7225 364 364 0 7786 0
[pid=11000] vsize: 32600
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 32600

[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10269 0 0 0 28970 31 0 0 25 0 1 0 22128538 33652736 7325 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8216 7325 364 364 0 7852 0
[pid=11000] vsize: 32864
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 32864

[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10372 0 0 0 29969 31 0 0 25 0 1 0 22128538 33923072 7426 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8282 7426 364 364 0 7918 0
[pid=11000] vsize: 33128
Current children cumulated CPU time (s) 300
Current children cumulated vsize (Kb) 33128

[startup+310.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10471 0 0 0 30969 32 0 0 25 0 1 0 22128538 34193408 7523 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8348 7523 364 364 0 7984 0
[pid=11000] vsize: 33392
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 33392

[startup+320.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10571 0 0 0 31969 32 0 0 25 0 1 0 22128538 34463744 7622 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 8414 7622 364 364 0 8050 0
[pid=11000] vsize: 33656
Current children cumulated CPU time (s) 320.01
Current children cumulated vsize (Kb) 33656

[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10668 0 0 0 32968 32 0 0 25 0 1 0 22128538 34598912 7717 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 8447 7717 364 364 0 8083 0
[pid=11000] vsize: 33788
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 33788

[startup+340.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10764 0 0 0 33968 33 0 0 25 0 1 0 22128538 34869248 7812 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8513 7812 364 364 0 8149 0
[pid=11000] vsize: 34052
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 34052

[startup+350.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10858 0 0 0 34967 33 0 0 25 0 1 0 22128538 35139584 7904 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8579 7904 364 364 0 8215 0
[pid=11000] vsize: 34316
Current children cumulated CPU time (s) 350
Current children cumulated vsize (Kb) 34316

[startup+360.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 10950 0 0 0 35967 34 0 0 25 0 1 0 22128538 35409920 7995 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8645 7995 364 364 0 8281 0
[pid=11000] vsize: 34580
Current children cumulated CPU time (s) 360.01
Current children cumulated vsize (Kb) 34580

[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 11042 0 0 0 36967 34 0 0 25 0 1 0 22128538 35680256 8085 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8711 8085 364 364 0 8347 0
[pid=11000] vsize: 34844
Current children cumulated CPU time (s) 370.01
Current children cumulated vsize (Kb) 34844

[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 11132 0 0 0 37967 34 0 0 25 0 1 0 22128538 35815424 8174 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8744 8174 364 364 0 8380 0
[pid=11000] vsize: 34976
Current children cumulated CPU time (s) 380.01
Current children cumulated vsize (Kb) 34976

[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 11222 0 0 0 38967 34 0 0 25 0 1 0 22128538 36085760 8262 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8810 8262 364 364 0 8446 0
[pid=11000] vsize: 35240
Current children cumulated CPU time (s) 390.01
Current children cumulated vsize (Kb) 35240

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 11310 0 0 0 39966 35 0 0 25 0 1 0 22128538 36356096 8349 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8876 8349 364 364 0 8512 0
[pid=11000] vsize: 35504
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (Kb) 35504

[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 11397 0 0 0 40966 35 0 0 25 0 1 0 22128538 36491264 8434 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8909 8434 364 364 0 8545 0
[pid=11000] vsize: 35636
Current children cumulated CPU time (s) 410.01
Current children cumulated vsize (Kb) 35636

[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 11484 0 0 0 41966 35 0 0 25 0 1 0 22128538 36761600 8520 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 8975 8520 364 364 0 8611 0
[pid=11000] vsize: 35900
Current children cumulated CPU time (s) 420.01
Current children cumulated vsize (Kb) 35900

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 11568 0 0 0 42966 36 0 0 25 0 1 0 22128538 37031936 8603 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 9041 8603 364 364 0 8677 0
[pid=11000] vsize: 36164
Current children cumulated CPU time (s) 430.02
Current children cumulated vsize (Kb) 36164

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 11654 0 0 0 43966 36 0 0 25 0 1 0 22128538 37167104 8687 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 9074 8687 364 364 0 8710 0
[pid=11000] vsize: 36296
Current children cumulated CPU time (s) 440.02
Current children cumulated vsize (Kb) 36296

[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 15157 0 0 0 44958 43 0 0 25 0 1 0 22128538 63410176 12059 4294967295 134512640 135987407 3221224560 3221220880 134856594 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 15481 12062 364 364 0 15117 0
[pid=11000] vsize: 61924
Current children cumulated CPU time (s) 450.01
Current children cumulated vsize (Kb) 61924

[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) T 10999 11000 4060 0 -1 0 45175 0 0 0 45891 107 0 0 25 0 1 0 22128538 147005440 28605 4294967295 134512640 135987407 3221224560 3221154636 135635874 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11000/statm): 35890 28605 364 364 0 35526 0
[pid=11000] vsize: 143560
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (Kb) 143560

[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 83101 0 0 0 46815 180 0 0 25 0 1 0 22128538 273489920 50460 4294967295 134512640 135987407 3221224560 3221152720 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 66770 50461 364 364 0 66406 0
[pid=11000] vsize: 267080
Current children cumulated CPU time (s) 469.95
Current children cumulated vsize (Kb) 267080

[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 114301 0 0 0 47754 239 0 0 25 0 1 0 22128538 349097984 69140 4294967295 134512640 135987407 3221224560 3221154656 134876489 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 85229 69142 364 364 0 84865 0
[pid=11000] vsize: 340916
Current children cumulated CPU time (s) 479.93
Current children cumulated vsize (Kb) 340916

[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 133713 0 0 0 48711 280 0 0 25 0 1 0 22128538 411578368 88328 4294967295 134512640 135987407 3221224560 3221159056 134856702 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 100483 88329 364 364 0 100119 0
[pid=11000] vsize: 401932
Current children cumulated CPU time (s) 489.91
Current children cumulated vsize (Kb) 401932

[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 177416 0 0 0 49621 365 0 0 25 0 1 0 22128538 550842368 112415 4294967295 134512640 135987407 3221224560 3221172496 134856714 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 134483 112415 364 364 0 134119 0
[pid=11000] vsize: 537932
Current children cumulated CPU time (s) 499.86
Current children cumulated vsize (Kb) 537932

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11000
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 218710 0 0 0 50531 453 0 0 25 0 1 0 22128538 673943552 128930 4294967295 134512640 135987407 3221224560 3221157568 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 164537 128930 364 364 0 164173 0
[pid=11000] vsize: 658148
Current children cumulated CPU time (s) 509.84
Current children cumulated vsize (Kb) 658148

[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11055
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 235651 0 0 0 51493 489 0 0 25 0 1 0 22128538 730783744 145669 4294967295 134512640 135987407 3221224560 3221158896 134560647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 178414 145670 364 364 0 178050 0
[pid=11000] vsize: 713656
Current children cumulated CPU time (s) 519.82
Current children cumulated vsize (Kb) 713656

[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11055
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 255074 0 0 0 52453 528 0 0 25 0 1 0 22128538 756871168 164857 4294967295 134512640 135987407 3221224560 3221162080 134856581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 184783 164857 364 364 0 184419 0
[pid=11000] vsize: 739132
Current children cumulated CPU time (s) 529.81
Current children cumulated vsize (Kb) 739132

[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11055
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 273248 0 0 0 53418 561 0 0 25 0 1 0 22128538 833200128 182819 4294967295 134512640 135987407 3221224560 3221156320 134877628 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11000/statm): 203418 182819 364 364 0 203054 0
[pid=11000] vsize: 813672
Current children cumulated CPU time (s) 539.79
Current children cumulated vsize (Kb) 813672

[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11055
Raw data (/proc/11000/stat): 11000 (pb2sat) R 10999 11000 4060 0 -1 0 279772 0 0 0 54390 588 0 0 25 0 1 0 22128538 482238464 117193 4294967295 134512640 135987407 3221224560 3221223408 134884004 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11000/statm): 117734 117193 364 364 0 117370 0
[pid=11000] vsize: 470936
Current children cumulated CPU time (s) 549.78
Current children cumulated vsize (Kb) 470936
One traced child (pid=11000) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 551.586
CPU time (s): 551.351
CPU user time (s): 545.218
CPU system time (s): 6.13307
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (Kb): 813672

Verifier Data

ERROR: no interpretation found !