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-nsrand-ipx.opb
MD5SUM3c0f03289c4bde51025003af805c294c
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 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2355200
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 2939977599
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark101.672
Number of variables6641
Total number of constraints7355
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6951
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint1
Maximum length of a constraint6641

Trace number 10495

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-23 18:20:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9200 boxname=wulflinc23 idbench=996 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3c0f03289c4bde51025003af805c294c  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-nsrand-ipx.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-nsrand-ipx.opb
IDLAUNCH: 9200
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        882588 kB
Buffers:         15312 kB
Cached:         117832 kB
SwapCached:          0 kB
Active:          63072 kB
Inactive:        73008 kB
HighTotal:      131008 kB
HighFree:        22792 kB
LowTotal:       903652 kB
LowFree:        859796 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10360 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:39:39 (client local time) WITH STATUS 0 IN 1156.57 SECONDS
stats: 9200 7 1156.57 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/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22296408 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 373 2 364 364 0 9 0
[pid=10646] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-nsrand-ipx.opb

[startup+10.0024 s]
Raw data (loadavg): 0.87 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 28823 0 0 0 928 68 0 0 25 0 1 0 22296408 97939456 17711 4294967295 134512640 135987407 3221224560 3220075744 134877726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 23911 17711 364 364 0 23547 0
[pid=10646] vsize: 95644
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 95644

[startup+20.003 s]
Raw data (loadavg): 0.89 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 59647 0 0 0 1856 135 0 0 25 0 1 0 22296408 195792896 37327 4294967295 134512640 135987407 3221224560 3219256396 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 47801 37327 364 364 0 47437 0
[pid=10646] vsize: 191204
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 191204

[startup+30.0037 s]
Raw data (loadavg): 0.91 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 87351 0 0 0 2794 195 0 0 25 0 1 0 22296408 269090816 55133 4294967295 134512640 135987407 3221224560 3221064416 134640450 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 65696 55133 364 364 0 65332 0
[pid=10646] vsize: 262784
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 262784

[startup+40.0033 s]
Raw data (loadavg): 0.92 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 110484 0 0 0 3741 247 0 0 25 0 1 0 22296408 353112064 65773 4294967295 134512640 135987407 3221224560 3220939956 134931130 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 86209 65773 364 364 0 85845 0
[pid=10646] vsize: 344836
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (Kb) 344836

[startup+50.0049 s]
Raw data (loadavg): 0.93 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 124855 0 0 0 4706 281 0 0 25 0 1 0 22296408 356085760 79890 4294967295 134512640 135987407 3221224560 3221221744 134536111 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 86935 79890 364 364 0 86571 0
[pid=10646] vsize: 347740
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 347740

[startup+60.0056 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 184460 0 0 0 5579 404 0 0 25 0 1 0 22296408 684412928 119913 4294967295 134512640 135987407 3221224560 3220984528 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 167093 119913 364 364 0 166729 0
[pid=10646] vsize: 668372
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 668372

[startup+70.0062 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 199838 0 0 0 6533 449 0 0 25 0 1 0 22296408 621625344 110510 4294967295 134512640 135987407 3221224560 3221221740 134639152 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 151764 110510 364 364 0 151400 0
[pid=10646] vsize: 607056
Current children cumulated CPU time (s) 69.82
Current children cumulated vsize (Kb) 607056

[startup+80.0068 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 212812 0 0 0 7499 481 0 0 25 0 1 0 22296408 647004160 119728 4294967295 134512640 135987407 3221224560 3221223244 135500012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 157960 119728 364 364 0 157596 0
[pid=10646] vsize: 631840
Current children cumulated CPU time (s) 79.8
Current children cumulated vsize (Kb) 631840

[startup+90.0075 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 214031 0 0 0 8496 484 0 0 25 0 1 0 22296408 649965568 120591 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10646/statm): 158683 120591 364 364 0 158319 0
[pid=10646] vsize: 634732
Current children cumulated CPU time (s) 89.8
Current children cumulated vsize (Kb) 634732

[startup+100.008 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 214112 0 0 0 9496 484 0 0 25 0 1 0 22296408 650379264 120672 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 158784 120672 364 364 0 158420 0
[pid=10646] vsize: 635136
Current children cumulated CPU time (s) 99.8
Current children cumulated vsize (Kb) 635136

[startup+110.009 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 214131 0 0 0 10496 484 0 0 25 0 1 0 22296408 650379264 120691 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 158784 120691 364 364 0 158420 0
[pid=10646] vsize: 635136
Current children cumulated CPU time (s) 109.8
Current children cumulated vsize (Kb) 635136

[startup+120.008 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 214143 0 0 0 11496 485 0 0 25 0 1 0 22296408 650379264 120703 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 158784 120703 364 364 0 158420 0
[pid=10646] vsize: 635136
Current children cumulated CPU time (s) 119.81
Current children cumulated vsize (Kb) 635136

[startup+130.009 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 215907 0 0 0 12492 489 0 0 25 0 1 0 22296408 654827520 121593 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 159870 121593 364 364 0 159506 0
[pid=10646] vsize: 639480
Current children cumulated CPU time (s) 129.81
Current children cumulated vsize (Kb) 639480

[startup+140.009 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 217403 0 0 0 13484 494 0 0 25 0 1 0 22296408 659066880 122370 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 160905 122370 364 364 0 160541 0
[pid=10646] vsize: 643620
Current children cumulated CPU time (s) 139.78
Current children cumulated vsize (Kb) 643620

[startup+150.009 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 218639 0 0 0 14479 497 0 0 25 0 1 0 22296408 661970944 123051 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 161614 123051 364 364 0 161250 0
[pid=10646] vsize: 646456
Current children cumulated CPU time (s) 149.76
Current children cumulated vsize (Kb) 646456

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 219392 0 0 0 15476 500 0 0 25 0 1 0 22296408 663822336 123446 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 162066 123446 364 364 0 161702 0
[pid=10646] vsize: 648264
Current children cumulated CPU time (s) 159.76
Current children cumulated vsize (Kb) 648264

[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 220976 0 0 0 16472 503 0 0 25 0 1 0 22296408 667897856 124191 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 163061 124191 364 364 0 162697 0
[pid=10646] vsize: 652244
Current children cumulated CPU time (s) 169.75
Current children cumulated vsize (Kb) 652244

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 221789 0 0 0 17471 505 0 0 25 0 1 0 22296408 670146560 124523 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 163610 124523 364 364 0 163246 0
[pid=10646] vsize: 654440
Current children cumulated CPU time (s) 179.76
Current children cumulated vsize (Kb) 654440

[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 223049 0 0 0 18468 508 0 0 25 0 1 0 22296408 673832960 125011 4294967295 134512640 135987407 3221224560 3221223328 134812426 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 164510 125011 364 364 0 164146 0
[pid=10646] vsize: 658040
Current children cumulated CPU time (s) 189.76
Current children cumulated vsize (Kb) 658040

[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 225795 0 0 0 19462 513 0 0 25 0 1 0 22296408 681111552 126052 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 166287 126052 364 364 0 165923 0
[pid=10646] vsize: 665148
Current children cumulated CPU time (s) 199.75
Current children cumulated vsize (Kb) 665148

[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 228618 0 0 0 20455 520 0 0 25 0 1 0 22296408 689033216 127428 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 168221 127428 364 364 0 167857 0
[pid=10646] vsize: 672884
Current children cumulated CPU time (s) 209.75
Current children cumulated vsize (Kb) 672884

[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 230142 0 0 0 21452 523 0 0 25 0 1 0 22296408 692973568 128050 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169183 128050 364 364 0 168819 0
[pid=10646] vsize: 676732
Current children cumulated CPU time (s) 219.75
Current children cumulated vsize (Kb) 676732

[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 230241 0 0 0 22452 523 0 0 25 0 1 0 22296408 693108736 128149 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169216 128149 364 364 0 168852 0
[pid=10646] vsize: 676864
Current children cumulated CPU time (s) 229.75
Current children cumulated vsize (Kb) 676864

[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 230243 0 0 0 23452 523 0 0 25 0 1 0 22296408 693108736 128151 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169216 128151 364 364 0 168852 0
[pid=10646] vsize: 676864
Current children cumulated CPU time (s) 239.75
Current children cumulated vsize (Kb) 676864

[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 230308 0 0 0 24452 523 0 0 25 0 1 0 22296408 693108736 128216 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169216 128216 364 364 0 168852 0
[pid=10646] vsize: 676864
Current children cumulated CPU time (s) 249.75
Current children cumulated vsize (Kb) 676864

[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 231024 0 0 0 25450 525 0 0 25 0 1 0 22296408 694681600 128546 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169600 128546 364 364 0 169236 0
[pid=10646] vsize: 678400
Current children cumulated CPU time (s) 259.75
Current children cumulated vsize (Kb) 678400

[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 231030 0 0 0 26450 525 0 0 25 0 1 0 22296408 694681600 128552 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169600 128552 364 364 0 169236 0
[pid=10646] vsize: 678400
Current children cumulated CPU time (s) 269.75
Current children cumulated vsize (Kb) 678400

[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 231038 0 0 0 27450 526 0 0 25 0 1 0 22296408 694681600 128560 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169600 128560 364 364 0 169236 0
[pid=10646] vsize: 678400
Current children cumulated CPU time (s) 279.76
Current children cumulated vsize (Kb) 678400

[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 231046 0 0 0 28450 526 0 0 25 0 1 0 22296408 694681600 128568 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169600 128568 364 364 0 169236 0
[pid=10646] vsize: 678400
Current children cumulated CPU time (s) 289.76
Current children cumulated vsize (Kb) 678400

[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 231054 0 0 0 29450 526 0 0 25 0 1 0 22296408 694681600 128576 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 169600 128576 364 364 0 169236 0
[pid=10646] vsize: 678400
Current children cumulated CPU time (s) 299.76
Current children cumulated vsize (Kb) 678400

[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234818 0 0 0 30440 534 0 0 25 0 1 0 22296408 704917504 130297 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130297 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 309.74
Current children cumulated vsize (Kb) 688396

[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234851 0 0 0 31440 534 0 0 25 0 1 0 22296408 704917504 130330 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130330 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 319.74
Current children cumulated vsize (Kb) 688396

[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234852 0 0 0 32440 534 0 0 25 0 1 0 22296408 704917504 130331 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130331 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 329.74
Current children cumulated vsize (Kb) 688396

[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234853 0 0 0 33440 534 0 0 25 0 1 0 22296408 704917504 130332 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130332 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 339.74
Current children cumulated vsize (Kb) 688396

[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234853 0 0 0 34440 534 0 0 25 0 1 0 22296408 704917504 130332 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130332 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 349.74
Current children cumulated vsize (Kb) 688396

[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234855 0 0 0 35439 534 0 0 25 0 1 0 22296408 704917504 130334 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130334 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 359.73
Current children cumulated vsize (Kb) 688396

[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234856 0 0 0 36439 534 0 0 25 0 1 0 22296408 704917504 130335 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130335 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 369.73
Current children cumulated vsize (Kb) 688396

[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234857 0 0 0 37439 534 0 0 25 0 1 0 22296408 704917504 130336 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130336 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 379.73
Current children cumulated vsize (Kb) 688396

[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234857 0 0 0 38439 535 0 0 25 0 1 0 22296408 704917504 130336 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130336 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 389.74
Current children cumulated vsize (Kb) 688396

[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234859 0 0 0 39439 535 0 0 25 0 1 0 22296408 704917504 130338 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130338 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 399.74
Current children cumulated vsize (Kb) 688396

[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234860 0 0 0 40439 535 0 0 25 0 1 0 22296408 704917504 130339 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130339 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 409.74
Current children cumulated vsize (Kb) 688396

[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234861 0 0 0 41439 535 0 0 25 0 1 0 22296408 704917504 130340 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130340 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 419.74
Current children cumulated vsize (Kb) 688396

[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234862 0 0 0 42439 535 0 0 25 0 1 0 22296408 704917504 130341 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130341 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 429.74
Current children cumulated vsize (Kb) 688396

[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234863 0 0 0 43438 535 0 0 25 0 1 0 22296408 704917504 130342 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130342 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 439.73
Current children cumulated vsize (Kb) 688396

[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 234865 0 0 0 44438 535 0 0 25 0 1 0 22296408 704917504 130344 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 172099 130344 364 364 0 171735 0
[pid=10646] vsize: 688396
Current children cumulated CPU time (s) 449.73
Current children cumulated vsize (Kb) 688396

[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 236445 0 0 0 45435 538 0 0 25 0 1 0 22296408 708874240 131080 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 173065 131080 364 364 0 172701 0
[pid=10646] vsize: 692260
Current children cumulated CPU time (s) 459.73
Current children cumulated vsize (Kb) 692260

[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 239742 0 0 0 46429 544 0 0 25 0 1 0 22296408 716476416 132512 4294967295 134512640 135987407 3221224560 3221223376 134824216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 174921 132512 364 364 0 174557 0
[pid=10646] vsize: 699684
Current children cumulated CPU time (s) 469.73
Current children cumulated vsize (Kb) 699684

[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 241671 0 0 0 47425 548 0 0 25 0 1 0 22296408 721657856 133345 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 176186 133345 364 364 0 175822 0
[pid=10646] vsize: 704744
Current children cumulated CPU time (s) 479.73
Current children cumulated vsize (Kb) 704744

[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 243172 0 0 0 48422 550 0 0 25 0 1 0 22296408 725880832 133848 4294967295 134512640 135987407 3221224560 3221223088 134775171 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 177217 133848 364 364 0 176853 0
[pid=10646] vsize: 708868
Current children cumulated CPU time (s) 489.72
Current children cumulated vsize (Kb) 708868

[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 243439 0 0 0 49422 550 0 0 25 0 1 0 22296408 726405120 133986 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 177345 133986 364 364 0 176981 0
[pid=10646] vsize: 709380
Current children cumulated CPU time (s) 499.72
Current children cumulated vsize (Kb) 709380

[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 246832 0 0 0 50414 558 0 0 25 0 1 0 22296408 735592448 135663 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 179588 135663 364 364 0 179224 0
[pid=10646] vsize: 718352
Current children cumulated CPU time (s) 509.72
Current children cumulated vsize (Kb) 718352

[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 248150 0 0 0 51410 561 0 0 25 0 1 0 22296408 739000320 136140 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 180420 136140 364 364 0 180056 0
[pid=10646] vsize: 721680
Current children cumulated CPU time (s) 519.71
Current children cumulated vsize (Kb) 721680

[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 250016 0 0 0 52405 565 0 0 25 0 1 0 22296408 744955904 137129 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 181874 137129 364 364 0 181510 0
[pid=10646] vsize: 727496
Current children cumulated CPU time (s) 529.7
Current children cumulated vsize (Kb) 727496

[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 251712 0 0 0 53399 569 0 0 25 0 1 0 22296408 749645824 138037 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 183019 138037 364 364 0 182655 0
[pid=10646] vsize: 732076
Current children cumulated CPU time (s) 539.68
Current children cumulated vsize (Kb) 732076

[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 253670 0 0 0 54394 574 0 0 25 0 1 0 22296408 755073024 138897 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 184344 138897 364 364 0 183980 0
[pid=10646] vsize: 737376
Current children cumulated CPU time (s) 549.68
Current children cumulated vsize (Kb) 737376

[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 255990 0 0 0 55390 578 0 0 25 0 1 0 22296408 761286656 139966 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 185861 139966 364 364 0 185497 0
[pid=10646] vsize: 743444
Current children cumulated CPU time (s) 559.68
Current children cumulated vsize (Kb) 743444

[startup+570.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 257124 0 0 0 56388 580 0 0 25 0 1 0 22296408 763916288 140551 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 186503 140551 364 364 0 186139 0
[pid=10646] vsize: 746012
Current children cumulated CPU time (s) 569.68
Current children cumulated vsize (Kb) 746012

[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 260653 0 0 0 57379 587 0 0 25 0 1 0 22296408 772841472 142282 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 188682 142282 364 364 0 188318 0
[pid=10646] vsize: 754728
Current children cumulated CPU time (s) 579.66
Current children cumulated vsize (Kb) 754728

[startup+590.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 263819 0 0 0 58373 593 0 0 25 0 1 0 22296408 779804672 143896 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 190382 143896 364 364 0 190018 0
[pid=10646] vsize: 761528
Current children cumulated CPU time (s) 589.66
Current children cumulated vsize (Kb) 761528

[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 266183 0 0 0 59368 597 0 0 25 0 1 0 22296408 786624512 144654 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 192047 144654 364 364 0 191683 0
[pid=10646] vsize: 768188
Current children cumulated CPU time (s) 599.65
Current children cumulated vsize (Kb) 768188

[startup+610.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 268280 0 0 0 60365 601 0 0 25 0 1 0 22296408 791867392 145466 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 193327 145466 364 364 0 192963 0
[pid=10646] vsize: 773308
Current children cumulated CPU time (s) 609.66
Current children cumulated vsize (Kb) 773308

[startup+620.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 268331 0 0 0 61364 601 0 0 25 0 1 0 22296408 791867392 145517 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 193327 145517 364 364 0 192963 0
[pid=10646] vsize: 773308
Current children cumulated CPU time (s) 619.65
Current children cumulated vsize (Kb) 773308

[startup+630.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 269051 0 0 0 62362 603 0 0 25 0 1 0 22296408 793968640 145786 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 193840 145786 364 364 0 193476 0
[pid=10646] vsize: 775360
Current children cumulated CPU time (s) 629.65
Current children cumulated vsize (Kb) 775360

[startup+640.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 269563 0 0 0 63361 605 0 0 25 0 1 0 22296408 794886144 146071 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 194064 146071 364 364 0 193700 0
[pid=10646] vsize: 776256
Current children cumulated CPU time (s) 639.66
Current children cumulated vsize (Kb) 776256

[startup+650.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 272363 0 0 0 64353 611 0 0 25 0 1 0 22296408 803602432 147489 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 196192 147489 364 364 0 195828 0
[pid=10646] vsize: 784768
Current children cumulated CPU time (s) 649.64
Current children cumulated vsize (Kb) 784768

[startup+660.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 275368 0 0 0 65344 618 0 0 25 0 1 0 22296408 812228608 148792 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 198298 148792 364 364 0 197934 0
[pid=10646] vsize: 793192
Current children cumulated CPU time (s) 659.62
Current children cumulated vsize (Kb) 793192

[startup+670.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 277717 0 0 0 66339 622 0 0 25 0 1 0 22296408 817868800 149791 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 199675 149791 364 364 0 199311 0
[pid=10646] vsize: 798700
Current children cumulated CPU time (s) 669.61
Current children cumulated vsize (Kb) 798700

[startup+680.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 280597 0 0 0 67332 629 0 0 25 0 1 0 22296408 825221120 151029 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 201470 151029 364 364 0 201106 0
[pid=10646] vsize: 805880
Current children cumulated CPU time (s) 679.61
Current children cumulated vsize (Kb) 805880

[startup+690.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 283099 0 0 0 68327 633 0 0 25 0 1 0 22296408 832651264 152031 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 203284 152031 364 364 0 202920 0
[pid=10646] vsize: 813136
Current children cumulated CPU time (s) 689.6
Current children cumulated vsize (Kb) 813136

[startup+700.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 284065 0 0 0 69325 635 0 0 25 0 1 0 22296408 835276800 152385 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 203925 152385 364 364 0 203561 0
[pid=10646] vsize: 815700
Current children cumulated CPU time (s) 699.6
Current children cumulated vsize (Kb) 815700

[startup+710.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 286004 0 0 0 70321 639 0 0 25 0 1 0 22296408 839745536 153320 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 205016 153320 364 364 0 204652 0
[pid=10646] vsize: 820064
Current children cumulated CPU time (s) 709.6
Current children cumulated vsize (Kb) 820064

[startup+720.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 288708 0 0 0 71313 645 0 0 25 0 1 0 22296408 846442496 154471 4294967295 134512640 135987407 3221224560 3221223300 135478222 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 206651 154472 364 364 0 206287 0
[pid=10646] vsize: 826604
Current children cumulated CPU time (s) 719.58
Current children cumulated vsize (Kb) 826604

[startup+730.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 290350 0 0 0 72309 649 0 0 25 0 1 0 22296408 850513920 155226 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 207645 155226 364 364 0 207281 0
[pid=10646] vsize: 830580
Current children cumulated CPU time (s) 729.58
Current children cumulated vsize (Kb) 830580

[startup+740.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 292341 0 0 0 73304 653 0 0 25 0 1 0 22296408 855494656 155995 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 208861 155995 364 364 0 208497 0
[pid=10646] vsize: 835444
Current children cumulated CPU time (s) 739.57
Current children cumulated vsize (Kb) 835444

[startup+750.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 293677 0 0 0 74301 656 0 0 25 0 1 0 22296408 858640384 156559 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 209629 156559 364 364 0 209265 0
[pid=10646] vsize: 838516
Current children cumulated CPU time (s) 749.57
Current children cumulated vsize (Kb) 838516

[startup+760.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 295189 0 0 0 75298 659 0 0 25 0 1 0 22296408 862310400 157172 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 210525 157172 364 364 0 210161 0
[pid=10646] vsize: 842100
Current children cumulated CPU time (s) 759.57
Current children cumulated vsize (Kb) 842100

[startup+770.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 295561 0 0 0 76296 659 0 0 25 0 1 0 22296408 863096832 157350 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 210717 157350 364 364 0 210353 0
[pid=10646] vsize: 842868
Current children cumulated CPU time (s) 769.55
Current children cumulated vsize (Kb) 842868

[startup+780.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 295689 0 0 0 77296 660 0 0 25 0 1 0 22296408 863363072 157478 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 210782 157478 364 364 0 210418 0
[pid=10646] vsize: 843128
Current children cumulated CPU time (s) 779.56
Current children cumulated vsize (Kb) 843128

[startup+790.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 296890 0 0 0 78294 662 0 0 25 0 1 0 22296408 866508800 157909 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 211550 157909 364 364 0 211186 0
[pid=10646] vsize: 846200
Current children cumulated CPU time (s) 789.56
Current children cumulated vsize (Kb) 846200

[startup+800.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 297831 0 0 0 79291 664 0 0 25 0 1 0 22296408 869130240 158208 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 212190 158208 364 364 0 211826 0
[pid=10646] vsize: 848760
Current children cumulated CPU time (s) 799.55
Current children cumulated vsize (Kb) 848760

[startup+810.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 298648 0 0 0 80288 666 0 0 25 0 1 0 22296408 871362560 158539 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 212735 158539 364 364 0 212371 0
[pid=10646] vsize: 850940
Current children cumulated CPU time (s) 809.54
Current children cumulated vsize (Kb) 850940

[startup+820.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 300367 0 0 0 81282 671 0 0 25 0 1 0 22296408 876244992 159363 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 213927 159363 364 364 0 213563 0
[pid=10646] vsize: 855708
Current children cumulated CPU time (s) 819.53
Current children cumulated vsize (Kb) 855708

[startup+830.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 302637 0 0 0 82277 676 0 0 25 0 1 0 22296408 882536448 160091 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 215463 160091 364 364 0 215099 0
[pid=10646] vsize: 861852
Current children cumulated CPU time (s) 829.53
Current children cumulated vsize (Kb) 861852

[startup+840.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 303374 0 0 0 83275 677 0 0 25 0 1 0 22296408 884117504 160569 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 215849 160569 364 364 0 215485 0
[pid=10646] vsize: 863396
Current children cumulated CPU time (s) 839.52
Current children cumulated vsize (Kb) 863396

[startup+850.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 304933 0 0 0 84270 680 0 0 25 0 1 0 22296408 888053760 161226 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 216810 161226 364 364 0 216446 0
[pid=10646] vsize: 867240
Current children cumulated CPU time (s) 849.5
Current children cumulated vsize (Kb) 867240

[startup+860.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 305965 0 0 0 85268 683 0 0 25 0 1 0 22296408 891211776 161678 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 217581 161678 364 364 0 217217 0
[pid=10646] vsize: 870324
Current children cumulated CPU time (s) 859.51
Current children cumulated vsize (Kb) 870324

[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 305978 0 0 0 86268 683 0 0 25 0 1 0 22296408 891211776 161691 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 217581 161691 364 364 0 217217 0
[pid=10646] vsize: 870324
Current children cumulated CPU time (s) 869.51
Current children cumulated vsize (Kb) 870324

[startup+880.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 306001 0 0 0 87267 683 0 0 25 0 1 0 22296408 891211776 161714 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 217581 161714 364 364 0 217217 0
[pid=10646] vsize: 870324
Current children cumulated CPU time (s) 879.5
Current children cumulated vsize (Kb) 870324

[startup+890.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 309239 0 0 0 88259 690 0 0 25 0 1 0 22296408 900157440 163013 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 219765 163013 364 364 0 219401 0
[pid=10646] vsize: 879060
Current children cumulated CPU time (s) 889.49
Current children cumulated vsize (Kb) 879060

[startup+900.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 311344 0 0 0 89253 694 0 0 25 0 1 0 22296408 904876032 163962 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 220917 163962 364 364 0 220553 0
[pid=10646] vsize: 883668
Current children cumulated CPU time (s) 899.47
Current children cumulated vsize (Kb) 883668

[startup+910.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 311899 0 0 0 90252 695 0 0 25 0 1 0 22296408 906448896 164131 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 221301 164131 364 364 0 220937 0
[pid=10646] vsize: 885204
Current children cumulated CPU time (s) 909.47
Current children cumulated vsize (Kb) 885204

[startup+920.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 313066 0 0 0 91249 698 0 0 25 0 1 0 22296408 909594624 164528 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 222069 164528 364 364 0 221705 0
[pid=10646] vsize: 888276
Current children cumulated CPU time (s) 919.47
Current children cumulated vsize (Kb) 888276

[startup+930.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 313069 0 0 0 92249 698 0 0 25 0 1 0 22296408 909594624 164531 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 222069 164531 364 364 0 221705 0
[pid=10646] vsize: 888276
Current children cumulated CPU time (s) 929.47
Current children cumulated vsize (Kb) 888276

[startup+940.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 313906 0 0 0 93247 699 0 0 25 0 1 0 22296408 911822848 164822 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 222613 164822 364 364 0 222249 0
[pid=10646] vsize: 890452
Current children cumulated CPU time (s) 939.46
Current children cumulated vsize (Kb) 890452

[startup+950.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 313907 0 0 0 94246 700 0 0 25 0 1 0 22296408 911822848 164823 4294967295 134512640 135987407 3221224560 3221223312 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 222613 164823 364 364 0 222249 0
[pid=10646] vsize: 890452
Current children cumulated CPU time (s) 949.46
Current children cumulated vsize (Kb) 890452

[startup+960.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 314117 0 0 0 95245 700 0 0 25 0 1 0 22296408 912347136 164904 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 222741 164904 364 364 0 222377 0
[pid=10646] vsize: 890964
Current children cumulated CPU time (s) 959.45
Current children cumulated vsize (Kb) 890964

[startup+970.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 314480 0 0 0 96244 701 0 0 25 0 1 0 22296408 913395712 165010 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 222997 165010 364 364 0 222633 0
[pid=10646] vsize: 891988
Current children cumulated CPU time (s) 969.45
Current children cumulated vsize (Kb) 891988

[startup+980.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 314696 0 0 0 97243 702 0 0 25 0 1 0 22296408 913395712 165226 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 222997 165226 364 364 0 222633 0
[pid=10646] vsize: 891988
Current children cumulated CPU time (s) 979.45
Current children cumulated vsize (Kb) 891988

[startup+990.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 316276 0 0 0 98238 706 0 0 25 0 1 0 22296408 917213184 166077 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 223929 166077 364 364 0 223565 0
[pid=10646] vsize: 895716
Current children cumulated CPU time (s) 989.44
Current children cumulated vsize (Kb) 895716

[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 316660 0 0 0 99237 706 0 0 25 0 1 0 22296408 918261760 166204 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 224185 166204 364 364 0 223821 0
[pid=10646] vsize: 896740
Current children cumulated CPU time (s) 999.43
Current children cumulated vsize (Kb) 896740

[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 316661 0 0 0 100237 706 0 0 25 0 1 0 22296408 918261760 166205 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 224185 166205 364 364 0 223821 0
[pid=10646] vsize: 896740
Current children cumulated CPU time (s) 1009.43
Current children cumulated vsize (Kb) 896740

[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 316962 0 0 0 101237 707 0 0 25 0 1 0 22296408 919310336 166249 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 224441 166249 364 364 0 224077 0
[pid=10646] vsize: 897764
Current children cumulated CPU time (s) 1019.44
Current children cumulated vsize (Kb) 897764

[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 316964 0 0 0 102235 707 0 0 25 0 1 0 22296408 919310336 166251 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 224441 166251 364 364 0 224077 0
[pid=10646] vsize: 897764
Current children cumulated CPU time (s) 1029.42
Current children cumulated vsize (Kb) 897764

[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 317798 0 0 0 103233 709 0 0 25 0 1 0 22296408 921931776 166442 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 225081 166442 364 364 0 224717 0
[pid=10646] vsize: 900324
Current children cumulated CPU time (s) 1039.42
Current children cumulated vsize (Kb) 900324

[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 319018 0 0 0 104230 712 0 0 25 0 1 0 22296408 925630464 167110 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 225984 167110 364 364 0 225620 0
[pid=10646] vsize: 903936
Current children cumulated CPU time (s) 1049.42
Current children cumulated vsize (Kb) 903936

[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 320392 0 0 0 105226 715 0 0 25 0 1 0 22296408 929853440 167768 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 227015 167768 364 364 0 226651 0
[pid=10646] vsize: 908060
Current children cumulated CPU time (s) 1059.41
Current children cumulated vsize (Kb) 908060

[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 320490 0 0 0 106225 715 0 0 25 0 1 0 22296408 930119680 167866 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 227080 167866 364 364 0 226716 0
[pid=10646] vsize: 908320
Current children cumulated CPU time (s) 1069.4
Current children cumulated vsize (Kb) 908320

[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 320502 0 0 0 107225 716 0 0 25 0 1 0 22296408 930119680 167878 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 227080 167878 364 364 0 226716 0
[pid=10646] vsize: 908320
Current children cumulated CPU time (s) 1079.41
Current children cumulated vsize (Kb) 908320

[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 320676 0 0 0 108224 716 0 0 25 0 1 0 22296408 930381824 167987 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 227144 167987 364 364 0 226780 0
[pid=10646] vsize: 908576
Current children cumulated CPU time (s) 1089.4
Current children cumulated vsize (Kb) 908576

[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 320787 0 0 0 109223 717 0 0 25 0 1 0 22296408 930381824 168098 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 227144 168098 364 364 0 226780 0
[pid=10646] vsize: 908576
Current children cumulated CPU time (s) 1099.4
Current children cumulated vsize (Kb) 908576

[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 321742 0 0 0 110221 719 0 0 25 0 1 0 22296408 933003264 168410 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 227784 168411 364 364 0 227420 0
[pid=10646] vsize: 911136
Current children cumulated CPU time (s) 1109.4
Current children cumulated vsize (Kb) 911136

[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 321951 0 0 0 111220 719 0 0 25 0 1 0 22296408 933527552 168490 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 227912 168490 364 364 0 227548 0
[pid=10646] vsize: 911648
Current children cumulated CPU time (s) 1119.39
Current children cumulated vsize (Kb) 911648

[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 322154 0 0 0 112219 720 0 0 25 0 1 0 22296408 934051840 168564 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 228040 168564 364 364 0 227676 0
[pid=10646] vsize: 912160
Current children cumulated CPU time (s) 1129.39
Current children cumulated vsize (Kb) 912160

[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 323309 0 0 0 113215 723 0 0 25 0 1 0 22296408 936673280 169076 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 228680 169076 364 364 0 228316 0
[pid=10646] vsize: 914720
Current children cumulated CPU time (s) 1139.38
Current children cumulated vsize (Kb) 914720

[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) R 10645 10646 4060 0 -1 0 324379 0 0 0 114213 725 0 0 25 0 1 0 22296408 939163648 169534 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10646/statm): 229288 169535 364 364 0 228924 0
[pid=10646] vsize: 917152
Current children cumulated CPU time (s) 1149.38
Current children cumulated vsize (Kb) 917152



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+1156.86 s]
Raw data (loadavg): 0.99 0.98 0.96 1/55 10646
Raw data (/proc/10646/stat): 10646 (pb2sat) T 10645 10646 4060 0 -1 0 325527 0 0 0 114894 727 0 0 25 0 1 0 22296408 944812032 169941 4294967295 134512640 135987407 3221224560 3221223056 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10646/statm): 230667 169941 364 364 0 230303 0
[pid=10646] vsize: 922668
Current children cumulated CPU time (s) 1156.21
Current children cumulated vsize (Kb) 922668

Sending SIGTERM to -10646
Sleeping 2 seconds
Sending SIGKILL to -10646
One traced child (pid=10646) 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): 1159.2
CPU time (s): 1156.57
CPU user time (s): 1148.96
CPU system time (s): 7.61484
CPU usage (%): 99.773
Max. virtual memory (cumulated for all children) (Kb): 922668

Verifier Data

ERROR: no interpretation found !