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

Nameweb/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM46f4eb904b1c96b45521a6459aa5d49d
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 2572

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-18 19:52:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3819 boxname=wulflinc18 idbench=303 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
IDLAUNCH: 3819
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        902824 kB
Buffers:         35400 kB
Cached:          60996 kB
SwapCached:        844 kB
Active:          77412 kB
Inactive:        21620 kB
HighTotal:      131008 kB
HighFree:        67116 kB
LowTotal:       903652 kB
LowFree:        835708 kB
SwapTotal:     2097892 kB
SwapFree:      2096548 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5764 kB
Slab:            27196 kB
Committed_AS:    64148 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 20:12:28 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 3819 7 1200.39 0

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb ......

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/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1843884940 978944 2 4294967295 134512640 135450776 3221224544 3221224544 134512960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 239 2 232 232 0 7 0
[pid=6131] vsize: 956
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb

[startup+10.0025 s]
Raw data (loadavg): 0.91 0.96 0.95 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 9473 0 0 0 965 29 0 0 25 0 1 0 1843884940 36892672 7865 4294967295 134512640 135450776 3221224544 3221223040 134524236 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 9007 7865 232 232 0 8775 0
[pid=6131] vsize: 36028
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 36028

[startup+20.0034 s]
Raw data (loadavg): 0.92 0.96 0.95 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 15677 0 0 0 1933 50 0 0 25 0 1 0 1843884940 56946688 12048 4294967295 134512640 135450776 3221224544 3221222880 134533988 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 13903 12048 232 232 0 13671 0
[pid=6131] vsize: 55612
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 55612

[startup+30.0033 s]
Raw data (loadavg): 0.93 0.96 0.95 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 16325 0 0 0 2913 58 0 0 25 0 1 0 1843884940 60157952 12663 4294967295 134512640 135450776 3221224544 3221223264 134539299 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 14687 12663 232 232 0 14455 0
[pid=6131] vsize: 58748
Current children cumulated CPU time (s) 29.71
Current children cumulated vsize (Kb) 58748

[startup+40.0042 s]
Raw data (loadavg): 0.94 0.96 0.95 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 16591 0 0 0 3902 63 0 0 25 0 1 0 1843884940 61362176 12929 4294967295 134512640 135450776 3221224544 3221223264 134539536 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 14981 12929 232 232 0 14749 0
[pid=6131] vsize: 59924
Current children cumulated CPU time (s) 39.65
Current children cumulated vsize (Kb) 59924

[startup+50.0052 s]
Raw data (loadavg): 1.02 0.98 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 16910 0 0 0 4879 71 0 0 25 0 1 0 1843884940 61767680 13033 4294967295 134512640 135450776 3221224544 3221223264 134538898 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 15080 13033 232 232 0 14848 0
[pid=6131] vsize: 60320
Current children cumulated CPU time (s) 49.5
Current children cumulated vsize (Kb) 60320

[startup+60.0051 s]
Raw data (loadavg): 1.02 0.98 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 17201 0 0 0 5862 77 0 0 25 0 1 0 1843884940 62160896 13109 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 15176 13109 232 232 0 14944 0
[pid=6131] vsize: 60704
Current children cumulated CPU time (s) 59.39
Current children cumulated vsize (Kb) 60704

[startup+70.005 s]
Raw data (loadavg): 1.10 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 17541 0 0 0 6850 82 0 0 25 0 1 0 1843884940 63696896 13449 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 15551 13449 232 232 0 15319 0
[pid=6131] vsize: 62204
Current children cumulated CPU time (s) 69.32
Current children cumulated vsize (Kb) 62204

[startup+80.006 s]
Raw data (loadavg): 1.08 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 17669 0 0 0 7833 89 0 0 25 0 1 0 1843884940 72503296 13577 4294967295 134512640 135450776 3221224544 3221222880 134534048 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 17701 13577 232 232 0 17469 0
[pid=6131] vsize: 70804
Current children cumulated CPU time (s) 79.22
Current children cumulated vsize (Kb) 70804

[startup+90.0059 s]
Raw data (loadavg): 1.07 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 18252 0 0 0 8814 96 0 0 25 0 1 0 1843884940 74121216 13879 4294967295 134512640 135450776 3221224544 3221223468 134530772 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 18096 13879 232 232 0 17864 0
[pid=6131] vsize: 72384
Current children cumulated CPU time (s) 89.1
Current children cumulated vsize (Kb) 72384

[startup+100.007 s]
Raw data (loadavg): 1.06 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 18422 0 0 0 9789 104 0 0 25 0 1 0 1843884940 75112448 14049 4294967295 134512640 135450776 3221224544 3221222880 134533988 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 18338 14049 232 232 0 18106 0
[pid=6131] vsize: 73352
Current children cumulated CPU time (s) 98.93
Current children cumulated vsize (Kb) 73352

[startup+110.008 s]
Raw data (loadavg): 1.05 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 18967 0 0 0 10773 111 0 0 25 0 1 0 1843884940 76652544 14346 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 18714 14346 232 232 0 18482 0
[pid=6131] vsize: 74856
Current children cumulated CPU time (s) 108.84
Current children cumulated vsize (Kb) 74856

[startup+120.008 s]
Raw data (loadavg): 1.04 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 19241 0 0 0 11764 115 0 0 25 0 1 0 1843884940 77447168 14488 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 18908 14488 232 232 0 18676 0
[pid=6131] vsize: 75632
Current children cumulated CPU time (s) 118.79
Current children cumulated vsize (Kb) 75632

[startup+130.009 s]
Raw data (loadavg): 1.03 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 19504 0 0 0 12751 120 0 0 25 0 1 0 1843884940 77582336 14536 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 18941 14536 232 232 0 18709 0
[pid=6131] vsize: 75764
Current children cumulated CPU time (s) 128.71
Current children cumulated vsize (Kb) 75764

[startup+140.01 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 19782 0 0 0 13730 128 0 0 25 0 1 0 1843884940 77713408 14566 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 18973 14566 232 232 0 18741 0
[pid=6131] vsize: 75892
Current children cumulated CPU time (s) 138.58
Current children cumulated vsize (Kb) 75892

[startup+150.01 s]
Raw data (loadavg): 1.02 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 20072 0 0 0 14703 138 0 0 25 0 1 0 1843884940 77979648 14641 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 19038 14641 232 232 0 18806 0
[pid=6131] vsize: 76152
Current children cumulated CPU time (s) 148.41
Current children cumulated vsize (Kb) 76152

[startup+160.011 s]
Raw data (loadavg): 1.02 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 20230 0 0 0 15681 145 0 0 25 0 1 0 1843884940 78921728 14799 4294967295 134512640 135450776 3221224544 3221223036 134535664 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 19268 14799 232 232 0 19036 0
[pid=6131] vsize: 77072
Current children cumulated CPU time (s) 158.26
Current children cumulated vsize (Kb) 77072

[startup+170.011 s]
Raw data (loadavg): 1.02 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 20410 0 0 0 16669 149 0 0 25 0 1 0 1843884940 79314944 14880 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 19364 14880 232 232 0 19132 0
[pid=6131] vsize: 77456
Current children cumulated CPU time (s) 168.18
Current children cumulated vsize (Kb) 77456

[startup+180.012 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 20433 0 0 0 17618 164 0 0 25 0 1 0 1843884940 79314944 14903 4294967295 134512640 135450776 3221224544 3221222880 134533941 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 19364 14903 232 232 0 19132 0
[pid=6131] vsize: 77456
Current children cumulated CPU time (s) 177.82
Current children cumulated vsize (Kb) 77456

[startup+190.012 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 20765 0 0 0 18603 170 0 0 25 0 1 0 1843884940 79781888 15020 4294967295 134512640 135450776 3221224544 3221223468 134530772 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 19478 15020 232 232 0 19246 0
[pid=6131] vsize: 77912
Current children cumulated CPU time (s) 187.73
Current children cumulated vsize (Kb) 77912

[startup+200.014 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 21023 0 0 0 19583 177 0 0 25 0 1 0 1843884940 79781888 15063 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 19478 15063 232 232 0 19246 0
[pid=6131] vsize: 77912
Current children cumulated CPU time (s) 197.6
Current children cumulated vsize (Kb) 77912

[startup+210.015 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 21060 0 0 0 20562 185 0 0 25 0 1 0 1843884940 79945728 15100 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 19518 15100 232 232 0 19286 0
[pid=6131] vsize: 78072
Current children cumulated CPU time (s) 207.47
Current children cumulated vsize (Kb) 78072

[startup+220.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 21106 0 0 0 21532 194 0 0 25 0 1 0 1843884940 80109568 15146 4294967295 134512640 135450776 3221224544 3221223392 134539993 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 19558 15146 232 232 0 19326 0
[pid=6131] vsize: 78232
Current children cumulated CPU time (s) 217.26
Current children cumulated vsize (Kb) 78232

[startup+230.016 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 21576 0 0 0 22507 204 0 0 25 0 1 0 1843884940 81522688 15401 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 19903 15401 232 232 0 19671 0
[pid=6131] vsize: 79612
Current children cumulated CPU time (s) 227.11
Current children cumulated vsize (Kb) 79612

[startup+240.016 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 21885 0 0 0 23467 218 0 0 25 0 1 0 1843884940 81969152 15495 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20012 15495 232 232 0 19780 0
[pid=6131] vsize: 80048
Current children cumulated CPU time (s) 236.85
Current children cumulated vsize (Kb) 80048

[startup+250.02 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 21978 0 0 0 24448 225 0 0 25 0 1 0 1843884940 82374656 15588 4294967295 134512640 135450776 3221224544 3221223264 134539347 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20111 15588 232 232 0 19879 0
[pid=6131] vsize: 80444
Current children cumulated CPU time (s) 246.73
Current children cumulated vsize (Kb) 80444

[startup+260.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 22063 0 0 0 25415 237 0 0 25 0 1 0 1843884940 82644992 15673 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20177 15673 232 232 0 19945 0
[pid=6131] vsize: 80708
Current children cumulated CPU time (s) 256.52
Current children cumulated vsize (Kb) 80708

[startup+270.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 22193 0 0 0 26394 243 0 0 25 0 1 0 1843884940 83046400 15770 4294967295 134512640 135450776 3221224544 3221223264 134538857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20275 15770 232 232 0 20043 0
[pid=6131] vsize: 81100
Current children cumulated CPU time (s) 266.37
Current children cumulated vsize (Kb) 81100

[startup+280.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 22471 0 0 0 27378 248 0 0 25 0 1 0 1843884940 83312640 15833 4294967295 134512640 135450776 3221224544 3221223104 134844350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20340 15833 232 232 0 20108 0
[pid=6131] vsize: 81360
Current children cumulated CPU time (s) 276.26
Current children cumulated vsize (Kb) 81360

[startup+290.022 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 22498 0 0 0 28358 254 0 0 25 0 1 0 1843884940 83312640 15860 4294967295 134512640 135450776 3221224544 3221223468 134530772 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20340 15860 232 232 0 20108 0
[pid=6131] vsize: 81360
Current children cumulated CPU time (s) 286.12
Current children cumulated vsize (Kb) 81360

[startup+300.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 22524 0 0 0 29332 262 0 0 25 0 1 0 1843884940 83312640 15886 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20340 15886 232 232 0 20108 0
[pid=6131] vsize: 81360
Current children cumulated CPU time (s) 295.94
Current children cumulated vsize (Kb) 81360

[startup+310.024 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 22764 0 0 0 30308 271 0 0 25 0 1 0 1843884940 83312640 15911 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20340 15911 232 232 0 20108 0
[pid=6131] vsize: 81360
Current children cumulated CPU time (s) 305.79
Current children cumulated vsize (Kb) 81360

[startup+320.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 23158 0 0 0 31279 282 0 0 25 0 1 0 1843884940 84164608 16090 4294967295 134512640 135450776 3221224544 3221223344 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20548 16090 232 232 0 20316 0
[pid=6131] vsize: 82192
Current children cumulated CPU time (s) 315.61
Current children cumulated vsize (Kb) 82192

[startup+330.026 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 23177 0 0 0 32252 291 0 0 25 0 1 0 1843884940 84164608 16109 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20548 16109 232 232 0 20316 0
[pid=6131] vsize: 82192
Current children cumulated CPU time (s) 325.43
Current children cumulated vsize (Kb) 82192

[startup+340.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 23411 0 0 0 33218 302 0 0 25 0 1 0 1843884940 84164608 16128 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20548 16128 232 232 0 20316 0
[pid=6131] vsize: 82192
Current children cumulated CPU time (s) 335.2
Current children cumulated vsize (Kb) 82192

[startup+350.028 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 23592 0 0 0 34195 310 0 0 25 0 1 0 1843884940 85024768 16309 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20758 16309 232 232 0 20526 0
[pid=6131] vsize: 83032
Current children cumulated CPU time (s) 345.05
Current children cumulated vsize (Kb) 83032

[startup+360.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 23906 0 0 0 35169 319 0 0 25 0 1 0 1843884940 85352448 16375 4294967295 134512640 135450776 3221224544 3221222932 135071062 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20838 16375 232 232 0 20606 0
[pid=6131] vsize: 83352
Current children cumulated CPU time (s) 354.88
Current children cumulated vsize (Kb) 83352

[startup+370.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 24015 0 0 0 36144 325 0 0 25 0 1 0 1843884940 85680128 16451 4294967295 134512640 135450776 3221224544 3221223264 134539418 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 20918 16451 232 232 0 20686 0
[pid=6131] vsize: 83672
Current children cumulated CPU time (s) 364.69
Current children cumulated vsize (Kb) 83672

[startup+380.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 24276 0 0 0 37113 336 0 0 25 0 1 0 1843884940 85680128 16497 4294967295 134512640 135450776 3221224544 3221223264 134539291 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20918 16497 232 232 0 20686 0
[pid=6131] vsize: 83672
Current children cumulated CPU time (s) 374.49
Current children cumulated vsize (Kb) 83672

[startup+390.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 24356 0 0 0 38099 340 0 0 25 0 1 0 1843884940 85811200 16544 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20950 16544 232 232 0 20718 0
[pid=6131] vsize: 83800
Current children cumulated CPU time (s) 384.39
Current children cumulated vsize (Kb) 83800

[startup+400.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 24595 0 0 0 39084 345 0 0 25 0 1 0 1843884940 85811200 16568 4294967295 134512640 135450776 3221224544 3221223468 134530772 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20950 16568 232 232 0 20718 0
[pid=6131] vsize: 83800
Current children cumulated CPU time (s) 394.29
Current children cumulated vsize (Kb) 83800

[startup+410.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 24634 0 0 0 40059 354 0 0 25 0 1 0 1843884940 85946368 16607 4294967295 134512640 135450776 3221224544 3221223264 134539347 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 20983 16607 232 232 0 20751 0
[pid=6131] vsize: 83932
Current children cumulated CPU time (s) 404.13
Current children cumulated vsize (Kb) 83932

[startup+420.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 24969 0 0 0 41041 360 0 0 25 0 1 0 1843884940 86478848 16694 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21113 16694 232 232 0 20881 0
[pid=6131] vsize: 84452
Current children cumulated CPU time (s) 414.01
Current children cumulated vsize (Kb) 84452

[startup+430.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25080 0 0 0 42031 364 0 0 25 0 1 0 1843884940 86876160 16772 4294967295 134512640 135450776 3221224544 3221222880 134533954 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21210 16772 232 232 0 20978 0
[pid=6131] vsize: 84840
Current children cumulated CPU time (s) 423.95
Current children cumulated vsize (Kb) 84840

[startup+440.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25149 0 0 0 43018 369 0 0 25 0 1 0 1843884940 87007232 16808 4294967295 134512640 135450776 3221224544 3221223468 134530887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21242 16808 232 232 0 21010 0
[pid=6131] vsize: 84968
Current children cumulated CPU time (s) 433.87
Current children cumulated vsize (Kb) 84968

[startup+450.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25166 0 0 0 43989 380 0 0 25 0 1 0 1843884940 87007232 16825 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21242 16825 232 232 0 21010 0
[pid=6131] vsize: 84968
Current children cumulated CPU time (s) 443.69
Current children cumulated vsize (Kb) 84968

[startup+460.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25188 0 0 0 44949 390 0 0 25 0 1 0 1843884940 87568384 16847 4294967295 134512640 135450776 3221224544 3221223372 134539232 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21379 16847 232 232 0 21147 0
[pid=6131] vsize: 85516
Current children cumulated CPU time (s) 453.39
Current children cumulated vsize (Kb) 85516

[startup+470.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25414 0 0 0 45915 402 0 0 25 0 1 0 1843884940 87568384 16858 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21379 16858 232 232 0 21147 0
[pid=6131] vsize: 85516
Current children cumulated CPU time (s) 463.17
Current children cumulated vsize (Kb) 85516

[startup+480.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25419 0 0 0 46883 413 0 0 25 0 1 0 1843884940 87568384 16863 4294967295 134512640 135450776 3221224544 3221223264 134539321 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21379 16863 232 232 0 21147 0
[pid=6131] vsize: 85516
Current children cumulated CPU time (s) 472.96
Current children cumulated vsize (Kb) 85516

[startup+490.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25638 0 0 0 47851 423 0 0 25 0 1 0 1843884940 87568384 16867 4294967295 134512640 135450776 3221224544 3221223468 134530772 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 21379 16867 232 232 0 21147 0
[pid=6131] vsize: 85516
Current children cumulated CPU time (s) 482.74
Current children cumulated vsize (Kb) 85516

[startup+500.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25871 0 0 0 48820 433 0 0 25 0 1 0 1843884940 87568384 16885 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 21379 16885 232 232 0 21147 0
[pid=6131] vsize: 85516
Current children cumulated CPU time (s) 492.53
Current children cumulated vsize (Kb) 85516

[startup+510.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 25895 0 0 0 49784 446 0 0 25 0 1 0 1843884940 87568384 16909 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21379 16909 232 232 0 21147 0
[pid=6131] vsize: 85516
Current children cumulated CPU time (s) 502.3
Current children cumulated vsize (Kb) 85516

[startup+520.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 26132 0 0 0 50765 452 0 0 25 0 1 0 1843884940 87568384 16931 4294967295 134512640 135450776 3221224544 3221222880 134533804 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 21379 16931 232 232 0 21147 0
[pid=6131] vsize: 85516
Current children cumulated CPU time (s) 512.17
Current children cumulated vsize (Kb) 85516

[startup+530.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 26306 0 0 0 51740 460 0 0 25 0 1 0 1843884940 88240128 17072 4294967295 134512640 135450776 3221224544 3221223468 134530887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21543 17072 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 522
Current children cumulated vsize (Kb) 86172

[startup+540.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 26326 0 0 0 52700 475 0 0 25 0 1 0 1843884940 88240128 17092 4294967295 134512640 135450776 3221224544 3221223392 134540013 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21543 17092 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 531.75
Current children cumulated vsize (Kb) 86172

[startup+550.042 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 26555 0 0 0 53666 489 0 0 25 0 1 0 1843884940 88240128 17106 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6131/statm): 21543 17106 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 541.55
Current children cumulated vsize (Kb) 86172

[startup+560.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 26576 0 0 0 54639 499 0 0 25 0 1 0 1843884940 88240128 17127 4294967295 134512640 135450776 3221224544 3221223264 134538801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21543 17127 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 551.38
Current children cumulated vsize (Kb) 86172

[startup+570.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 26810 0 0 0 55620 506 0 0 25 0 1 0 1843884940 88240128 17146 4294967295 134512640 135450776 3221224544 3221223456 134540483 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21543 17146 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 561.26
Current children cumulated vsize (Kb) 86172

[startup+580.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 26838 0 0 0 56587 519 0 0 25 0 1 0 1843884940 88240128 17174 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21543 17174 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 571.06
Current children cumulated vsize (Kb) 86172

[startup+590.045 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 27072 0 0 0 57563 527 0 0 25 0 1 0 1843884940 88240128 17193 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21543 17193 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 580.9
Current children cumulated vsize (Kb) 86172

[startup+600.047 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 27090 0 0 0 58542 535 0 0 25 0 1 0 1843884940 88240128 17211 4294967295 134512640 135450776 3221224544 3221223264 134539418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21543 17211 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 590.77
Current children cumulated vsize (Kb) 86172

[startup+610.048 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 27331 0 0 0 59520 543 0 0 25 0 1 0 1843884940 88240128 17237 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21543 17237 232 232 0 21311 0
[pid=6131] vsize: 86172
Current children cumulated CPU time (s) 600.63
Current children cumulated vsize (Kb) 86172

[startup+620.048 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 27391 0 0 0 60487 555 0 0 25 0 1 0 1843884940 88539136 17297 4294967295 134512640 135450776 3221224544 3221222960 134534229 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21616 17297 232 232 0 21384 0
[pid=6131] vsize: 86464
Current children cumulated CPU time (s) 610.42
Current children cumulated vsize (Kb) 86464

[startup+630.049 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 27645 0 0 0 61470 561 0 0 25 0 1 0 1843884940 88539136 17336 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21616 17336 232 232 0 21384 0
[pid=6131] vsize: 86464
Current children cumulated CPU time (s) 620.31
Current children cumulated vsize (Kb) 86464

[startup+640.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 27764 0 0 0 62460 566 0 0 25 0 1 0 1843884940 88801280 17389 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21680 17389 232 232 0 21448 0
[pid=6131] vsize: 86720
Current children cumulated CPU time (s) 630.26
Current children cumulated vsize (Kb) 86720

[startup+650.051 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 27791 0 0 0 63436 575 0 0 25 0 1 0 1843884940 88801280 17416 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21680 17416 232 232 0 21448 0
[pid=6131] vsize: 86720
Current children cumulated CPU time (s) 640.11
Current children cumulated vsize (Kb) 86720

[startup+660.052 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 28062 0 0 0 64407 586 0 0 25 0 1 0 1843884940 88936448 17472 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21713 17472 232 232 0 21481 0
[pid=6131] vsize: 86852
Current children cumulated CPU time (s) 649.93
Current children cumulated vsize (Kb) 86852

[startup+670.053 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 28080 0 0 0 65375 596 0 0 25 0 1 0 1843884940 88936448 17490 4294967295 134512640 135450776 3221224544 3221222880 134533994 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21713 17490 232 232 0 21481 0
[pid=6131] vsize: 86852
Current children cumulated CPU time (s) 659.71
Current children cumulated vsize (Kb) 86852

[startup+680.053 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 28489 0 0 0 66356 602 0 0 25 0 1 0 1843884940 89333760 17618 4294967295 134512640 135450776 3221224544 3221223264 134539347 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21810 17618 232 232 0 21578 0
[pid=6131] vsize: 87240
Current children cumulated CPU time (s) 669.58
Current children cumulated vsize (Kb) 87240

[startup+690.054 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 28556 0 0 0 67328 610 0 0 25 0 1 0 1843884940 89600000 17685 4294967295 134512640 135450776 3221224544 3221222880 134533833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21875 17685 232 232 0 21643 0
[pid=6131] vsize: 87500
Current children cumulated CPU time (s) 679.38
Current children cumulated vsize (Kb) 87500

[startup+700.056 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 28559 0 0 0 68298 620 0 0 25 0 1 0 1843884940 89600000 17688 4294967295 134512640 135450776 3221224544 3221223456 134540479 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21875 17688 232 232 0 21643 0
[pid=6131] vsize: 87500
Current children cumulated CPU time (s) 689.18
Current children cumulated vsize (Kb) 87500

[startup+710.057 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 28778 0 0 0 69271 629 0 0 25 0 1 0 1843884940 89600000 17692 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21875 17692 232 232 0 21643 0
[pid=6131] vsize: 87500
Current children cumulated CPU time (s) 699
Current children cumulated vsize (Kb) 87500

[startup+720.058 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 28781 0 0 0 70249 636 0 0 25 0 1 0 1843884940 89600000 17695 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21875 17695 232 232 0 21643 0
[pid=6131] vsize: 87500
Current children cumulated CPU time (s) 708.85
Current children cumulated vsize (Kb) 87500

[startup+730.059 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 29061 0 0 0 71218 647 0 0 25 0 1 0 1843884940 89866240 17760 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21940 17760 232 232 0 21708 0
[pid=6131] vsize: 87760
Current children cumulated CPU time (s) 718.65
Current children cumulated vsize (Kb) 87760

[startup+740.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 29143 0 0 0 72189 655 0 0 25 0 1 0 1843884940 89997312 17809 4294967295 134512640 135450776 3221224544 3221222880 134533870 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 21972 17809 232 232 0 21740 0
[pid=6131] vsize: 87888
Current children cumulated CPU time (s) 728.44
Current children cumulated vsize (Kb) 87888

[startup+750.061 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 29179 0 0 0 73157 665 0 0 25 0 1 0 1843884940 90132480 17845 4294967295 134512640 135450776 3221224544 3221223264 134539468 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22005 17845 232 232 0 21773 0
[pid=6131] vsize: 88020
Current children cumulated CPU time (s) 738.22
Current children cumulated vsize (Kb) 88020

[startup+760.062 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 29437 0 0 0 74132 673 0 0 25 0 1 0 1843884940 90296320 17888 4294967295 134512640 135450776 3221224544 3221223264 134538910 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22045 17888 232 232 0 21813 0
[pid=6131] vsize: 88180
Current children cumulated CPU time (s) 748.05
Current children cumulated vsize (Kb) 88180

[startup+770.063 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 29456 0 0 0 75110 681 0 0 25 0 1 0 1843884940 90296320 17907 4294967295 134512640 135450776 3221224544 3221223264 134538787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22045 17907 232 232 0 21813 0
[pid=6131] vsize: 88180
Current children cumulated CPU time (s) 757.91
Current children cumulated vsize (Kb) 88180

[startup+780.064 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 29479 0 0 0 76083 689 0 0 25 0 1 0 1843884940 90296320 17930 4294967295 134512640 135450776 3221224544 3221223044 135077518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22045 17930 232 232 0 21813 0
[pid=6131] vsize: 88180
Current children cumulated CPU time (s) 767.72
Current children cumulated vsize (Kb) 88180

[startup+790.065 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 29721 0 0 0 77058 697 0 0 25 0 1 0 1843884940 90296320 17957 4294967295 134512640 135450776 3221224544 3221223356 134538726 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22045 17957 232 232 0 21813 0
[pid=6131] vsize: 88180
Current children cumulated CPU time (s) 777.55
Current children cumulated vsize (Kb) 88180

[startup+800.066 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 29755 0 0 0 78036 704 0 0 25 0 1 0 1843884940 90296320 17991 4294967295 134512640 135450776 3221224544 3221223412 134539972 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22045 17991 232 232 0 21813 0
[pid=6131] vsize: 88180
Current children cumulated CPU time (s) 787.4
Current children cumulated vsize (Kb) 88180

[startup+810.066 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30002 0 0 0 79013 712 0 0 25 0 1 0 1843884940 90435584 18023 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22079 18023 232 232 0 21847 0
[pid=6131] vsize: 88316
Current children cumulated CPU time (s) 797.25
Current children cumulated vsize (Kb) 88316

[startup+820.066 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 30012 0 0 0 79992 719 0 0 25 0 1 0 1843884940 90435584 18033 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22079 18033 232 232 0 21847 0
[pid=6131] vsize: 88316
Current children cumulated CPU time (s) 807.11
Current children cumulated vsize (Kb) 88316

[startup+830.067 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30032 0 0 0 80972 727 0 0 25 0 1 0 1843884940 90501120 18053 4294967295 134512640 135450776 3221224544 3221223392 134540150 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22095 18053 232 232 0 21863 0
[pid=6131] vsize: 88380
Current children cumulated CPU time (s) 816.99
Current children cumulated vsize (Kb) 88380

[startup+840.068 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30081 0 0 0 81953 734 0 0 25 0 1 0 1843884940 90632192 18069 4294967295 134512640 135450776 3221224544 3221223264 134538787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22127 18069 232 232 0 21895 0
[pid=6131] vsize: 88508
Current children cumulated CPU time (s) 826.87
Current children cumulated vsize (Kb) 88508

[startup+850.069 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30095 0 0 0 82923 743 0 0 25 0 1 0 1843884940 90632192 18083 4294967295 134512640 135450776 3221224544 3221223456 134540483 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22127 18083 232 232 0 21895 0
[pid=6131] vsize: 88508
Current children cumulated CPU time (s) 836.66
Current children cumulated vsize (Kb) 88508

[startup+860.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30333 0 0 0 83899 754 0 0 25 0 1 0 1843884940 90632192 18106 4294967295 134512640 135450776 3221224544 3221223360 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22127 18106 232 232 0 21895 0
[pid=6131] vsize: 88508
Current children cumulated CPU time (s) 846.53
Current children cumulated vsize (Kb) 88508

[startup+870.07 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 30401 0 0 0 84877 762 0 0 25 0 1 0 1843884940 90767360 18174 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22160 18174 232 232 0 21928 0
[pid=6131] vsize: 88640
Current children cumulated CPU time (s) 856.39
Current children cumulated vsize (Kb) 88640

[startup+880.072 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30668 0 0 0 85848 775 0 0 25 0 1 0 1843884940 91033600 18226 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22225 18226 232 232 0 21993 0
[pid=6131] vsize: 88900
Current children cumulated CPU time (s) 866.23
Current children cumulated vsize (Kb) 88900

[startup+890.073 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30681 0 0 0 86828 781 0 0 25 0 1 0 1843884940 91033600 18239 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22225 18239 232 232 0 21993 0
[pid=6131] vsize: 88900
Current children cumulated CPU time (s) 876.09
Current children cumulated vsize (Kb) 88900

[startup+900.074 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30712 0 0 0 87806 788 0 0 25 0 1 0 1843884940 91033600 18270 4294967295 134512640 135450776 3221224544 3221223444 134540618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22225 18270 232 232 0 21993 0
[pid=6131] vsize: 88900
Current children cumulated CPU time (s) 885.94
Current children cumulated vsize (Kb) 88900

[startup+910.075 s]
Raw data (loadavg): 1.08 1.01 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30736 0 0 0 88776 797 0 0 25 0 1 0 1843884940 91033600 18294 4294967295 134512640 135450776 3221224544 3221223392 134540061 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22225 18294 232 232 0 21993 0
[pid=6131] vsize: 88900
Current children cumulated CPU time (s) 895.73
Current children cumulated vsize (Kb) 88900

[startup+920.075 s]
Raw data (loadavg): 1.07 1.01 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 30760 0 0 0 89745 807 0 0 25 0 1 0 1843884940 91033600 18318 4294967295 134512640 135450776 3221224544 3221223360 134538725 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22225 18318 232 232 0 21993 0
[pid=6131] vsize: 88900
Current children cumulated CPU time (s) 905.52
Current children cumulated vsize (Kb) 88900

[startup+930.076 s]
Raw data (loadavg): 1.06 1.01 0.97 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 30998 0 0 0 90721 815 0 0 20 0 1 0 1843884940 91033600 18341 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22225 18341 232 232 0 21993 0
[pid=6131] vsize: 88900
Current children cumulated CPU time (s) 915.36
Current children cumulated vsize (Kb) 88900

[startup+940.076 s]
Raw data (loadavg): 1.05 1.01 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 31060 0 0 0 91691 825 0 0 25 0 1 0 1843884940 91164672 18370 4294967295 134512640 135450776 3221224544 3221223264 134539827 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22257 18370 232 232 0 22025 0
[pid=6131] vsize: 89028
Current children cumulated CPU time (s) 925.16
Current children cumulated vsize (Kb) 89028

[startup+950.078 s]
Raw data (loadavg): 1.04 1.01 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 31297 0 0 0 92664 833 0 0 25 0 1 0 1843884940 91164672 18392 4294967295 134512640 135450776 3221224544 3221223264 134538910 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22257 18392 232 232 0 22025 0
[pid=6131] vsize: 89028
Current children cumulated CPU time (s) 934.97
Current children cumulated vsize (Kb) 89028

[startup+960.079 s]
Raw data (loadavg): 1.03 1.01 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 31316 0 0 0 93644 841 0 0 25 0 1 0 1843884940 91164672 18411 4294967295 134512640 135450776 3221224544 3221223264 134539299 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22257 18411 232 232 0 22025 0
[pid=6131] vsize: 89028
Current children cumulated CPU time (s) 944.85
Current children cumulated vsize (Kb) 89028

[startup+970.079 s]
Raw data (loadavg): 1.03 1.00 0.97 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 31346 0 0 0 94616 851 0 0 25 0 1 0 1843884940 91164672 18441 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22257 18441 232 232 0 22025 0
[pid=6131] vsize: 89028
Current children cumulated CPU time (s) 954.67
Current children cumulated vsize (Kb) 89028

[startup+980.08 s]
Raw data (loadavg): 1.02 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 31577 0 0 0 95592 859 0 0 25 0 1 0 1843884940 91164672 18457 4294967295 134512640 135450776 3221224544 3221223264 134538787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22257 18457 232 232 0 22025 0
[pid=6131] vsize: 89028
Current children cumulated CPU time (s) 964.51
Current children cumulated vsize (Kb) 89028

[startup+990.081 s]
Raw data (loadavg): 1.02 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 31659 0 0 0 96561 869 0 0 25 0 1 0 1843884940 91430912 18506 4294967295 134512640 135450776 3221224544 3221222880 134533833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22322 18506 232 232 0 22090 0
[pid=6131] vsize: 89288
Current children cumulated CPU time (s) 974.3
Current children cumulated vsize (Kb) 89288

[startup+1000.08 s]
Raw data (loadavg): 1.02 1.00 0.97 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 31908 0 0 0 97533 879 0 0 25 0 1 0 1843884940 91566080 18540 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22355 18540 232 232 0 22123 0
[pid=6131] vsize: 89420
Current children cumulated CPU time (s) 984.12
Current children cumulated vsize (Kb) 89420

[startup+1010.08 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 31910 0 0 0 98501 890 0 0 25 0 1 0 1843884940 91566080 18542 4294967295 134512640 135450776 3221224544 3221223264 134538927 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22355 18542 232 232 0 22123 0
[pid=6131] vsize: 89420
Current children cumulated CPU time (s) 993.91
Current children cumulated vsize (Kb) 89420

[startup+1020.08 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32131 0 0 0 99475 898 0 0 25 0 1 0 1843884940 91566080 18548 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22355 18548 232 232 0 22123 0
[pid=6131] vsize: 89420
Current children cumulated CPU time (s) 1003.73
Current children cumulated vsize (Kb) 89420

[startup+1030.08 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32177 0 0 0 100448 908 0 0 25 0 1 0 1843884940 91697152 18561 4294967295 134512640 135450776 3221224544 3221223280 135068642 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22387 18561 232 232 0 22155 0
[pid=6131] vsize: 89548
Current children cumulated CPU time (s) 1013.56
Current children cumulated vsize (Kb) 89548

[startup+1040.09 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32179 0 0 0 101424 915 0 0 25 0 1 0 1843884940 91697152 18563 4294967295 134512640 135450776 3221224544 3221223468 134530790 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22387 18563 232 232 0 22155 0
[pid=6131] vsize: 89548
Current children cumulated CPU time (s) 1023.39
Current children cumulated vsize (Kb) 89548

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32401 0 0 0 102407 921 0 0 25 0 1 0 1843884940 91697152 18570 4294967295 134512640 135450776 3221224544 3221223264 134539504 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22387 18570 232 232 0 22155 0
[pid=6131] vsize: 89548
Current children cumulated CPU time (s) 1033.28
Current children cumulated vsize (Kb) 89548

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32424 0 0 0 103385 928 0 0 25 0 1 0 1843884940 91697152 18593 4294967295 134512640 135450776 3221224544 3221223264 134539824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22387 18593 232 232 0 22155 0
[pid=6131] vsize: 89548
Current children cumulated CPU time (s) 1043.13
Current children cumulated vsize (Kb) 89548

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32662 0 0 0 104361 936 0 0 25 0 1 0 1843884940 91697152 18616 4294967295 134512640 135450776 3221224544 3221223264 134539401 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22387 18616 232 232 0 22155 0
[pid=6131] vsize: 89548
Current children cumulated CPU time (s) 1052.97
Current children cumulated vsize (Kb) 89548

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32757 0 0 0 105334 945 0 0 25 0 1 0 1843884940 92098560 18678 4294967295 134512640 135450776 3221224544 3221223456 134540483 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22485 18678 232 232 0 22253 0
[pid=6131] vsize: 89940
Current children cumulated CPU time (s) 1062.79
Current children cumulated vsize (Kb) 89940

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32989 0 0 0 106315 951 0 0 25 0 1 0 1843884940 92098560 18695 4294967295 134512640 135450776 3221224544 3221223456 134540483 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22485 18695 232 232 0 22253 0
[pid=6131] vsize: 89940
Current children cumulated CPU time (s) 1072.66
Current children cumulated vsize (Kb) 89940

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 32991 0 0 0 107283 962 0 0 25 0 1 0 1843884940 92098560 18697 4294967295 134512640 135450776 3221224544 3221222960 134534229 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22485 18697 232 232 0 22253 0
[pid=6131] vsize: 89940
Current children cumulated CPU time (s) 1082.45
Current children cumulated vsize (Kb) 89940

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 33035 0 0 0 108262 970 0 0 25 0 1 0 1843884940 92229632 18708 4294967295 134512640 135450776 3221224544 3221223468 134530887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22517 18708 232 232 0 22285 0
[pid=6131] vsize: 90068
Current children cumulated CPU time (s) 1092.32
Current children cumulated vsize (Kb) 90068

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 33038 0 0 0 109232 980 0 0 25 0 1 0 1843884940 92229632 18711 4294967295 134512640 135450776 3221224544 3221223392 134540043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22517 18711 232 232 0 22285 0
[pid=6131] vsize: 90068
Current children cumulated CPU time (s) 1102.12
Current children cumulated vsize (Kb) 90068

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 33260 0 0 0 110207 988 0 0 25 0 1 0 1843884940 92229632 18718 4294967295 134512640 135450776 3221224544 3221223424 134540643 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22517 18718 232 232 0 22285 0
[pid=6131] vsize: 90068
Current children cumulated CPU time (s) 1111.95
Current children cumulated vsize (Kb) 90068

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 33304 0 0 0 111176 998 0 0 25 0 1 0 1843884940 92360704 18729 4294967295 134512640 135450776 3221224544 3221223456 134540543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22549 18729 232 232 0 22317 0
[pid=6131] vsize: 90196
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (Kb) 90196

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 33522 0 0 0 112139 1009 0 0 25 0 1 0 1843884940 92360704 18732 4294967295 134512640 135450776 3221224544 3221223264 134538857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22549 18732 232 232 0 22317 0
[pid=6131] vsize: 90196
Current children cumulated CPU time (s) 1131.48
Current children cumulated vsize (Kb) 90196

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 33569 0 0 0 113109 1017 0 0 25 0 1 0 1843884940 92491776 18746 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22581 18746 232 232 0 22349 0
[pid=6131] vsize: 90324
Current children cumulated CPU time (s) 1141.26
Current children cumulated vsize (Kb) 90324

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 33613 0 0 0 114082 1025 0 0 25 0 1 0 1843884940 92622848 18757 4294967295 134512640 135450776 3221224544 3221223264 134538898 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22613 18757 232 232 0 22381 0
[pid=6131] vsize: 90452
Current children cumulated CPU time (s) 1151.07
Current children cumulated vsize (Kb) 90452

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 33838 0 0 0 115056 1034 0 0 25 0 1 0 1843884940 92729344 18767 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22639 18767 232 232 0 22407 0
[pid=6131] vsize: 90556
Current children cumulated CPU time (s) 1160.9
Current children cumulated vsize (Kb) 90556

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) T 6130 6131 31027 0 -1 0 33877 0 0 0 116035 1041 0 0 25 0 1 0 1843884940 92860416 18773 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6131/statm): 22671 18773 232 232 0 22439 0
[pid=6131] vsize: 90684
Current children cumulated CPU time (s) 1170.76
Current children cumulated vsize (Kb) 90684

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 34146 0 0 0 117016 1048 0 0 25 0 1 0 1843884940 94007296 19042 4294967295 134512640 135450776 3221224544 3221222988 134573576 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22951 19042 232 232 0 22719 0
[pid=6131] vsize: 91804
Current children cumulated CPU time (s) 1180.64
Current children cumulated vsize (Kb) 91804

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 34165 0 0 0 117993 1055 0 0 25 0 1 0 1843884940 93126656 18846 4294967295 134512640 135450776 3221224544 3221222880 134533988 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22736 18846 232 232 0 22504 0
[pid=6131] vsize: 90944
Current children cumulated CPU time (s) 1190.48
Current children cumulated vsize (Kb) 90944

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 34186 0 0 0 118971 1063 0 0 25 0 1 0 1843884940 93126656 18867 4294967295 134512640 135450776 3221224544 3221223264 134538901 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22736 18867 232 232 0 22504 0
[pid=6131] vsize: 90944
Current children cumulated CPU time (s) 1200.34
Current children cumulated vsize (Kb) 90944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 6131
Raw data (/proc/6131/stat): 6131 (PBS4) R 6130 6131 31027 0 -1 0 34186 0 0 0 118971 1063 0 0 25 0 1 0 1843884940 93126656 18867 4294967295 134512640 135450776 3221224544 3221223264 134538901 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6131/statm): 22736 18867 232 232 0 22504 0
[pid=6131] vsize: 90944
Current children cumulated CPU time (s) 1200.34
Current children cumulated vsize (Kb) 90944

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1220.14
CPU time (s): 1200.39
CPU user time (s): 1189.71
CPU system time (s): 10.6744
CPU usage (%): 98.3809
Max. virtual memory (cumulated for all children) (Kb): 91804

Verifier Data

ERROR: no interpretation found !