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-jnh201.opb
MD5SUMba509931ad93c2223be235a06a9b3100
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 84
Optimality of the best value was proved YES
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark236.038
Number of variables200
Total number of constraints900
Number of constraints which are clauses900
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 constraint14

Trace number 2374

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-18 19:24:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3741 boxname=wulflinc11 idbench=225 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ba509931ad93c2223be235a06a9b3100  /oldhome/oroussel/tmp/wulflinc11/normalized-jnh201.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc11/normalized-jnh201.opb
IDLAUNCH: 3741
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        926696 kB
Buffers:         32216 kB
Cached:          48312 kB
SwapCached:        732 kB
Active:          45104 kB
Inactive:        38044 kB
HighTotal:      131008 kB
HighFree:        80780 kB
LowTotal:       903652 kB
LowFree:        845916 kB
SwapTotal:     2097136 kB
SwapFree:      2095856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            19060 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 19:35:00 (client local time) WITH STATUS 30 IN 608.695 SECONDS
stats: 3741 0 608.695 30

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-jnh201.opb ......
c The optimum solution is:84
s OPTIMUM FOUND
v x1 x10 x100 -x101 x102 x103 -x104 -x105 x106 x107 -x108 -x109 x11 x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 x119 -x12 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 -x13 x130 -x131 x132 -x133 x134 -x135 x136 -x137 x138 x139 -x14 -x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 -x149 x15 -x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 -x159 -x16 x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x17 x170 -x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 x18 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 -x19 x190 -x191 -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 -x2 x20 x200 -x21 x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x3 -x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 -x39 -x4 x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 -x49 x5 x50 x51 -x52 -x53 x54 -x55 x56 -x57 -x58 -x59 -x6 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 x69 -x7 -x70 -x71 x72 -x73 x74 -x75 x76 x77 -x78 -x79 x8 x80 x81 -x82 x83 -x84 -x85 -x86 -x87 x88 x89 -x9 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 x98 -x99 
c Done, CPU Time=608.626

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/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1785522991 978944 2 4294967295 134512640 135450776 3221224576 3221224576 134512960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 239 2 232 232 0 7 0
[pid=16632] vsize: 956
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-jnh201.opb
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-jnh201.opb

[startup+10.0035 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 1616 0 0 0 944 22 0 0 25 0 1 0 1785522991 10645504 1550 4294967295 134512640 135450776 3221224576 3221223280 134536625 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 2599 1550 232 232 0 2367 0
[pid=16632] vsize: 10396
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 10396

[startup+20.0043 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 2220 0 0 0 1909 35 0 0 25 0 1 0 1785522991 11059200 2154 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 2700 2154 232 232 0 2468 0
[pid=16632] vsize: 10800
Current children cumulated CPU time (s) 19.44
Current children cumulated vsize (Kb) 10800

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 2728 0 0 0 2881 47 0 0 25 0 1 0 1785522991 11862016 2565 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 2896 2565 232 232 0 2664 0
[pid=16632] vsize: 11584
Current children cumulated CPU time (s) 29.28
Current children cumulated vsize (Kb) 11584

[startup+40.0049 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 3519 0 0 0 3856 57 0 0 25 0 1 0 1785522991 20529152 3356 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5012 3356 232 232 0 4780 0
[pid=16632] vsize: 20048
Current children cumulated CPU time (s) 39.13
Current children cumulated vsize (Kb) 20048

[startup+50.0057 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 4094 0 0 0 4829 67 0 0 25 0 1 0 1785522991 20955136 3931 4294967295 134512640 135450776 3221224576 3221223376 134548519 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5116 3931 232 232 0 4884 0
[pid=16632] vsize: 20464
Current children cumulated CPU time (s) 48.96
Current children cumulated vsize (Kb) 20464

[startup+60.0064 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 4377 0 0 0 5807 75 0 0 25 0 1 0 1785522991 22016000 4021 4294967295 134512640 135450776 3221224576 3221223296 134539541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5375 4021 232 232 0 5143 0
[pid=16632] vsize: 21500
Current children cumulated CPU time (s) 58.82
Current children cumulated vsize (Kb) 21500

[startup+70.0072 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 4447 0 0 0 6786 83 0 0 25 0 1 0 1785522991 22298624 4091 4294967295 134512640 135450776 3221224576 3221223296 134539307 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5444 4091 232 232 0 5212 0
[pid=16632] vsize: 21776
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (Kb) 21776

[startup+80.008 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) T 16631 16632 9854 0 -1 0 4528 0 0 0 7761 92 0 0 25 0 1 0 1785522991 22568960 4172 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5510 4172 232 232 0 5278 0
[pid=16632] vsize: 22040
Current children cumulated CPU time (s) 78.53
Current children cumulated vsize (Kb) 22040

[startup+90.0088 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 4652 0 0 0 8738 100 0 0 25 0 1 0 1785522991 23072768 4296 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5633 4296 232 232 0 5401 0
[pid=16632] vsize: 22532
Current children cumulated CPU time (s) 88.38
Current children cumulated vsize (Kb) 22532

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) T 16631 16632 9854 0 -1 0 4679 0 0 0 9712 109 0 0 25 0 1 0 1785522991 23072768 4323 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5633 4323 232 232 0 5401 0
[pid=16632] vsize: 22532
Current children cumulated CPU time (s) 98.21
Current children cumulated vsize (Kb) 22532

[startup+110.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 4706 0 0 0 10690 117 0 0 25 0 1 0 1785522991 23072768 4350 4294967295 134512640 135450776 3221224576 3221223296 134539471 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5633 4350 232 232 0 5401 0
[pid=16632] vsize: 22532
Current children cumulated CPU time (s) 108.07
Current children cumulated vsize (Kb) 22532

[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 4781 0 0 0 11672 122 0 0 25 0 1 0 1785522991 23252992 4425 4294967295 134512640 135450776 3221224576 3221223296 134539541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5677 4425 232 232 0 5445 0
[pid=16632] vsize: 22708
Current children cumulated CPU time (s) 117.94
Current children cumulated vsize (Kb) 22708

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 4813 0 0 0 12649 131 0 0 25 0 1 0 1785522991 23252992 4457 4294967295 134512640 135450776 3221224576 3221223296 134539307 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5677 4457 232 232 0 5445 0
[pid=16632] vsize: 22708
Current children cumulated CPU time (s) 127.8
Current children cumulated vsize (Kb) 22708

[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 4844 0 0 0 13628 137 0 0 25 0 1 0 1785522991 23400448 4488 4294967295 134512640 135450776 3221224576 3221223280 134536864 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 5713 4488 232 232 0 5481 0
[pid=16632] vsize: 22852
Current children cumulated CPU time (s) 137.65
Current children cumulated vsize (Kb) 22852

[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 5261 0 0 0 14610 144 0 0 25 0 1 0 1785522991 24973312 4520 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 6097 4520 232 232 0 5865 0
[pid=16632] vsize: 24388
Current children cumulated CPU time (s) 147.54
Current children cumulated vsize (Kb) 24388

[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 5568 0 0 0 15592 150 0 0 25 0 1 0 1785522991 25112576 4827 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 6131 4827 232 232 0 5899 0
[pid=16632] vsize: 24524
Current children cumulated CPU time (s) 157.42
Current children cumulated vsize (Kb) 24524

[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 5777 0 0 0 16573 156 0 0 25 0 1 0 1785522991 25423872 5036 4294967295 134512640 135450776 3221224576 3221223376 134537295 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 6207 5036 232 232 0 5975 0
[pid=16632] vsize: 24828
Current children cumulated CPU time (s) 167.29
Current children cumulated vsize (Kb) 24828

[startup+180.014 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 6138 0 0 0 17554 165 0 0 25 0 1 0 1785522991 25571328 5397 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 6243 5397 232 232 0 6011 0
[pid=16632] vsize: 24972
Current children cumulated CPU time (s) 177.19
Current children cumulated vsize (Kb) 24972

[startup+190.015 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 6556 0 0 0 18536 173 0 0 25 0 1 0 1785522991 42348544 5815 4294967295 134512640 135450776 3221224576 3221223376 134538155 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16632/statm): 10339 5815 232 232 0 10107 0
[pid=16632] vsize: 41356
Current children cumulated CPU time (s) 187.09
Current children cumulated vsize (Kb) 41356

[startup+200.014 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7164 0 0 0 19515 181 0 0 25 0 1 0 1785522991 43048960 6423 4294967295 134512640 135450776 3221224576 3221223376 134547520 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16632/statm): 10510 6423 232 232 0 10278 0
[pid=16632] vsize: 42040
Current children cumulated CPU time (s) 196.96
Current children cumulated vsize (Kb) 42040

[startup+210.015 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7190 0 0 0 20496 187 0 0 25 0 1 0 1785522991 43048960 6449 4294967295 134512640 135450776 3221224576 3221223472 134597690 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10510 6449 232 232 0 10278 0
[pid=16632] vsize: 42040
Current children cumulated CPU time (s) 206.83
Current children cumulated vsize (Kb) 42040

[startup+220.016 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7210 0 0 0 21476 194 0 0 25 0 1 0 1785522991 43048960 6469 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10510 6469 232 232 0 10278 0
[pid=16632] vsize: 42040
Current children cumulated CPU time (s) 216.7
Current children cumulated vsize (Kb) 42040

[startup+230.016 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7321 0 0 0 22458 200 0 0 25 0 1 0 1785522991 43499520 6580 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10620 6580 232 232 0 10388 0
[pid=16632] vsize: 42480
Current children cumulated CPU time (s) 226.58
Current children cumulated vsize (Kb) 42480

[startup+240.017 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7344 0 0 0 23437 207 0 0 25 0 1 0 1785522991 43499520 6603 4294967295 134512640 135450776 3221224576 3221223280 134536576 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10620 6603 232 232 0 10388 0
[pid=16632] vsize: 42480
Current children cumulated CPU time (s) 236.44
Current children cumulated vsize (Kb) 42480

[startup+250.017 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7363 0 0 0 24418 215 0 0 25 0 1 0 1785522991 43499520 6622 4294967295 134512640 135450776 3221224576 3221223280 134536673 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10620 6622 232 232 0 10388 0
[pid=16632] vsize: 42480
Current children cumulated CPU time (s) 246.33
Current children cumulated vsize (Kb) 42480

[startup+260.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7383 0 0 0 25402 221 0 0 25 0 1 0 1785522991 43499520 6642 4294967295 134512640 135450776 3221224576 3221222964 135070471 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16632/statm): 10620 6642 232 232 0 10388 0
[pid=16632] vsize: 42480
Current children cumulated CPU time (s) 256.23
Current children cumulated vsize (Kb) 42480

[startup+270.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7403 0 0 0 26385 227 0 0 25 0 1 0 1785522991 43499520 6662 4294967295 134512640 135450776 3221224576 3221223296 134539657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10620 6662 232 232 0 10388 0
[pid=16632] vsize: 42480
Current children cumulated CPU time (s) 266.12
Current children cumulated vsize (Kb) 42480

[startup+280.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7475 0 0 0 27368 232 0 0 25 0 1 0 1785522991 43642880 6734 4294967295 134512640 135450776 3221224576 3221223280 134536373 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10655 6734 232 232 0 10423 0
[pid=16632] vsize: 42620
Current children cumulated CPU time (s) 276
Current children cumulated vsize (Kb) 42620

[startup+290.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7494 0 0 0 28352 237 0 0 25 0 1 0 1785522991 43642880 6753 4294967295 134512640 135450776 3221224576 3221223296 134539510 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16632/statm): 10655 6753 232 232 0 10423 0
[pid=16632] vsize: 42620
Current children cumulated CPU time (s) 285.89
Current children cumulated vsize (Kb) 42620

[startup+300.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7525 0 0 0 29336 243 0 0 25 0 1 0 1785522991 43794432 6784 4294967295 134512640 135450776 3221224576 3221223280 134536646 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10692 6784 232 232 0 10460 0
[pid=16632] vsize: 42768
Current children cumulated CPU time (s) 295.79
Current children cumulated vsize (Kb) 42768

[startup+310.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7542 0 0 0 30317 249 0 0 25 0 1 0 1785522991 43794432 6801 4294967295 134512640 135450776 3221224576 3221223296 134539747 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10692 6801 232 232 0 10460 0
[pid=16632] vsize: 42768
Current children cumulated CPU time (s) 305.66
Current children cumulated vsize (Kb) 42768

[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7579 0 0 0 31301 254 0 0 25 0 1 0 1785522991 43794432 6838 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10692 6838 232 232 0 10460 0
[pid=16632] vsize: 42768
Current children cumulated CPU time (s) 315.55
Current children cumulated vsize (Kb) 42768

[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7609 0 0 0 32284 261 0 0 25 0 1 0 1785522991 44101632 6868 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10767 6868 232 232 0 10535 0
[pid=16632] vsize: 43068
Current children cumulated CPU time (s) 325.45
Current children cumulated vsize (Kb) 43068

[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7659 0 0 0 33269 267 0 0 25 0 1 0 1785522991 44101632 6918 4294967295 134512640 135450776 3221224576 3221223376 134537379 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10767 6918 232 232 0 10535 0
[pid=16632] vsize: 43068
Current children cumulated CPU time (s) 335.36
Current children cumulated vsize (Kb) 43068

[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 7747 0 0 0 34252 272 0 0 25 0 1 0 1785522991 44269568 7006 4294967295 134512640 135450776 3221224576 3221223296 134539307 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 10808 7006 232 232 0 10576 0
[pid=16632] vsize: 43232
Current children cumulated CPU time (s) 345.24
Current children cumulated vsize (Kb) 43232

[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 8537 0 0 0 35235 279 0 0 25 0 1 0 1785522991 47415296 7027 4294967295 134512640 135450776 3221224576 3221223280 134536644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11576 7027 232 232 0 11344 0
[pid=16632] vsize: 46304
Current children cumulated CPU time (s) 355.14
Current children cumulated vsize (Kb) 46304

[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 8559 0 0 0 36221 285 0 0 25 0 1 0 1785522991 47562752 7049 4294967295 134512640 135450776 3221224576 3221223376 134537328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11612 7049 232 232 0 11380 0
[pid=16632] vsize: 46448
Current children cumulated CPU time (s) 365.06
Current children cumulated vsize (Kb) 46448

[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 8582 0 0 0 37207 289 0 0 25 0 1 0 1785522991 47742976 7072 4294967295 134512640 135450776 3221224576 3221223392 134551012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11656 7072 232 232 0 11424 0
[pid=16632] vsize: 46624
Current children cumulated CPU time (s) 374.96
Current children cumulated vsize (Kb) 46624

[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 8612 0 0 0 38190 295 0 0 25 0 1 0 1785522991 47742976 7102 4294967295 134512640 135450776 3221224576 3221223296 134539541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11656 7102 232 232 0 11424 0
[pid=16632] vsize: 46624
Current children cumulated CPU time (s) 384.85
Current children cumulated vsize (Kb) 46624

[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 8662 0 0 0 39176 300 0 0 25 0 1 0 1785522991 47890432 7152 4294967295 134512640 135450776 3221224576 3221223280 134536656 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11692 7152 232 232 0 11460 0
[pid=16632] vsize: 46768
Current children cumulated CPU time (s) 394.76
Current children cumulated vsize (Kb) 46768

[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 8711 0 0 0 40163 305 0 0 25 0 1 0 1785522991 48037888 7201 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11728 7201 232 232 0 11496 0
[pid=16632] vsize: 46912
Current children cumulated CPU time (s) 404.68
Current children cumulated vsize (Kb) 46912

[startup+420.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 8837 0 0 0 41149 311 0 0 25 0 1 0 1785522991 48230400 7327 4294967295 134512640 135450776 3221224576 3221223280 134536631 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16632/statm): 11775 7327 232 232 0 11543 0
[pid=16632] vsize: 47100
Current children cumulated CPU time (s) 414.6
Current children cumulated vsize (Kb) 47100

[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 8892 0 0 0 42136 316 0 0 25 0 1 0 1785522991 48402432 7382 4294967295 134512640 135450776 3221224576 3221223376 134537705 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11817 7382 232 232 0 11585 0
[pid=16632] vsize: 47268
Current children cumulated CPU time (s) 424.52
Current children cumulated vsize (Kb) 47268

[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9033 0 0 0 43121 321 0 0 18 0 1 0 1785522991 48971776 7523 4294967295 134512640 135450776 3221224576 3221223088 134545187 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16632/statm): 11956 7523 232 232 0 11724 0
[pid=16632] vsize: 47824
Current children cumulated CPU time (s) 434.42
Current children cumulated vsize (Kb) 47824

[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9231 0 0 0 44104 329 0 0 25 0 1 0 1785522991 48971776 7721 4294967295 134512640 135450776 3221224576 3221223280 134536871 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11956 7721 232 232 0 11724 0
[pid=16632] vsize: 47824
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (Kb) 47824

[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9248 0 0 0 45087 334 0 0 25 0 1 0 1785522991 48971776 7738 4294967295 134512640 135450776 3221224576 3221223376 134548488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11956 7738 232 232 0 11724 0
[pid=16632] vsize: 47824
Current children cumulated CPU time (s) 454.21
Current children cumulated vsize (Kb) 47824

[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9291 0 0 0 46070 341 0 0 25 0 1 0 1785522991 48971776 7781 4294967295 134512640 135450776 3221224576 3221223280 134536573 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11956 7781 232 232 0 11724 0
[pid=16632] vsize: 47824
Current children cumulated CPU time (s) 464.11
Current children cumulated vsize (Kb) 47824

[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9308 0 0 0 47055 347 0 0 25 0 1 0 1785522991 48971776 7798 4294967295 134512640 135450776 3221224576 3221223296 134539325 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 11956 7798 232 232 0 11724 0
[pid=16632] vsize: 47824
Current children cumulated CPU time (s) 474.02
Current children cumulated vsize (Kb) 47824

[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9350 0 0 0 48040 354 0 0 25 0 1 0 1785522991 49201152 7840 4294967295 134512640 135450776 3221224576 3221223280 134536392 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12012 7840 232 232 0 11780 0
[pid=16632] vsize: 48048
Current children cumulated CPU time (s) 483.94
Current children cumulated vsize (Kb) 48048

[startup+500.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9370 0 0 0 49026 358 0 0 25 0 1 0 1785522991 49201152 7860 4294967295 134512640 135450776 3221224576 3221223296 134539652 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12012 7860 232 232 0 11780 0
[pid=16632] vsize: 48048
Current children cumulated CPU time (s) 493.84
Current children cumulated vsize (Kb) 48048

[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9408 0 0 0 50012 363 0 0 25 0 1 0 1785522991 49201152 7898 4294967295 134512640 135450776 3221224576 3221223280 134536570 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12012 7898 232 232 0 11780 0
[pid=16632] vsize: 48048
Current children cumulated CPU time (s) 503.75
Current children cumulated vsize (Kb) 48048

[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9430 0 0 0 50997 369 0 0 25 0 1 0 1785522991 49201152 7920 4294967295 134512640 135450776 3221224576 3221223424 134540099 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12012 7920 232 232 0 11780 0
[pid=16632] vsize: 48048
Current children cumulated CPU time (s) 513.66
Current children cumulated vsize (Kb) 48048

[startup+530.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9462 0 0 0 51982 374 0 0 25 0 1 0 1785522991 49201152 7952 4294967295 134512640 135450776 3221224576 3221223280 134536619 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12012 7952 232 232 0 11780 0
[pid=16632] vsize: 48048
Current children cumulated CPU time (s) 523.56
Current children cumulated vsize (Kb) 48048

[startup+540.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9509 0 0 0 52967 379 0 0 25 0 1 0 1785522991 49606656 7999 4294967295 134512640 135450776 3221224576 3221222660 134616391 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12111 7999 232 232 0 11879 0
[pid=16632] vsize: 48444
Current children cumulated CPU time (s) 533.46
Current children cumulated vsize (Kb) 48444

[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9572 0 0 0 53952 384 0 0 25 0 1 0 1785522991 49770496 8062 4294967295 134512640 135450776 3221224576 3221223376 134538136 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12151 8062 232 232 0 11919 0
[pid=16632] vsize: 48604
Current children cumulated CPU time (s) 543.36
Current children cumulated vsize (Kb) 48604

[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9604 0 0 0 54939 389 0 0 25 0 1 0 1785522991 49770496 8094 4294967295 134512640 135450776 3221224576 3221223280 134536587 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12151 8094 232 232 0 11919 0
[pid=16632] vsize: 48604
Current children cumulated CPU time (s) 553.28
Current children cumulated vsize (Kb) 48604

[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9651 0 0 0 55928 394 0 0 25 0 1 0 1785522991 49934336 8141 4294967295 134512640 135450776 3221224576 3221223280 134536670 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12191 8141 232 232 0 11959 0
[pid=16632] vsize: 48764
Current children cumulated CPU time (s) 563.22
Current children cumulated vsize (Kb) 48764

[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9709 0 0 0 56915 399 0 0 25 0 1 0 1785522991 50192384 8199 4294967295 134512640 135450776 3221224576 3221223392 134550657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12254 8199 232 232 0 12022 0
[pid=16632] vsize: 49016
Current children cumulated CPU time (s) 573.14
Current children cumulated vsize (Kb) 49016

[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9768 0 0 0 57901 404 0 0 25 0 1 0 1785522991 50356224 8258 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12294 8258 232 232 0 12062 0
[pid=16632] vsize: 49176
Current children cumulated CPU time (s) 583.05
Current children cumulated vsize (Kb) 49176

[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9817 0 0 0 58885 410 0 0 25 0 1 0 1785522991 50356224 8307 4294967295 134512640 135450776 3221224576 3221223280 134536610 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16632/statm): 12294 8307 232 232 0 12062 0
[pid=16632] vsize: 49176
Current children cumulated CPU time (s) 592.95
Current children cumulated vsize (Kb) 49176

[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 16632
Raw data (/proc/16632/stat): 16632 (PBS4) R 16631 16632 9854 0 -1 0 9885 0 0 0 59868 415 0 0 25 0 1 0 1785522991 50630656 8375 4294967295 134512640 135450776 3221224576 3221223280 134536673 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16632/statm): 12361 8375 232 232 0 12129 0
[pid=16632] vsize: 49444
Current children cumulated CPU time (s) 602.83
Current children cumulated vsize (Kb) 49444
One traced child (pid=16632) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 615.958
CPU time (s): 608.695
CPU user time (s): 604.489
CPU system time (s): 4.20636
CPU usage (%): 98.8209
Max. virtual memory (cumulated for all children) (Kb): 49444

Verifier Data

Verifier:	OK	84