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-ii16b2.opb
MD5SUMe21ba82f6fe94f7331ec17a5a9607763
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1031
Optimality of the best value was proved YES
Number of terms in the objective function 2152
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 2152
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2152
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark448.539
Number of variables2152
Total number of constraints17197
Number of constraints which are clauses17197
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 9582

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-23 14:27:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8337 boxname=wulflinc23 idbench=133 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e21ba82f6fe94f7331ec17a5a9607763  /oldhome/oroussel/tmp/wulflinc23/normalized-ii16b2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-ii16b2.opb
IDLAUNCH: 8337
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
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.185
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        924400 kB
Buffers:         13540 kB
Cached:          78464 kB
SwapCached:          0 kB
Active:          59652 kB
Inactive:        35304 kB
HighTotal:      131008 kB
HighFree:        48244 kB
LowTotal:       903652 kB
LowFree:        876156 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9896 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:37:06 (client local time) WITH STATUS 1 IN 600.671 SECONDS
stats: 8337 7 600.671 1

Solver Data

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

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

[startup+10.0019 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 8042 0 0 0 957 27 0 0 25 0 1 0 20896699 26734592 5323 4294967295 134512640 135987407 3221224576 3220974244 134641978 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 6527 5323 364 364 0 6163 0
[pid=6716] vsize: 26108
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 26108

[startup+20.0035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 35797 0 0 0 1892 89 0 0 25 0 1 0 20896699 104112128 24610 4294967295 134512640 135987407 3221224576 3220598780 135499903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 25418 24610 364 364 0 25054 0
[pid=6716] vsize: 101672
Current children cumulated CPU time (s) 19.81
Current children cumulated vsize (Kb) 101672

[startup+30.0041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 65551 0 0 0 2823 156 0 0 25 0 1 0 20896699 197775360 43165 4294967295 134512640 135987407 3221224576 3220685336 134789811 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 48285 43165 364 364 0 47921 0
[pid=6716] vsize: 193140
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (Kb) 193140

[startup+40.0038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 106189 0 0 0 3732 244 0 0 25 0 1 0 20896699 360771584 61634 4294967295 134512640 135987407 3221224576 3220610924 134636966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 88079 61634 364 364 0 87715 0
[pid=6716] vsize: 352316
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 352316

[startup+50.0044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 124116 0 0 0 4689 286 0 0 25 0 1 0 20896699 383885312 79346 4294967295 134512640 135987407 3221224576 3220918652 135499901 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 93722 79347 364 364 0 93358 0
[pid=6716] vsize: 374888
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (Kb) 374888

[startup+60.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 139991 0 0 0 5652 322 0 0 25 0 1 0 20896699 415010816 95076 4294967295 134512640 135987407 3221224576 3221223008 134829261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 101321 95076 364 364 0 100957 0
[pid=6716] vsize: 405284
Current children cumulated CPU time (s) 59.74
Current children cumulated vsize (Kb) 405284

[startup+70.0046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 144000 0 0 0 6642 331 0 0 25 0 1 0 20896699 420925440 96049 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 102765 96049 364 364 0 102401 0
[pid=6716] vsize: 411060
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 411060

[startup+80.0053 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 145177 0 0 0 7640 333 0 0 25 0 1 0 20896699 423292928 96711 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 103343 96711 364 364 0 102979 0
[pid=6716] vsize: 413372
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (Kb) 413372

[startup+90.0049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 146974 0 0 0 8636 337 0 0 25 0 1 0 20896699 429236224 97714 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 104794 97714 364 364 0 104430 0
[pid=6716] vsize: 419176
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 419176

[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 147032 0 0 0 9635 337 0 0 25 0 1 0 20896699 429514752 97772 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 104862 97772 364 364 0 104498 0
[pid=6716] vsize: 419448
Current children cumulated CPU time (s) 99.72
Current children cumulated vsize (Kb) 419448

[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 147088 0 0 0 10635 337 0 0 25 0 1 0 20896699 429514752 97828 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 104862 97828 364 364 0 104498 0
[pid=6716] vsize: 419448
Current children cumulated CPU time (s) 109.72
Current children cumulated vsize (Kb) 419448

[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 148830 0 0 0 11632 341 0 0 25 0 1 0 20896699 434499584 98378 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 106079 98378 364 364 0 105715 0
[pid=6716] vsize: 424316
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 424316

[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149170 0 0 0 12630 342 0 0 25 0 1 0 20896699 435818496 98461 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 106401 98461 364 364 0 106037 0
[pid=6716] vsize: 425604
Current children cumulated CPU time (s) 129.72
Current children cumulated vsize (Kb) 425604

[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149241 0 0 0 13630 342 0 0 25 0 1 0 20896699 436088832 98532 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 106467 98532 364 364 0 106103 0
[pid=6716] vsize: 425868
Current children cumulated CPU time (s) 139.72
Current children cumulated vsize (Kb) 425868

[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149297 0 0 0 14630 342 0 0 25 0 1 0 20896699 436359168 98588 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 106533 98588 364 364 0 106169 0
[pid=6716] vsize: 426132
Current children cumulated CPU time (s) 149.72
Current children cumulated vsize (Kb) 426132

[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149309 0 0 0 15630 342 0 0 25 0 1 0 20896699 436359168 98600 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 106533 98600 364 364 0 106169 0
[pid=6716] vsize: 426132
Current children cumulated CPU time (s) 159.72
Current children cumulated vsize (Kb) 426132

[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149334 0 0 0 16630 343 0 0 25 0 1 0 20896699 436359168 98625 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 106533 98625 364 364 0 106169 0
[pid=6716] vsize: 426132
Current children cumulated CPU time (s) 169.73
Current children cumulated vsize (Kb) 426132

[startup+180.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 150080 0 0 0 17628 344 0 0 25 0 1 0 20896699 438591488 98858 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 107078 98858 364 364 0 106714 0
[pid=6716] vsize: 428312
Current children cumulated CPU time (s) 179.72
Current children cumulated vsize (Kb) 428312

[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 150132 0 0 0 18628 345 0 0 25 0 1 0 20896699 438726656 98910 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 107111 98910 364 364 0 106747 0
[pid=6716] vsize: 428444
Current children cumulated CPU time (s) 189.73
Current children cumulated vsize (Kb) 428444

[startup+200.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 150162 0 0 0 19628 345 0 0 25 0 1 0 20896699 438861824 98940 4294967295 134512640 135987407 3221224576 3221223136 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 107144 98940 364 364 0 106780 0
[pid=6716] vsize: 428576
Current children cumulated CPU time (s) 199.73
Current children cumulated vsize (Kb) 428576

[startup+210.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 151037 0 0 0 20626 347 0 0 25 0 1 0 20896699 441229312 99302 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 107722 99302 364 364 0 107358 0
[pid=6716] vsize: 430888
Current children cumulated CPU time (s) 209.73
Current children cumulated vsize (Kb) 430888

[startup+220.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 151106 0 0 0 21626 347 0 0 25 0 1 0 20896699 441499648 99371 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 107788 99371 364 364 0 107424 0
[pid=6716] vsize: 431152
Current children cumulated CPU time (s) 219.73
Current children cumulated vsize (Kb) 431152

[startup+230.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 151911 0 0 0 22624 349 0 0 25 0 1 0 20896699 443596800 99663 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108300 99663 364 364 0 107936 0
[pid=6716] vsize: 433200
Current children cumulated CPU time (s) 229.73
Current children cumulated vsize (Kb) 433200

[startup+240.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152034 0 0 0 23624 349 0 0 25 0 1 0 20896699 444002304 99786 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108399 99786 364 364 0 108035 0
[pid=6716] vsize: 433596
Current children cumulated CPU time (s) 239.73
Current children cumulated vsize (Kb) 433596

[startup+250.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152074 0 0 0 24624 349 0 0 25 0 1 0 20896699 444137472 99826 4294967295 134512640 135987407 3221224576 3221223264 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108432 99826 364 364 0 108068 0
[pid=6716] vsize: 433728
Current children cumulated CPU time (s) 249.73
Current children cumulated vsize (Kb) 433728

[startup+260.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152100 0 0 0 25624 350 0 0 25 0 1 0 20896699 444272640 99852 4294967295 134512640 135987407 3221224576 3221223292 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108465 99852 364 364 0 108101 0
[pid=6716] vsize: 433860
Current children cumulated CPU time (s) 259.74
Current children cumulated vsize (Kb) 433860

[startup+270.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152145 0 0 0 26623 350 0 0 25 0 1 0 20896699 444407808 99897 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108498 99897 364 364 0 108134 0
[pid=6716] vsize: 433992
Current children cumulated CPU time (s) 269.73
Current children cumulated vsize (Kb) 433992

[startup+280.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152172 0 0 0 27623 350 0 0 25 0 1 0 20896699 444542976 99924 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108531 99924 364 364 0 108167 0
[pid=6716] vsize: 434124
Current children cumulated CPU time (s) 279.73
Current children cumulated vsize (Kb) 434124

[startup+290.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152177 0 0 0 28623 350 0 0 25 0 1 0 20896699 444542976 99929 4294967295 134512640 135987407 3221224576 3221222892 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108531 99929 364 364 0 108167 0
[pid=6716] vsize: 434124
Current children cumulated CPU time (s) 289.73
Current children cumulated vsize (Kb) 434124

[startup+300.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152208 0 0 0 29623 350 0 0 25 0 1 0 20896699 444542976 99960 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108531 99960 364 364 0 108167 0
[pid=6716] vsize: 434124
Current children cumulated CPU time (s) 299.73
Current children cumulated vsize (Kb) 434124

[startup+310.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152212 0 0 0 30623 350 0 0 25 0 1 0 20896699 444542976 99964 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108531 99964 364 364 0 108167 0
[pid=6716] vsize: 434124
Current children cumulated CPU time (s) 309.73
Current children cumulated vsize (Kb) 434124

[startup+320.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152214 0 0 0 31623 351 0 0 25 0 1 0 20896699 444542976 99966 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6716/statm): 108531 99966 364 364 0 108167 0
[pid=6716] vsize: 434124
Current children cumulated CPU time (s) 319.74
Current children cumulated vsize (Kb) 434124

[startup+330.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152214 0 0 0 32622 351 0 0 25 0 1 0 20896699 444542976 99966 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108531 99966 364 364 0 108167 0
[pid=6716] vsize: 434124
Current children cumulated CPU time (s) 329.73
Current children cumulated vsize (Kb) 434124

[startup+340.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152215 0 0 0 33622 351 0 0 25 0 1 0 20896699 444542976 99967 4294967295 134512640 135987407 3221224576 3221223136 134811867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108531 99967 364 364 0 108167 0
[pid=6716] vsize: 434124
Current children cumulated CPU time (s) 339.73
Current children cumulated vsize (Kb) 434124

[startup+350.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152215 0 0 0 34622 351 0 0 25 0 1 0 20896699 444542976 99967 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108531 99967 364 364 0 108167 0
[pid=6716] vsize: 434124
Current children cumulated CPU time (s) 349.73
Current children cumulated vsize (Kb) 434124

[startup+360.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152221 0 0 0 35621 351 0 0 25 0 1 0 20896699 444682240 99973 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108565 99973 364 364 0 108201 0
[pid=6716] vsize: 434260
Current children cumulated CPU time (s) 359.72
Current children cumulated vsize (Kb) 434260

[startup+370.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152285 0 0 0 36620 352 0 0 25 0 1 0 20896699 444817408 100037 4294967295 134512640 135987407 3221224576 3221223232 134812339 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108598 100037 364 364 0 108234 0
[pid=6716] vsize: 434392
Current children cumulated CPU time (s) 369.72
Current children cumulated vsize (Kb) 434392

[startup+380.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152285 0 0 0 37620 352 0 0 25 0 1 0 20896699 444817408 100037 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108598 100037 364 364 0 108234 0
[pid=6716] vsize: 434392
Current children cumulated CPU time (s) 379.72
Current children cumulated vsize (Kb) 434392

[startup+390.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152361 0 0 0 38620 352 0 0 25 0 1 0 20896699 444817408 100113 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108598 100113 364 364 0 108234 0
[pid=6716] vsize: 434392
Current children cumulated CPU time (s) 389.72
Current children cumulated vsize (Kb) 434392

[startup+400.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152375 0 0 0 39620 352 0 0 25 0 1 0 20896699 444952576 100127 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108631 100127 364 364 0 108267 0
[pid=6716] vsize: 434524
Current children cumulated CPU time (s) 399.72
Current children cumulated vsize (Kb) 434524

[startup+410.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152376 0 0 0 40619 352 0 0 25 0 1 0 20896699 444952576 100128 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108631 100128 364 364 0 108267 0
[pid=6716] vsize: 434524
Current children cumulated CPU time (s) 409.71
Current children cumulated vsize (Kb) 434524

[startup+420.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152525 0 0 0 41619 352 0 0 25 0 1 0 20896699 444952576 100277 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108631 100277 364 364 0 108267 0
[pid=6716] vsize: 434524
Current children cumulated CPU time (s) 419.71
Current children cumulated vsize (Kb) 434524

[startup+430.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152791 0 0 0 42618 353 0 0 25 0 1 0 20896699 445898752 100543 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108862 100543 364 364 0 108498 0
[pid=6716] vsize: 435448
Current children cumulated CPU time (s) 429.71
Current children cumulated vsize (Kb) 435448

[startup+440.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152793 0 0 0 43618 353 0 0 25 0 1 0 20896699 445898752 100545 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108862 100545 364 364 0 108498 0
[pid=6716] vsize: 435448
Current children cumulated CPU time (s) 439.71
Current children cumulated vsize (Kb) 435448

[startup+450.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152796 0 0 0 44618 353 0 0 25 0 1 0 20896699 445898752 100548 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108862 100548 364 364 0 108498 0
[pid=6716] vsize: 435448
Current children cumulated CPU time (s) 449.71
Current children cumulated vsize (Kb) 435448

[startup+460.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152799 0 0 0 45617 354 0 0 25 0 1 0 20896699 445898752 100551 4294967295 134512640 135987407 3221224576 3221223136 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108862 100551 364 364 0 108498 0
[pid=6716] vsize: 435448
Current children cumulated CPU time (s) 459.71
Current children cumulated vsize (Kb) 435448

[startup+470.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152800 0 0 0 46617 354 0 0 25 0 1 0 20896699 445898752 100552 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 108862 100552 364 364 0 108498 0
[pid=6716] vsize: 435448
Current children cumulated CPU time (s) 469.71
Current children cumulated vsize (Kb) 435448

[startup+480.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153531 0 0 0 47615 355 0 0 25 0 1 0 20896699 447995904 100770 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 109374 100770 364 364 0 109010 0
[pid=6716] vsize: 437496
Current children cumulated CPU time (s) 479.7
Current children cumulated vsize (Kb) 437496

[startup+490.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153534 0 0 0 48615 356 0 0 25 0 1 0 20896699 447995904 100773 4294967295 134512640 135987407 3221224576 3221223312 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 109374 100773 364 364 0 109010 0
[pid=6716] vsize: 437496
Current children cumulated CPU time (s) 489.71
Current children cumulated vsize (Kb) 437496

[startup+500.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153534 0 0 0 49615 356 0 0 25 0 1 0 20896699 447995904 100773 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 109374 100773 364 364 0 109010 0
[pid=6716] vsize: 437496
Current children cumulated CPU time (s) 499.71
Current children cumulated vsize (Kb) 437496

[startup+510.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153535 0 0 0 50615 356 0 0 25 0 1 0 20896699 447995904 100774 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 109374 100774 364 364 0 109010 0
[pid=6716] vsize: 437496
Current children cumulated CPU time (s) 509.71
Current children cumulated vsize (Kb) 437496

[startup+520.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153554 0 0 0 51615 356 0 0 25 0 1 0 20896699 448131072 100793 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 109407 100793 364 364 0 109043 0
[pid=6716] vsize: 437628
Current children cumulated CPU time (s) 519.71
Current children cumulated vsize (Kb) 437628

[startup+530.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153558 0 0 0 52615 356 0 0 25 0 1 0 20896699 448131072 100797 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 109407 100797 364 364 0 109043 0
[pid=6716] vsize: 437628
Current children cumulated CPU time (s) 529.71
Current children cumulated vsize (Kb) 437628

[startup+540.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 192155 0 0 0 53501 457 0 0 25 0 1 0 20896699 605327360 139357 4294967295 134512640 135987407 3221224576 3221127852 134635478 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 147785 139357 364 364 0 147421 0
[pid=6716] vsize: 591140
Current children cumulated CPU time (s) 539.58
Current children cumulated vsize (Kb) 591140

[startup+550.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 252571 0 0 0 54364 592 0 0 25 0 1 0 20896699 816496640 155600 4294967295 134512640 135987407 3221224576 3220747488 134537474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 199340 155600 364 364 0 198976 0
[pid=6716] vsize: 797360
Current children cumulated CPU time (s) 549.56
Current children cumulated vsize (Kb) 797360

[startup+560.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 261399 0 0 0 55348 608 0 0 25 0 1 0 20896699 816496640 164246 4294967295 134512640 135987407 3221224576 3221206252 135484794 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 199340 164246 364 364 0 198976 0
[pid=6716] vsize: 797360
Current children cumulated CPU time (s) 559.56
Current children cumulated vsize (Kb) 797360

[startup+570.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 270802 0 0 0 56328 628 0 0 25 0 1 0 20896699 816496640 173430 4294967295 134512640 135987407 3221224576 3220603308 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 199340 173430 364 364 0 198976 0
[pid=6716] vsize: 797360
Current children cumulated CPU time (s) 569.56
Current children cumulated vsize (Kb) 797360

[startup+580.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 280218 0 0 0 57310 646 0 0 25 0 1 0 20896699 816496640 182627 4294967295 134512640 135987407 3221224576 3221062492 135488059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 199340 182627 364 364 0 198976 0
[pid=6716] vsize: 797360
Current children cumulated CPU time (s) 579.56
Current children cumulated vsize (Kb) 797360

[startup+590.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 290242 0 0 0 58286 669 0 0 25 0 1 0 20896699 819875840 192437 4294967295 134512640 135987407 3221224576 3220708684 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 200165 192437 364 364 0 199801 0
[pid=6716] vsize: 800660
Current children cumulated CPU time (s) 589.55
Current children cumulated vsize (Kb) 800660

[startup+600.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6716
Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 298583 0 0 0 59253 702 0 0 25 0 1 0 20896699 523677696 127377 4294967295 134512640 135987407 3221224576 3221223424 134884004 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6716/statm): 127851 127377 364 364 0 127487 0
[pid=6716] vsize: 511404
Current children cumulated CPU time (s) 599.55
Current children cumulated vsize (Kb) 511404
One traced child (pid=6716) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 601.135
CPU time (s): 600.671
CPU user time (s): 593.392
CPU system time (s): 7.27889
CPU usage (%): 99.9228
Max. virtual memory (cumulated for all children) (Kb): 800660

Verifier Data

ERROR: no interpretation found !