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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
MD5SUM97d3686ba27caa0b5ec08bf1e8098491
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 861
Optimality of the best value was proved YES
Number of terms in the objective function 1848
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1848
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1848
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark25.4561
Number of variables1848
Total number of constraints14727
Number of constraints which are clauses14727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16

Trace number 9581

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 14:28:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8339 boxname=wulflinc26 idbench=135 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  97d3686ba27caa0b5ec08bf1e8098491  /oldhome/oroussel/tmp/wulflinc26/normalized-ii16c2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-ii16c2.opb
IDLAUNCH: 8339
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
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:        929156 kB
Buffers:         10512 kB
Cached:          78092 kB
SwapCached:          0 kB
Active:          44376 kB
Inactive:        47136 kB
HighTotal:      131008 kB
HighFree:        49896 kB
LowTotal:       903652 kB
LowFree:        879260 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8500 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:37:00 (client local time) WITH STATUS 1 IN 494.379 SECONDS
stats: 8339 7 494.379 1

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 924
c big objective detected
c trying from 0 to 511
c trying from 512 to 923

	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/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20875510 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 373 2 364 364 0 9 0
[pid=6208] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-ii16c2.opb

[startup+10.0026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 27808 0 0 0 930 65 0 0 25 0 1 0 20875510 93417472 16715 4294967295 134512640 135987407 3221224576 3220862060 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 22807 16715 364 364 0 22443 0
[pid=6208] vsize: 91228
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 91228

[startup+20.0033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 57833 0 0 0 1865 128 0 0 25 0 1 0 20875510 187486208 35537 4294967295 134512640 135987407 3221224576 3220783404 134636968 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 45773 35537 364 364 0 45409 0
[pid=6208] vsize: 183092
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 183092

[startup+30.003 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 99844 0 0 0 2771 218 0 0 25 0 1 0 20875510 318820352 55364 4294967295 134512640 135987407 3221224576 3221197356 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 77837 55364 364 364 0 77473 0
[pid=6208] vsize: 311348
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 311348

[startup+40.0037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 116737 0 0 0 3729 258 0 0 25 0 1 0 20875510 374136832 72053 4294967295 134512640 135987407 3221224576 3220822080 134537363 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 91342 72053 364 364 0 90978 0
[pid=6208] vsize: 365368
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 365368

[startup+50.0043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 129175 0 0 0 4698 288 0 0 25 0 1 0 20875510 399278080 82343 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 97480 82343 364 364 0 97116 0
[pid=6208] vsize: 389920
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 389920

[startup+60.0052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 131167 0 0 0 5692 292 0 0 25 0 1 0 20875510 404897792 83540 4294967295 134512640 135987407 3221224576 3221223136 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 98852 83540 364 364 0 98488 0
[pid=6208] vsize: 395408
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 395408

[startup+70.0057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 133387 0 0 0 6687 297 0 0 25 0 1 0 20875510 410939392 84370 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 100327 84370 364 364 0 99963 0
[pid=6208] vsize: 401308
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 401308

[startup+80.0054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 133970 0 0 0 7685 298 0 0 25 0 1 0 20875510 412512256 84567 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 100711 84567 364 364 0 100347 0
[pid=6208] vsize: 402844
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (Kb) 402844

[startup+90.0061 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 134942 0 0 0 8684 299 0 0 25 0 1 0 20875510 415436800 85153 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 101425 85153 364 364 0 101061 0
[pid=6208] vsize: 405700
Current children cumulated CPU time (s) 89.83
Current children cumulated vsize (Kb) 405700

[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 135385 0 0 0 9683 300 0 0 25 0 1 0 20875510 416620544 85339 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 101714 85339 364 364 0 101350 0
[pid=6208] vsize: 406856
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (Kb) 406856

[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 136813 0 0 0 10678 304 0 0 25 0 1 0 20875510 420085760 86381 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 102560 86381 364 364 0 102196 0
[pid=6208] vsize: 410240
Current children cumulated CPU time (s) 109.82
Current children cumulated vsize (Kb) 410240

[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 137774 0 0 0 11676 306 0 0 25 0 1 0 20875510 423264256 86829 4294967295 134512640 135987407 3221224576 3221223296 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 103336 86829 364 364 0 102972 0
[pid=6208] vsize: 413344
Current children cumulated CPU time (s) 119.82
Current children cumulated vsize (Kb) 413344

[startup+130.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 137775 0 0 0 12676 306 0 0 25 0 1 0 20875510 423264256 86830 4294967295 134512640 135987407 3221224576 3221223312 134812940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 103336 86830 364 364 0 102972 0
[pid=6208] vsize: 413344
Current children cumulated CPU time (s) 129.82
Current children cumulated vsize (Kb) 413344

[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 137849 0 0 0 13675 307 0 0 25 0 1 0 20875510 423399424 86904 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 103369 86904 364 364 0 103005 0
[pid=6208] vsize: 413476
Current children cumulated CPU time (s) 139.82
Current children cumulated vsize (Kb) 413476

[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 137856 0 0 0 14675 307 0 0 25 0 1 0 20875510 423399424 86911 4294967295 134512640 135987407 3221224576 3221223136 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 103369 86911 364 364 0 103005 0
[pid=6208] vsize: 413476
Current children cumulated CPU time (s) 149.82
Current children cumulated vsize (Kb) 413476

[startup+160.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 137886 0 0 0 15674 308 0 0 25 0 1 0 20875510 423399424 86941 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 103369 86941 364 364 0 103005 0
[pid=6208] vsize: 413476
Current children cumulated CPU time (s) 159.82
Current children cumulated vsize (Kb) 413476

[startup+170.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 138591 0 0 0 16672 310 0 0 25 0 1 0 20875510 425107456 87260 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 103786 87260 364 364 0 103422 0
[pid=6208] vsize: 415144
Current children cumulated CPU time (s) 169.82
Current children cumulated vsize (Kb) 415144

[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 139217 0 0 0 17670 312 0 0 25 0 1 0 20875510 427204608 87373 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 104298 87373 364 364 0 103934 0
[pid=6208] vsize: 417192
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 417192

[startup+190.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 139220 0 0 0 18670 312 0 0 25 0 1 0 20875510 427204608 87376 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 104298 87376 364 364 0 103934 0
[pid=6208] vsize: 417192
Current children cumulated CPU time (s) 189.82
Current children cumulated vsize (Kb) 417192

[startup+200.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 139223 0 0 0 19670 312 0 0 25 0 1 0 20875510 427204608 87379 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 104298 87379 364 364 0 103934 0
[pid=6208] vsize: 417192
Current children cumulated CPU time (s) 199.82
Current children cumulated vsize (Kb) 417192

[startup+210.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 139228 0 0 0 20669 312 0 0 25 0 1 0 20875510 427204608 87384 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 104298 87384 364 364 0 103934 0
[pid=6208] vsize: 417192
Current children cumulated CPU time (s) 209.81
Current children cumulated vsize (Kb) 417192

[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 139289 0 0 0 21669 312 0 0 25 0 1 0 20875510 427204608 87445 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 104298 87445 364 364 0 103934 0
[pid=6208] vsize: 417192
Current children cumulated CPU time (s) 219.81
Current children cumulated vsize (Kb) 417192

[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 139791 0 0 0 22667 314 0 0 25 0 1 0 20875510 428388352 87690 4294967295 134512640 135987407 3221224576 3221223232 134812293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 104587 87690 364 364 0 104223 0
[pid=6208] vsize: 418348
Current children cumulated CPU time (s) 229.81
Current children cumulated vsize (Kb) 418348

[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 139842 0 0 0 23667 314 0 0 25 0 1 0 20875510 428523520 87741 4294967295 134512640 135987407 3221224576 3221223012 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 104620 87741 364 364 0 104256 0
[pid=6208] vsize: 418480
Current children cumulated CPU time (s) 239.81
Current children cumulated vsize (Kb) 418480

[startup+250.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 139851 0 0 0 24667 314 0 0 25 0 1 0 20875510 428523520 87750 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 104620 87750 364 364 0 104256 0
[pid=6208] vsize: 418480
Current children cumulated CPU time (s) 249.81
Current children cumulated vsize (Kb) 418480

[startup+260.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140462 0 0 0 25665 315 0 0 25 0 1 0 20875510 430620672 87848 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105132 87848 364 364 0 104768 0
[pid=6208] vsize: 420528
Current children cumulated CPU time (s) 259.8
Current children cumulated vsize (Kb) 420528

[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140487 0 0 0 26665 315 0 0 25 0 1 0 20875510 430755840 87873 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105165 87873 364 364 0 104801 0
[pid=6208] vsize: 420660
Current children cumulated CPU time (s) 269.8
Current children cumulated vsize (Kb) 420660

[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140491 0 0 0 27665 315 0 0 25 0 1 0 20875510 430755840 87877 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105165 87877 364 364 0 104801 0
[pid=6208] vsize: 420660
Current children cumulated CPU time (s) 279.8
Current children cumulated vsize (Kb) 420660

[startup+290.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140492 0 0 0 28664 316 0 0 25 0 1 0 20875510 430755840 87878 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105165 87878 364 364 0 104801 0
[pid=6208] vsize: 420660
Current children cumulated CPU time (s) 289.8
Current children cumulated vsize (Kb) 420660

[startup+300.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140494 0 0 0 29664 316 0 0 25 0 1 0 20875510 430755840 87880 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105165 87880 364 364 0 104801 0
[pid=6208] vsize: 420660
Current children cumulated CPU time (s) 299.8
Current children cumulated vsize (Kb) 420660

[startup+310.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140506 0 0 0 30664 316 0 0 25 0 1 0 20875510 430755840 87892 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105165 87892 364 364 0 104801 0
[pid=6208] vsize: 420660
Current children cumulated CPU time (s) 309.8
Current children cumulated vsize (Kb) 420660

[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140508 0 0 0 31663 316 0 0 25 0 1 0 20875510 430755840 87894 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105165 87894 364 364 0 104801 0
[pid=6208] vsize: 420660
Current children cumulated CPU time (s) 319.79
Current children cumulated vsize (Kb) 420660

[startup+330.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140520 0 0 0 32663 316 0 0 25 0 1 0 20875510 430936064 87906 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87906 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 329.79
Current children cumulated vsize (Kb) 420836

[startup+340.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140523 0 0 0 33662 316 0 0 25 0 1 0 20875510 430936064 87909 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87909 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 339.78
Current children cumulated vsize (Kb) 420836

[startup+350.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140524 0 0 0 34662 317 0 0 25 0 1 0 20875510 430936064 87910 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87910 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 349.79
Current children cumulated vsize (Kb) 420836

[startup+360.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140528 0 0 0 35661 317 0 0 25 0 1 0 20875510 430936064 87914 4294967295 134512640 135987407 3221224576 3221223296 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87914 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 359.78
Current children cumulated vsize (Kb) 420836

[startup+370.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140529 0 0 0 36661 317 0 0 25 0 1 0 20875510 430936064 87915 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87915 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 369.78
Current children cumulated vsize (Kb) 420836

[startup+380.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140530 0 0 0 37660 318 0 0 25 0 1 0 20875510 430936064 87916 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87916 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 379.78
Current children cumulated vsize (Kb) 420836

[startup+390.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140534 0 0 0 38660 318 0 0 25 0 1 0 20875510 430936064 87920 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87920 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 389.78
Current children cumulated vsize (Kb) 420836

[startup+400.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140553 0 0 0 39659 318 0 0 25 0 1 0 20875510 430936064 87939 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87939 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 399.77
Current children cumulated vsize (Kb) 420836

[startup+410.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 140561 0 0 0 40659 319 0 0 25 0 1 0 20875510 430936064 87947 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 105209 87947 364 364 0 104845 0
[pid=6208] vsize: 420836
Current children cumulated CPU time (s) 409.78
Current children cumulated vsize (Kb) 420836

[startup+420.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 170170 0 0 0 41577 392 0 0 25 0 1 0 20875510 552316928 117556 4294967295 134512640 135987407 3221224576 3221223264 134886407 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 134843 117556 364 364 0 134479 0
[pid=6208] vsize: 539372
Current children cumulated CPU time (s) 419.69
Current children cumulated vsize (Kb) 539372

[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 184243 0 0 0 42542 426 0 0 25 0 1 0 20875510 562860032 131427 4294967295 134512640 135987407 3221224576 3220796112 134877992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 137417 131427 364 364 0 137053 0
[pid=6208] vsize: 549668
Current children cumulated CPU time (s) 429.68
Current children cumulated vsize (Kb) 549668

[startup+440.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 244396 0 0 0 43411 553 0 0 25 0 1 0 20875510 776327168 147422 4294967295 134512640 135987407 3221224576 3220705632 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 189533 147422 364 364 0 189169 0
[pid=6208] vsize: 758132
Current children cumulated CPU time (s) 439.64
Current children cumulated vsize (Kb) 758132

[startup+450.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 252280 0 0 0 44397 568 0 0 25 0 1 0 20875510 776327168 155137 4294967295 134512640 135987407 3221224576 3220872828 134635478 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 189533 155137 364 364 0 189169 0
[pid=6208] vsize: 758132
Current children cumulated CPU time (s) 449.65
Current children cumulated vsize (Kb) 758132

[startup+460.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 261662 0 0 0 45377 588 0 0 25 0 1 0 20875510 776327168 164301 4294967295 134512640 135987407 3221224576 3220909364 135478497 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 189533 164301 364 364 0 189169 0
[pid=6208] vsize: 758132
Current children cumulated CPU time (s) 459.65
Current children cumulated vsize (Kb) 758132

[startup+470.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 274125 0 0 0 46349 614 0 0 25 0 1 0 20875510 790384640 176554 4294967295 134512640 135987407 3221224576 3220818348 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 192965 176554 364 364 0 192601 0
[pid=6208] vsize: 771860
Current children cumulated CPU time (s) 469.63
Current children cumulated vsize (Kb) 771860

[startup+480.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 288538 0 0 0 47317 644 0 0 25 0 1 0 20875510 812822528 190759 4294967295 134512640 135987407 3221224576 3221191856 134864321 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 198443 190759 364 364 0 198079 0
[pid=6208] vsize: 793772
Current children cumulated CPU time (s) 479.61
Current children cumulated vsize (Kb) 793772

[startup+490.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6208
Raw data (/proc/6208/stat): 6208 (pb2sat) R 6207 6208 4005 0 -1 0 297941 0 0 0 48292 668 0 0 25 0 1 0 20875510 831471616 195500 4294967295 134512640 135987407 3221224576 3221223256 135477176 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6208/statm): 202996 195500 364 364 0 202632 0
[pid=6208] vsize: 811984
Current children cumulated CPU time (s) 489.6
Current children cumulated vsize (Kb) 811984
One traced child (pid=6208) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 494.795
CPU time (s): 494.379
CPU user time (s): 487.307
CPU system time (s): 7.07192
CPU usage (%): 99.916
Max. virtual memory (cumulated for all children) (Kb): 811984

Verifier Data

ERROR: no interpretation found !