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/miplib3/normalized-mps-v2-13-7-pk1.opb
MD5SUMb6007187ad037f56a5e2b97a0b86cea8
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6656
Optimality of the best value was proved NO
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2421502
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables675
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)55
Number of constraints which are nor clauses,nor cardinality constraints45
Minimum length of a constraint1
Maximum length of a constraint95

Trace number 10543

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        879992 kB
Buffers:         13972 kB
Cached:         123388 kB
SwapCached:          0 kB
Active:          76796 kB
Inactive:        63456 kB
HighTotal:      131008 kB
HighFree:        11228 kB
LowTotal:       903652 kB
LowFree:        868764 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:             8860 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:57:45 (client local time) WITH STATUS 0 IN 1210.35 SECONDS
stats: 9244 7 1210.35 0

Solver Data

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

c Decision: 172/908607	Time: 229.93/86400
c Decision: 172/908607	Time: 345.036/86400
c Decision: 174/908607	Time: 519.588/86400
c Decision: 174/908607	Time: 612.519/86400
c Decision: 174/908607	Time: 758.992/86400
c Decision: 174/908607	Time: 886.057/86400
c Decision: 174/908607	Time: 1045.47/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/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22423431 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 373 2 364 364 0 9 0
[pid=11761] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-pk1.opb

[startup+10.0019 s]
Raw data (loadavg): 0.92 0.95 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 28365 0 0 0 934 63 0 0 25 0 1 0 22423431 81952768 17212 4294967295 134512640 135987407 3221224560 3221221268 135479922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 20008 17212 364 364 0 19644 0
[pid=11761] vsize: 80032
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 80032

[startup+20.0027 s]
Raw data (loadavg): 0.93 0.95 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 55789 0 0 0 1874 122 0 0 25 0 1 0 22423431 159125504 33404 4294967295 134512640 135987407 3221224560 3221204608 134887868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 38849 33404 364 364 0 38485 0
[pid=11761] vsize: 155396
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 155396

[startup+30.0035 s]
Raw data (loadavg): 0.94 0.95 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 94838 0 0 0 2785 208 0 0 25 0 1 0 22423431 309415936 50254 4294967295 134512640 135987407 3221224560 3221200368 134864215 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 75541 50254 364 364 0 75177 0
[pid=11761] vsize: 302164
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 302164

[startup+40.0033 s]
Raw data (loadavg): 0.95 0.95 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 110614 0 0 0 3750 243 0 0 25 0 1 0 22423431 313741312 65768 4294967295 134512640 135987407 3221224560 3221221280 134636930 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 76597 65768 364 364 0 76233 0
[pid=11761] vsize: 306388
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 306388

[startup+50.004 s]
Raw data (loadavg): 0.96 0.95 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 117115 0 0 0 4722 262 0 0 25 0 1 0 22423431 336183296 70494 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 82076 70494 364 364 0 81712 0
[pid=11761] vsize: 328304
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 328304

[startup+60.0039 s]
Raw data (loadavg): 0.96 0.95 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 118071 0 0 0 5710 268 0 0 25 0 1 0 22423431 339103744 71073 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 82789 71073 364 364 0 82425 0
[pid=11761] vsize: 331156
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 331156

[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 118967 0 0 0 6708 269 0 0 25 0 1 0 22423431 342044672 71674 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 83507 71674 364 364 0 83143 0
[pid=11761] vsize: 334028
Current children cumulated CPU time (s) 69.77
Current children cumulated vsize (Kb) 334028

[startup+80.0054 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 119552 0 0 0 7706 270 0 0 25 0 1 0 22423431 343887872 71934 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 83957 71934 364 364 0 83593 0
[pid=11761] vsize: 335828
Current children cumulated CPU time (s) 79.76
Current children cumulated vsize (Kb) 335828

[startup+90.0052 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 119628 0 0 0 8705 271 0 0 25 0 1 0 22423431 344023040 72010 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 83990 72010 364 364 0 83626 0
[pid=11761] vsize: 335960
Current children cumulated CPU time (s) 89.76
Current children cumulated vsize (Kb) 335960

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 119823 0 0 0 9704 271 0 0 25 0 1 0 22423431 344551424 72107 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 84119 72107 364 364 0 83755 0
[pid=11761] vsize: 336476
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 336476

[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 120013 0 0 0 10703 272 0 0 25 0 1 0 22423431 344944640 72199 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 84215 72199 364 364 0 83851 0
[pid=11761] vsize: 336860
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 336860

[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 120188 0 0 0 11702 273 0 0 25 0 1 0 22423431 345473024 72309 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 84344 72309 364 364 0 83980 0
[pid=11761] vsize: 337376
Current children cumulated CPU time (s) 119.75
Current children cumulated vsize (Kb) 337376

[startup+130.006 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 121302 0 0 0 12692 277 0 0 25 0 1 0 22423431 349405184 72998 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 85304 72998 364 364 0 84940 0
[pid=11761] vsize: 341216
Current children cumulated CPU time (s) 129.69
Current children cumulated vsize (Kb) 341216

[startup+140.006 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 124397 0 0 0 13684 284 0 0 25 0 1 0 22423431 358199296 74379 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 87451 74379 364 364 0 87087 0
[pid=11761] vsize: 349804
Current children cumulated CPU time (s) 139.68
Current children cumulated vsize (Kb) 349804

[startup+150.007 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 125522 0 0 0 14682 286 0 0 25 0 1 0 22423431 361312256 74859 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 88211 74859 364 364 0 87847 0
[pid=11761] vsize: 352844
Current children cumulated CPU time (s) 149.68
Current children cumulated vsize (Kb) 352844

[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 126041 0 0 0 15681 287 0 0 25 0 1 0 22423431 362725376 75120 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 88556 75120 364 364 0 88192 0
[pid=11761] vsize: 354224
Current children cumulated CPU time (s) 159.68
Current children cumulated vsize (Kb) 354224

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 126725 0 0 0 16679 288 0 0 25 0 1 0 22423431 364564480 75416 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 89005 75416 364 364 0 88641 0
[pid=11761] vsize: 356020
Current children cumulated CPU time (s) 169.67
Current children cumulated vsize (Kb) 356020

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 127752 0 0 0 17677 291 0 0 25 0 1 0 22423431 367456256 75862 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 89711 75862 364 364 0 89347 0
[pid=11761] vsize: 358844
Current children cumulated CPU time (s) 179.68
Current children cumulated vsize (Kb) 358844

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 129110 0 0 0 18673 293 0 0 25 0 1 0 22423431 370876416 76475 4294967295 134512640 135987407 3221224560 3221223344 134812293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 90546 76475 364 364 0 90182 0
[pid=11761] vsize: 362184
Current children cumulated CPU time (s) 189.66
Current children cumulated vsize (Kb) 362184

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 129925 0 0 0 19670 296 0 0 25 0 1 0 22423431 372580352 76869 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 90962 76869 364 364 0 90598 0
[pid=11761] vsize: 363848
Current children cumulated CPU time (s) 199.66
Current children cumulated vsize (Kb) 363848

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 130317 0 0 0 20667 297 0 0 25 0 1 0 22423431 373633024 77034 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 91219 77034 364 364 0 90855 0
[pid=11761] vsize: 364876
Current children cumulated CPU time (s) 209.64
Current children cumulated vsize (Kb) 364876

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 130956 0 0 0 21664 299 0 0 25 0 1 0 22423431 376127488 77509 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 91828 77509 364 364 0 91464 0
[pid=11761] vsize: 367312
Current children cumulated CPU time (s) 219.63
Current children cumulated vsize (Kb) 367312

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 131151 0 0 0 22662 300 0 0 25 0 1 0 22423431 376655872 77605 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 91957 77605 364 364 0 91593 0
[pid=11761] vsize: 367828
Current children cumulated CPU time (s) 229.62
Current children cumulated vsize (Kb) 367828

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 131533 0 0 0 23660 301 0 0 25 0 1 0 22423431 378253312 77889 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 92347 77889 364 364 0 91983 0
[pid=11761] vsize: 369388
Current children cumulated CPU time (s) 239.61
Current children cumulated vsize (Kb) 369388

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 132191 0 0 0 24658 303 0 0 25 0 1 0 22423431 380899328 78287 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 92993 78287 364 364 0 92629 0
[pid=11761] vsize: 371972
Current children cumulated CPU time (s) 249.61
Current children cumulated vsize (Kb) 371972

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 132282 0 0 0 25657 303 0 0 25 0 1 0 22423431 381161472 78313 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 93057 78313 364 364 0 92693 0
[pid=11761] vsize: 372228
Current children cumulated CPU time (s) 259.6
Current children cumulated vsize (Kb) 372228

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 134060 0 0 0 26652 308 0 0 25 0 1 0 22423431 381161472 78316 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 93057 78316 364 364 0 92693 0
[pid=11761] vsize: 372228
Current children cumulated CPU time (s) 269.6
Current children cumulated vsize (Kb) 372228

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 134553 0 0 0 27649 310 0 0 25 0 1 0 22423431 382611456 78646 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 93411 78646 364 364 0 93047 0
[pid=11761] vsize: 373644
Current children cumulated CPU time (s) 279.59
Current children cumulated vsize (Kb) 373644

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 134691 0 0 0 28646 311 0 0 25 0 1 0 22423431 382873600 78719 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 93475 78719 364 364 0 93111 0
[pid=11761] vsize: 373900
Current children cumulated CPU time (s) 289.57
Current children cumulated vsize (Kb) 373900

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 134706 0 0 0 29645 311 0 0 25 0 1 0 22423431 382873600 78734 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 93475 78734 364 364 0 93111 0
[pid=11761] vsize: 373900
Current children cumulated CPU time (s) 299.56
Current children cumulated vsize (Kb) 373900

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 134707 0 0 0 30643 312 0 0 25 0 1 0 22423431 382873600 78735 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 93475 78735 364 364 0 93111 0
[pid=11761] vsize: 373900
Current children cumulated CPU time (s) 309.55
Current children cumulated vsize (Kb) 373900

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 134776 0 0 0 31641 313 0 0 25 0 1 0 22423431 383275008 78804 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 93573 78804 364 364 0 93209 0
[pid=11761] vsize: 374292
Current children cumulated CPU time (s) 319.54
Current children cumulated vsize (Kb) 374292

[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 135818 0 0 0 32638 315 0 0 25 0 1 0 22423431 385896448 79200 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 94213 79200 364 364 0 93849 0
[pid=11761] vsize: 376852
Current children cumulated CPU time (s) 329.53
Current children cumulated vsize (Kb) 376852

[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 136821 0 0 0 33632 319 0 0 25 0 1 0 22423431 389480448 79813 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 95088 79813 364 364 0 94724 0
[pid=11761] vsize: 380352
Current children cumulated CPU time (s) 339.51
Current children cumulated vsize (Kb) 380352

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 137271 0 0 0 34628 321 0 0 25 0 1 0 22423431 391208960 80165 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 95510 80165 364 364 0 95146 0
[pid=11761] vsize: 382040
Current children cumulated CPU time (s) 349.49
Current children cumulated vsize (Kb) 382040

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 139228 0 0 0 35624 324 0 0 25 0 1 0 22423431 396058624 80928 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 96694 80928 364 364 0 96330 0
[pid=11761] vsize: 386776
Current children cumulated CPU time (s) 359.48
Current children cumulated vsize (Kb) 386776

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 140935 0 0 0 36619 328 0 0 25 0 1 0 22423431 400527360 81664 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 97785 81664 364 364 0 97421 0
[pid=11761] vsize: 391140
Current children cumulated CPU time (s) 369.47
Current children cumulated vsize (Kb) 391140

[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 141310 0 0 0 37618 329 0 0 25 0 1 0 22423431 401575936 81782 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 98041 81782 364 364 0 97677 0
[pid=11761] vsize: 392164
Current children cumulated CPU time (s) 379.47
Current children cumulated vsize (Kb) 392164

[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 141993 0 0 0 38613 332 0 0 25 0 1 0 22423431 403165184 82205 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 98429 82205 364 364 0 98065 0
[pid=11761] vsize: 393716
Current children cumulated CPU time (s) 389.45
Current children cumulated vsize (Kb) 393716

[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 142637 0 0 0 39611 334 0 0 25 0 1 0 22423431 404738048 82463 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 98813 82463 364 364 0 98449 0
[pid=11761] vsize: 395252
Current children cumulated CPU time (s) 399.45
Current children cumulated vsize (Kb) 395252

[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 142659 0 0 0 40608 334 0 0 25 0 1 0 22423431 404738048 82485 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 98813 82485 364 364 0 98449 0
[pid=11761] vsize: 395252
Current children cumulated CPU time (s) 409.42
Current children cumulated vsize (Kb) 395252

[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 143195 0 0 0 41606 336 0 0 25 0 1 0 22423431 406315008 82698 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 99198 82698 364 364 0 98834 0
[pid=11761] vsize: 396792
Current children cumulated CPU time (s) 419.42
Current children cumulated vsize (Kb) 396792

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 143809 0 0 0 42602 339 0 0 25 0 1 0 22423431 408023040 82926 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 99615 82926 364 364 0 99251 0
[pid=11761] vsize: 398460
Current children cumulated CPU time (s) 429.41
Current children cumulated vsize (Kb) 398460

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 143949 0 0 0 43601 339 0 0 25 0 1 0 22423431 408285184 83001 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 99679 83001 364 364 0 99315 0
[pid=11761] vsize: 398716
Current children cumulated CPU time (s) 439.4
Current children cumulated vsize (Kb) 398716

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 144432 0 0 0 44599 340 0 0 25 0 1 0 22423431 409825280 83161 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100055 83161 364 364 0 99691 0
[pid=11761] vsize: 400220
Current children cumulated CPU time (s) 449.39
Current children cumulated vsize (Kb) 400220

[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 144854 0 0 0 45596 342 0 0 25 0 1 0 22423431 411004928 83293 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100343 83293 364 364 0 99979 0
[pid=11761] vsize: 401372
Current children cumulated CPU time (s) 459.38
Current children cumulated vsize (Kb) 401372

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 145546 0 0 0 46594 344 0 0 25 0 1 0 22423431 412577792 83599 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100727 83599 364 364 0 100363 0
[pid=11761] vsize: 402908
Current children cumulated CPU time (s) 469.38
Current children cumulated vsize (Kb) 402908

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 145921 0 0 0 47592 345 0 0 25 0 1 0 22423431 413626368 83717 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100983 83717 364 364 0 100619 0
[pid=11761] vsize: 403932
Current children cumulated CPU time (s) 479.37
Current children cumulated vsize (Kb) 403932

[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 145999 0 0 0 48592 345 0 0 25 0 1 0 22423431 413626368 83795 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100983 83795 364 364 0 100619 0
[pid=11761] vsize: 403932
Current children cumulated CPU time (s) 489.37
Current children cumulated vsize (Kb) 403932

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 146000 0 0 0 49591 345 0 0 25 0 1 0 22423431 413626368 83796 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100983 83796 364 364 0 100619 0
[pid=11761] vsize: 403932
Current children cumulated CPU time (s) 499.36
Current children cumulated vsize (Kb) 403932

[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 146000 0 0 0 50591 345 0 0 25 0 1 0 22423431 413626368 83796 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100983 83796 364 364 0 100619 0
[pid=11761] vsize: 403932
Current children cumulated CPU time (s) 509.36
Current children cumulated vsize (Kb) 403932

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 146000 0 0 0 51591 345 0 0 25 0 1 0 22423431 413626368 83796 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100983 83796 364 364 0 100619 0
[pid=11761] vsize: 403932
Current children cumulated CPU time (s) 519.36
Current children cumulated vsize (Kb) 403932

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 146000 0 0 0 52591 345 0 0 25 0 1 0 22423431 413626368 83796 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 100983 83796 364 364 0 100619 0
[pid=11761] vsize: 403932
Current children cumulated CPU time (s) 529.36
Current children cumulated vsize (Kb) 403932

[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 146002 0 0 0 53588 347 0 0 25 0 1 0 22423431 413626368 83798 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 100983 83798 364 364 0 100619 0
[pid=11761] vsize: 403932
Current children cumulated CPU time (s) 539.35
Current children cumulated vsize (Kb) 403932

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 146050 0 0 0 54586 347 0 0 25 0 1 0 22423431 413990912 83846 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 101072 83846 364 364 0 100708 0
[pid=11761] vsize: 404288
Current children cumulated CPU time (s) 549.33
Current children cumulated vsize (Kb) 404288

[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 147851 0 0 0 55579 353 0 0 25 0 1 0 22423431 413990912 83872 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 101072 83872 364 364 0 100708 0
[pid=11761] vsize: 404288
Current children cumulated CPU time (s) 559.32
Current children cumulated vsize (Kb) 404288

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 148040 0 0 0 56577 353 0 0 25 0 1 0 22423431 414654464 84028 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 101234 84028 364 364 0 100870 0
[pid=11761] vsize: 404936
Current children cumulated CPU time (s) 569.3
Current children cumulated vsize (Kb) 404936

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 148664 0 0 0 57574 355 0 0 25 0 1 0 22423431 415965184 84328 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 101554 84328 364 364 0 101190 0
[pid=11761] vsize: 406216
Current children cumulated CPU time (s) 579.29
Current children cumulated vsize (Kb) 406216

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 149104 0 0 0 58573 356 0 0 25 0 1 0 22423431 417411072 84476 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 101907 84476 364 364 0 101543 0
[pid=11761] vsize: 407628
Current children cumulated CPU time (s) 589.29
Current children cumulated vsize (Kb) 407628

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 149837 0 0 0 59571 358 0 0 25 0 1 0 22423431 419246080 84757 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 102355 84757 364 364 0 101991 0
[pid=11761] vsize: 409420
Current children cumulated CPU time (s) 599.29
Current children cumulated vsize (Kb) 409420

[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 149983 0 0 0 60570 358 0 0 25 0 1 0 22423431 419508224 84838 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 102419 84838 364 364 0 102055 0
[pid=11761] vsize: 409676
Current children cumulated CPU time (s) 609.28
Current children cumulated vsize (Kb) 409676

[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 149999 0 0 0 61569 359 0 0 25 0 1 0 22423431 419508224 84854 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 102419 84854 364 364 0 102055 0
[pid=11761] vsize: 409676
Current children cumulated CPU time (s) 619.28
Current children cumulated vsize (Kb) 409676

[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 150158 0 0 0 62567 360 0 0 25 0 1 0 22423431 420032512 84884 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 102547 84884 364 364 0 102183 0
[pid=11761] vsize: 410188
Current children cumulated CPU time (s) 629.27
Current children cumulated vsize (Kb) 410188

[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 150173 0 0 0 63567 360 0 0 25 0 1 0 22423431 420032512 84899 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 102547 84899 364 364 0 102183 0
[pid=11761] vsize: 410188
Current children cumulated CPU time (s) 639.27
Current children cumulated vsize (Kb) 410188

[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 150175 0 0 0 64565 361 0 0 25 0 1 0 22423431 420032512 84901 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 102547 84901 364 364 0 102183 0
[pid=11761] vsize: 410188
Current children cumulated CPU time (s) 649.26
Current children cumulated vsize (Kb) 410188

[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 152086 0 0 0 65559 366 0 0 25 0 1 0 22423431 420831232 85037 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 102742 85037 364 364 0 102378 0
[pid=11761] vsize: 410968
Current children cumulated CPU time (s) 659.25
Current children cumulated vsize (Kb) 410968

[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 152310 0 0 0 66557 366 0 0 25 0 1 0 22423431 421224448 85163 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 102838 85163 364 364 0 102474 0
[pid=11761] vsize: 411352
Current children cumulated CPU time (s) 669.23
Current children cumulated vsize (Kb) 411352

[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 152870 0 0 0 67554 368 0 0 25 0 1 0 22423431 422670336 85431 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 103191 85431 364 364 0 102827 0
[pid=11761] vsize: 412764
Current children cumulated CPU time (s) 679.22
Current children cumulated vsize (Kb) 412764

[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 153200 0 0 0 68551 370 0 0 25 0 1 0 22423431 423723008 85566 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 103448 85566 364 364 0 103084 0
[pid=11761] vsize: 413792
Current children cumulated CPU time (s) 689.21
Current children cumulated vsize (Kb) 413792

[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 153380 0 0 0 69544 372 0 0 25 0 1 0 22423431 424247296 85617 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 103576 85617 364 364 0 103212 0
[pid=11761] vsize: 414304
Current children cumulated CPU time (s) 699.16
Current children cumulated vsize (Kb) 414304

[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 153957 0 0 0 70541 374 0 0 25 0 1 0 22423431 425820160 85808 4294967295 134512640 135987407 3221224560 3221223376 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 103960 85808 364 364 0 103596 0
[pid=11761] vsize: 415840
Current children cumulated CPU time (s) 709.15
Current children cumulated vsize (Kb) 415840

[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 154097 0 0 0 71539 375 0 0 25 0 1 0 22423431 426344448 85819 4294967295 134512640 135987407 3221224560 3221223116 135480416 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 104088 85819 364 364 0 103724 0
[pid=11761] vsize: 416352
Current children cumulated CPU time (s) 719.14
Current children cumulated vsize (Kb) 416352

[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 154199 0 0 0 72538 375 0 0 25 0 1 0 22423431 426344448 85921 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 104088 85921 364 364 0 103724 0
[pid=11761] vsize: 416352
Current children cumulated CPU time (s) 729.13
Current children cumulated vsize (Kb) 416352

[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 154411 0 0 0 73538 376 0 0 25 0 1 0 22423431 426868736 86004 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 104216 86004 364 364 0 103852 0
[pid=11761] vsize: 416864
Current children cumulated CPU time (s) 739.14
Current children cumulated vsize (Kb) 416864

[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 154412 0 0 0 74537 376 0 0 25 0 1 0 22423431 426868736 86005 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 104216 86005 364 364 0 103852 0
[pid=11761] vsize: 416864
Current children cumulated CPU time (s) 749.13
Current children cumulated vsize (Kb) 416864

[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 154543 0 0 0 75534 378 0 0 25 0 1 0 22423431 427130880 86071 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 104280 86071 364 364 0 103916 0
[pid=11761] vsize: 417120
Current children cumulated CPU time (s) 759.12
Current children cumulated vsize (Kb) 417120

[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 154608 0 0 0 76532 378 0 0 25 0 1 0 22423431 427130880 86136 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11761/statm): 104280 86136 364 364 0 103916 0
[pid=11761] vsize: 417120
Current children cumulated CPU time (s) 769.1
Current children cumulated vsize (Kb) 417120

[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 154761 0 0 0 77529 380 0 0 25 0 1 0 22423431 427524096 86191 4294967295 134512640 135987407 3221224560 3221223424 134812653 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104376 86191 364 364 0 104012 0
[pid=11761] vsize: 417504
Current children cumulated CPU time (s) 779.09
Current children cumulated vsize (Kb) 417504

[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 155053 0 0 0 78526 382 0 0 25 0 1 0 22423431 428584960 86418 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104635 86418 364 364 0 104271 0
[pid=11761] vsize: 418540
Current children cumulated CPU time (s) 789.08
Current children cumulated vsize (Kb) 418540

[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 156830 0 0 0 79518 388 0 0 25 0 1 0 22423431 428584960 86420 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104635 86420 364 364 0 104271 0
[pid=11761] vsize: 418540
Current children cumulated CPU time (s) 799.06
Current children cumulated vsize (Kb) 418540

[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 156831 0 0 0 80516 389 0 0 25 0 1 0 22423431 428584960 86421 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104635 86421 364 364 0 104271 0
[pid=11761] vsize: 418540
Current children cumulated CPU time (s) 809.05
Current children cumulated vsize (Kb) 418540

[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 156925 0 0 0 81514 390 0 0 25 0 1 0 22423431 428847104 86450 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104699 86450 364 364 0 104335 0
[pid=11761] vsize: 418796
Current children cumulated CPU time (s) 819.04
Current children cumulated vsize (Kb) 418796

[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 156936 0 0 0 82513 390 0 0 25 0 1 0 22423431 428847104 86461 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104699 86461 364 364 0 104335 0
[pid=11761] vsize: 418796
Current children cumulated CPU time (s) 829.03
Current children cumulated vsize (Kb) 418796

[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 156938 0 0 0 83512 391 0 0 25 0 1 0 22423431 428847104 86463 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104699 86463 364 364 0 104335 0
[pid=11761] vsize: 418796
Current children cumulated CPU time (s) 839.03
Current children cumulated vsize (Kb) 418796

[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 157018 0 0 0 84509 392 0 0 25 0 1 0 22423431 429109248 86478 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104763 86478 364 364 0 104399 0
[pid=11761] vsize: 419052
Current children cumulated CPU time (s) 849.01
Current children cumulated vsize (Kb) 419052

[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 157019 0 0 0 85507 393 0 0 25 0 1 0 22423431 429109248 86479 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 104763 86479 364 364 0 104399 0
[pid=11761] vsize: 419052
Current children cumulated CPU time (s) 859
Current children cumulated vsize (Kb) 419052

[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 157387 0 0 0 86504 395 0 0 25 0 1 0 22423431 430157824 86589 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105019 86589 364 364 0 104655 0
[pid=11761] vsize: 420076
Current children cumulated CPU time (s) 868.99
Current children cumulated vsize (Kb) 420076

[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 157620 0 0 0 87502 396 0 0 25 0 1 0 22423431 430682112 86691 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86691 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 878.98
Current children cumulated vsize (Kb) 420588

[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 157621 0 0 0 88500 397 0 0 25 0 1 0 22423431 430682112 86692 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86692 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 888.97
Current children cumulated vsize (Kb) 420588

[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 157637 0 0 0 89498 398 0 0 25 0 1 0 22423431 430682112 86708 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86708 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 898.96
Current children cumulated vsize (Kb) 420588

[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 157638 0 0 0 90495 398 0 0 25 0 1 0 22423431 430682112 86709 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86709 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 908.93
Current children cumulated vsize (Kb) 420588

[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 157644 0 0 0 91493 399 0 0 25 0 1 0 22423431 430682112 86715 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86715 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 918.92
Current children cumulated vsize (Kb) 420588

[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159419 0 0 0 92488 404 0 0 25 0 1 0 22423431 430682112 86715 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86715 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 928.92
Current children cumulated vsize (Kb) 420588

[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159419 0 0 0 93487 404 0 0 25 0 1 0 22423431 430682112 86715 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86715 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 938.91
Current children cumulated vsize (Kb) 420588

[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159419 0 0 0 94486 405 0 0 25 0 1 0 22423431 430682112 86715 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86715 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 948.91
Current children cumulated vsize (Kb) 420588

[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159450 0 0 0 95485 405 0 0 25 0 1 0 22423431 430682112 86746 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105147 86746 364 364 0 104783 0
[pid=11761] vsize: 420588
Current children cumulated CPU time (s) 958.9
Current children cumulated vsize (Kb) 420588

[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159647 0 0 0 96484 406 0 0 25 0 1 0 22423431 431206400 86814 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86814 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 968.9
Current children cumulated vsize (Kb) 421100

[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159664 0 0 0 97483 406 0 0 25 0 1 0 22423431 431206400 86831 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86831 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 978.89
Current children cumulated vsize (Kb) 421100

[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159696 0 0 0 98483 406 0 0 25 0 1 0 22423431 431206400 86863 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86863 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 988.89
Current children cumulated vsize (Kb) 421100

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159696 0 0 0 99483 407 0 0 25 0 1 0 22423431 431206400 86863 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86863 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 998.9
Current children cumulated vsize (Kb) 421100

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159697 0 0 0 100483 407 0 0 25 0 1 0 22423431 431206400 86864 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86864 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 1008.9
Current children cumulated vsize (Kb) 421100

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159697 0 0 0 101483 407 0 0 25 0 1 0 22423431 431206400 86864 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86864 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 1018.9
Current children cumulated vsize (Kb) 421100

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159742 0 0 0 102482 407 0 0 25 0 1 0 22423431 431206400 86909 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86909 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 1028.89
Current children cumulated vsize (Kb) 421100

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159776 0 0 0 103482 408 0 0 25 0 1 0 22423431 431206400 86943 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86943 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 1038.9
Current children cumulated vsize (Kb) 421100

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159777 0 0 0 104478 409 0 0 25 0 1 0 22423431 431206400 86944 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86944 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 1048.87
Current children cumulated vsize (Kb) 421100

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159777 0 0 0 105476 410 0 0 25 0 1 0 22423431 431206400 86944 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86944 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 1058.86
Current children cumulated vsize (Kb) 421100

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159777 0 0 0 106475 410 0 0 25 0 1 0 22423431 431206400 86944 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86944 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 1068.85
Current children cumulated vsize (Kb) 421100

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 159791 0 0 0 107473 410 0 0 25 0 1 0 22423431 431206400 86958 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105275 86958 364 364 0 104911 0
[pid=11761] vsize: 421100
Current children cumulated CPU time (s) 1078.83
Current children cumulated vsize (Kb) 421100

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 161626 0 0 0 108468 415 0 0 25 0 1 0 22423431 431472640 87018 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105340 87018 364 364 0 104976 0
[pid=11761] vsize: 421360
Current children cumulated CPU time (s) 1088.83
Current children cumulated vsize (Kb) 421360

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 162037 0 0 0 109466 416 0 0 25 0 1 0 22423431 432525312 87234 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105597 87234 364 364 0 105233 0
[pid=11761] vsize: 422388
Current children cumulated CPU time (s) 1098.82
Current children cumulated vsize (Kb) 422388

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 162649 0 0 0 110464 418 0 0 25 0 1 0 22423431 434098176 87458 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 105981 87458 364 364 0 105617 0
[pid=11761] vsize: 423924
Current children cumulated CPU time (s) 1108.82
Current children cumulated vsize (Kb) 423924

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 162842 0 0 0 111463 418 0 0 25 0 1 0 22423431 434622464 87522 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106109 87522 364 364 0 105745 0
[pid=11761] vsize: 424436
Current children cumulated CPU time (s) 1118.81
Current children cumulated vsize (Kb) 424436

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163002 0 0 0 112462 419 0 0 25 0 1 0 22423431 435146752 87553 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106237 87553 364 364 0 105873 0
[pid=11761] vsize: 424948
Current children cumulated CPU time (s) 1128.81
Current children cumulated vsize (Kb) 424948

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163199 0 0 0 113460 420 0 0 25 0 1 0 22423431 435671040 87621 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106365 87621 364 364 0 106001 0
[pid=11761] vsize: 425460
Current children cumulated CPU time (s) 1138.8
Current children cumulated vsize (Kb) 425460

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163523 0 0 0 114459 421 0 0 25 0 1 0 22423431 436719616 87687 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106621 87687 364 364 0 106257 0
[pid=11761] vsize: 426484
Current children cumulated CPU time (s) 1148.8
Current children cumulated vsize (Kb) 426484

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163552 0 0 0 115457 421 0 0 25 0 1 0 22423431 436719616 87716 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106621 87716 364 364 0 106257 0
[pid=11761] vsize: 426484
Current children cumulated CPU time (s) 1158.78
Current children cumulated vsize (Kb) 426484

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163552 0 0 0 116455 422 0 0 25 0 1 0 22423431 436719616 87716 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106621 87716 364 364 0 106257 0
[pid=11761] vsize: 426484
Current children cumulated CPU time (s) 1168.77
Current children cumulated vsize (Kb) 426484

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163558 0 0 0 117454 422 0 0 25 0 1 0 22423431 436719616 87722 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106621 87722 364 364 0 106257 0
[pid=11761] vsize: 426484
Current children cumulated CPU time (s) 1178.76
Current children cumulated vsize (Kb) 426484

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163560 0 0 0 118454 423 0 0 25 0 1 0 22423431 436719616 87724 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106621 87724 364 364 0 106257 0
[pid=11761] vsize: 426484
Current children cumulated CPU time (s) 1188.77
Current children cumulated vsize (Kb) 426484

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163601 0 0 0 119452 424 0 0 25 0 1 0 22423431 436719616 87765 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106621 87765 364 364 0 106257 0
[pid=11761] vsize: 426484
Current children cumulated CPU time (s) 1198.76
Current children cumulated vsize (Kb) 426484

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163602 0 0 0 120450 425 0 0 25 0 1 0 22423431 436719616 87766 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106621 87766 364 364 0 106257 0
[pid=11761] vsize: 426484
Current children cumulated CPU time (s) 1208.75
Current children cumulated vsize (Kb) 426484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 11761
Raw data (/proc/11761/stat): 11761 (pb2sat) R 11760 11761 4704 0 -1 0 163602 0 0 0 120450 425 0 0 25 0 1 0 22423431 436719616 87766 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11761/statm): 106621 87766 364 364 0 106257 0
[pid=11761] vsize: 426484
Current children cumulated CPU time (s) 1208.75
Current children cumulated vsize (Kb) 426484

Sending SIGTERM to -11761
Sleeping 2 seconds
One traced child (pid=11761) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1211.65
CPU time (s): 1210.35
CPU user time (s): 1205.92
CPU system time (s): 4.43033
CPU usage (%): 99.8923
Max. virtual memory (cumulated for all children) (Kb): 426484

Verifier Data

ERROR: no interpretation found !