Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
MD5SUMbdd9a8da4deb9b8348cff99945476562
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 162810
Biggest coefficient in the objective function 1511023181824000
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 426775792258590390
Number of bits of the sum of numbers in the objective function 59
Biggest number in a constraint 1511023181824000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 426775792258590390
Number of bits of the biggest sum of numbers59
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark28.5317
Number of variables162810
Total number of constraints1042
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1042
Minimum length of a constraint30
Maximum length of a constraint2250

Trace number 9994

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 16:12:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8680 boxname=wulflinc9 idbench=476 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bdd9a8da4deb9b8348cff99945476562  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship12l.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship12l.opb
IDLAUNCH: 8680
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        898796 kB
Buffers:         12504 kB
Cached:         105680 kB
SwapCached:          0 kB
Active:          66852 kB
Inactive:        54208 kB
HighTotal:      131008 kB
HighFree:        22232 kB
LowTotal:       903652 kB
LowFree:        876564 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9252 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:26:25 (client local time) WITH STATUS 0 IN 835.934 SECONDS
stats: 8680 7 835.934 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
s UNKNOWN

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/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21536253 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9413/statm): 373 2 364 364 0 9 0
[pid=9413] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship12l.opb

[startup+10.0024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 2521 0 0 0 990 8 0 0 25 0 1 0 21536253 9506816 1835 4294967295 134512640 135987407 3221224560 3221221952 134616313 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 2321 1835 364 364 0 1957 0
[pid=9413] vsize: 9284
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9284

[startup+20.0021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 3039 0 0 0 1988 10 0 0 25 0 1 0 21536253 10723328 2344 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 2618 2344 364 364 0 2254 0
[pid=9413] vsize: 10472
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10472

[startup+30.0019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 4419 0 0 0 2984 13 0 0 25 0 1 0 21536253 15769600 2979 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 3850 2979 364 364 0 3486 0
[pid=9413] vsize: 15400
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15400

[startup+40.0017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 4691 0 0 0 3983 15 0 0 25 0 1 0 21536253 16445440 3247 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 4015 3247 364 364 0 3651 0
[pid=9413] vsize: 16060
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16060

[startup+50.0025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 4942 0 0 0 4982 16 0 0 25 0 1 0 21536253 16986112 3494 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 4147 3494 364 364 0 3783 0
[pid=9413] vsize: 16588
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16588

[startup+60.0023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5167 0 0 0 5981 17 0 0 25 0 1 0 21536253 17661952 3715 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 4312 3715 364 364 0 3948 0
[pid=9413] vsize: 17248
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17248

[startup+70.0021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5376 0 0 0 6980 18 0 0 25 0 1 0 21536253 18202624 3921 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 4444 3921 364 364 0 4080 0
[pid=9413] vsize: 17776
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17776

[startup+80.0029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5567 0 0 0 7980 18 0 0 25 0 1 0 21536253 18608128 4109 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 4543 4109 364 364 0 4179 0
[pid=9413] vsize: 18172
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18172

[startup+90.0027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5750 0 0 0 8980 18 0 0 25 0 1 0 21536253 19148800 4289 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 4675 4289 364 364 0 4311 0
[pid=9413] vsize: 18700
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18700

[startup+100.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5918 0 0 0 9979 19 0 0 25 0 1 0 21536253 19554304 4454 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 4774 4454 364 364 0 4410 0
[pid=9413] vsize: 19096
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19096

[startup+110.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8296 0 0 0 10974 24 0 0 25 0 1 0 21536253 28835840 5354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7040 5354 364 364 0 6676 0
[pid=9413] vsize: 28160
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28160

[startup+120.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8354 0 0 0 11973 24 0 0 25 0 1 0 21536253 28835840 5410 4294967295 134512640 135987407 3221224560 3221221860 134639254 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7040 5410 364 364 0 6676 0
[pid=9413] vsize: 28160
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28160

[startup+130.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8455 0 0 0 12973 25 0 0 25 0 1 0 21536253 28971008 5508 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7073 5508 364 364 0 6709 0
[pid=9413] vsize: 28292
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28292

[startup+140.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8580 0 0 0 13973 25 0 0 25 0 1 0 21536253 29241344 5631 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7139 5631 364 364 0 6775 0
[pid=9413] vsize: 28556
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28556

[startup+150.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8702 0 0 0 14972 26 0 0 25 0 1 0 21536253 29511680 5751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7205 5751 364 364 0 6841 0
[pid=9413] vsize: 28820
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28820

[startup+160.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8820 0 0 0 15976 27 0 0 25 0 1 0 21536253 29782016 5867 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7271 5867 364 364 0 6907 0
[pid=9413] vsize: 29084
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 29084

[startup+170.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8934 0 0 0 16975 28 0 0 25 0 1 0 21536253 30052352 5979 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7337 5979 364 364 0 6973 0
[pid=9413] vsize: 29348
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 29348

[startup+180.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9052 0 0 0 17975 28 0 0 25 0 1 0 21536253 30322688 6094 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7403 6094 364 364 0 7039 0
[pid=9413] vsize: 29612
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 29612

[startup+190.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9176 0 0 0 18974 29 0 0 25 0 1 0 21536253 30728192 6216 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7502 6216 364 364 0 7138 0
[pid=9413] vsize: 30008
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 30008

[startup+200.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9299 0 0 0 19974 29 0 0 25 0 1 0 21536253 30998528 6337 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7568 6337 364 364 0 7204 0
[pid=9413] vsize: 30272
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 30272

[startup+210.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9416 0 0 0 20974 30 0 0 25 0 1 0 21536253 31268864 6453 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7634 6453 364 364 0 7270 0
[pid=9413] vsize: 30536
Current children cumulated CPU time (s) 210.04
Current children cumulated vsize (Kb) 30536

[startup+220.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9534 0 0 0 21973 30 0 0 25 0 1 0 21536253 31674368 6569 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7733 6569 364 364 0 7369 0
[pid=9413] vsize: 30932
Current children cumulated CPU time (s) 220.03
Current children cumulated vsize (Kb) 30932

[startup+230.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9647 0 0 0 22973 31 0 0 25 0 1 0 21536253 31944704 6680 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7799 6680 364 364 0 7435 0
[pid=9413] vsize: 31196
Current children cumulated CPU time (s) 230.04
Current children cumulated vsize (Kb) 31196

[startup+240.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9762 0 0 0 23973 31 0 0 25 0 1 0 21536253 32215040 6793 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7865 6793 364 364 0 7501 0
[pid=9413] vsize: 31460
Current children cumulated CPU time (s) 240.04
Current children cumulated vsize (Kb) 31460

[startup+250.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9871 0 0 0 24972 31 0 0 25 0 1 0 21536253 32485376 6900 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7931 6900 364 364 0 7567 0
[pid=9413] vsize: 31724
Current children cumulated CPU time (s) 250.03
Current children cumulated vsize (Kb) 31724

[startup+260.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9980 0 0 0 25972 32 0 0 25 0 1 0 21536253 32755712 7007 4294967295 134512640 135987407 3221224560 3221221728 134566704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 7997 7007 364 364 0 7633 0
[pid=9413] vsize: 31988
Current children cumulated CPU time (s) 260.04
Current children cumulated vsize (Kb) 31988

[startup+270.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10085 0 0 0 26972 32 0 0 25 0 1 0 21536253 33026048 7111 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8063 7111 364 364 0 7699 0
[pid=9413] vsize: 32252
Current children cumulated CPU time (s) 270.04
Current children cumulated vsize (Kb) 32252

[startup+280.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10189 0 0 0 27972 33 0 0 25 0 1 0 21536253 33296384 7213 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8129 7213 364 364 0 7765 0
[pid=9413] vsize: 32516
Current children cumulated CPU time (s) 280.05
Current children cumulated vsize (Kb) 32516

[startup+290.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10293 0 0 0 28971 33 0 0 25 0 1 0 21536253 33566720 7315 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8195 7315 364 364 0 7831 0
[pid=9413] vsize: 32780
Current children cumulated CPU time (s) 290.04
Current children cumulated vsize (Kb) 32780

[startup+300.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10393 0 0 0 29971 33 0 0 25 0 1 0 21536253 33837056 7414 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8261 7414 364 364 0 7897 0
[pid=9413] vsize: 33044
Current children cumulated CPU time (s) 300.04
Current children cumulated vsize (Kb) 33044

[startup+310.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10493 0 0 0 30971 34 0 0 25 0 1 0 21536253 34107392 7512 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8327 7512 364 364 0 7963 0
[pid=9413] vsize: 33308
Current children cumulated CPU time (s) 310.05
Current children cumulated vsize (Kb) 33308

[startup+320.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10590 0 0 0 31971 34 0 0 25 0 1 0 21536253 34377728 7608 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8393 7608 364 364 0 8029 0
[pid=9413] vsize: 33572
Current children cumulated CPU time (s) 320.05
Current children cumulated vsize (Kb) 33572

[startup+330.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10690 0 0 0 32971 34 0 0 25 0 1 0 21536253 34648064 7706 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8459 7706 364 364 0 8095 0
[pid=9413] vsize: 33836
Current children cumulated CPU time (s) 330.05
Current children cumulated vsize (Kb) 33836

[startup+340.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10785 0 0 0 33971 34 0 0 25 0 1 0 21536253 34783232 7799 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8492 7799 364 364 0 8128 0
[pid=9413] vsize: 33968
Current children cumulated CPU time (s) 340.05
Current children cumulated vsize (Kb) 33968

[startup+350.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10879 0 0 0 34971 35 0 0 25 0 1 0 21536253 35053568 7892 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8558 7892 364 364 0 8194 0
[pid=9413] vsize: 34232
Current children cumulated CPU time (s) 350.06
Current children cumulated vsize (Kb) 34232

[startup+360.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10970 0 0 0 35971 35 0 0 25 0 1 0 21536253 35323904 7981 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8624 7981 364 364 0 8260 0
[pid=9413] vsize: 34496
Current children cumulated CPU time (s) 360.06
Current children cumulated vsize (Kb) 34496

[startup+370.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11063 0 0 0 36971 35 0 0 25 0 1 0 21536253 35594240 8073 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9413/statm): 8690 8073 364 364 0 8326 0
[pid=9413] vsize: 34760
Current children cumulated CPU time (s) 370.06
Current children cumulated vsize (Kb) 34760

[startup+380.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11156 0 0 0 37971 35 0 0 25 0 1 0 21536253 35864576 8164 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9413/statm): 8756 8164 364 364 0 8392 0
[pid=9413] vsize: 35024
Current children cumulated CPU time (s) 380.06
Current children cumulated vsize (Kb) 35024

[startup+390.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11243 0 0 0 38970 36 0 0 25 0 1 0 21536253 35999744 8250 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9413/statm): 8789 8250 364 364 0 8425 0
[pid=9413] vsize: 35156
Current children cumulated CPU time (s) 390.06
Current children cumulated vsize (Kb) 35156

[startup+400.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11334 0 0 0 39971 36 0 0 25 0 1 0 21536253 36270080 8340 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8855 8340 364 364 0 8491 0
[pid=9413] vsize: 35420
Current children cumulated CPU time (s) 400.07
Current children cumulated vsize (Kb) 35420

[startup+410.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11421 0 0 0 40970 36 0 0 25 0 1 0 21536253 36540416 8425 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8921 8425 364 364 0 8557 0
[pid=9413] vsize: 35684
Current children cumulated CPU time (s) 410.06
Current children cumulated vsize (Kb) 35684

[startup+420.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11506 0 0 0 41970 36 0 0 25 0 1 0 21536253 36675584 8509 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 8954 8509 364 364 0 8590 0
[pid=9413] vsize: 35816
Current children cumulated CPU time (s) 420.06
Current children cumulated vsize (Kb) 35816

[startup+430.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11593 0 0 0 42970 37 0 0 25 0 1 0 21536253 36945920 8594 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 9020 8594 364 364 0 8656 0
[pid=9413] vsize: 36080
Current children cumulated CPU time (s) 430.07
Current children cumulated vsize (Kb) 36080

[startup+440.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11676 0 0 0 43970 37 0 0 25 0 1 0 21536253 37081088 8676 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 9053 8676 364 364 0 8689 0
[pid=9413] vsize: 36212
Current children cumulated CPU time (s) 440.07
Current children cumulated vsize (Kb) 36212

[startup+450.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11760 0 0 0 44969 37 0 0 25 0 1 0 21536253 37351424 8759 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 9119 8759 364 364 0 8755 0
[pid=9413] vsize: 36476
Current children cumulated CPU time (s) 450.06
Current children cumulated vsize (Kb) 36476

[startup+460.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11843 0 0 0 45969 38 0 0 25 0 1 0 21536253 37621760 8840 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 9185 8840 364 364 0 8821 0
[pid=9413] vsize: 36740
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (Kb) 36740

[startup+470.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11922 0 0 0 46969 38 0 0 25 0 1 0 21536253 37756928 8918 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 9218 8918 364 364 0 8854 0
[pid=9413] vsize: 36872
Current children cumulated CPU time (s) 470.07
Current children cumulated vsize (Kb) 36872

[startup+480.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16481 0 0 0 47960 46 0 0 25 0 1 0 21536253 55779328 10529 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13618 10529 364 364 0 13254 0
[pid=9413] vsize: 54472
Current children cumulated CPU time (s) 480.06
Current children cumulated vsize (Kb) 54472

[startup+490.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16510 0 0 0 48960 46 0 0 25 0 1 0 21536253 55779328 10557 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13618 10557 364 364 0 13254 0
[pid=9413] vsize: 54472
Current children cumulated CPU time (s) 490.06
Current children cumulated vsize (Kb) 54472

[startup+500.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16541 0 0 0 49960 46 0 0 25 0 1 0 21536253 55779328 10586 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13618 10586 364 364 0 13254 0
[pid=9413] vsize: 54472
Current children cumulated CPU time (s) 500.06
Current children cumulated vsize (Kb) 54472

[startup+510.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16570 0 0 0 50960 46 0 0 25 0 1 0 21536253 55779328 10614 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13618 10614 364 364 0 13254 0
[pid=9413] vsize: 54472
Current children cumulated CPU time (s) 510.06
Current children cumulated vsize (Kb) 54472

[startup+520.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16599 0 0 0 51960 46 0 0 25 0 1 0 21536253 55779328 10642 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13618 10642 364 364 0 13254 0
[pid=9413] vsize: 54472
Current children cumulated CPU time (s) 520.06
Current children cumulated vsize (Kb) 54472

[startup+530.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16628 0 0 0 52960 46 0 0 25 0 1 0 21536253 55779328 10669 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13618 10669 364 364 0 13254 0
[pid=9413] vsize: 54472
Current children cumulated CPU time (s) 530.06
Current children cumulated vsize (Kb) 54472

[startup+540.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16656 0 0 0 53960 46 0 0 25 0 1 0 21536253 55779328 10696 4294967295 134512640 135987407 3221224560 3221221952 134615088 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13618 10696 364 364 0 13254 0
[pid=9413] vsize: 54472
Current children cumulated CPU time (s) 540.06
Current children cumulated vsize (Kb) 54472

[startup+550.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16704 0 0 0 54960 47 0 0 25 0 1 0 21536253 55914496 10743 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13651 10743 364 364 0 13287 0
[pid=9413] vsize: 54604
Current children cumulated CPU time (s) 550.07
Current children cumulated vsize (Kb) 54604

[startup+560.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16771 0 0 0 55960 47 0 0 25 0 1 0 21536253 56049664 10809 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13684 10809 364 364 0 13320 0
[pid=9413] vsize: 54736
Current children cumulated CPU time (s) 560.07
Current children cumulated vsize (Kb) 54736

[startup+570.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16835 0 0 0 56960 47 0 0 25 0 1 0 21536253 56184832 10872 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13717 10872 364 364 0 13353 0
[pid=9413] vsize: 54868
Current children cumulated CPU time (s) 570.07
Current children cumulated vsize (Kb) 54868

[startup+580.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16901 0 0 0 57959 47 0 0 25 0 1 0 21536253 56320000 10936 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13750 10936 364 364 0 13386 0
[pid=9413] vsize: 55000
Current children cumulated CPU time (s) 580.06
Current children cumulated vsize (Kb) 55000

[startup+590.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16964 0 0 0 58959 47 0 0 25 0 1 0 21536253 56455168 10998 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13783 10998 364 364 0 13419 0
[pid=9413] vsize: 55132
Current children cumulated CPU time (s) 590.06
Current children cumulated vsize (Kb) 55132

[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17027 0 0 0 59959 48 0 0 25 0 1 0 21536253 56590336 11060 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13816 11060 364 364 0 13452 0
[pid=9413] vsize: 55264
Current children cumulated CPU time (s) 600.07
Current children cumulated vsize (Kb) 55264

[startup+610.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17091 0 0 0 60959 48 0 0 25 0 1 0 21536253 56725504 11123 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13849 11123 364 364 0 13485 0
[pid=9413] vsize: 55396
Current children cumulated CPU time (s) 610.07
Current children cumulated vsize (Kb) 55396

[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17153 0 0 0 61959 48 0 0 25 0 1 0 21536253 56995840 11184 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13915 11184 364 364 0 13551 0
[pid=9413] vsize: 55660
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 55660

[startup+630.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17214 0 0 0 62959 48 0 0 25 0 1 0 21536253 57131008 11244 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13948 11244 364 364 0 13584 0
[pid=9413] vsize: 55792
Current children cumulated CPU time (s) 630.07
Current children cumulated vsize (Kb) 55792

[startup+640.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17276 0 0 0 63959 48 0 0 25 0 1 0 21536253 57266176 11304 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 13981 11304 364 364 0 13617 0
[pid=9413] vsize: 55924
Current children cumulated CPU time (s) 640.07
Current children cumulated vsize (Kb) 55924

[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17336 0 0 0 64958 49 0 0 25 0 1 0 21536253 57401344 11363 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14014 11363 364 364 0 13650 0
[pid=9413] vsize: 56056
Current children cumulated CPU time (s) 650.07
Current children cumulated vsize (Kb) 56056

[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17397 0 0 0 65958 49 0 0 25 0 1 0 21536253 57536512 11423 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14047 11423 364 364 0 13683 0
[pid=9413] vsize: 56188
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (Kb) 56188

[startup+670.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17456 0 0 0 66958 49 0 0 25 0 1 0 21536253 57671680 11481 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14080 11481 364 364 0 13716 0
[pid=9413] vsize: 56320
Current children cumulated CPU time (s) 670.07
Current children cumulated vsize (Kb) 56320

[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17517 0 0 0 67958 49 0 0 25 0 1 0 21536253 57806848 11541 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14113 11541 364 364 0 13749 0
[pid=9413] vsize: 56452
Current children cumulated CPU time (s) 680.07
Current children cumulated vsize (Kb) 56452

[startup+690.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17574 0 0 0 68958 49 0 0 25 0 1 0 21536253 57942016 11597 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14146 11597 364 364 0 13782 0
[pid=9413] vsize: 56584
Current children cumulated CPU time (s) 690.07
Current children cumulated vsize (Kb) 56584

[startup+700.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17632 0 0 0 69957 50 0 0 25 0 1 0 21536253 58077184 11654 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14179 11654 364 364 0 13815 0
[pid=9413] vsize: 56716
Current children cumulated CPU time (s) 700.07
Current children cumulated vsize (Kb) 56716

[startup+710.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17692 0 0 0 70957 50 0 0 25 0 1 0 21536253 58212352 11713 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14212 11713 364 364 0 13848 0
[pid=9413] vsize: 56848
Current children cumulated CPU time (s) 710.07
Current children cumulated vsize (Kb) 56848

[startup+720.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17748 0 0 0 71956 51 0 0 25 0 1 0 21536253 58347520 11768 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14245 11768 364 364 0 13881 0
[pid=9413] vsize: 56980
Current children cumulated CPU time (s) 720.07
Current children cumulated vsize (Kb) 56980

[startup+730.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17806 0 0 0 72956 51 0 0 25 0 1 0 21536253 58482688 11825 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14278 11825 364 364 0 13914 0
[pid=9413] vsize: 57112
Current children cumulated CPU time (s) 730.07
Current children cumulated vsize (Kb) 57112

[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17864 0 0 0 73956 51 0 0 25 0 1 0 21536253 58617856 11882 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 14311 11882 364 364 0 13947 0
[pid=9413] vsize: 57244
Current children cumulated CPU time (s) 740.07
Current children cumulated vsize (Kb) 57244

[startup+750.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 27101 0 0 0 74933 73 0 0 25 0 1 0 21536253 86220800 19562 4294967295 134512640 135987407 3221224560 3220764272 134878036 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 21050 19562 364 364 0 20686 0
[pid=9413] vsize: 84200
Current children cumulated CPU time (s) 750.06
Current children cumulated vsize (Kb) 84200

[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 61187 0 0 0 75852 152 0 0 25 0 1 0 21536253 187670528 37814 4294967295 134512640 135987407 3221224560 3220836948 134637037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 45818 37814 364 364 0 45454 0
[pid=9413] vsize: 183272
Current children cumulated CPU time (s) 760.04
Current children cumulated vsize (Kb) 183272

[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 88556 0 0 0 76786 216 0 0 25 0 1 0 21536253 267116544 55250 4294967295 134512640 135987407 3221224560 3220801328 134537371 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 65214 55250 364 364 0 64850 0
[pid=9413] vsize: 260856
Current children cumulated CPU time (s) 770.02
Current children cumulated vsize (Kb) 260856

[startup+780.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 114900 0 0 0 77727 274 0 0 25 0 1 0 21536253 356814848 69082 4294967295 134512640 135987407 3221224560 3220880944 135293365 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 87113 69082 364 364 0 86749 0
[pid=9413] vsize: 348452
Current children cumulated CPU time (s) 780.01
Current children cumulated vsize (Kb) 348452

[startup+790.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 155757 0 0 0 78640 357 0 0 25 0 1 0 21536253 553357312 108752 4294967295 134512640 135987407 3221224560 3220867424 134862332 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 135097 108752 364 364 0 134733 0
[pid=9413] vsize: 540388
Current children cumulated CPU time (s) 789.97
Current children cumulated vsize (Kb) 540388

[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 194389 0 0 0 79553 444 0 0 25 0 1 0 21536253 589881344 104157 4294967295 134512640 135987407 3221224560 3221030848 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 144014 104157 364 364 0 143650 0
[pid=9413] vsize: 576056
Current children cumulated CPU time (s) 799.97
Current children cumulated vsize (Kb) 576056

[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 208130 0 0 0 80520 477 0 0 25 0 1 0 21536253 627896320 117675 4294967295 134512640 135987407 3221224560 3221145728 134537496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 153295 117675 364 364 0 152931 0
[pid=9413] vsize: 613180
Current children cumulated CPU time (s) 809.97
Current children cumulated vsize (Kb) 613180

[startup+820.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 223297 0 0 0 81481 515 0 0 25 0 1 0 21536253 631005184 132588 4294967295 134512640 135987407 3221224560 3220778620 135499903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 154054 132588 364 364 0 153690 0
[pid=9413] vsize: 616216
Current children cumulated CPU time (s) 819.96
Current children cumulated vsize (Kb) 616216

[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 236421 0 0 0 82452 544 0 0 25 0 1 0 21536253 686608384 145504 4294967295 134512640 135987407 3221224560 3220880464 134877726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9413/statm): 167629 145504 364 364 0 167265 0
[pid=9413] vsize: 670516
Current children cumulated CPU time (s) 829.96
Current children cumulated vsize (Kb) 670516



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+835.517 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 9413
Raw data (/proc/9413/stat): 9413 (pb2sat) T 9412 9413 4060 0 -1 0 245329 0 0 0 82973 566 0 0 25 0 1 0 21536253 980340736 154289 4294967295 134512640 135987407 3221224560 3220762384 135544035 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9413/statm): 239341 154289 364 364 0 238977 0
[pid=9413] vsize: 957364
Current children cumulated CPU time (s) 835.39
Current children cumulated vsize (Kb) 957364

Sending SIGTERM to -9413
Sleeping 2 seconds
Sending SIGKILL to -9413
One traced child (pid=9413) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 837.84
CPU time (s): 835.934
CPU user time (s): 829.953
CPU system time (s): 5.98109
CPU usage (%): 99.7725
Max. virtual memory (cumulated for all children) (Kb): 957364

Verifier Data

ERROR: no interpretation found !