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-dfl001.opb
MD5SUMd116f9238cf2e97b47b1161aa0f7f9ea
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(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 numbers62
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables244494
Total number of constraints6084
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 constraints6084
Minimum length of a constraint10
Maximum length of a constraint4560

Trace number 10333

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 17:44:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9012 boxname=wulflinc15 idbench=808 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d116f9238cf2e97b47b1161aa0f7f9ea  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-dfl001.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-dfl001.opb
IDLAUNCH: 9012
/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:        878048 kB
Buffers:          4424 kB
Cached:         131576 kB
SwapCached:          0 kB
Active:          34176 kB
Inactive:       104792 kB
HighTotal:      131008 kB
HighFree:        63420 kB
LowTotal:       903652 kB
LowFree:        814628 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11984 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:53:29 (client local time) WITH STATUS 1 IN 534.814 SECONDS
stats: 9012 7 534.814 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/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22083519 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8448/statm): 373 2 364 364 0 9 0
[pid=8448] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-dfl001.opb

[startup+10.0025 s]
Raw data (loadavg): 0.92 0.93 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 2530 0 0 0 991 6 0 0 25 0 1 0 22083519 9502720 1844 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 2320 1844 364 364 0 1956 0
[pid=8448] vsize: 9280
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 9280

[startup+20.0034 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 4182 0 0 0 1987 11 0 0 25 0 1 0 22083519 15224832 2748 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 3717 2748 364 364 0 3353 0
[pid=8448] vsize: 14868
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14868

[startup+30.0032 s]
Raw data (loadavg): 0.94 0.94 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 4434 0 0 0 2985 12 0 0 25 0 1 0 22083519 15765504 2994 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 3849 2995 364 364 0 3485 0
[pid=8448] vsize: 15396
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15396

[startup+40.003 s]
Raw data (loadavg): 0.95 0.94 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 4711 0 0 0 3984 13 0 0 25 0 1 0 22083519 16441344 3266 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 4014 3266 364 364 0 3650 0
[pid=8448] vsize: 16056
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 16056

[startup+50.0038 s]
Raw data (loadavg): 0.96 0.94 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 4957 0 0 0 4983 14 0 0 25 0 1 0 22083519 17117184 3508 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 4179 3508 364 364 0 3815 0
[pid=8448] vsize: 16716
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16716

[startup+60.0036 s]
Raw data (loadavg): 0.96 0.94 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5179 0 0 0 5983 15 0 0 25 0 1 0 22083519 17657856 3727 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 4311 3727 364 364 0 3947 0
[pid=8448] vsize: 17244
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17244

[startup+70.0035 s]
Raw data (loadavg): 0.97 0.94 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5384 0 0 0 6982 15 0 0 25 0 1 0 22083519 18198528 3928 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 4443 3928 364 364 0 4079 0
[pid=8448] vsize: 17772
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17772

[startup+80.0043 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5577 0 0 0 7981 16 0 0 25 0 1 0 22083519 18739200 4118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 4575 4118 364 364 0 4211 0
[pid=8448] vsize: 18300
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 18300

[startup+90.0041 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5758 0 0 0 8981 17 0 0 25 0 1 0 22083519 19144704 4296 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 4674 4296 364 364 0 4310 0
[pid=8448] 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.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5929 0 0 0 9980 17 0 0 25 0 1 0 22083519 19550208 4465 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 4773 4465 364 364 0 4409 0
[pid=8448] vsize: 19092
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 19092

[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8295 0 0 0 10975 22 0 0 25 0 1 0 22083519 28696576 5353 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7006 5353 364 364 0 6642 0
[pid=8448] vsize: 28024
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28024

[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8353 0 0 0 11975 22 0 0 25 0 1 0 22083519 28696576 5409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7006 5409 364 364 0 6642 0
[pid=8448] vsize: 28024
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28024

[startup+130.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8462 0 0 0 12975 23 0 0 25 0 1 0 22083519 28966912 5515 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7072 5515 364 364 0 6708 0
[pid=8448] vsize: 28288
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28288

[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8590 0 0 0 13974 23 0 0 25 0 1 0 22083519 29237248 5641 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7138 5641 364 364 0 6774 0
[pid=8448] vsize: 28552
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28552

[startup+150.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8711 0 0 0 14974 24 0 0 25 0 1 0 22083519 29507584 5760 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7204 5760 364 364 0 6840 0
[pid=8448] vsize: 28816
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28816

[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8830 0 0 0 15974 24 0 0 25 0 1 0 22083519 29777920 5876 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7270 5876 364 364 0 6906 0
[pid=8448] vsize: 29080
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29080

[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8945 0 0 0 16974 24 0 0 25 0 1 0 22083519 30048256 5989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7336 5989 364 364 0 6972 0
[pid=8448] vsize: 29344
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29344

[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9063 0 0 0 17973 25 0 0 25 0 1 0 22083519 30453760 6105 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7435 6105 364 364 0 7071 0
[pid=8448] vsize: 29740
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29740

[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9188 0 0 0 18973 26 0 0 25 0 1 0 22083519 30724096 6228 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7501 6228 364 364 0 7137 0
[pid=8448] vsize: 30004
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30004

[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9308 0 0 0 19973 26 0 0 25 0 1 0 22083519 30994432 6346 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7567 6346 364 364 0 7203 0
[pid=8448] 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.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9429 0 0 0 20972 26 0 0 25 0 1 0 22083519 31399936 6465 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7666 6465 364 364 0 7302 0
[pid=8448] vsize: 30664
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30664

[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9545 0 0 0 21971 27 0 0 25 0 1 0 22083519 31670272 6579 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7732 6579 364 364 0 7368 0
[pid=8448] vsize: 30928
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 30928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9658 0 0 0 22971 28 0 0 25 0 1 0 22083519 31940608 6690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7798 6690 364 364 0 7434 0
[pid=8448] vsize: 31192
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31192

[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9771 0 0 0 23971 28 0 0 25 0 1 0 22083519 32210944 6802 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7864 6802 364 364 0 7500 0
[pid=8448] vsize: 31456
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31456

[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9881 0 0 0 24970 29 0 0 25 0 1 0 22083519 32481280 6910 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7930 6910 364 364 0 7566 0
[pid=8448] vsize: 31720
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31720

[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9988 0 0 0 25970 29 0 0 25 0 1 0 22083519 32751616 7015 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 7996 7015 364 364 0 7632 0
[pid=8448] vsize: 31984
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 31984

[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10094 0 0 0 26970 30 0 0 25 0 1 0 22083519 33021952 7119 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8062 7119 364 364 0 7698 0
[pid=8448] vsize: 32248
Current children cumulated CPU time (s) 270
Current children cumulated vsize (Kb) 32248

[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10198 0 0 0 27970 30 0 0 25 0 1 0 22083519 33292288 7222 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8128 7222 364 364 0 7764 0
[pid=8448] vsize: 32512
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 32512

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10300 0 0 0 28970 30 0 0 25 0 1 0 22083519 33562624 7322 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8194 7322 364 364 0 7830 0
[pid=8448] vsize: 32776
Current children cumulated CPU time (s) 290
Current children cumulated vsize (Kb) 32776

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10401 0 0 0 29970 31 0 0 25 0 1 0 22083519 33832960 7421 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8260 7421 364 364 0 7896 0
[pid=8448] vsize: 33040
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 33040

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10500 0 0 0 30969 31 0 0 25 0 1 0 22083519 34103296 7519 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8326 7519 364 364 0 7962 0
[pid=8448] vsize: 33304
Current children cumulated CPU time (s) 310
Current children cumulated vsize (Kb) 33304

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10598 0 0 0 31969 31 0 0 25 0 1 0 22083519 34373632 7615 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8392 7615 364 364 0 8028 0
[pid=8448] vsize: 33568
Current children cumulated CPU time (s) 320
Current children cumulated vsize (Kb) 33568

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10694 0 0 0 32969 32 0 0 25 0 1 0 22083519 34643968 7710 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8458 7710 364 364 0 8094 0
[pid=8448] vsize: 33832
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 33832

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10789 0 0 0 33969 32 0 0 25 0 1 0 22083519 34779136 7803 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8491 7803 364 364 0 8127 0
[pid=8448] vsize: 33964
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 33964

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10882 0 0 0 34968 32 0 0 25 0 1 0 22083519 35049472 7895 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8557 7895 364 364 0 8193 0
[pid=8448] vsize: 34228
Current children cumulated CPU time (s) 350
Current children cumulated vsize (Kb) 34228

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10975 0 0 0 35969 32 0 0 25 0 1 0 22083519 35319808 7986 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8623 7986 364 364 0 8259 0
[pid=8448] vsize: 34492
Current children cumulated CPU time (s) 360.01
Current children cumulated vsize (Kb) 34492

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11066 0 0 0 36968 33 0 0 25 0 1 0 22083519 35590144 8076 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8689 8076 364 364 0 8325 0
[pid=8448] vsize: 34756
Current children cumulated CPU time (s) 370.01
Current children cumulated vsize (Kb) 34756

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11156 0 0 0 37968 33 0 0 25 0 1 0 22083519 35725312 8164 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8722 8164 364 364 0 8358 0
[pid=8448] vsize: 34888
Current children cumulated CPU time (s) 380.01
Current children cumulated vsize (Kb) 34888

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11245 0 0 0 38968 34 0 0 25 0 1 0 22083519 35995648 8252 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8788 8252 364 364 0 8424 0
[pid=8448] vsize: 35152
Current children cumulated CPU time (s) 390.02
Current children cumulated vsize (Kb) 35152

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11333 0 0 0 39968 34 0 0 25 0 1 0 22083519 36265984 8338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8854 8338 364 364 0 8490 0
[pid=8448] vsize: 35416
Current children cumulated CPU time (s) 400.02
Current children cumulated vsize (Kb) 35416

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11420 0 0 0 40968 34 0 0 25 0 1 0 22083519 36401152 8424 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8887 8424 364 364 0 8523 0
[pid=8448] vsize: 35548
Current children cumulated CPU time (s) 410.02
Current children cumulated vsize (Kb) 35548

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11506 0 0 0 41967 35 0 0 25 0 1 0 22083519 36671488 8509 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 8953 8509 364 364 0 8589 0
[pid=8448] vsize: 35812
Current children cumulated CPU time (s) 420.02
Current children cumulated vsize (Kb) 35812

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11589 0 0 0 42967 35 0 0 25 0 1 0 22083519 36941824 8590 4294967295 134512640 135987407 3221224560 3221221280 135486762 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 9019 8590 364 364 0 8655 0
[pid=8448] vsize: 36076
Current children cumulated CPU time (s) 430.02
Current children cumulated vsize (Kb) 36076

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 42004 0 0 0 43893 107 0 0 25 0 1 0 22083519 134901760 25415 4294967295 134512640 135987407 3221224560 3221214636 134669203 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 32935 25417 364 364 0 32571 0
[pid=8448] vsize: 131740
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 131740

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 77510 0 0 0 44815 183 0 0 25 0 1 0 22083519 247902208 44834 4294967295 134512640 135987407 3221224560 3220988812 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 60523 44834 364 364 0 60159 0
[pid=8448] vsize: 242092
Current children cumulated CPU time (s) 449.98
Current children cumulated vsize (Kb) 242092

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 108118 0 0 0 45747 249 0 0 25 0 1 0 22083519 356118528 62932 4294967295 134512640 135987407 3221224560 3220949984 134877628 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 86943 62932 364 364 0 86579 0
[pid=8448] vsize: 347772
Current children cumulated CPU time (s) 459.96
Current children cumulated vsize (Kb) 347772

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 126224 0 0 0 46708 286 0 0 25 0 1 0 22083519 381800448 80828 4294967295 134512640 135987407 3221224560 3220954204 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 93213 80828 364 364 0 92849 0
[pid=8448] vsize: 372852
Current children cumulated CPU time (s) 469.94
Current children cumulated vsize (Kb) 372852

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 169557 0 0 0 47621 368 0 0 25 0 1 0 22083519 520826880 104553 4294967295 134512640 135987407 3221224560 3220963092 134892726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8448/statm): 127155 104554 364 364 0 126791 0
[pid=8448] vsize: 508620
Current children cumulated CPU time (s) 479.89
Current children cumulated vsize (Kb) 508620

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 210035 0 0 0 48535 452 0 0 25 0 1 0 22083519 642170880 120261 4294967295 134512640 135987407 3221224560 3220977920 134856587 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8448/statm): 156780 120261 364 364 0 156416 0
[pid=8448] vsize: 627120
Current children cumulated CPU time (s) 489.87
Current children cumulated vsize (Kb) 627120

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 225663 0 0 0 49503 483 0 0 25 0 1 0 22083519 696135680 135700 4294967295 134512640 135987407 3221224560 3220977104 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8448/statm): 169955 135700 364 364 0 169591 0
[pid=8448] vsize: 679820
Current children cumulated CPU time (s) 499.86
Current children cumulated vsize (Kb) 679820

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 243643 0 0 0 50468 516 0 0 25 0 1 0 22083519 720060416 153462 4294967295 134512640 135987407 3221224560 3220964288 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8448/statm): 175796 153463 364 364 0 175432 0
[pid=8448] vsize: 703184
Current children cumulated CPU time (s) 509.84
Current children cumulated vsize (Kb) 703184

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 261562 0 0 0 51432 551 0 0 25 0 1 0 22083519 743849984 171165 4294967295 134512640 135987407 3221224560 3220949836 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8448/statm): 181604 171165 364 364 0 181240 0
[pid=8448] vsize: 726416
Current children cumulated CPU time (s) 519.83
Current children cumulated vsize (Kb) 726416

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8448
Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 273875 0 0 0 52406 574 0 0 25 0 1 0 22083519 813539328 182860 4294967295 134512640 135987407 3221224560 3221222932 134562648 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8448/statm): 198618 182860 364 364 0 198254 0
[pid=8448] vsize: 794472
Current children cumulated CPU time (s) 529.8
Current children cumulated vsize (Kb) 794472
One traced child (pid=8448) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 535.018
CPU time (s): 534.814
CPU user time (s): 528.685
CPU system time (s): 6.12907
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (Kb): 794472

Verifier Data

ERROR: no interpretation found !