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-maros-r7.opb
MD5SUM652a81faea87c0443f84aaa4223a3702
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 125440
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 6576662400
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 4020224000000
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 8483418475850
Number of bits of the biggest sum of numbers43
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.18067
Number of variables188160
Total number of constraints3136
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 constraints3136
Minimum length of a constraint100
Maximum length of a constraint480

Trace number 10353

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 17:46:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9031 boxname=wulflinc19 idbench=827 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  652a81faea87c0443f84aaa4223a3702  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-maros-r7.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-maros-r7.opb
IDLAUNCH: 9031
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        869300 kB
Buffers:         16064 kB
Cached:         129252 kB
SwapCached:          0 kB
Active:          78328 kB
Inactive:        69916 kB
HighTotal:      131008 kB
HighFree:         5600 kB
LowTotal:       903652 kB
LowFree:        863700 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11520 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:55:47 (client local time) WITH STATUS 1 IN 545.136 SECONDS
stats: 9031 7 545.136 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/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22098051 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9641/statm): 373 2 364 364 0 9 0
[pid=9641] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-maros-r7.opb

[startup+10.002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 2452 0 0 0 994 5 0 0 25 0 1 0 22098051 9232384 1767 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9641/statm): 2254 1767 364 364 0 1890 0
[pid=9641] vsize: 9016
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9016

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 3012 0 0 0 1992 6 0 0 25 0 1 0 22098051 10719232 2318 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 2617 2318 364 364 0 2253 0
[pid=9641] vsize: 10468
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10468

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 4395 0 0 0 2990 9 0 0 25 0 1 0 22098051 15630336 2956 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 3816 2956 364 364 0 3452 0
[pid=9641] vsize: 15264
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 15264

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 4674 0 0 0 3988 10 0 0 25 0 1 0 22098051 16306176 3230 4294967295 134512640 135987407 3221224560 3221221864 134639648 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 3981 3230 364 364 0 3617 0
[pid=9641] vsize: 15924
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15924

[startup+50.0052 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 4935 0 0 0 4988 10 0 0 25 0 1 0 22098051 16982016 3487 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 4146 3487 364 364 0 3782 0
[pid=9641] vsize: 16584
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16584

[startup+60.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5168 0 0 0 5987 11 0 0 25 0 1 0 22098051 17657856 3716 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 4311 3716 364 364 0 3947 0
[pid=9641] vsize: 17244
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17244

[startup+70.0049 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5382 0 0 0 6986 12 0 0 25 0 1 0 22098051 18198528 3926 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 4443 3926 364 364 0 4079 0
[pid=9641] vsize: 17772
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17772

[startup+80.0057 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5577 0 0 0 7986 13 0 0 25 0 1 0 22098051 18739200 4118 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 4575 4118 364 364 0 4211 0
[pid=9641] vsize: 18300
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18300

[startup+90.0055 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5761 0 0 0 8985 13 0 0 25 0 1 0 22098051 19144704 4299 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 4674 4299 364 364 0 4310 0
[pid=9641] vsize: 18696
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18696

[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5936 0 0 0 9985 14 0 0 25 0 1 0 22098051 19550208 4472 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 4773 4472 364 364 0 4409 0
[pid=9641] vsize: 19092
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19092

[startup+110.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8299 0 0 0 10980 19 0 0 25 0 1 0 22098051 28696576 5357 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7006 5357 364 364 0 6642 0
[pid=9641] vsize: 28024
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 28024

[startup+120.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8357 0 0 0 11979 19 0 0 25 0 1 0 22098051 28696576 5412 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7006 5412 364 364 0 6642 0
[pid=9641] vsize: 28024
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28024

[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8469 0 0 0 12979 20 0 0 25 0 1 0 22098051 28966912 5522 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7072 5522 364 364 0 6708 0
[pid=9641] vsize: 28288
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28288

[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8594 0 0 0 13979 20 0 0 25 0 1 0 22098051 29237248 5645 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7138 5645 364 364 0 6774 0
[pid=9641] vsize: 28552
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28552

[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8718 0 0 0 14979 20 0 0 25 0 1 0 22098051 29642752 5766 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7237 5766 364 364 0 6873 0
[pid=9641] vsize: 28948
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28948

[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8836 0 0 0 15978 21 0 0 25 0 1 0 22098051 29913088 5882 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7303 5882 364 364 0 6939 0
[pid=9641] vsize: 29212
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29212

[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8950 0 0 0 16978 21 0 0 25 0 1 0 22098051 30183424 5994 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7369 5994 364 364 0 7005 0
[pid=9641] vsize: 29476
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29476

[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9072 0 0 0 17978 22 0 0 25 0 1 0 22098051 30453760 6114 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7435 6114 364 364 0 7071 0
[pid=9641] vsize: 29740
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 29740

[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9196 0 0 0 18978 22 0 0 25 0 1 0 22098051 30724096 6236 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7501 6236 364 364 0 7137 0
[pid=9641] vsize: 30004
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 30004

[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9320 0 0 0 19977 22 0 0 25 0 1 0 22098051 30994432 6358 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7567 6358 364 364 0 7203 0
[pid=9641] vsize: 30268
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30268

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9436 0 0 0 20977 22 0 0 25 0 1 0 22098051 31399936 6472 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7666 6472 364 364 0 7302 0
[pid=9641] vsize: 30664
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30664

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9554 0 0 0 21977 23 0 0 25 0 1 0 22098051 31670272 6588 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7732 6588 364 364 0 7368 0
[pid=9641] vsize: 30928
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 30928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9668 0 0 0 22977 23 0 0 25 0 1 0 22098051 31940608 6700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7798 6700 364 364 0 7434 0
[pid=9641] vsize: 31192
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 31192

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9781 0 0 0 23977 23 0 0 25 0 1 0 22098051 32210944 6811 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7864 6811 364 364 0 7500 0
[pid=9641] vsize: 31456
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 31456

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9890 0 0 0 24976 24 0 0 25 0 1 0 22098051 32481280 6919 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7930 6919 364 364 0 7566 0
[pid=9641] vsize: 31720
Current children cumulated CPU time (s) 250
Current children cumulated vsize (Kb) 31720

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9997 0 0 0 25976 24 0 0 25 0 1 0 22098051 32751616 7024 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 7996 7024 364 364 0 7632 0
[pid=9641] vsize: 31984
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 31984

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10104 0 0 0 26976 25 0 0 25 0 1 0 22098051 33021952 7129 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8062 7129 364 364 0 7698 0
[pid=9641] vsize: 32248
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 32248

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10206 0 0 0 27975 25 0 0 25 0 1 0 22098051 33292288 7230 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8128 7230 364 364 0 7764 0
[pid=9641] vsize: 32512
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 32512

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10310 0 0 0 28975 26 0 0 25 0 1 0 22098051 33562624 7332 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8194 7332 364 364 0 7830 0
[pid=9641] vsize: 32776
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 32776

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10409 0 0 0 29975 26 0 0 25 0 1 0 22098051 33832960 7429 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8260 7429 364 364 0 7896 0
[pid=9641] vsize: 33040
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 33040

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10510 0 0 0 30974 27 0 0 25 0 1 0 22098051 34103296 7529 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8326 7529 364 364 0 7962 0
[pid=9641] vsize: 33304
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 33304

[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10606 0 0 0 31974 27 0 0 25 0 1 0 22098051 34373632 7623 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8392 7623 364 364 0 8028 0
[pid=9641] vsize: 33568
Current children cumulated CPU time (s) 320.01
Current children cumulated vsize (Kb) 33568

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10703 0 0 0 32974 27 0 0 25 0 1 0 22098051 34643968 7719 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8458 7719 364 364 0 8094 0
[pid=9641] vsize: 33832
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 33832

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10799 0 0 0 33974 28 0 0 25 0 1 0 22098051 34914304 7813 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8524 7813 364 364 0 8160 0
[pid=9641] vsize: 34096
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (Kb) 34096

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10894 0 0 0 34974 28 0 0 25 0 1 0 22098051 35049472 7906 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8557 7906 364 364 0 8193 0
[pid=9641] vsize: 34228
Current children cumulated CPU time (s) 350.02
Current children cumulated vsize (Kb) 34228

[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10986 0 0 0 35974 28 0 0 25 0 1 0 22098051 35319808 7997 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8623 7997 364 364 0 8259 0
[pid=9641] vsize: 34492
Current children cumulated CPU time (s) 360.02
Current children cumulated vsize (Kb) 34492

[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11076 0 0 0 36973 29 0 0 25 0 1 0 22098051 35590144 8086 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8689 8086 364 364 0 8325 0
[pid=9641] vsize: 34756
Current children cumulated CPU time (s) 370.02
Current children cumulated vsize (Kb) 34756

[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11165 0 0 0 37973 29 0 0 25 0 1 0 22098051 35860480 8173 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8755 8173 364 364 0 8391 0
[pid=9641] vsize: 35020
Current children cumulated CPU time (s) 380.02
Current children cumulated vsize (Kb) 35020

[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11256 0 0 0 38973 30 0 0 25 0 1 0 22098051 35995648 8263 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8788 8263 364 364 0 8424 0
[pid=9641] vsize: 35152
Current children cumulated CPU time (s) 390.03
Current children cumulated vsize (Kb) 35152

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11343 0 0 0 39973 30 0 0 25 0 1 0 22098051 36265984 8348 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8854 8348 364 364 0 8490 0
[pid=9641] vsize: 35416
Current children cumulated CPU time (s) 400.03
Current children cumulated vsize (Kb) 35416

[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11431 0 0 0 40973 30 0 0 25 0 1 0 22098051 36536320 8435 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8920 8435 364 364 0 8556 0
[pid=9641] vsize: 35680
Current children cumulated CPU time (s) 410.03
Current children cumulated vsize (Kb) 35680

[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11516 0 0 0 41972 30 0 0 25 0 1 0 22098051 36671488 8518 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 8953 8518 364 364 0 8589 0
[pid=9641] vsize: 35812
Current children cumulated CPU time (s) 420.02
Current children cumulated vsize (Kb) 35812

[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11602 0 0 0 42972 31 0 0 25 0 1 0 22098051 36941824 8603 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 9019 8603 364 364 0 8655 0
[pid=9641] vsize: 36076
Current children cumulated CPU time (s) 430.03
Current children cumulated vsize (Kb) 36076

[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 28793 0 0 0 43931 69 0 0 25 0 1 0 22098051 92954624 20221 4294967295 134512640 135987407 3221224560 3221079164 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 22694 20222 364 364 0 22330 0
[pid=9641] vsize: 90776
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 90776

[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 62106 0 0 0 44862 135 0 0 25 0 1 0 22098051 192815104 39247 4294967295 134512640 135987407 3221224560 3221076448 134639022 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 47074 39247 364 364 0 46710 0
[pid=9641] vsize: 188296
Current children cumulated CPU time (s) 449.97
Current children cumulated vsize (Kb) 188296

[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 91686 0 0 0 45801 193 0 0 25 0 1 0 22098051 289234944 58918 4294967295 134512640 135987407 3221224560 3221081568 134636917 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 70614 58918 364 364 0 70250 0
[pid=9641] vsize: 282456
Current children cumulated CPU time (s) 459.94
Current children cumulated vsize (Kb) 282456

[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 120122 0 0 0 46739 253 0 0 25 0 1 0 22098051 397549568 74877 4294967295 134512640 135987407 3221224560 3221080060 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 97058 74877 364 364 0 96694 0
[pid=9641] vsize: 388232
Current children cumulated CPU time (s) 469.92
Current children cumulated vsize (Kb) 388232

[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 139127 0 0 0 47701 290 0 0 25 0 1 0 22098051 426668032 93664 4294967295 134512640 135987407 3221224560 3221078828 134637011 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 104167 93664 364 364 0 103803 0
[pid=9641] vsize: 416668
Current children cumulated CPU time (s) 479.91
Current children cumulated vsize (Kb) 416668

[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 180479 0 0 0 48620 368 0 0 25 0 1 0 22098051 560726016 115417 4294967295 134512640 135987407 3221224560 3221077712 134856714 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 136896 115417 364 364 0 136532 0
[pid=9641] vsize: 547584
Current children cumulated CPU time (s) 489.88
Current children cumulated vsize (Kb) 547584

[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 220197 0 0 0 49536 451 0 0 25 0 1 0 22098051 682762240 130376 4294967295 134512640 135987407 3221224560 3221078864 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 166690 130377 364 364 0 166326 0
[pid=9641] vsize: 666760
Current children cumulated CPU time (s) 499.87
Current children cumulated vsize (Kb) 666760

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 235626 0 0 0 50504 481 0 0 25 0 1 0 22098051 739340288 145626 4294967295 134512640 135987407 3221224560 3221082688 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 180503 145626 364 364 0 180139 0
[pid=9641] vsize: 722012
Current children cumulated CPU time (s) 509.85
Current children cumulated vsize (Kb) 722012

[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 253391 0 0 0 51470 513 0 0 25 0 1 0 22098051 764891136 163181 4294967295 134512640 135987407 3221224560 3221080928 134559124 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 186741 163182 364 364 0 186377 0
[pid=9641] vsize: 746964
Current children cumulated CPU time (s) 519.83
Current children cumulated vsize (Kb) 746964

[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 270825 0 0 0 52434 547 0 0 25 0 1 0 22098051 789127168 180406 4294967295 134512640 135987407 3221224560 3221085296 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 192658 180406 364 364 0 192294 0
[pid=9641] vsize: 770632
Current children cumulated CPU time (s) 529.81
Current children cumulated vsize (Kb) 770632

[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9641
Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 280339 0 0 0 53412 567 0 0 25 0 1 0 22098051 852328448 189321 4294967295 134512640 135987407 3221224560 3221223396 135288064 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9641/statm): 208088 189321 364 364 0 207724 0
[pid=9641] vsize: 832352
Current children cumulated CPU time (s) 539.79
Current children cumulated vsize (Kb) 832352
One traced child (pid=9641) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 545.346
CPU time (s): 545.136
CPU user time (s): 539.065
CPU system time (s): 6.07108
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (Kb): 832352

Verifier Data

ERROR: no interpretation found !