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-fit2d.opb
MD5SUM2e76b80d3e2b7702736bbbb87d69e547
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 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 numbers33
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables87000
Total number of constraints10525
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 constraints10525
Minimum length of a constraint7
Maximum length of a constraint87000

Trace number 10324

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 17:45:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9018 boxname=wulflinc7 idbench=814 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2e76b80d3e2b7702736bbbb87d69e547  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fit2d.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fit2d.opb
IDLAUNCH: 9018
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        892984 kB
Buffers:         12852 kB
Cached:         111316 kB
SwapCached:          0 kB
Active:          69944 kB
Inactive:        57096 kB
HighTotal:      131008 kB
HighFree:        19460 kB
LowTotal:       903652 kB
LowFree:        873524 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             9104 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:52:39 (client local time) WITH STATUS 1 IN 454.684 SECONDS
stats: 9018 7 454.684 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/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22103398 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 373 2 364 364 0 9 0
[pid=10808] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fit2d.opb

[startup+10.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 2503 0 0 0 992 6 0 0 25 0 1 0 22103398 9375744 1817 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 2289 1817 364 364 0 1925 0
[pid=10808] vsize: 9156
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9156

[startup+20.0026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 3048 0 0 0 1989 8 0 0 25 0 1 0 22103398 10862592 2353 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 2652 2353 364 364 0 2288 0
[pid=10808] vsize: 10608
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 10608

[startup+30.0032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 4401 0 0 0 2987 10 0 0 25 0 1 0 22103398 15638528 2962 4294967295 134512640 135987407 3221224560 3221221688 134543709 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 3818 2962 364 364 0 3454 0
[pid=10808] vsize: 15272
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15272

[startup+40.0038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 4660 0 0 0 3985 12 0 0 25 0 1 0 22103398 16314368 3216 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 3983 3216 364 364 0 3619 0
[pid=10808] vsize: 15932
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 15932

[startup+50.0045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 4911 0 0 0 4984 14 0 0 25 0 1 0 22103398 16990208 3463 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 4148 3463 364 364 0 3784 0
[pid=10808] vsize: 16592
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16592

[startup+60.0051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5140 0 0 0 5983 14 0 0 25 0 1 0 22103398 17530880 3689 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 4280 3689 364 364 0 3916 0
[pid=10808] vsize: 17120
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 17120

[startup+70.0047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5352 0 0 0 6983 15 0 0 25 0 1 0 22103398 18071552 3897 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 4412 3897 364 364 0 4048 0
[pid=10808] vsize: 17648
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17648

[startup+80.0054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5551 0 0 0 7982 15 0 0 25 0 1 0 22103398 18612224 4093 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 4544 4093 364 364 0 4180 0
[pid=10808] vsize: 18176
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 18176

[startup+90.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5737 0 0 0 8982 16 0 0 25 0 1 0 22103398 19152896 4276 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 4676 4276 364 364 0 4312 0
[pid=10808] vsize: 18704
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18704

[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5916 0 0 0 9981 16 0 0 25 0 1 0 22103398 19558400 4452 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 4775 4452 364 364 0 4411 0
[pid=10808] vsize: 19100
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 19100

[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 8308 0 0 0 10977 20 0 0 25 0 1 0 22103398 28839936 5367 4294967295 134512640 135987407 3221224560 3221221928 134612673 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 7041 5367 364 364 0 6677 0
[pid=10808] vsize: 28164
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28164

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 8366 0 0 0 11977 21 0 0 25 0 1 0 22103398 28839936 5422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 7041 5422 364 364 0 6677 0
[pid=10808] vsize: 28164
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28164

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 8466 0 0 0 12977 21 0 0 25 0 1 0 22103398 28975104 5520 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 7074 5520 364 364 0 6710 0
[pid=10808] vsize: 28296
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28296

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 8597 0 0 0 13976 21 0 0 25 0 1 0 22103398 29380608 5648 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 7173 5648 364 364 0 6809 0
[pid=10808] vsize: 28692
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28692

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 12299 0 0 0 14966 31 0 0 25 0 1 0 22103398 38981632 8575 4294967295 134512640 135987407 3221224560 3221221712 134573547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 9517 8575 364 364 0 9153 0
[pid=10808] vsize: 38068
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 38068

[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 19739 0 0 0 15947 48 0 0 25 0 1 0 22103398 61087744 12657 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 14914 12657 364 364 0 14550 0
[pid=10808] vsize: 59656
Current children cumulated CPU time (s) 159.95
Current children cumulated vsize (Kb) 59656

[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 19775 0 0 0 16947 48 0 0 25 0 1 0 22103398 61087744 12693 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 14914 12693 364 364 0 14550 0
[pid=10808] vsize: 59656
Current children cumulated CPU time (s) 169.95
Current children cumulated vsize (Kb) 59656

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20057 0 0 0 17946 49 0 0 25 0 1 0 22103398 62152704 12846 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15174 12846 364 364 0 14810 0
[pid=10808] vsize: 60696
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 60696

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20076 0 0 0 18946 50 0 0 25 0 1 0 22103398 62152704 12865 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15174 12865 364 364 0 14810 0
[pid=10808] vsize: 60696
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 60696

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20093 0 0 0 19946 50 0 0 25 0 1 0 22103398 62152704 12882 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15174 12882 364 364 0 14810 0
[pid=10808] vsize: 60696
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 60696

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20110 0 0 0 20946 50 0 0 25 0 1 0 22103398 62152704 12899 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15174 12899 364 364 0 14810 0
[pid=10808] vsize: 60696
Current children cumulated CPU time (s) 209.96
Current children cumulated vsize (Kb) 60696

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20125 0 0 0 21946 50 0 0 25 0 1 0 22103398 62152704 12914 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15174 12914 364 364 0 14810 0
[pid=10808] vsize: 60696
Current children cumulated CPU time (s) 219.96
Current children cumulated vsize (Kb) 60696

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20139 0 0 0 22946 50 0 0 25 0 1 0 22103398 62152704 12928 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15174 12928 364 364 0 14810 0
[pid=10808] vsize: 60696
Current children cumulated CPU time (s) 229.96
Current children cumulated vsize (Kb) 60696

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20152 0 0 0 23946 50 0 0 25 0 1 0 22103398 62152704 12941 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15174 12941 364 364 0 14810 0
[pid=10808] vsize: 60696
Current children cumulated CPU time (s) 239.96
Current children cumulated vsize (Kb) 60696

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20164 0 0 0 24946 50 0 0 25 0 1 0 22103398 62152704 12953 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15174 12953 364 364 0 14810 0
[pid=10808] vsize: 60696
Current children cumulated CPU time (s) 249.96
Current children cumulated vsize (Kb) 60696

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20688 0 0 0 25945 51 0 0 25 0 1 0 22103398 64282624 13220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13220 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 259.96
Current children cumulated vsize (Kb) 62776

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20698 0 0 0 26945 51 0 0 25 0 1 0 22103398 64282624 13230 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13230 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 269.96
Current children cumulated vsize (Kb) 62776

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20708 0 0 0 27945 51 0 0 25 0 1 0 22103398 64282624 13240 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13240 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 279.96
Current children cumulated vsize (Kb) 62776

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20718 0 0 0 28945 51 0 0 25 0 1 0 22103398 64282624 13250 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13250 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 289.96
Current children cumulated vsize (Kb) 62776

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20727 0 0 0 29945 51 0 0 25 0 1 0 22103398 64282624 13259 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13259 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 299.96
Current children cumulated vsize (Kb) 62776

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20736 0 0 0 30945 51 0 0 25 0 1 0 22103398 64282624 13268 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13268 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 309.96
Current children cumulated vsize (Kb) 62776

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20745 0 0 0 31945 51 0 0 25 0 1 0 22103398 64282624 13277 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13277 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 319.96
Current children cumulated vsize (Kb) 62776

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20753 0 0 0 32945 52 0 0 25 0 1 0 22103398 64282624 13285 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13285 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 62776

[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20761 0 0 0 33945 52 0 0 25 0 1 0 22103398 64282624 13293 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13293 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (Kb) 62776

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20769 0 0 0 34945 52 0 0 25 0 1 0 22103398 64282624 13301 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 15694 13301 364 364 0 15330 0
[pid=10808] vsize: 62776
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (Kb) 62776

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 52998 0 0 0 35871 123 0 0 25 0 1 0 22103398 176013312 35894 4294967295 134512640 135987407 3221224560 3201953572 134855043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 42972 35894 364 364 0 42608 0
[pid=10808] vsize: 171888
Current children cumulated CPU time (s) 359.94
Current children cumulated vsize (Kb) 171888

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 91008 0 0 0 36785 206 0 0 25 0 1 0 22103398 300851200 57829 4294967295 134512640 135987407 3221224560 3196685596 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 73450 57829 364 364 0 73086 0
[pid=10808] vsize: 293800
Current children cumulated CPU time (s) 369.91
Current children cumulated vsize (Kb) 293800

[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 120945 0 0 0 37714 274 0 0 25 0 1 0 22103398 407040000 75271 4294967295 134512640 135987407 3221224560 3204788144 134878036 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 99375 75271 364 364 0 99011 0
[pid=10808] vsize: 397500
Current children cumulated CPU time (s) 379.88
Current children cumulated vsize (Kb) 397500

[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 143821 0 0 0 38657 328 0 0 25 0 1 0 22103398 443670528 97898 4294967295 134512640 135987407 3221224560 3200213524 135478476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 108318 97898 364 364 0 107954 0
[pid=10808] vsize: 433272
Current children cumulated CPU time (s) 389.85
Current children cumulated vsize (Kb) 433272

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 186757 0 0 0 39562 419 0 0 25 0 1 0 22103398 578912256 121219 4294967295 134512640 135987407 3221224560 3198862540 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 141336 121219 364 364 0 140972 0
[pid=10808] vsize: 565344
Current children cumulated CPU time (s) 399.81
Current children cumulated vsize (Kb) 565344

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 226678 0 0 0 40468 511 0 0 25 0 1 0 22103398 733270016 136375 4294967295 134512640 135987407 3221224560 3194275616 134877726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 179021 136375 364 364 0 178657 0
[pid=10808] vsize: 716084
Current children cumulated CPU time (s) 409.79
Current children cumulated vsize (Kb) 716084

[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 244923 0 0 0 41423 555 0 0 25 0 1 0 22103398 755978240 154409 4294967295 134512640 135987407 3221224560 3205932400 134892445 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 184565 154409 364 364 0 184201 0
[pid=10808] vsize: 738260
Current children cumulated CPU time (s) 419.78
Current children cumulated vsize (Kb) 738260

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 264348 0 0 0 42378 597 0 0 25 0 1 0 22103398 781660160 173599 4294967295 134512640 135987407 3221224560 3202557808 135477375 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 190835 173599 364 364 0 190471 0
[pid=10808] vsize: 763340
Current children cumulated CPU time (s) 429.75
Current children cumulated vsize (Kb) 763340

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 281037 0 0 0 43337 636 0 0 25 0 1 0 22103398 856727552 190098 4294967295 134512640 135987407 3221224560 3198192704 134854992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 209162 190098 364 364 0 208798 0
[pid=10808] vsize: 836648
Current children cumulated CPU time (s) 439.73
Current children cumulated vsize (Kb) 836648

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10808
Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 288771 0 0 0 44319 653 0 0 25 0 1 0 22103398 870211584 197750 4294967295 134512640 135987407 3221224560 3220251556 135478476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10808/statm): 212454 197750 364 364 0 212090 0
[pid=10808] vsize: 849816
Current children cumulated CPU time (s) 449.72
Current children cumulated vsize (Kb) 849816
One traced child (pid=10808) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 454.979
CPU time (s): 454.684
CPU user time (s): 447.747
CPU system time (s): 6.93694
CPU usage (%): 99.9351
Max. virtual memory (cumulated for all children) (Kb): 849816

Verifier Data

ERROR: no interpretation found !