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/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet6.opb
MD5SUM643c61a2fa79f4946ef3ab8d08d00c03
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 48386177
Optimality of the best value was proved NO
Number of terms in the objective function 11714
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 513431911800
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 513431911800
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1233.28
Number of variables14036
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1523

Trace number 10023

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-23 16:17:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8715 boxname=wulflinc22 idbench=511 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  643c61a2fa79f4946ef3ab8d08d00c03  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-fixnet6.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-fixnet6.opb
IDLAUNCH: 8715
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 450.985
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		: 450.985
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:        920688 kB
Buffers:         11864 kB
Cached:          84832 kB
SwapCached:          0 kB
Active:          46188 kB
Inactive:        53452 kB
HighTotal:      131008 kB
HighFree:        45780 kB
LowTotal:       903652 kB
LowFree:        874908 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8656 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:37:37 (client local time) WITH STATUS 0 IN 1210.41 SECONDS
stats: 8715 7 1210.41 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 604203/1600883	Time: 358.152/86400
c Decision: 604205/1600883	Time: 409.078/86400
c Decision: 604208/1600883	Time: 516.123/86400
c Decision: 604208/1600883	Time: 587.379/86400
c Decision: 604216/1600883	Time: 674.937/86400
c Decision: 604216/1600883	Time: 732.064/86400
c Decision: 604233/1600883	Time: 794.833/86400
c Decision: 604236/1600883	Time: 844.683/86400
c Decision: 604241/1600883	Time: 908.728/86400
c Decision: 604241/1600883	Time: 940.78/86400
c Decision: 604241/1600883	Time: 984.957/86400
c Decision: 604241/1600883	Time: 1019.89/86400
c Decision: 604241/1600883	Time: 1052.79/86400
c Decision: 604241/1600883	Time: 1081.63/86400
c Decision: 604241/1600883	Time: 1105.69/86400s 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/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21560296 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 373 2 364 364 0 9 0
[pid=7984] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-fixnet6.opb

[startup+10.0016 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 25744 0 0 0 936 60 0 0 25 0 1 0 21560296 85012480 14611 4294967295 134512640 135987407 3221224560 3221158208 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 20755 14612 364 364 0 20391 0
[pid=7984] vsize: 83020
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 83020

[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 54300 0 0 0 1870 125 0 0 25 0 1 0 21560296 164212736 31925 4294967295 134512640 135987407 3221224560 3221017192 134892451 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 40091 31925 364 364 0 39727 0
[pid=7984] vsize: 160364
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 160364

[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 94737 0 0 0 2777 215 0 0 25 0 1 0 21560296 280813568 50140 4294967295 134512640 135987407 3221224560 3220875388 135499901 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 68558 50140 364 364 0 68194 0
[pid=7984] vsize: 274232
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 274232

[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 110615 0 0 0 3740 252 0 0 25 0 1 0 21560296 320110592 65762 4294967295 134512640 135987407 3221224560 3221109404 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 78152 65762 364 364 0 77788 0
[pid=7984] vsize: 312608
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 312608

[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 153150 0 0 0 4646 341 0 0 25 0 1 0 21560296 450215936 88667 4294967295 134512640 135987407 3221224560 3221137632 134640450 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 109916 88667 364 364 0 109552 0
[pid=7984] vsize: 439664
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 439664

[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 189543 0 0 0 5560 426 0 0 25 0 1 0 21560296 587677696 100288 4294967295 134512640 135987407 3221224560 3220952800 134878666 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 143476 100288 364 364 0 143112 0
[pid=7984] vsize: 573904
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 573904

[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 205501 0 0 0 6523 463 0 0 25 0 1 0 21560296 592138240 115983 4294967295 134512640 135987407 3221224560 3221168240 134537376 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 144565 115983 364 364 0 144201 0
[pid=7984] vsize: 578260
Current children cumulated CPU time (s) 69.86
Current children cumulated vsize (Kb) 578260

[startup+80.0047 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 217024 0 0 0 7492 493 0 0 25 0 1 0 21560296 609890304 123855 4294967295 134512640 135987407 3221224560 3221223152 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 148899 123855 364 364 0 148535 0
[pid=7984] vsize: 595596
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 595596

[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 221821 0 0 0 8463 510 0 0 25 0 1 0 21560296 630325248 128136 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 153888 128136 364 364 0 153524 0
[pid=7984] vsize: 615552
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 615552

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 223421 0 0 0 9438 520 0 0 25 0 1 0 21560296 638005248 129705 4294967295 134512640 135987407 3221224560 3221223344 134812346 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 155763 129705 364 364 0 155399 0
[pid=7984] vsize: 623052
Current children cumulated CPU time (s) 99.58
Current children cumulated vsize (Kb) 623052

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 223985 0 0 0 10434 522 0 0 25 0 1 0 21560296 640630784 130236 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 156404 130236 364 364 0 156040 0
[pid=7984] vsize: 625616
Current children cumulated CPU time (s) 109.56
Current children cumulated vsize (Kb) 625616

[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 224531 0 0 0 11431 524 0 0 25 0 1 0 21560296 642891776 130634 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 156956 130634 364 364 0 156592 0
[pid=7984] vsize: 627824
Current children cumulated CPU time (s) 119.55
Current children cumulated vsize (Kb) 627824

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 224930 0 0 0 12427 526 0 0 25 0 1 0 21560296 645099520 131033 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 157495 131033 364 364 0 157131 0
[pid=7984] vsize: 629980
Current children cumulated CPU time (s) 129.53
Current children cumulated vsize (Kb) 629980

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 226520 0 0 0 13416 531 0 0 25 0 1 0 21560296 651939840 132319 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 159165 132319 364 364 0 158801 0
[pid=7984] vsize: 636660
Current children cumulated CPU time (s) 139.47
Current children cumulated vsize (Kb) 636660

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 227252 0 0 0 14405 536 0 0 25 0 1 0 21560296 655609856 133018 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 160061 133018 364 364 0 159697 0
[pid=7984] vsize: 640244
Current children cumulated CPU time (s) 149.41
Current children cumulated vsize (Kb) 640244

[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 227877 0 0 0 15397 539 0 0 25 0 1 0 21560296 658542592 133544 4294967295 134512640 135987407 3221224560 3221223424 134812789 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 160777 133544 364 364 0 160413 0
[pid=7984] vsize: 643108
Current children cumulated CPU time (s) 159.36
Current children cumulated vsize (Kb) 643108

[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 228136 0 0 0 16395 539 0 0 25 0 1 0 21560296 659271680 133721 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 160955 133721 364 364 0 160591 0
[pid=7984] vsize: 643820
Current children cumulated CPU time (s) 169.34
Current children cumulated vsize (Kb) 643820

[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 228464 0 0 0 17394 540 0 0 25 0 1 0 21560296 661020672 134017 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 161382 134017 364 364 0 161018 0
[pid=7984] vsize: 645528
Current children cumulated CPU time (s) 179.34
Current children cumulated vsize (Kb) 645528

[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 229486 0 0 0 18377 548 0 0 25 0 1 0 21560296 665595904 134941 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 162499 134941 364 364 0 162135 0
[pid=7984] vsize: 649996
Current children cumulated CPU time (s) 189.25
Current children cumulated vsize (Kb) 649996

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 230356 0 0 0 19355 555 0 0 25 0 1 0 21560296 670011392 135811 4294967295 134512640 135987407 3221224560 3221223136 134801598 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 163577 135811 364 364 0 163213 0
[pid=7984] vsize: 654308
Current children cumulated CPU time (s) 199.1
Current children cumulated vsize (Kb) 654308

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 230921 0 0 0 20351 558 0 0 25 0 1 0 21560296 672092160 136179 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 164085 136179 364 364 0 163721 0
[pid=7984] vsize: 656340
Current children cumulated CPU time (s) 209.09
Current children cumulated vsize (Kb) 656340

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 231426 0 0 0 21339 561 0 0 25 0 1 0 21560296 674082816 136553 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 164571 136553 364 364 0 164207 0
[pid=7984] vsize: 658284
Current children cumulated CPU time (s) 219
Current children cumulated vsize (Kb) 658284

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 232132 0 0 0 22328 566 0 0 25 0 1 0 21560296 677482496 137193 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 165401 137193 364 364 0 165037 0
[pid=7984] vsize: 661604
Current children cumulated CPU time (s) 228.94
Current children cumulated vsize (Kb) 661604

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 232473 0 0 0 23313 571 0 0 25 0 1 0 21560296 679235584 137501 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 165829 137501 364 364 0 165465 0
[pid=7984] vsize: 663316
Current children cumulated CPU time (s) 238.84
Current children cumulated vsize (Kb) 663316

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 232945 0 0 0 24300 576 0 0 25 0 1 0 21560296 681111552 137842 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 166287 137842 364 364 0 165923 0
[pid=7984] vsize: 665148
Current children cumulated CPU time (s) 248.76
Current children cumulated vsize (Kb) 665148

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 233466 0 0 0 25288 582 0 0 25 0 1 0 21560296 683253760 138198 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 166810 138198 364 364 0 166446 0
[pid=7984] vsize: 667240
Current children cumulated CPU time (s) 258.7
Current children cumulated vsize (Kb) 667240

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 233995 0 0 0 26275 587 0 0 25 0 1 0 21560296 685260800 138595 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 167300 138595 364 364 0 166936 0
[pid=7984] vsize: 669200
Current children cumulated CPU time (s) 268.62
Current children cumulated vsize (Kb) 669200

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 234388 0 0 0 27262 593 0 0 25 0 1 0 21560296 686870528 138889 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 167693 138889 364 364 0 167329 0
[pid=7984] vsize: 670772
Current children cumulated CPU time (s) 278.55
Current children cumulated vsize (Kb) 670772

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 234630 0 0 0 28244 599 0 0 25 0 1 0 21560296 687939584 139065 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 167954 139065 364 364 0 167590 0
[pid=7984] vsize: 671816
Current children cumulated CPU time (s) 288.43
Current children cumulated vsize (Kb) 671816

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 234780 0 0 0 29230 605 0 0 25 0 1 0 21560296 688873472 139215 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 168182 139215 364 364 0 167818 0
[pid=7984] vsize: 672728
Current children cumulated CPU time (s) 298.35
Current children cumulated vsize (Kb) 672728

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 234996 0 0 0 30219 609 0 0 25 0 1 0 21560296 689676288 139365 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 168378 139365 364 364 0 168014 0
[pid=7984] vsize: 673512
Current children cumulated CPU time (s) 308.28
Current children cumulated vsize (Kb) 673512

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 235088 0 0 0 31202 614 0 0 25 0 1 0 21560296 690216960 139457 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 168510 139457 364 364 0 168146 0
[pid=7984] vsize: 674040
Current children cumulated CPU time (s) 318.16
Current children cumulated vsize (Kb) 674040

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 235130 0 0 0 32186 620 0 0 25 0 1 0 21560296 690352128 139499 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 168543 139499 364 364 0 168179 0
[pid=7984] vsize: 674172
Current children cumulated CPU time (s) 328.06
Current children cumulated vsize (Kb) 674172

[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 235308 0 0 0 33168 626 0 0 25 0 1 0 21560296 691159040 139644 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 168740 139644 364 364 0 168376 0
[pid=7984] vsize: 674960
Current children cumulated CPU time (s) 337.94
Current children cumulated vsize (Kb) 674960

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 235474 0 0 0 34154 632 0 0 25 0 1 0 21560296 692105216 139810 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 168971 139810 364 364 0 168607 0
[pid=7984] vsize: 675884
Current children cumulated CPU time (s) 347.86
Current children cumulated vsize (Kb) 675884

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 235859 0 0 0 35140 637 0 0 25 0 1 0 21560296 693710848 140096 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 169363 140096 364 364 0 168999 0
[pid=7984] vsize: 677452
Current children cumulated CPU time (s) 357.77
Current children cumulated vsize (Kb) 677452

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 235928 0 0 0 36122 643 0 0 25 0 1 0 21560296 693977088 140132 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 169428 140132 364 364 0 169064 0
[pid=7984] vsize: 677712
Current children cumulated CPU time (s) 367.65
Current children cumulated vsize (Kb) 677712

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 236097 0 0 0 37109 647 0 0 25 0 1 0 21560296 694644736 140235 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 169591 140235 364 364 0 169227 0
[pid=7984] vsize: 678364
Current children cumulated CPU time (s) 377.56
Current children cumulated vsize (Kb) 678364

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 236272 0 0 0 38093 652 0 0 25 0 1 0 21560296 695312384 140344 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 169754 140344 364 364 0 169390 0
[pid=7984] vsize: 679016
Current children cumulated CPU time (s) 387.45
Current children cumulated vsize (Kb) 679016

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) T 7983 7984 4060 0 -1 0 236480 0 0 0 39076 659 0 0 25 0 1 0 21560296 695980032 140486 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7984/statm): 169917 140486 364 364 0 169553 0
[pid=7984] vsize: 679668
Current children cumulated CPU time (s) 397.35
Current children cumulated vsize (Kb) 679668

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 236745 0 0 0 40061 663 0 0 25 0 1 0 21560296 697053184 140685 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 170179 140685 364 364 0 169815 0
[pid=7984] vsize: 680716
Current children cumulated CPU time (s) 407.24
Current children cumulated vsize (Kb) 680716

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 236964 0 0 0 41046 669 0 0 25 0 1 0 21560296 698249216 140871 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 170471 140871 364 364 0 170107 0
[pid=7984] vsize: 681884
Current children cumulated CPU time (s) 417.15
Current children cumulated vsize (Kb) 681884

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 240101 0 0 0 42035 678 0 0 25 0 1 0 21560296 698249216 140881 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 170471 140881 364 364 0 170107 0
[pid=7984] vsize: 681884
Current children cumulated CPU time (s) 427.13
Current children cumulated vsize (Kb) 681884

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 240158 0 0 0 43025 682 0 0 25 0 1 0 21560296 698380288 140905 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 170503 140905 364 364 0 170139 0
[pid=7984] vsize: 682012
Current children cumulated CPU time (s) 437.07
Current children cumulated vsize (Kb) 682012

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 240238 0 0 0 44009 688 0 0 25 0 1 0 21560296 698646528 140952 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 170568 140952 364 364 0 170204 0
[pid=7984] vsize: 682272
Current children cumulated CPU time (s) 446.97
Current children cumulated vsize (Kb) 682272

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 240417 0 0 0 44994 694 0 0 25 0 1 0 21560296 699310080 141065 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 170730 141065 364 364 0 170366 0
[pid=7984] vsize: 682920
Current children cumulated CPU time (s) 456.88
Current children cumulated vsize (Kb) 682920

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 240653 0 0 0 45979 699 0 0 25 0 1 0 21560296 700104704 141235 4294967295 134512640 135987407 3221224560 3221223052 135499877 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 170924 141235 364 364 0 170560 0
[pid=7984] vsize: 683696
Current children cumulated CPU time (s) 466.78
Current children cumulated vsize (Kb) 683696

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 240730 0 0 0 46965 704 0 0 25 0 1 0 21560296 700506112 141312 4294967295 134512640 135987407 3221224560 3221223280 134814249 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 171022 141312 364 364 0 170658 0
[pid=7984] vsize: 684088
Current children cumulated CPU time (s) 476.69
Current children cumulated vsize (Kb) 684088

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 243970 0 0 0 47946 715 0 0 25 0 1 0 21560296 701181952 141425 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 171187 141425 364 364 0 170823 0
[pid=7984] vsize: 684748
Current children cumulated CPU time (s) 486.61
Current children cumulated vsize (Kb) 684748

[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) T 7983 7984 4060 0 -1 0 244163 0 0 0 48925 724 0 0 25 0 1 0 21560296 702259200 141585 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7984/statm): 171450 141585 364 364 0 171086 0
[pid=7984] vsize: 685800
Current children cumulated CPU time (s) 496.49
Current children cumulated vsize (Kb) 685800

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 244505 0 0 0 49902 733 0 0 25 0 1 0 21560296 703922176 141927 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 171856 141927 364 364 0 171492 0
[pid=7984] vsize: 687424
Current children cumulated CPU time (s) 506.35
Current children cumulated vsize (Kb) 687424

[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 244565 0 0 0 50892 737 0 0 25 0 1 0 21560296 704192512 141987 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 171922 141987 364 364 0 171558 0
[pid=7984] vsize: 687688
Current children cumulated CPU time (s) 516.29
Current children cumulated vsize (Kb) 687688

[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 244567 0 0 0 51878 742 0 0 25 0 1 0 21560296 704192512 141989 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 171922 141989 364 364 0 171558 0
[pid=7984] vsize: 687688
Current children cumulated CPU time (s) 526.2
Current children cumulated vsize (Kb) 687688

[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) T 7983 7984 4060 0 -1 0 244725 0 0 0 52864 747 0 0 25 0 1 0 21560296 704864256 142114 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7984/statm): 172086 142114 364 364 0 171722 0
[pid=7984] vsize: 688344
Current children cumulated CPU time (s) 536.11
Current children cumulated vsize (Kb) 688344

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 244778 0 0 0 53849 753 0 0 25 0 1 0 21560296 705130496 142167 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 172151 142167 364 364 0 171787 0
[pid=7984] vsize: 688604
Current children cumulated CPU time (s) 546.02
Current children cumulated vsize (Kb) 688604

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 244794 0 0 0 54834 757 0 0 25 0 1 0 21560296 705130496 142183 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 172151 142183 364 364 0 171787 0
[pid=7984] vsize: 688604
Current children cumulated CPU time (s) 555.91
Current children cumulated vsize (Kb) 688604

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 244892 0 0 0 55819 762 0 0 25 0 1 0 21560296 705536000 142281 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 172250 142281 364 364 0 171886 0
[pid=7984] vsize: 689000
Current children cumulated CPU time (s) 565.81
Current children cumulated vsize (Kb) 689000

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 245050 0 0 0 56804 768 0 0 25 0 1 0 21560296 705937408 142406 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 172348 142406 364 364 0 171984 0
[pid=7984] vsize: 689392
Current children cumulated CPU time (s) 575.72
Current children cumulated vsize (Kb) 689392

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 248251 0 0 0 57785 780 0 0 25 0 1 0 21560296 719011840 145574 4294967295 134512640 135987407 3221224560 3221222976 134827671 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 175540 145574 364 364 0 175176 0
[pid=7984] vsize: 702160
Current children cumulated CPU time (s) 585.65
Current children cumulated vsize (Kb) 702160

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 248588 0 0 0 58767 786 0 0 25 0 1 0 21560296 707944448 142784 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 172838 142784 364 364 0 172474 0
[pid=7984] vsize: 691352
Current children cumulated CPU time (s) 595.53
Current children cumulated vsize (Kb) 691352

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 249335 0 0 0 59743 795 0 0 25 0 1 0 21560296 711426048 143399 4294967295 134512640 135987407 3221224560 3221223248 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 173688 143399 364 364 0 173324 0
[pid=7984] vsize: 694752
Current children cumulated CPU time (s) 605.38
Current children cumulated vsize (Kb) 694752

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) T 7983 7984 4060 0 -1 0 249649 0 0 0 60720 804 0 0 25 0 1 0 21560296 712704000 143647 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7984/statm): 174000 143647 364 364 0 173636 0
[pid=7984] vsize: 696000
Current children cumulated CPU time (s) 615.24
Current children cumulated vsize (Kb) 696000

[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 249963 0 0 0 61703 811 0 0 23 0 1 0 21560296 714338304 143928 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 174399 143928 364 364 0 174035 0
[pid=7984] vsize: 697596
Current children cumulated CPU time (s) 625.14
Current children cumulated vsize (Kb) 697596

[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 250170 0 0 0 62692 815 0 0 25 0 1 0 21560296 714866688 144036 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 174528 144036 364 364 0 174164 0
[pid=7984] vsize: 698112
Current children cumulated CPU time (s) 635.07
Current children cumulated vsize (Kb) 698112

[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 250227 0 0 0 63673 820 0 0 25 0 1 0 21560296 714997760 144060 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 174560 144060 364 364 0 174196 0
[pid=7984] vsize: 698240
Current children cumulated CPU time (s) 644.93
Current children cumulated vsize (Kb) 698240

[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 250286 0 0 0 64660 825 0 0 25 0 1 0 21560296 715264000 144119 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 174625 144119 364 364 0 174261 0
[pid=7984] vsize: 698500
Current children cumulated CPU time (s) 654.85
Current children cumulated vsize (Kb) 698500

[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 253663 0 0 0 65642 836 0 0 25 0 1 0 21560296 716328960 144303 4294967295 134512640 135987407 3221224560 3221223132 134801599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 174885 144303 364 364 0 174521 0
[pid=7984] vsize: 699540
Current children cumulated CPU time (s) 664.78
Current children cumulated vsize (Kb) 699540

[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 253936 0 0 0 66620 845 0 0 25 0 1 0 21560296 717803520 144576 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 175245 144576 364 364 0 174881 0
[pid=7984] vsize: 700980
Current children cumulated CPU time (s) 674.65
Current children cumulated vsize (Kb) 700980

[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 255053 0 0 0 67597 854 0 0 25 0 1 0 21560296 723124224 145594 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 176544 145594 364 364 0 176180 0
[pid=7984] vsize: 706176
Current children cumulated CPU time (s) 684.51
Current children cumulated vsize (Kb) 706176

[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 255121 0 0 0 68582 860 0 0 25 0 1 0 21560296 723390464 145629 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 176609 145629 364 364 0 176245 0
[pid=7984] vsize: 706436
Current children cumulated CPU time (s) 694.42
Current children cumulated vsize (Kb) 706436

[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 255248 0 0 0 69565 866 0 0 25 0 1 0 21560296 723992576 145756 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 176756 145756 364 364 0 176392 0
[pid=7984] vsize: 707024
Current children cumulated CPU time (s) 704.31
Current children cumulated vsize (Kb) 707024

[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) T 7983 7984 4060 0 -1 0 255362 0 0 0 70551 871 0 0 25 0 1 0 21560296 724529152 145837 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7984/statm): 176887 145837 364 364 0 176523 0
[pid=7984] vsize: 707548
Current children cumulated CPU time (s) 714.22
Current children cumulated vsize (Kb) 707548

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 255366 0 0 0 71534 876 0 0 25 0 1 0 21560296 724529152 145841 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 176887 145841 364 364 0 176523 0
[pid=7984] vsize: 707548
Current children cumulated CPU time (s) 724.1
Current children cumulated vsize (Kb) 707548

[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 255389 0 0 0 72514 883 0 0 25 0 1 0 21560296 724664320 145864 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 176920 145864 364 364 0 176556 0
[pid=7984] vsize: 707680
Current children cumulated CPU time (s) 733.97
Current children cumulated vsize (Kb) 707680

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 255409 0 0 0 73498 887 0 0 25 0 1 0 21560296 724799488 145884 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 176953 145884 364 364 0 176589 0
[pid=7984] vsize: 707812
Current children cumulated CPU time (s) 743.85
Current children cumulated vsize (Kb) 707812

[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 258596 0 0 0 74476 900 0 0 25 0 1 0 21560296 725204992 145944 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177052 145944 364 364 0 176688 0
[pid=7984] vsize: 708208
Current children cumulated CPU time (s) 753.76
Current children cumulated vsize (Kb) 708208

[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 258972 0 0 0 75451 908 0 0 25 0 1 0 21560296 727076864 146254 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177509 146254 364 364 0 177145 0
[pid=7984] vsize: 710036
Current children cumulated CPU time (s) 763.59
Current children cumulated vsize (Kb) 710036

[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 259015 0 0 0 76430 916 0 0 25 0 1 0 21560296 727343104 146297 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177574 146297 364 364 0 177210 0
[pid=7984] vsize: 710296
Current children cumulated CPU time (s) 773.46
Current children cumulated vsize (Kb) 710296

[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) T 7983 7984 4060 0 -1 0 259031 0 0 0 77411 922 0 0 25 0 1 0 21560296 727343104 146313 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177574 146313 364 364 0 177210 0
[pid=7984] vsize: 710296
Current children cumulated CPU time (s) 783.33
Current children cumulated vsize (Kb) 710296

[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 259034 0 0 0 78393 927 0 0 25 0 1 0 21560296 727343104 146316 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177574 146316 364 364 0 177210 0
[pid=7984] vsize: 710296
Current children cumulated CPU time (s) 793.2
Current children cumulated vsize (Kb) 710296

[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 262182 0 0 0 79385 934 0 0 25 0 1 0 21560296 727343104 146337 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177574 146337 364 364 0 177210 0
[pid=7984] vsize: 710296
Current children cumulated CPU time (s) 803.19
Current children cumulated vsize (Kb) 710296

[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 262194 0 0 0 80370 940 0 0 25 0 1 0 21560296 727539712 146349 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177622 146349 364 364 0 177258 0
[pid=7984] vsize: 710488
Current children cumulated CPU time (s) 813.1
Current children cumulated vsize (Kb) 710488

[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 262206 0 0 0 81351 946 0 0 25 0 1 0 21560296 727539712 146361 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177622 146361 364 364 0 177258 0
[pid=7984] vsize: 710488
Current children cumulated CPU time (s) 822.97
Current children cumulated vsize (Kb) 710488

[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 262253 0 0 0 82334 951 0 0 25 0 1 0 21560296 727810048 146408 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177688 146408 364 364 0 177324 0
[pid=7984] vsize: 710752
Current children cumulated CPU time (s) 832.85
Current children cumulated vsize (Kb) 710752

[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 262254 0 0 0 83317 956 0 0 25 0 1 0 21560296 727810048 146409 4294967295 134512640 135987407 3221224560 3221223344 134812371 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177688 146409 364 364 0 177324 0
[pid=7984] vsize: 710752
Current children cumulated CPU time (s) 842.73
Current children cumulated vsize (Kb) 710752

[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 262255 0 0 0 84301 961 0 0 25 0 1 0 21560296 727810048 146410 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177688 146410 364 364 0 177324 0
[pid=7984] vsize: 710752
Current children cumulated CPU time (s) 852.62
Current children cumulated vsize (Kb) 710752

[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 262261 0 0 0 85285 967 0 0 25 0 1 0 21560296 727810048 146416 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177688 146416 364 364 0 177324 0
[pid=7984] vsize: 710752
Current children cumulated CPU time (s) 862.52
Current children cumulated vsize (Kb) 710752

[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 265444 0 0 0 86269 978 0 0 25 0 1 0 21560296 728215552 146472 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177787 146472 364 364 0 177423 0
[pid=7984] vsize: 711148
Current children cumulated CPU time (s) 872.47
Current children cumulated vsize (Kb) 711148

[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 265444 0 0 0 87247 985 0 0 25 0 1 0 21560296 728215552 146472 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177787 146472 364 364 0 177423 0
[pid=7984] vsize: 711148
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (Kb) 711148

[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 265448 0 0 0 88227 991 0 0 25 0 1 0 21560296 728215552 146476 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177787 146476 364 364 0 177423 0
[pid=7984] vsize: 711148
Current children cumulated CPU time (s) 892.18
Current children cumulated vsize (Kb) 711148

[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 265450 0 0 0 89209 997 0 0 25 0 1 0 21560296 728215552 146478 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177787 146478 364 364 0 177423 0
[pid=7984] vsize: 711148
Current children cumulated CPU time (s) 902.06
Current children cumulated vsize (Kb) 711148

[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 265455 0 0 0 90196 1001 0 0 25 0 1 0 21560296 728215552 146483 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177787 146483 364 364 0 177423 0
[pid=7984] vsize: 711148
Current children cumulated CPU time (s) 911.97
Current children cumulated vsize (Kb) 711148

[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 268601 0 0 0 91180 1013 0 0 25 0 1 0 21560296 728350720 146502 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177820 146502 364 364 0 177456 0
[pid=7984] vsize: 711280
Current children cumulated CPU time (s) 921.93
Current children cumulated vsize (Kb) 711280

[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 268608 0 0 0 92161 1020 0 0 25 0 1 0 21560296 728350720 146509 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177820 146509 364 364 0 177456 0
[pid=7984] vsize: 711280
Current children cumulated CPU time (s) 931.81
Current children cumulated vsize (Kb) 711280

[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 268609 0 0 0 93136 1029 0 0 25 0 1 0 21560296 728350720 146510 4294967295 134512640 135987407 3221224560 3221223424 134812674 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177820 146510 364 364 0 177456 0
[pid=7984] vsize: 711280
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (Kb) 711280

[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) T 7983 7984 4060 0 -1 0 268611 0 0 0 94115 1036 0 0 25 0 1 0 21560296 728350720 146512 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177820 146512 364 364 0 177456 0
[pid=7984] vsize: 711280
Current children cumulated CPU time (s) 951.51
Current children cumulated vsize (Kb) 711280

[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 268628 0 0 0 95090 1044 0 0 25 0 1 0 21560296 728547328 146529 4294967295 134512640 135987407 3221224560 3221223248 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177868 146529 364 364 0 177504 0
[pid=7984] vsize: 711472
Current children cumulated CPU time (s) 961.34
Current children cumulated vsize (Kb) 711472

[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 268658 0 0 0 96069 1050 0 0 25 0 1 0 21560296 728547328 146559 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 177868 146559 364 364 0 177504 0
[pid=7984] vsize: 711472
Current children cumulated CPU time (s) 971.19
Current children cumulated vsize (Kb) 711472

[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 271807 0 0 0 97052 1062 0 0 25 0 1 0 21560296 741490688 149708 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 181028 149708 364 364 0 180664 0
[pid=7984] vsize: 724112
Current children cumulated CPU time (s) 981.14
Current children cumulated vsize (Kb) 724112

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 271813 0 0 0 98034 1069 0 0 25 0 1 0 21560296 728682496 146587 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 177901 146587 364 364 0 177537 0
[pid=7984] vsize: 711604
Current children cumulated CPU time (s) 991.03
Current children cumulated vsize (Kb) 711604

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) T 7983 7984 4060 0 -1 0 271971 0 0 0 99018 1074 0 0 25 0 1 0 21560296 729075712 146646 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7984/statm): 177997 146646 364 364 0 177633 0
[pid=7984] vsize: 711988
Current children cumulated CPU time (s) 1000.92
Current children cumulated vsize (Kb) 711988

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 275155 0 0 0 99998 1086 0 0 25 0 1 0 21560296 742150144 149830 4294967295 134512640 135987407 3221224560 3221222944 134829282 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 181189 149830 364 364 0 180825 0
[pid=7984] vsize: 724756
Current children cumulated CPU time (s) 1010.84
Current children cumulated vsize (Kb) 724756

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 275177 0 0 0 100985 1091 0 0 25 0 1 0 21560296 729477120 146725 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178095 146725 364 364 0 177731 0
[pid=7984] vsize: 712380
Current children cumulated CPU time (s) 1020.76
Current children cumulated vsize (Kb) 712380

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 275181 0 0 0 101959 1100 0 0 25 0 1 0 21560296 729477120 146729 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 178095 146729 364 364 0 177731 0
[pid=7984] vsize: 712380
Current children cumulated CPU time (s) 1030.59
Current children cumulated vsize (Kb) 712380

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 275183 0 0 0 102936 1107 0 0 25 0 1 0 21560296 729477120 146731 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178095 146731 364 364 0 177731 0
[pid=7984] vsize: 712380
Current children cumulated CPU time (s) 1040.43
Current children cumulated vsize (Kb) 712380

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 278397 0 0 0 103913 1120 0 0 25 0 1 0 21560296 742551552 149912 4294967295 134512640 135987407 3221224560 3221222928 134828866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 181287 149912 364 364 0 180923 0
[pid=7984] vsize: 725148
Current children cumulated CPU time (s) 1050.33
Current children cumulated vsize (Kb) 725148

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 278397 0 0 0 104908 1122 0 0 25 0 1 0 21560296 729743360 146785 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178160 146785 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1060.3
Current children cumulated vsize (Kb) 712640

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 278398 0 0 0 105881 1130 0 0 25 0 1 0 21560296 729743360 146786 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178160 146786 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1070.11
Current children cumulated vsize (Kb) 712640

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 278400 0 0 0 106856 1137 0 0 25 0 1 0 21560296 729743360 146788 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178160 146788 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1079.93
Current children cumulated vsize (Kb) 712640

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 281528 0 0 0 107828 1151 0 0 25 0 1 0 21560296 742551552 149916 4294967295 134512640 135987407 3221224560 3221222928 134828869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 181287 149916 364 364 0 180923 0
[pid=7984] vsize: 725148
Current children cumulated CPU time (s) 1089.79
Current children cumulated vsize (Kb) 725148

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 281529 0 0 0 108813 1157 0 0 25 0 1 0 21560296 729743360 146790 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 178160 146790 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1099.7
Current children cumulated vsize (Kb) 712640

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 281531 0 0 0 109789 1165 0 0 25 0 1 0 21560296 729743360 146792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 178160 146792 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1109.54
Current children cumulated vsize (Kb) 712640

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 281533 0 0 0 110764 1174 0 0 25 0 1 0 21560296 729743360 146794 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 178160 146794 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1119.38
Current children cumulated vsize (Kb) 712640

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 284660 0 0 0 111747 1185 0 0 25 0 1 0 21560296 729743360 146794 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 178160 146794 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1129.32
Current children cumulated vsize (Kb) 712640

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 284662 0 0 0 112723 1193 0 0 25 0 1 0 21560296 729743360 146796 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178160 146796 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1139.16
Current children cumulated vsize (Kb) 712640

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 284664 0 0 0 113698 1201 0 0 25 0 1 0 21560296 729743360 146798 4294967295 134512640 135987407 3221224560 3221223280 134813726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178160 146798 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1148.99
Current children cumulated vsize (Kb) 712640

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 287792 0 0 0 114681 1212 0 0 25 0 1 0 21560296 729743360 146799 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178160 146799 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1158.93
Current children cumulated vsize (Kb) 712640

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 287794 0 0 0 115660 1219 0 0 25 0 1 0 21560296 729743360 146801 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178160 146801 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1168.79
Current children cumulated vsize (Kb) 712640

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 290922 0 0 0 116641 1231 0 0 25 0 1 0 21560296 729743360 146802 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178160 146802 364 364 0 177796 0
[pid=7984] vsize: 712640
Current children cumulated CPU time (s) 1178.72
Current children cumulated vsize (Kb) 712640

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 290941 0 0 0 117618 1239 0 0 25 0 1 0 21560296 729878528 146821 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 178193 146821 364 364 0 177829 0
[pid=7984] vsize: 712772
Current children cumulated CPU time (s) 1188.57
Current children cumulated vsize (Kb) 712772

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 290943 0 0 0 118593 1248 0 0 25 0 1 0 21560296 729878528 146823 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7984/statm): 178193 146823 364 364 0 177829 0
[pid=7984] vsize: 712772
Current children cumulated CPU time (s) 1198.41
Current children cumulated vsize (Kb) 712772

[startup+1220.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 294074 0 0 0 119562 1264 0 0 25 0 1 0 21560296 742686720 149954 4294967295 134512640 135987407 3221224560 3221222944 134829261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 181320 149954 364 364 0 180956 0
[pid=7984] vsize: 725280
Current children cumulated CPU time (s) 1208.26
Current children cumulated vsize (Kb) 725280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7984
Raw data (/proc/7984/stat): 7984 (pb2sat) R 7983 7984 4060 0 -1 0 294074 0 0 0 119562 1264 0 0 25 0 1 0 21560296 742686720 149954 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7984/statm): 181320 149954 364 364 0 180956 0
[pid=7984] vsize: 725280
Current children cumulated CPU time (s) 1208.26
Current children cumulated vsize (Kb) 725280

Sending SIGTERM to -7984
Sleeping 2 seconds
Sending SIGKILL to -7984
One traced child (pid=7984) 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.21
CPU time (s): 1210.41
CPU user time (s): 1197.46
CPU system time (s): 12.949
CPU usage (%): 99.0345
Max. virtual memory (cumulated for all children) (Kb): 725280

Verifier Data

ERROR: no interpretation found !