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.RobRegValid_bar.ucl.opb
MD5SUM89f41bbcf2b70665bd7071c5b58e0ec8
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark323.626
Number of variables49621
Total number of constraints138346
Number of constraints which are clauses127390
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10956
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 2579

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-18 19:56:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3856 boxname=wulflinc31 idbench=340 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  89f41bbcf2b70665bd7071c5b58e0ec8  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
IDLAUNCH: 3856
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        684280 kB
Buffers:         36056 kB
Cached:         283072 kB
SwapCached:       1016 kB
Active:         110788 kB
Inactive:       211144 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684028 kB
SwapTotal:     2097892 kB
SwapFree:      2096404 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5772 kB
Slab:            22804 kB
Committed_AS:    64376 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 20:13:35 (client local time) WITH STATUS 20 IN 980.337 SECONDS
stats: 3856 7 980.337 20

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb ......
s UNSATISFIABLE
c Done, CPU Time=972.423

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

[startup+10.0023 s]
Raw data (loadavg): 0.90 0.97 0.99 2/57 17781
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 6687 0 0 0 961 23 0 0 25 0 1 0 1843906753 25157632 5686 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 6142 5686 232 232 0 5910 0
[pid=17781] vsize: 24568
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 24568

[startup+20.0033 s]
Raw data (loadavg): 0.91 0.97 0.99 1/57 17781
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 7249 0 0 0 1926 35 0 0 25 0 1 0 1843906753 27258880 6151 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 6655 6151 232 232 0 6423 0
[pid=17781] vsize: 26620
Current children cumulated CPU time (s) 19.61
Current children cumulated vsize (Kb) 26620

[startup+30.0042 s]
Raw data (loadavg): 0.93 0.97 0.99 2/57 17781
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 7724 0 0 0 2899 45 0 0 25 0 1 0 1843906753 28635136 6432 4294967295 134512640 135450776 3221224544 3221223392 134540034 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 6991 6432 232 232 0 6759 0
[pid=17781] vsize: 27964
Current children cumulated CPU time (s) 29.44
Current children cumulated vsize (Kb) 27964

[startup+40.0041 s]
Raw data (loadavg): 0.94 0.97 0.99 2/57 17783
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 7959 0 0 0 3858 61 0 0 25 0 1 0 1843906753 29159424 6570 4294967295 134512640 135450776 3221224544 3221223264 134538898 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 7119 6570 232 232 0 6887 0
[pid=17781] vsize: 28476
Current children cumulated CPU time (s) 39.19
Current children cumulated vsize (Kb) 28476

[startup+50.0051 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 17783
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 8850 0 0 0 4821 73 0 0 25 0 1 0 1843906753 32698368 6692 4294967295 134512640 135450776 3221224544 3221222880 134533925 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 7983 6692 232 232 0 7751 0
[pid=17781] vsize: 31932
Current children cumulated CPU time (s) 48.94
Current children cumulated vsize (Kb) 31932

[startup+60.005 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 17783
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 9044 0 0 0 5775 89 0 0 25 0 1 0 1843906753 37089280 6789 4294967295 134512640 135450776 3221224544 3221223248 134534888 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9055 6789 232 232 0 8823 0
[pid=17781] vsize: 36220
Current children cumulated CPU time (s) 58.64
Current children cumulated vsize (Kb) 36220

[startup+70.0059 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 17783
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 9246 0 0 0 6737 101 0 0 25 0 1 0 1843906753 37482496 6894 4294967295 134512640 135450776 3221224544 3221222880 134533833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9151 6894 232 232 0 8919 0
[pid=17781] vsize: 36604
Current children cumulated CPU time (s) 68.38
Current children cumulated vsize (Kb) 36604

[startup+80.0068 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 17783
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 9414 0 0 0 7695 116 0 0 25 0 1 0 1843906753 37937152 6965 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9262 6965 232 232 0 9030 0
[pid=17781] vsize: 37048
Current children cumulated CPU time (s) 78.11
Current children cumulated vsize (Kb) 37048

[startup+90.0068 s]
Raw data (loadavg): 0.97 0.97 0.99 1/57 17783
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 9625 0 0 0 8644 133 0 0 25 0 1 0 1843906753 38133760 7079 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9310 7079 232 232 0 9078 0
[pid=17781] vsize: 37240
Current children cumulated CPU time (s) 87.77
Current children cumulated vsize (Kb) 37240

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 17785
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 9918 0 0 0 9607 147 0 0 25 0 1 0 1843906753 38461440 7178 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9390 7178 232 232 0 9158 0
[pid=17781] vsize: 37560
Current children cumulated CPU time (s) 97.54
Current children cumulated vsize (Kb) 37560

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 17785
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 10063 0 0 0 10565 161 0 0 25 0 1 0 1843906753 38461440 7226 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9390 7226 232 232 0 9158 0
[pid=17781] vsize: 37560
Current children cumulated CPU time (s) 107.26
Current children cumulated vsize (Kb) 37560

[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 17785
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 10179 0 0 0 11514 177 0 0 25 0 1 0 1843906753 38461440 7245 4294967295 134512640 135450776 3221224544 3221222880 134533925 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9390 7245 232 232 0 9158 0
[pid=17781] vsize: 37560
Current children cumulated CPU time (s) 116.91
Current children cumulated vsize (Kb) 37560

[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 17785
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 10359 0 0 0 12468 194 0 0 25 0 1 0 1843906753 38821888 7328 4294967295 134512640 135450776 3221224544 3221223392 134539986 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9478 7328 232 232 0 9246 0
[pid=17781] vsize: 37912
Current children cumulated CPU time (s) 126.62
Current children cumulated vsize (Kb) 37912

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17785
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 10654 0 0 0 13436 206 0 0 25 0 1 0 1843906753 38985728 7429 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9518 7429 232 232 0 9286 0
[pid=17781] vsize: 38072
Current children cumulated CPU time (s) 136.42
Current children cumulated vsize (Kb) 38072

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17785
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 10708 0 0 0 14397 220 0 0 25 0 1 0 1843906753 38985728 7483 4294967295 134512640 135450776 3221224544 3221223264 134539027 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9518 7483 232 232 0 9286 0
[pid=17781] vsize: 38072
Current children cumulated CPU time (s) 146.17
Current children cumulated vsize (Kb) 38072

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17787
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 10830 0 0 0 15354 233 0 0 25 0 1 0 1843906753 38985728 7508 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9518 7508 232 232 0 9286 0
[pid=17781] vsize: 38072
Current children cumulated CPU time (s) 155.87
Current children cumulated vsize (Kb) 38072

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17787
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 10946 0 0 0 16316 247 0 0 25 0 1 0 1843906753 39182336 7527 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9566 7527 232 232 0 9334 0
[pid=17781] vsize: 38264
Current children cumulated CPU time (s) 165.63
Current children cumulated vsize (Kb) 38264

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17787
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11059 0 0 0 17273 260 0 0 25 0 1 0 1843906753 39182336 7543 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9566 7543 232 232 0 9334 0
[pid=17781] vsize: 38264
Current children cumulated CPU time (s) 175.33
Current children cumulated vsize (Kb) 38264

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17787
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11205 0 0 0 18229 275 0 0 25 0 1 0 1843906753 39182336 7592 4294967295 134512640 135450776 3221224544 3221222880 134533839 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9566 7592 232 232 0 9334 0
[pid=17781] vsize: 38264
Current children cumulated CPU time (s) 185.04
Current children cumulated vsize (Kb) 38264

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17787
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11479 0 0 0 19195 288 0 0 25 0 1 0 1843906753 39182336 7672 4294967295 134512640 135450776 3221224544 3221223440 134597668 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9566 7672 232 232 0 9334 0
[pid=17781] vsize: 38264
Current children cumulated CPU time (s) 194.83
Current children cumulated vsize (Kb) 38264

[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17787
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 11499 0 0 0 20156 299 0 0 25 0 1 0 1843906753 39182336 7692 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9566 7692 232 232 0 9334 0
[pid=17781] vsize: 38264
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (Kb) 38264

[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17789
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11631 0 0 0 21123 310 0 0 25 0 1 0 1843906753 39182336 7727 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9566 7727 232 232 0 9334 0
[pid=17781] vsize: 38264
Current children cumulated CPU time (s) 214.33
Current children cumulated vsize (Kb) 38264

[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17789
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 11798 0 0 0 22086 324 0 0 25 0 1 0 1843906753 39489536 7797 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/17781/statm): 9641 7797 232 232 0 9409 0
[pid=17781] vsize: 38564
Current children cumulated CPU time (s) 224.1
Current children cumulated vsize (Kb) 38564

[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17789
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 11952 0 0 0 23043 339 0 0 25 0 1 0 1843906753 39489536 7854 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9641 7854 232 232 0 9409 0
[pid=17781] vsize: 38564
Current children cumulated CPU time (s) 233.82
Current children cumulated vsize (Kb) 38564

[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17789
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12094 0 0 0 24000 354 0 0 19 0 1 0 1843906753 39489536 7899 4294967295 134512640 135450776 3221224544 3221222880 134533973 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9641 7899 232 232 0 9409 0
[pid=17781] vsize: 38564
Current children cumulated CPU time (s) 243.54
Current children cumulated vsize (Kb) 38564

[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17789
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12231 0 0 0 24965 366 0 0 25 0 1 0 1843906753 39489536 7939 4294967295 134512640 135450776 3221224544 3221223264 134539299 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9641 7939 232 232 0 9409 0
[pid=17781] vsize: 38564
Current children cumulated CPU time (s) 253.31
Current children cumulated vsize (Kb) 38564

[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17789
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12355 0 0 0 25932 379 0 0 25 0 1 0 1843906753 39620608 7966 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9673 7966 232 232 0 9441 0
[pid=17781] vsize: 38692
Current children cumulated CPU time (s) 263.11
Current children cumulated vsize (Kb) 38692

[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17791
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12464 0 0 0 26892 391 0 0 25 0 1 0 1843906753 39620608 7978 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9673 7978 232 232 0 9441 0
[pid=17781] vsize: 38692
Current children cumulated CPU time (s) 272.83
Current children cumulated vsize (Kb) 38692

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17791
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 12623 0 0 0 27857 402 0 0 25 0 1 0 1843906753 39620608 8040 4294967295 134512640 135450776 3221224544 3221223280 135068642 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9673 8040 232 232 0 9441 0
[pid=17781] vsize: 38692
Current children cumulated CPU time (s) 282.59
Current children cumulated vsize (Kb) 38692

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17791
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 12778 0 0 0 28812 418 0 0 25 0 1 0 1843906753 39895040 8098 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9740 8098 232 232 0 9508 0
[pid=17781] vsize: 38960
Current children cumulated CPU time (s) 292.3
Current children cumulated vsize (Kb) 38960

[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17791
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 12905 0 0 0 29766 435 0 0 19 0 1 0 1843906753 40022016 8128 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9771 8128 232 232 0 9539 0
[pid=17781] vsize: 39084
Current children cumulated CPU time (s) 302.01
Current children cumulated vsize (Kb) 39084

[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17791
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13013 0 0 0 30727 450 0 0 25 0 1 0 1843906753 40022016 8139 4294967295 134512640 135450776 3221224544 3221223468 134530772 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9771 8139 232 232 0 9539 0
[pid=17781] vsize: 39084
Current children cumulated CPU time (s) 311.77
Current children cumulated vsize (Kb) 39084

[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17791
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13124 0 0 0 31680 467 0 0 25 0 1 0 1843906753 40022016 8153 4294967295 134512640 135450776 3221224544 3221223360 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9771 8153 232 232 0 9539 0
[pid=17781] vsize: 39084
Current children cumulated CPU time (s) 321.47
Current children cumulated vsize (Kb) 39084

[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17793
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13234 0 0 0 32639 481 0 0 25 0 1 0 1843906753 40022016 8166 4294967295 134512640 135450776 3221224544 3221223264 134539655 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9771 8166 232 232 0 9539 0
[pid=17781] vsize: 39084
Current children cumulated CPU time (s) 331.2
Current children cumulated vsize (Kb) 39084

[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17793
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13254 0 0 0 33596 495 0 0 25 0 1 0 1843906753 40144896 8186 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9801 8186 232 232 0 9569 0
[pid=17781] vsize: 39204
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (Kb) 39204

[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17793
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13284 0 0 0 34549 512 0 0 25 0 1 0 1843906753 40144896 8216 4294967295 134512640 135450776 3221224544 3221223264 134538854 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9801 8216 232 232 0 9569 0
[pid=17781] vsize: 39204
Current children cumulated CPU time (s) 350.61
Current children cumulated vsize (Kb) 39204

[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17793
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13426 0 0 0 35504 526 0 0 25 0 1 0 1843906753 40144896 8261 4294967295 134512640 135450776 3221224544 3221223008 134535746 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9801 8261 232 232 0 9569 0
[pid=17781] vsize: 39204
Current children cumulated CPU time (s) 360.3
Current children cumulated vsize (Kb) 39204

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17793
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13539 0 0 0 36461 541 0 0 25 0 1 0 1843906753 40144896 8277 4294967295 134512640 135450776 3221224544 3221222880 134533954 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9801 8277 232 232 0 9569 0
[pid=17781] vsize: 39204
Current children cumulated CPU time (s) 370.02
Current children cumulated vsize (Kb) 39204

[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17793
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13660 0 0 0 37420 554 0 0 25 0 1 0 1843906753 40280064 8301 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9834 8301 232 232 0 9602 0
[pid=17781] vsize: 39336
Current children cumulated CPU time (s) 379.74
Current children cumulated vsize (Kb) 39336

[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17795
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13809 0 0 0 38377 567 0 0 25 0 1 0 1843906753 40280064 8353 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9834 8353 232 232 0 9602 0
[pid=17781] vsize: 39336
Current children cumulated CPU time (s) 389.44
Current children cumulated vsize (Kb) 39336

[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17795
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 13982 0 0 0 39340 581 0 0 25 0 1 0 1843906753 40280064 8429 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9834 8429 232 232 0 9602 0
[pid=17781] vsize: 39336
Current children cumulated CPU time (s) 399.21
Current children cumulated vsize (Kb) 39336

[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17795
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 14141 0 0 0 40291 599 0 0 25 0 1 0 1843906753 40382464 8491 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9859 8491 232 232 0 9627 0
[pid=17781] vsize: 39436
Current children cumulated CPU time (s) 408.9
Current children cumulated vsize (Kb) 39436

[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17795
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 14176 0 0 0 41243 614 0 0 25 0 1 0 1843906753 40382464 8526 4294967295 134512640 135450776 3221224544 3221223360 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9859 8526 232 232 0 9627 0
[pid=17781] vsize: 39436
Current children cumulated CPU time (s) 418.57
Current children cumulated vsize (Kb) 39436

[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17795
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 14300 0 0 0 42206 628 0 0 25 0 1 0 1843906753 40566784 8553 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9904 8553 232 232 0 9672 0
[pid=17781] vsize: 39616
Current children cumulated CPU time (s) 428.34
Current children cumulated vsize (Kb) 39616

[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17795
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 14426 0 0 0 43169 639 0 0 25 0 1 0 1843906753 40566784 8582 4294967295 134512640 135450776 3221224544 3221223264 134539418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9904 8582 232 232 0 9672 0
[pid=17781] vsize: 39616
Current children cumulated CPU time (s) 438.08
Current children cumulated vsize (Kb) 39616

[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17797
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 14552 0 0 0 44127 655 0 0 25 0 1 0 1843906753 40566784 8611 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9904 8611 232 232 0 9672 0
[pid=17781] vsize: 39616
Current children cumulated CPU time (s) 447.82
Current children cumulated vsize (Kb) 39616

[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17797
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 14701 0 0 0 45088 668 0 0 25 0 1 0 1843906753 40566784 8663 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17781/statm): 9904 8663 232 232 0 9672 0
[pid=17781] vsize: 39616
Current children cumulated CPU time (s) 457.56
Current children cumulated vsize (Kb) 39616

[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17797
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 14858 0 0 0 46049 682 0 0 25 0 1 0 1843906753 40566784 8723 4294967295 134512640 135450776 3221224544 3221223264 134538854 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17781/statm): 9904 8723 232 232 0 9672 0
[pid=17781] vsize: 39616
Current children cumulated CPU time (s) 467.31
Current children cumulated vsize (Kb) 39616

[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17797
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15009 0 0 0 47010 695 0 0 25 0 1 0 1843906753 40566784 8777 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9904 8777 232 232 0 9672 0
[pid=17781] vsize: 39616
Current children cumulated CPU time (s) 477.05
Current children cumulated vsize (Kb) 39616

[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17797
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 15017 0 0 0 47969 707 0 0 25 0 1 0 1843906753 40706048 8785 4294967295 134512640 135450776 3221224544 3221222880 134533915 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9938 8785 232 232 0 9706 0
[pid=17781] vsize: 39752
Current children cumulated CPU time (s) 486.76
Current children cumulated vsize (Kb) 39752

[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17797
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15132 0 0 0 48929 722 0 0 25 0 1 0 1843906753 40706048 8803 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 9938 8803 232 232 0 9706 0
[pid=17781] vsize: 39752
Current children cumulated CPU time (s) 496.51
Current children cumulated vsize (Kb) 39752

[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17799
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 15276 0 0 0 49900 732 0 0 25 0 1 0 1843906753 49094656 8850 4294967295 134512640 135450776 3221224544 3221223392 134539993 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 11986 8850 232 232 0 11754 0
[pid=17781] vsize: 47944
Current children cumulated CPU time (s) 506.32
Current children cumulated vsize (Kb) 47944

[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17799
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 15431 0 0 0 50863 745 0 0 25 0 1 0 1843906753 49094656 8908 4294967295 134512640 135450776 3221224544 3221223264 134539594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 11986 8908 232 232 0 11754 0
[pid=17781] vsize: 47944
Current children cumulated CPU time (s) 516.08
Current children cumulated vsize (Kb) 47944

[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17799
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15571 0 0 0 51822 758 0 0 25 0 1 0 1843906753 49094656 8951 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 11986 8951 232 232 0 11754 0
[pid=17781] vsize: 47944
Current children cumulated CPU time (s) 525.8
Current children cumulated vsize (Kb) 47944

[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17799
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15698 0 0 0 52786 770 0 0 25 0 1 0 1843906753 49094656 8981 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 11986 8981 232 232 0 11754 0
[pid=17781] vsize: 47944
Current children cumulated CPU time (s) 535.56
Current children cumulated vsize (Kb) 47944

[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17799
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 15812 0 0 0 53748 782 0 0 25 0 1 0 1843906753 49274880 8998 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12030 8998 232 232 0 11798 0
[pid=17781] vsize: 48120
Current children cumulated CPU time (s) 545.3
Current children cumulated vsize (Kb) 48120

[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17799
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 15916 0 0 0 54710 794 0 0 25 0 1 0 1843906753 49274880 9005 4294967295 134512640 135450776 3221224544 3221222960 134534276 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12030 9005 232 232 0 11798 0
[pid=17781] vsize: 48120
Current children cumulated CPU time (s) 555.04
Current children cumulated vsize (Kb) 48120

[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17801
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16022 0 0 0 55676 804 0 0 25 0 1 0 1843906753 49274880 9014 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12030 9014 232 232 0 11798 0
[pid=17781] vsize: 48120
Current children cumulated CPU time (s) 564.8
Current children cumulated vsize (Kb) 48120

[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17801
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16177 0 0 0 56637 818 0 0 25 0 1 0 1843906753 49565696 9072 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12101 9072 232 232 0 11869 0
[pid=17781] vsize: 48404
Current children cumulated CPU time (s) 574.55
Current children cumulated vsize (Kb) 48404

[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17801
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16330 0 0 0 57602 830 0 0 25 0 1 0 1843906753 49565696 9128 4294967295 134512640 135450776 3221224544 3221223264 134538910 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12101 9128 232 232 0 11869 0
[pid=17781] vsize: 48404
Current children cumulated CPU time (s) 584.32
Current children cumulated vsize (Kb) 48404

[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17801
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16337 0 0 0 58561 844 0 0 25 0 1 0 1843906753 49565696 9135 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12101 9135 232 232 0 11869 0
[pid=17781] vsize: 48404
Current children cumulated CPU time (s) 594.05
Current children cumulated vsize (Kb) 48404

[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17801
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16441 0 0 0 59522 858 0 0 25 0 1 0 1843906753 49565696 9142 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12101 9142 232 232 0 11869 0
[pid=17781] vsize: 48404
Current children cumulated CPU time (s) 603.8
Current children cumulated vsize (Kb) 48404

[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17801
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16549 0 0 0 60482 873 0 0 25 0 1 0 1843906753 49565696 9153 4294967295 134512640 135450776 3221224544 3221223264 134538787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12101 9153 232 232 0 11869 0
[pid=17781] vsize: 48404
Current children cumulated CPU time (s) 613.55
Current children cumulated vsize (Kb) 48404

[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17803
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16657 0 0 0 61442 888 0 0 25 0 1 0 1843906753 49565696 9164 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12101 9164 232 232 0 11869 0
[pid=17781] vsize: 48404
Current children cumulated CPU time (s) 623.3
Current children cumulated vsize (Kb) 48404

[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17803
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16765 0 0 0 62402 902 0 0 25 0 1 0 1843906753 49700864 9175 4294967295 134512640 135450776 3221224544 3221223264 134538835 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12134 9175 232 232 0 11902 0
[pid=17781] vsize: 48536
Current children cumulated CPU time (s) 633.04
Current children cumulated vsize (Kb) 48536

[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17803
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16871 0 0 0 63365 912 0 0 25 0 1 0 1843906753 49700864 9184 4294967295 134512640 135450776 3221224544 3221223264 134538944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12134 9184 232 232 0 11902 0
[pid=17781] vsize: 48536
Current children cumulated CPU time (s) 642.77
Current children cumulated vsize (Kb) 48536

[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17803
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 16881 0 0 0 64321 927 0 0 25 0 1 0 1843906753 49700864 9194 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12134 9194 232 232 0 11902 0
[pid=17781] vsize: 48536
Current children cumulated CPU time (s) 652.48
Current children cumulated vsize (Kb) 48536

[startup+680.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17803
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 16888 0 0 0 65281 939 0 0 25 0 1 0 1843906753 49700864 9201 4294967295 134512640 135450776 3221224544 3221223264 134539536 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17781/statm): 12134 9201 232 232 0 11902 0
[pid=17781] vsize: 48536
Current children cumulated CPU time (s) 662.2
Current children cumulated vsize (Kb) 48536

[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17803
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17004 0 0 0 66244 949 0 0 25 0 1 0 1843906753 49700864 9220 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12134 9220 232 232 0 11902 0
[pid=17781] vsize: 48536
Current children cumulated CPU time (s) 671.93
Current children cumulated vsize (Kb) 48536

[startup+700.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17805
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17013 0 0 0 67200 964 0 0 25 0 1 0 1843906753 49700864 9229 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12134 9229 232 232 0 11902 0
[pid=17781] vsize: 48536
Current children cumulated CPU time (s) 681.64
Current children cumulated vsize (Kb) 48536

[startup+710.043 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17805
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 17124 0 0 0 68158 977 0 0 25 0 1 0 1843906753 49864704 9243 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12174 9243 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 691.35
Current children cumulated vsize (Kb) 48696

[startup+720.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17805
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17133 0 0 0 69120 990 0 0 25 0 1 0 1843906753 49864704 9252 4294967295 134512640 135450776 3221224544 3221223264 134538854 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12174 9252 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 701.1
Current children cumulated vsize (Kb) 48696

[startup+730.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17805
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17276 0 0 0 70078 1004 0 0 25 0 1 0 1843906753 49864704 9298 4294967295 134512640 135450776 3221224544 3221223264 134538898 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17781/statm): 12174 9298 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 710.82
Current children cumulated vsize (Kb) 48696

[startup+740.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17805
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17410 0 0 0 71037 1018 0 0 25 0 1 0 1843906753 49864704 9335 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12174 9335 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 720.55
Current children cumulated vsize (Kb) 48696

[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17805
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17458 0 0 0 71997 1031 0 0 25 0 1 0 1843906753 49864704 9383 4294967295 134512640 135450776 3221224544 3221223264 134538835 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12174 9383 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 730.28
Current children cumulated vsize (Kb) 48696

[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17807
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17566 0 0 0 72959 1045 0 0 25 0 1 0 1843906753 49864704 9394 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12174 9394 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 740.04
Current children cumulated vsize (Kb) 48696

[startup+770.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17807
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17670 0 0 0 73919 1058 0 0 25 0 1 0 1843906753 49864704 9401 4294967295 134512640 135450776 3221224544 3221223264 134538854 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12174 9401 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 749.77
Current children cumulated vsize (Kb) 48696

[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17807
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17778 0 0 0 74882 1071 0 0 25 0 1 0 1843906753 49864704 9412 4294967295 134512640 135450776 3221224544 3221222880 134533968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17781/statm): 12174 9412 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 759.53
Current children cumulated vsize (Kb) 48696

[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17807
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 17786 0 0 0 75850 1083 0 0 25 0 1 0 1843906753 49864704 9420 4294967295 134512640 135450776 3221224544 3221223264 134538944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12174 9420 232 232 0 11942 0
[pid=17781] vsize: 48696
Current children cumulated CPU time (s) 769.33
Current children cumulated vsize (Kb) 48696

[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17807
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 17893 0 0 0 76814 1095 0 0 25 0 1 0 1843906753 49995776 9430 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12206 9430 232 232 0 11974 0
[pid=17781] vsize: 48824
Current children cumulated CPU time (s) 779.09
Current children cumulated vsize (Kb) 48824

[startup+810.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17807
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18001 0 0 0 77773 1110 0 0 25 0 1 0 1843906753 49995776 9441 4294967295 134512640 135450776 3221224544 3221223264 134539285 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12206 9441 232 232 0 11974 0
[pid=17781] vsize: 48824
Current children cumulated CPU time (s) 788.83
Current children cumulated vsize (Kb) 48824

[startup+820.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17809
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18109 0 0 0 78736 1123 0 0 25 0 1 0 1843906753 49995776 9452 4294967295 134512640 135450776 3221224544 3221223264 134539299 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12206 9452 232 232 0 11974 0
[pid=17781] vsize: 48824
Current children cumulated CPU time (s) 798.59
Current children cumulated vsize (Kb) 48824

[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17809
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18214 0 0 0 79695 1135 0 0 25 0 1 0 1843906753 49995776 9460 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12206 9460 232 232 0 11974 0
[pid=17781] vsize: 48824
Current children cumulated CPU time (s) 808.3
Current children cumulated vsize (Kb) 48824

[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17809
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18357 0 0 0 80657 1147 0 0 25 0 1 0 1843906753 50302976 9506 4294967295 134512640 135450776 3221224544 3221223264 134538898 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12281 9506 232 232 0 12049 0
[pid=17781] vsize: 49124
Current children cumulated CPU time (s) 818.04
Current children cumulated vsize (Kb) 49124

[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17809
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18425 0 0 0 81617 1161 0 0 25 0 1 0 1843906753 50302976 9574 4294967295 134512640 135450776 3221224544 3221222880 134533933 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12281 9574 232 232 0 12049 0
[pid=17781] vsize: 49124
Current children cumulated CPU time (s) 827.78
Current children cumulated vsize (Kb) 49124

[startup+860.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17809
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18482 0 0 0 82579 1174 0 0 25 0 1 0 1843906753 50302976 9631 4294967295 134512640 135450776 3221224544 3221222880 134533833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12281 9631 232 232 0 12049 0
[pid=17781] vsize: 49124
Current children cumulated CPU time (s) 837.53
Current children cumulated vsize (Kb) 49124

[startup+870.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17809
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18644 0 0 0 83537 1189 0 0 25 0 1 0 1843906753 50302976 9696 4294967295 134512640 135450776 3221224544 3221222880 134533954 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12281 9696 232 232 0 12049 0
[pid=17781] vsize: 49124
Current children cumulated CPU time (s) 847.26
Current children cumulated vsize (Kb) 49124

[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 17811
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 18695 0 0 0 84501 1203 0 0 25 0 1 0 1843906753 50442240 9747 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9747 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 857.04
Current children cumulated vsize (Kb) 49260

[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17811
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 18754 0 0 0 85462 1217 0 0 25 0 1 0 1843906753 50442240 9806 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9806 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 866.79
Current children cumulated vsize (Kb) 49260

[startup+900.055 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 17811
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 18898 0 0 0 86422 1230 0 0 25 0 1 0 1843906753 50442240 9853 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9853 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 876.52
Current children cumulated vsize (Kb) 49260

[startup+910.055 s]
Raw data (loadavg): 1.14 1.00 1.00 1/57 17811
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 18955 0 0 0 87381 1245 0 0 25 0 1 0 1843906753 50442240 9910 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9910 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 886.26
Current children cumulated vsize (Kb) 49260

[startup+920.055 s]
Raw data (loadavg): 1.12 1.00 1.00 2/57 17811
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19090 0 0 0 88342 1257 0 0 25 0 1 0 1843906753 50442240 9948 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9948 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 895.99
Current children cumulated vsize (Kb) 49260

[startup+930.056 s]
Raw data (loadavg): 1.10 1.00 1.00 2/57 17811
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19097 0 0 0 89301 1270 0 0 25 0 1 0 1843906753 50442240 9955 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9955 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 905.71
Current children cumulated vsize (Kb) 49260

[startup+940.056 s]
Raw data (loadavg): 1.08 1.00 1.00 1/57 17813
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 19202 0 0 0 90261 1282 0 0 25 0 1 0 1843906753 50442240 9963 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9963 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 915.43
Current children cumulated vsize (Kb) 49260

[startup+950.057 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 17813
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 19206 0 0 0 91225 1294 0 0 25 0 1 0 1843906753 50442240 9967 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9967 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 925.19
Current children cumulated vsize (Kb) 49260

[startup+960.057 s]
Raw data (loadavg): 1.06 1.00 1.00 1/57 17813
Raw data (/proc/17781/stat): 17781 (PBS4) T 17780 17781 9102 0 -1 0 19314 0 0 0 92189 1306 0 0 25 0 1 0 1843906753 50442240 9978 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12315 9978 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 934.95
Current children cumulated vsize (Kb) 49260

[startup+970.057 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 17813
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19360 0 0 0 93159 1316 0 0 25 0 1 0 1843906753 50442240 10024 4294967295 134512640 135450776 3221224544 3221223264 134539597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17781/statm): 12315 10024 232 232 0 12083 0
[pid=17781] vsize: 49260
Current children cumulated CPU time (s) 944.75
Current children cumulated vsize (Kb) 49260

[startup+980.058 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 17813
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19417 0 0 0 94122 1329 0 0 25 0 1 0 1843906753 50573312 10081 4294967295 134512640 135450776 3221224544 3221223412 134539972 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17781/statm): 12347 10081 232 232 0 12115 0
[pid=17781] vsize: 49388
Current children cumulated CPU time (s) 954.51
Current children cumulated vsize (Kb) 49388

[startup+990.059 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 17813
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19473 0 0 0 95088 1342 0 0 25 0 1 0 1843906753 50573312 10137 4294967295 134512640 135450776 3221224544 3221223264 134539010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17781/statm): 12347 10137 232 232 0 12115 0
[pid=17781] vsize: 49388
Current children cumulated CPU time (s) 964.3
Current children cumulated vsize (Kb) 49388

[startup+1000.06 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 17815
Raw data (/proc/17781/stat): 17781 (PBS4) R 17780 17781 9102 0 -1 0 19554 0 0 0 96055 1353 0 0 25 0 1 0 1843906753 50708480 10218 4294967295 134512640 135450776 3221224544 3221223264 134539299 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17781/statm): 12380 10218 232 232 0 12148 0
[pid=17781] vsize: 49520
Current children cumulated CPU time (s) 974.08
Current children cumulated vsize (Kb) 49520
One traced child (pid=17781) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 1006.45
CPU time (s): 980.337
CPU user time (s): 966.703
CPU system time (s): 13.6339
CPU usage (%): 97.4054
Max. virtual memory (cumulated for all children) (Kb): 49520

Verifier Data

ERROR: no interpretation found !