Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb
MD5SUMbd41ba4f2ddbc80664ba643e2dc93b96
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576279200
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576279200
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark42.0556
Number of variables204880
Total number of constraints364368
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)210685
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint1
Maximum length of a constraint120

Trace number 10483

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-23 18:17:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9188 boxname=wulflinc24 idbench=984 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-stp3d.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-stp3d.opb
IDLAUNCH: 9188
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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.047
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:        863824 kB
Buffers:         15992 kB
Cached:         135376 kB
SwapCached:          0 kB
Active:          92740 kB
Inactive:        61508 kB
HighTotal:      131008 kB
HighFree:         3780 kB
LowTotal:       903652 kB
LowFree:        860044 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10980 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:37:51 (client local time) WITH STATUS 0 IN 1211.74 SECONDS
stats: 9188 7 1211.74 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
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/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 18 0 0 0 0 0 0 0 25 0 1 0 22279157 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 373 2 364 364 0 9 0
[pid=10093] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-stp3d.opb

[startup+10.0016 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 165 0 0 0 991 6 0 0 25 0 1 0 22279157 1806336 146 4294967295 134512640 135987407 3221224560 3221221952 134616293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 441 146 364 364 0 77 0
[pid=10093] vsize: 1764
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 1764

[startup+20.0013 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 165 0 0 0 1985 10 0 0 25 0 1 0 22279157 1806336 146 4294967295 134512640 135987407 3221224560 3221221952 134616295 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 441 146 364 364 0 77 0
[pid=10093] vsize: 1764
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 1764

[startup+30.002 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 2589 0 0 0 2979 15 0 0 25 0 1 0 22279157 9637888 1901 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 2353 1901 364 364 0 1989 0
[pid=10093] vsize: 9412
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 9412

[startup+40.0027 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 4185 0 0 0 3975 18 0 0 25 0 1 0 22279157 15224832 2750 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 3717 2750 364 364 0 3353 0
[pid=10093] vsize: 14868
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 14868

[startup+50.0044 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 4471 0 0 0 4975 19 0 0 25 0 1 0 22279157 15765504 3030 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 3849 3030 364 364 0 3485 0
[pid=10093] vsize: 15396
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 15396

[startup+60.0041 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 4769 0 0 0 5974 19 0 0 25 0 1 0 22279157 16576512 3323 4294967295 134512640 135987407 3221224560 3221221952 134616293 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 4047 3323 364 364 0 3683 0
[pid=10093] vsize: 16188
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 16188

[startup+70.0038 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 5026 0 0 0 6974 20 0 0 25 0 1 0 22279157 17252352 3576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 4212 3576 364 364 0 3848 0
[pid=10093] vsize: 16848
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 16848

[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 5254 0 0 0 7973 20 0 0 25 0 1 0 22279157 17793024 3800 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 4344 3800 364 364 0 3980 0
[pid=10093] vsize: 17376
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 17376

[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 5463 0 0 0 8973 21 0 0 25 0 1 0 22279157 18333696 4006 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 4476 4006 364 364 0 4112 0
[pid=10093] vsize: 17904
Current children cumulated CPU time (s) 89.94
Current children cumulated vsize (Kb) 17904

[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 5660 0 0 0 9973 21 0 0 25 0 1 0 22279157 18874368 4200 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 4608 4200 364 364 0 4244 0
[pid=10093] vsize: 18432
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 18432

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 5842 0 0 0 10972 22 0 0 25 0 1 0 22279157 19279872 4379 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 4707 4379 364 364 0 4343 0
[pid=10093] vsize: 18828
Current children cumulated CPU time (s) 109.94
Current children cumulated vsize (Kb) 18828

[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 8251 0 0 0 11967 26 0 0 25 0 1 0 22279157 28696576 5310 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 7006 5310 364 364 0 6642 0
[pid=10093] vsize: 28024
Current children cumulated CPU time (s) 119.93
Current children cumulated vsize (Kb) 28024

[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 8310 0 0 0 12967 27 0 0 25 0 1 0 22279157 28696576 5366 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 7006 5366 364 364 0 6642 0
[pid=10093] vsize: 28024
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 28024

[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 8401 0 0 0 13967 27 0 0 25 0 1 0 22279157 28831744 5455 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 7039 5455 364 364 0 6675 0
[pid=10093] vsize: 28156
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 28156

[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 8530 0 0 0 14966 27 0 0 25 0 1 0 22279157 29102080 5581 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 7105 5581 364 364 0 6741 0
[pid=10093] vsize: 28420
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 28420

[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 9397 0 0 0 15964 29 0 0 25 0 1 0 22279157 32481280 6446 4294967295 134512640 135987407 3221224560 3221221792 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 7930 6446 364 364 0 7566 0
[pid=10093] vsize: 31720
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (Kb) 31720

[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 16262 0 0 0 16946 45 0 0 25 0 1 0 22279157 55029760 10812 4294967295 134512640 135987407 3221224560 3221221896 135346581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 13435 10812 364 364 0 13071 0
[pid=10093] vsize: 53740
Current children cumulated CPU time (s) 169.91
Current children cumulated vsize (Kb) 53740

[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 23425 0 0 0 17922 67 0 0 25 0 1 0 22279157 73981952 16390 4294967295 134512640 135987407 3221224560 3221221952 134615102 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 18062 16390 364 364 0 17698 0
[pid=10093] vsize: 72248
Current children cumulated CPU time (s) 179.89
Current children cumulated vsize (Kb) 72248

[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 49181 0 0 0 18861 125 0 0 25 0 1 0 22279157 145199104 32452 4294967295 134512640 135987407 3221224560 3221221776 134975639 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 35449 32453 364 364 0 35085 0
[pid=10093] vsize: 141796
Current children cumulated CPU time (s) 189.86
Current children cumulated vsize (Kb) 141796

[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 81735 0 0 0 19789 196 0 0 25 0 1 0 22279157 246788096 48919 4294967295 134512640 135987407 3221224560 3221219868 134865856 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 60251 48919 364 364 0 59887 0
[pid=10093] vsize: 241004
Current children cumulated CPU time (s) 199.85
Current children cumulated vsize (Kb) 241004

[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 108393 0 0 0 20723 262 0 0 25 0 1 0 22279157 337838080 63053 4294967295 134512640 135987407 3221224560 3221219280 134640032 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 82480 63053 364 364 0 82116 0
[pid=10093] vsize: 329920
Current children cumulated CPU time (s) 209.85
Current children cumulated vsize (Kb) 329920

[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 149668 0 0 0 21630 350 0 0 25 0 1 0 22279157 462942208 84688 4294967295 134512640 135987407 3221224560 3221218912 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 113023 84688 364 364 0 112659 0
[pid=10093] vsize: 452092
Current children cumulated CPU time (s) 219.8
Current children cumulated vsize (Kb) 452092

[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 187952 0 0 0 22541 439 0 0 25 0 1 0 22279157 567525376 98157 4294967295 134512640 135987407 3221224560 3221222016 134610851 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 138556 98157 364 364 0 138192 0
[pid=10093] vsize: 554224
Current children cumulated CPU time (s) 229.8
Current children cumulated vsize (Kb) 554224

[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 201537 0 0 0 23503 477 0 0 25 0 1 0 22279157 604999680 111506 4294967295 134512640 135987407 3221224560 3221219520 134556288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 147705 111506 364 364 0 147341 0
[pid=10093] vsize: 590820
Current children cumulated CPU time (s) 239.8
Current children cumulated vsize (Kb) 590820

[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 212536 0 0 0 24472 507 0 0 25 0 1 0 22279157 608378880 122312 4294967295 134512640 135987407 3221224560 3221221796 135478476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 148530 122312 364 364 0 148166 0
[pid=10093] vsize: 594120
Current children cumulated CPU time (s) 249.79
Current children cumulated vsize (Kb) 594120

[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 218760 0 0 0 25452 525 0 0 25 0 1 0 22279157 611217408 128438 4294967295 134512640 135987407 3221224560 3221221708 134642029 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 149223 128439 364 364 0 148859 0
[pid=10093] vsize: 596892
Current children cumulated CPU time (s) 259.77
Current children cumulated vsize (Kb) 596892

[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 228453 0 0 0 26425 551 0 0 25 0 1 0 22279157 628969472 134364 4294967295 134512640 135987407 3221224560 3221223408 134818121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 153557 134364 364 364 0 153193 0
[pid=10093] vsize: 614228
Current children cumulated CPU time (s) 269.76
Current children cumulated vsize (Kb) 614228

[startup+280.005 s]
Raw data (loadavg): 1.07 0.99 0.92 1/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) T 10092 10093 4059 0 -1 0 233021 0 0 0 26973 696 0 0 17 0 1 0 22279157 646053888 138448 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10093/statm): 157728 138448 364 364 0 157364 0
[pid=10093] vsize: 630912
Current children cumulated CPU time (s) 276.69
Current children cumulated vsize (Kb) 630912

[startup+290.006 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 234252 0 0 0 27583 822 0 0 25 0 1 0 22279157 651821056 139646 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 159136 139646 364 364 0 158772 0
[pid=10093] vsize: 636544
Current children cumulated CPU time (s) 284.05
Current children cumulated vsize (Kb) 636544

[startup+300.007 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 235512 0 0 0 28571 828 0 0 25 0 1 0 22279157 657334272 140906 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 160482 140906 364 364 0 160118 0
[pid=10093] vsize: 641928
Current children cumulated CPU time (s) 293.99
Current children cumulated vsize (Kb) 641928

[startup+310.007 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 235919 0 0 0 29561 832 0 0 25 0 1 0 22279157 659202048 141313 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 160938 141313 364 364 0 160574 0
[pid=10093] vsize: 643752
Current children cumulated CPU time (s) 303.93
Current children cumulated vsize (Kb) 643752

[startup+320.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 236558 0 0 0 30548 839 0 0 25 0 1 0 22279157 662151168 141952 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 161658 141952 364 364 0 161294 0
[pid=10093] vsize: 646632
Current children cumulated CPU time (s) 313.87
Current children cumulated vsize (Kb) 646632

[startup+330.008 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 236775 0 0 0 31536 842 0 0 25 0 1 0 22279157 663248896 142169 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 161926 142169 364 364 0 161562 0
[pid=10093] vsize: 647704
Current children cumulated CPU time (s) 323.78
Current children cumulated vsize (Kb) 647704

[startup+340.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 236913 0 0 0 32526 845 0 0 25 0 1 0 22279157 663973888 142307 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 162103 142307 364 364 0 161739 0
[pid=10093] vsize: 648412
Current children cumulated CPU time (s) 333.71
Current children cumulated vsize (Kb) 648412

[startup+350.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237054 0 0 0 33516 849 0 0 25 0 1 0 22279157 664760320 142448 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 162295 142448 364 364 0 161931 0
[pid=10093] vsize: 649180
Current children cumulated CPU time (s) 343.65
Current children cumulated vsize (Kb) 649180

[startup+360.009 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237076 0 0 0 34508 852 0 0 25 0 1 0 22279157 664760320 142470 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 162295 142470 364 364 0 161931 0
[pid=10093] vsize: 649180
Current children cumulated CPU time (s) 353.6
Current children cumulated vsize (Kb) 649180

[startup+370.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237192 0 0 0 35498 855 0 0 25 0 1 0 22279157 665362432 142586 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 162442 142586 364 364 0 162078 0
[pid=10093] vsize: 649768
Current children cumulated CPU time (s) 363.53
Current children cumulated vsize (Kb) 649768

[startup+380.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237286 0 0 0 36488 859 0 0 25 0 1 0 22279157 665767936 142680 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 162541 142680 364 364 0 162177 0
[pid=10093] vsize: 650164
Current children cumulated CPU time (s) 373.47
Current children cumulated vsize (Kb) 650164

[startup+390.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237350 0 0 0 37479 862 0 0 25 0 1 0 22279157 666038272 142744 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 162607 142744 364 364 0 162243 0
[pid=10093] vsize: 650428
Current children cumulated CPU time (s) 383.41
Current children cumulated vsize (Kb) 650428

[startup+400.011 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237490 0 0 0 38472 865 0 0 25 0 1 0 22279157 666775552 142884 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 162787 142884 364 364 0 162423 0
[pid=10093] vsize: 651148
Current children cumulated CPU time (s) 393.37
Current children cumulated vsize (Kb) 651148

[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237603 0 0 0 39463 869 0 0 25 0 1 0 22279157 667316224 142997 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 162919 142997 364 364 0 162555 0
[pid=10093] vsize: 651676
Current children cumulated CPU time (s) 403.32
Current children cumulated vsize (Kb) 651676

[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237831 0 0 0 40456 872 0 0 25 0 1 0 22279157 668389376 143192 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 163181 143192 364 364 0 162817 0
[pid=10093] vsize: 652724
Current children cumulated CPU time (s) 413.28
Current children cumulated vsize (Kb) 652724

[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 237946 0 0 0 41448 875 0 0 25 0 1 0 22279157 668930048 143307 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 163313 143307 364 364 0 162949 0
[pid=10093] vsize: 653252
Current children cumulated CPU time (s) 423.23
Current children cumulated vsize (Kb) 653252

[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 238154 0 0 0 42442 878 0 0 25 0 1 0 22279157 670011392 143515 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 163577 143515 364 364 0 163213 0
[pid=10093] vsize: 654308
Current children cumulated CPU time (s) 433.2
Current children cumulated vsize (Kb) 654308

[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 238674 0 0 0 43432 881 0 0 25 0 1 0 22279157 672108544 143522 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 164089 143522 364 364 0 163725 0
[pid=10093] vsize: 656356
Current children cumulated CPU time (s) 443.13
Current children cumulated vsize (Kb) 656356

[startup+460.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 238684 0 0 0 44426 883 0 0 25 0 1 0 22279157 672108544 143532 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 164089 143532 364 364 0 163725 0
[pid=10093] vsize: 656356
Current children cumulated CPU time (s) 453.09
Current children cumulated vsize (Kb) 656356

[startup+470.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 238710 0 0 0 45418 886 0 0 25 0 1 0 22279157 672243712 143558 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 164122 143558 364 364 0 163758 0
[pid=10093] vsize: 656488
Current children cumulated CPU time (s) 463.04
Current children cumulated vsize (Kb) 656488

[startup+480.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 238846 0 0 0 46411 889 0 0 25 0 1 0 22279157 673054720 143694 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 164320 143694 364 364 0 163956 0
[pid=10093] vsize: 657280
Current children cumulated CPU time (s) 473
Current children cumulated vsize (Kb) 657280

[startup+490.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239059 0 0 0 47403 892 0 0 25 0 1 0 22279157 673984512 143841 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 164547 143841 364 364 0 164183 0
[pid=10093] vsize: 658188
Current children cumulated CPU time (s) 482.95
Current children cumulated vsize (Kb) 658188

[startup+500.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239159 0 0 0 48393 895 0 0 25 0 1 0 22279157 674525184 143941 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 164679 143941 364 364 0 164315 0
[pid=10093] vsize: 658716
Current children cumulated CPU time (s) 492.88
Current children cumulated vsize (Kb) 658716

[startup+510.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239225 0 0 0 49384 898 0 0 25 0 1 0 22279157 674852864 143974 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 164759 143974 364 364 0 164395 0
[pid=10093] vsize: 659036
Current children cumulated CPU time (s) 502.82
Current children cumulated vsize (Kb) 659036

[startup+520.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239350 0 0 0 50374 902 0 0 25 0 1 0 22279157 675315712 144066 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 164872 144066 364 364 0 164508 0
[pid=10093] vsize: 659488
Current children cumulated CPU time (s) 512.76
Current children cumulated vsize (Kb) 659488

[startup+530.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239353 0 0 0 51368 903 0 0 25 0 1 0 22279157 675315712 144069 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 164872 144069 364 364 0 164508 0
[pid=10093] vsize: 659488
Current children cumulated CPU time (s) 522.71
Current children cumulated vsize (Kb) 659488

[startup+540.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239397 0 0 0 52361 906 0 0 25 0 1 0 22279157 675586048 144113 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 164938 144113 364 364 0 164574 0
[pid=10093] vsize: 659752
Current children cumulated CPU time (s) 532.67
Current children cumulated vsize (Kb) 659752

[startup+550.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239441 0 0 0 53352 909 0 0 25 0 1 0 22279157 675856384 144157 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165004 144157 364 364 0 164640 0
[pid=10093] vsize: 660016
Current children cumulated CPU time (s) 542.61
Current children cumulated vsize (Kb) 660016

[startup+560.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239471 0 0 0 54345 912 0 0 25 0 1 0 22279157 675991552 144187 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165037 144187 364 364 0 164673 0
[pid=10093] vsize: 660148
Current children cumulated CPU time (s) 552.57
Current children cumulated vsize (Kb) 660148

[startup+570.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239476 0 0 0 55335 916 0 0 25 0 1 0 22279157 675991552 144192 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165037 144192 364 364 0 164673 0
[pid=10093] vsize: 660148
Current children cumulated CPU time (s) 562.51
Current children cumulated vsize (Kb) 660148

[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239479 0 0 0 56327 919 0 0 25 0 1 0 22279157 675991552 144195 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165037 144195 364 364 0 164673 0
[pid=10093] vsize: 660148
Current children cumulated CPU time (s) 572.46
Current children cumulated vsize (Kb) 660148

[startup+590.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239523 0 0 0 57320 922 0 0 25 0 1 0 22279157 676257792 144239 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165102 144239 364 364 0 164738 0
[pid=10093] vsize: 660408
Current children cumulated CPU time (s) 582.42
Current children cumulated vsize (Kb) 660408

[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239576 0 0 0 58313 924 0 0 25 0 1 0 22279157 676388864 144259 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165134 144259 364 364 0 164770 0
[pid=10093] vsize: 660536
Current children cumulated CPU time (s) 592.37
Current children cumulated vsize (Kb) 660536

[startup+610.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239589 0 0 0 59305 927 0 0 25 0 1 0 22279157 676388864 144272 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165134 144272 364 364 0 164770 0
[pid=10093] vsize: 660536
Current children cumulated CPU time (s) 602.32
Current children cumulated vsize (Kb) 660536

[startup+620.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239620 0 0 0 60297 930 0 0 25 0 1 0 22279157 676524032 144303 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165167 144303 364 364 0 164803 0
[pid=10093] vsize: 660668
Current children cumulated CPU time (s) 612.27
Current children cumulated vsize (Kb) 660668

[startup+630.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239674 0 0 0 61292 933 0 0 25 0 1 0 22279157 676655104 144324 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165199 144324 364 364 0 164835 0
[pid=10093] vsize: 660796
Current children cumulated CPU time (s) 622.25
Current children cumulated vsize (Kb) 660796

[startup+640.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239773 0 0 0 62284 936 0 0 25 0 1 0 22279157 677056512 144390 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165297 144390 364 364 0 164933 0
[pid=10093] vsize: 661188
Current children cumulated CPU time (s) 632.2
Current children cumulated vsize (Kb) 661188

[startup+650.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239793 0 0 0 63276 939 0 0 25 0 1 0 22279157 677056512 144410 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165297 144410 364 364 0 164933 0
[pid=10093] vsize: 661188
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (Kb) 661188

[startup+660.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239842 0 0 0 64271 941 0 0 25 0 1 0 22279157 677187584 144426 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165329 144426 364 364 0 164965 0
[pid=10093] vsize: 661316
Current children cumulated CPU time (s) 652.12
Current children cumulated vsize (Kb) 661316

[startup+670.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239850 0 0 0 65266 943 0 0 25 0 1 0 22279157 677187584 144434 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165329 144434 364 364 0 164965 0
[pid=10093] vsize: 661316
Current children cumulated CPU time (s) 662.09
Current children cumulated vsize (Kb) 661316

[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 239962 0 0 0 66260 946 0 0 25 0 1 0 22279157 677449728 144480 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165393 144480 364 364 0 165029 0
[pid=10093] vsize: 661572
Current children cumulated CPU time (s) 672.06
Current children cumulated vsize (Kb) 661572

[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240011 0 0 0 67254 948 0 0 25 0 1 0 22279157 677720064 144529 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165459 144529 364 364 0 165095 0
[pid=10093] vsize: 661836
Current children cumulated CPU time (s) 682.02
Current children cumulated vsize (Kb) 661836

[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240060 0 0 0 68247 951 0 0 25 0 1 0 22279157 677851136 144545 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165491 144545 364 364 0 165127 0
[pid=10093] vsize: 661964
Current children cumulated CPU time (s) 691.98
Current children cumulated vsize (Kb) 661964

[startup+710.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240121 0 0 0 69240 954 0 0 25 0 1 0 22279157 678121472 144606 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165557 144606 364 364 0 165193 0
[pid=10093] vsize: 662228
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (Kb) 662228

[startup+720.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240141 0 0 0 70231 958 0 0 25 0 1 0 22279157 678256640 144626 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165590 144626 364 364 0 165226 0
[pid=10093] vsize: 662360
Current children cumulated CPU time (s) 711.89
Current children cumulated vsize (Kb) 662360

[startup+730.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240326 0 0 0 71223 960 0 0 25 0 1 0 22279157 679055360 144745 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165785 144745 364 364 0 165421 0
[pid=10093] vsize: 663140
Current children cumulated CPU time (s) 721.83
Current children cumulated vsize (Kb) 663140

[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240328 0 0 0 72216 962 0 0 25 0 1 0 22279157 679055360 144747 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165785 144747 364 364 0 165421 0
[pid=10093] vsize: 663140
Current children cumulated CPU time (s) 731.78
Current children cumulated vsize (Kb) 663140

[startup+750.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240345 0 0 0 73207 964 0 0 25 0 1 0 22279157 679055360 144764 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165785 144764 364 364 0 165421 0
[pid=10093] vsize: 663140
Current children cumulated CPU time (s) 741.71
Current children cumulated vsize (Kb) 663140

[startup+760.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240404 0 0 0 74198 968 0 0 25 0 1 0 22279157 679321600 144823 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165850 144823 364 364 0 165486 0
[pid=10093] vsize: 663400
Current children cumulated CPU time (s) 751.66
Current children cumulated vsize (Kb) 663400

[startup+770.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240413 0 0 0 75193 971 0 0 25 0 1 0 22279157 679321600 144832 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165850 144832 364 364 0 165486 0
[pid=10093] vsize: 663400
Current children cumulated CPU time (s) 761.64
Current children cumulated vsize (Kb) 663400

[startup+780.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240426 0 0 0 76186 974 0 0 25 0 1 0 22279157 679321600 144845 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165850 144845 364 364 0 165486 0
[pid=10093] vsize: 663400
Current children cumulated CPU time (s) 771.6
Current children cumulated vsize (Kb) 663400

[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240537 0 0 0 77179 976 0 0 25 0 1 0 22279157 679718912 144923 4294967295 134512640 135987407 3221224560 3221223248 134812163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 165947 144923 364 364 0 165583 0
[pid=10093] vsize: 663788
Current children cumulated CPU time (s) 781.55
Current children cumulated vsize (Kb) 663788

[startup+800.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240544 0 0 0 78171 979 0 0 25 0 1 0 22279157 679718912 144930 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165947 144930 364 364 0 165583 0
[pid=10093] vsize: 663788
Current children cumulated CPU time (s) 791.5
Current children cumulated vsize (Kb) 663788

[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240549 0 0 0 79164 982 0 0 25 0 1 0 22279157 679718912 144935 4294967295 134512640 135987407 3221224560 3221223120 134788476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165947 144935 364 364 0 165583 0
[pid=10093] vsize: 663788
Current children cumulated CPU time (s) 801.46
Current children cumulated vsize (Kb) 663788

[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240609 0 0 0 80159 984 0 0 25 0 1 0 22279157 679849984 144962 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165979 144962 364 364 0 165615 0
[pid=10093] vsize: 663916
Current children cumulated CPU time (s) 811.43
Current children cumulated vsize (Kb) 663916

[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240624 0 0 0 81152 987 0 0 25 0 1 0 22279157 679849984 144977 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 165979 144977 364 364 0 165615 0
[pid=10093] vsize: 663916
Current children cumulated CPU time (s) 821.39
Current children cumulated vsize (Kb) 663916

[startup+840.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240700 0 0 0 82147 989 0 0 25 0 1 0 22279157 679981056 145020 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166011 145020 364 364 0 165647 0
[pid=10093] vsize: 664044
Current children cumulated CPU time (s) 831.36
Current children cumulated vsize (Kb) 664044

[startup+850.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240705 0 0 0 83139 991 0 0 25 0 1 0 22279157 679981056 145025 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166011 145025 364 364 0 165647 0
[pid=10093] vsize: 664044
Current children cumulated CPU time (s) 841.3
Current children cumulated vsize (Kb) 664044

[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240710 0 0 0 84133 993 0 0 25 0 1 0 22279157 679981056 145030 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166011 145030 364 364 0 165647 0
[pid=10093] vsize: 664044
Current children cumulated CPU time (s) 851.26
Current children cumulated vsize (Kb) 664044

[startup+870.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240771 0 0 0 85124 996 0 0 25 0 1 0 22279157 680112128 145058 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166043 145058 364 364 0 165679 0
[pid=10093] vsize: 664172
Current children cumulated CPU time (s) 861.2
Current children cumulated vsize (Kb) 664172

[startup+880.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240775 0 0 0 86118 998 0 0 25 0 1 0 22279157 680112128 145062 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166043 145062 364 364 0 165679 0
[pid=10093] vsize: 664172
Current children cumulated CPU time (s) 871.16
Current children cumulated vsize (Kb) 664172

[startup+890.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240814 0 0 0 87111 1000 0 0 25 0 1 0 22279157 680243200 145068 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166075 145068 364 364 0 165711 0
[pid=10093] vsize: 664300
Current children cumulated CPU time (s) 881.11
Current children cumulated vsize (Kb) 664300

[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240822 0 0 0 88103 1003 0 0 25 0 1 0 22279157 680243200 145076 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166075 145076 364 364 0 165711 0
[pid=10093] vsize: 664300
Current children cumulated CPU time (s) 891.06
Current children cumulated vsize (Kb) 664300

[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240829 0 0 0 89096 1005 0 0 25 0 1 0 22279157 680243200 145083 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166075 145083 364 364 0 165711 0
[pid=10093] vsize: 664300
Current children cumulated CPU time (s) 901.01
Current children cumulated vsize (Kb) 664300

[startup+920.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240858 0 0 0 90090 1008 0 0 25 0 1 0 22279157 680378368 145112 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166108 145112 364 364 0 165744 0
[pid=10093] vsize: 664432
Current children cumulated CPU time (s) 910.98
Current children cumulated vsize (Kb) 664432

[startup+930.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 240986 0 0 0 91081 1011 0 0 25 0 1 0 22279157 680775680 145174 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166205 145174 364 364 0 165841 0
[pid=10093] vsize: 664820
Current children cumulated CPU time (s) 920.92
Current children cumulated vsize (Kb) 664820

[startup+940.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241005 0 0 0 92073 1014 0 0 25 0 1 0 22279157 680775680 145193 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166205 145193 364 364 0 165841 0
[pid=10093] vsize: 664820
Current children cumulated CPU time (s) 930.87
Current children cumulated vsize (Kb) 664820

[startup+950.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241106 0 0 0 93064 1017 0 0 25 0 1 0 22279157 681037824 145229 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166269 145229 364 364 0 165905 0
[pid=10093] vsize: 665076
Current children cumulated CPU time (s) 940.81
Current children cumulated vsize (Kb) 665076

[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241111 0 0 0 94058 1019 0 0 25 0 1 0 22279157 681037824 145234 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166269 145234 364 364 0 165905 0
[pid=10093] vsize: 665076
Current children cumulated CPU time (s) 950.77
Current children cumulated vsize (Kb) 665076

[startup+970.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241157 0 0 0 95048 1022 0 0 25 0 1 0 22279157 681168896 145247 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166301 145247 364 364 0 165937 0
[pid=10093] vsize: 665204
Current children cumulated CPU time (s) 960.7
Current children cumulated vsize (Kb) 665204

[startup+980.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241227 0 0 0 96042 1025 0 0 25 0 1 0 22279157 681435136 145317 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166366 145317 364 364 0 166002 0
[pid=10093] vsize: 665464
Current children cumulated CPU time (s) 970.67
Current children cumulated vsize (Kb) 665464

[startup+990.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241288 0 0 0 97033 1028 0 0 25 0 1 0 22279157 681566208 145345 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166398 145345 364 364 0 166034 0
[pid=10093] vsize: 665592
Current children cumulated CPU time (s) 980.61
Current children cumulated vsize (Kb) 665592

[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241291 0 0 0 98026 1032 0 0 25 0 1 0 22279157 681566208 145348 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166398 145348 364 364 0 166034 0
[pid=10093] vsize: 665592
Current children cumulated CPU time (s) 990.58
Current children cumulated vsize (Kb) 665592

[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241294 0 0 0 99019 1033 0 0 25 0 1 0 22279157 681566208 145351 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10093/statm): 166398 145351 364 364 0 166034 0
[pid=10093] vsize: 665592
Current children cumulated CPU time (s) 1000.52
Current children cumulated vsize (Kb) 665592

[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241303 0 0 0 100013 1035 0 0 25 0 1 0 22279157 681566208 145360 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166398 145360 364 364 0 166034 0
[pid=10093] vsize: 665592
Current children cumulated CPU time (s) 1010.48
Current children cumulated vsize (Kb) 665592

[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241323 0 0 0 101007 1037 0 0 25 0 1 0 22279157 681566208 145380 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166398 145380 364 364 0 166034 0
[pid=10093] vsize: 665592
Current children cumulated CPU time (s) 1020.44
Current children cumulated vsize (Kb) 665592

[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241338 0 0 0 101998 1040 0 0 25 0 1 0 22279157 681566208 145395 4294967295 134512640 135987407 3221224560 3221223408 134790016 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166398 145395 364 364 0 166034 0
[pid=10093] vsize: 665592
Current children cumulated CPU time (s) 1030.38
Current children cumulated vsize (Kb) 665592

[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241422 0 0 0 102992 1042 0 0 25 0 1 0 22279157 681828352 145413 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166462 145413 364 364 0 166098 0
[pid=10093] vsize: 665848
Current children cumulated CPU time (s) 1040.34
Current children cumulated vsize (Kb) 665848

[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241550 0 0 0 103984 1044 0 0 25 0 1 0 22279157 682356736 145475 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166591 145475 364 364 0 166227 0
[pid=10093] vsize: 666364
Current children cumulated CPU time (s) 1050.28
Current children cumulated vsize (Kb) 666364

[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241588 0 0 0 104976 1047 0 0 25 0 1 0 22279157 682622976 145513 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166656 145513 364 364 0 166292 0
[pid=10093] vsize: 666624
Current children cumulated CPU time (s) 1060.23
Current children cumulated vsize (Kb) 666624

[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241591 0 0 0 105970 1049 0 0 25 0 1 0 22279157 682622976 145516 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166656 145516 364 364 0 166292 0
[pid=10093] vsize: 666624
Current children cumulated CPU time (s) 1070.19
Current children cumulated vsize (Kb) 666624

[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241594 0 0 0 106964 1051 0 0 25 0 1 0 22279157 682622976 145519 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166656 145519 364 364 0 166292 0
[pid=10093] vsize: 666624
Current children cumulated CPU time (s) 1080.15
Current children cumulated vsize (Kb) 666624

[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241607 0 0 0 107957 1055 0 0 25 0 1 0 22279157 682487808 145499 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166623 145499 364 364 0 166259 0
[pid=10093] vsize: 666492
Current children cumulated CPU time (s) 1090.12
Current children cumulated vsize (Kb) 666492

[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241647 0 0 0 108952 1057 0 0 25 0 1 0 22279157 682618880 145506 4294967295 134512640 135987407 3221224560 3221223248 134812121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166655 145506 364 364 0 166291 0
[pid=10093] vsize: 666620
Current children cumulated CPU time (s) 1100.09
Current children cumulated vsize (Kb) 666620

[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241820 0 0 0 109944 1060 0 0 25 0 1 0 22279157 683147264 145613 4294967295 134512640 135987407 3221224560 3221223112 135480417 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166784 145613 364 364 0 166420 0
[pid=10093] vsize: 667136
Current children cumulated CPU time (s) 1110.04
Current children cumulated vsize (Kb) 667136

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241863 0 0 0 110935 1063 0 0 25 0 1 0 22279157 683278336 145623 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166816 145623 364 364 0 166452 0
[pid=10093] vsize: 667264
Current children cumulated CPU time (s) 1119.98
Current children cumulated vsize (Kb) 667264

[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241963 0 0 0 111928 1066 0 0 25 0 1 0 22279157 683675648 145690 4294967295 134512640 135987407 3221224560 3221223376 134824323 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166913 145690 364 364 0 166549 0
[pid=10093] vsize: 667652
Current children cumulated CPU time (s) 1129.94
Current children cumulated vsize (Kb) 667652

[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241965 0 0 0 112920 1069 0 0 25 0 1 0 22279157 683675648 145692 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166913 145692 364 364 0 166549 0
[pid=10093] vsize: 667652
Current children cumulated CPU time (s) 1139.89
Current children cumulated vsize (Kb) 667652

[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241973 0 0 0 113913 1072 0 0 25 0 1 0 22279157 683675648 145700 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166913 145700 364 364 0 166549 0
[pid=10093] vsize: 667652
Current children cumulated CPU time (s) 1149.85
Current children cumulated vsize (Kb) 667652

[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 241976 0 0 0 114906 1075 0 0 25 0 1 0 22279157 683675648 145703 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166913 145703 364 364 0 166549 0
[pid=10093] vsize: 667652
Current children cumulated CPU time (s) 1159.81
Current children cumulated vsize (Kb) 667652

[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 242017 0 0 0 115899 1077 0 0 25 0 1 0 22279157 683806720 145711 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166945 145711 364 364 0 166581 0
[pid=10093] vsize: 667780
Current children cumulated CPU time (s) 1169.76
Current children cumulated vsize (Kb) 667780

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) T 10092 10093 4059 0 -1 0 242072 0 0 0 116892 1080 0 0 25 0 1 0 22279157 683937792 145733 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166977 145733 364 364 0 166613 0
[pid=10093] vsize: 667908
Current children cumulated CPU time (s) 1179.72
Current children cumulated vsize (Kb) 667908

[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 242074 0 0 0 117886 1082 0 0 25 0 1 0 22279157 683937792 145735 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 166977 145735 364 364 0 166613 0
[pid=10093] vsize: 667908
Current children cumulated CPU time (s) 1189.68
Current children cumulated vsize (Kb) 667908

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 242127 0 0 0 118877 1085 0 0 25 0 1 0 22279157 684068864 145755 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 167009 145755 364 364 0 166645 0
[pid=10093] vsize: 668036
Current children cumulated CPU time (s) 1199.62
Current children cumulated vsize (Kb) 668036

[startup+1220.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 242166 0 0 0 119870 1087 0 0 25 0 1 0 22279157 684199936 145761 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 167041 145761 364 364 0 166677 0
[pid=10093] vsize: 668164
Current children cumulated CPU time (s) 1209.57
Current children cumulated vsize (Kb) 668164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10093
Raw data (/proc/10093/stat): 10093 (pb2sat) R 10092 10093 4059 0 -1 0 242166 0 0 0 119870 1087 0 0 25 0 1 0 22279157 684199936 145761 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10093/statm): 167041 145761 364 364 0 166677 0
[pid=10093] vsize: 668164
Current children cumulated CPU time (s) 1209.57
Current children cumulated vsize (Kb) 668164

Sending SIGTERM to -10093
Sleeping 2 seconds
Sending SIGKILL to -10093
One traced child (pid=10093) 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): 1222.2
CPU time (s): 1211.74
CPU user time (s): 1200.56
CPU system time (s): 11.1753
CPU usage (%): 99.1442
Max. virtual memory (cumulated for all children) (Kb): 668164

Verifier Data

ERROR: no interpretation found !