Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
MD5SUMa8bcf2463daf8317f47d4d0efa977ac7
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 108540
Biggest coefficient in the objective function 1475608576000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 416772837549750
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 1475608576000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 416772837549750
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.61684
Number of variables108540
Total number of constraints1042
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1042
Minimum length of a constraint20
Maximum length of a constraint1500

Trace number 6526

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-20 07:13:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4376 boxname=wulflinc15 idbench=860 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  a8bcf2463daf8317f47d4d0efa977ac7  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ship12l.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ship12l.opb
IDLAUNCH: 4376
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        867032 kB
Buffers:         20728 kB
Cached:         117316 kB
SwapCached:        744 kB
Active:          45536 kB
Inactive:        95132 kB
HighTotal:      131008 kB
HighFree:        15148 kB
LowTotal:       903652 kB
LowFree:        851884 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            21356 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 07:29:27 (client local time) WITH STATUS 20 IN 932.444 SECONDS
stats: 4376 7 932.444 20

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ship12l.opb ......
s UNSATISFIABLE
c Done, CPU Time=6.01908

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/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 1798413764 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 239 2 232 232 0 7 0
[pid=565] vsize: 956
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ship12l.opb
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ship12l.opb

[startup+10.0029 s]
Raw data (loadavg): 0.93 0.95 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 979 18 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599236 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 23784

[startup+20.0037 s]
Raw data (loadavg): 0.94 0.95 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 1979 18 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134600032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 23784

[startup+30.0046 s]
Raw data (loadavg): 0.95 0.95 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 2979 19 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599255 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 23784

[startup+40.0054 s]
Raw data (loadavg): 0.95 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 3979 19 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599257 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 23784

[startup+50.0062 s]
Raw data (loadavg): 0.96 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 4979 19 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599343 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 23784

[startup+60.007 s]
Raw data (loadavg): 0.97 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 5979 19 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599239 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 23784

[startup+70.0069 s]
Raw data (loadavg): 0.97 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 6979 20 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 23784

[startup+80.0077 s]
Raw data (loadavg): 0.97 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 7979 20 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 23784

[startup+90.0085 s]
Raw data (loadavg): 0.98 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 8979 20 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 23784

[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 9978 20 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134600032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 23784

[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 10978 20 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134600038 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 23784

[startup+120.011 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 11978 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599343 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 23784

[startup+130.012 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 12978 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 23784

[startup+140.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 13979 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599247 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 23784

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 14979 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599236 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 23784

[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 15979 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 23784

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 16979 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599247 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 23784

[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 17979 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 23784

[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 18980 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 23784

[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 5942 0 0 0 19980 21 0 0 25 0 1 0 1798413764 24354816 5535 4294967295 134512640 135450776 3221224560 3221223072 134599360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 5946 5535 232 232 0 5714 0
[pid=565] vsize: 23784
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 23784

[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 20979 22 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 210.01
Current children cumulated vsize (Kb) 25480

[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 21979 22 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 220.01
Current children cumulated vsize (Kb) 25480

[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 22979 22 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 230.01
Current children cumulated vsize (Kb) 25480

[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 23978 23 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 240.01
Current children cumulated vsize (Kb) 25480

[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 24978 24 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 250.02
Current children cumulated vsize (Kb) 25480

[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 25978 24 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 260.02
Current children cumulated vsize (Kb) 25480

[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 26978 24 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 270.02
Current children cumulated vsize (Kb) 25480

[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 27978 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 280.03
Current children cumulated vsize (Kb) 25480

[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 28978 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 290.03
Current children cumulated vsize (Kb) 25480

[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 29978 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 300.03
Current children cumulated vsize (Kb) 25480

[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 30978 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 310.03
Current children cumulated vsize (Kb) 25480

[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 31978 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 320.03
Current children cumulated vsize (Kb) 25480

[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 32978 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 330.03
Current children cumulated vsize (Kb) 25480

[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 33979 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 340.04
Current children cumulated vsize (Kb) 25480

[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 34979 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 350.04
Current children cumulated vsize (Kb) 25480

[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 35979 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600415 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 360.04
Current children cumulated vsize (Kb) 25480

[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 36979 25 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 370.04
Current children cumulated vsize (Kb) 25480

[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 37979 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 380.05
Current children cumulated vsize (Kb) 25480

[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 38979 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600511 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 390.05
Current children cumulated vsize (Kb) 25480

[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 39979 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 400.05
Current children cumulated vsize (Kb) 25480

[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 40980 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 410.06
Current children cumulated vsize (Kb) 25480

[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 41979 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 420.05
Current children cumulated vsize (Kb) 25480

[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 42980 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 430.06
Current children cumulated vsize (Kb) 25480

[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 43980 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600401 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 440.06
Current children cumulated vsize (Kb) 25480

[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 44980 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 450.06
Current children cumulated vsize (Kb) 25480

[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 45981 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600401 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (Kb) 25480

[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 46980 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 470.06
Current children cumulated vsize (Kb) 25480

[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 47981 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 480.07
Current children cumulated vsize (Kb) 25480

[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 48981 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600431 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 490.07
Current children cumulated vsize (Kb) 25480

[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 49981 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 500.07
Current children cumulated vsize (Kb) 25480

[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 50981 26 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 510.07
Current children cumulated vsize (Kb) 25480

[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 51981 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600489 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 520.08
Current children cumulated vsize (Kb) 25480

[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 52981 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 530.08
Current children cumulated vsize (Kb) 25480

[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 53981 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 540.08
Current children cumulated vsize (Kb) 25480

[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 54982 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 550.09
Current children cumulated vsize (Kb) 25480

[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 55982 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 560.09
Current children cumulated vsize (Kb) 25480

[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 56982 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 570.09
Current children cumulated vsize (Kb) 25480

[startup+580.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 57982 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 580.09
Current children cumulated vsize (Kb) 25480

[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 58982 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600489 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 590.09
Current children cumulated vsize (Kb) 25480

[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 59983 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 600.1
Current children cumulated vsize (Kb) 25480

[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 60983 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 610.1
Current children cumulated vsize (Kb) 25480

[startup+620.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 61983 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 620.1
Current children cumulated vsize (Kb) 25480

[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 62983 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 630.1
Current children cumulated vsize (Kb) 25480

[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 63983 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 640.1
Current children cumulated vsize (Kb) 25480

[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 64983 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 650.1
Current children cumulated vsize (Kb) 25480

[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 65984 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 660.11
Current children cumulated vsize (Kb) 25480

[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 66984 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600508 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 670.11
Current children cumulated vsize (Kb) 25480

[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 67984 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600401 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 680.11
Current children cumulated vsize (Kb) 25480

[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 68984 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 690.11
Current children cumulated vsize (Kb) 25480

[startup+700.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 69984 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600511 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 700.11
Current children cumulated vsize (Kb) 25480

[startup+710.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 70985 27 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 710.12
Current children cumulated vsize (Kb) 25480

[startup+720.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 71985 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 720.13
Current children cumulated vsize (Kb) 25480

[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 72985 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 730.13
Current children cumulated vsize (Kb) 25480

[startup+740.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 73985 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 740.13
Current children cumulated vsize (Kb) 25480

[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 74985 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 750.13
Current children cumulated vsize (Kb) 25480

[startup+760.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 75986 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600511 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 760.14
Current children cumulated vsize (Kb) 25480

[startup+770.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 76986 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 770.14
Current children cumulated vsize (Kb) 25480

[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 77986 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 780.14
Current children cumulated vsize (Kb) 25480

[startup+790.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 78986 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 790.14
Current children cumulated vsize (Kb) 25480

[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 79986 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600511 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 800.14
Current children cumulated vsize (Kb) 25480

[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 80986 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 810.14
Current children cumulated vsize (Kb) 25480

[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 81986 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 820.14
Current children cumulated vsize (Kb) 25480

[startup+830.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 82987 28 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600450 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 830.15
Current children cumulated vsize (Kb) 25480

[startup+840.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 83986 29 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600401 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 840.15
Current children cumulated vsize (Kb) 25480

[startup+850.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 84985 30 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 850.15
Current children cumulated vsize (Kb) 25480

[startup+860.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 85985 30 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 860.15
Current children cumulated vsize (Kb) 25480

[startup+870.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 86985 30 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 870.15
Current children cumulated vsize (Kb) 25480

[startup+880.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 87985 31 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 880.16
Current children cumulated vsize (Kb) 25480

[startup+890.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 88985 31 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 890.16
Current children cumulated vsize (Kb) 25480

[startup+900.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 6366 0 0 0 89985 31 0 0 25 0 1 0 1798413764 26091520 5959 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 6370 5959 232 232 0 6138 0
[pid=565] vsize: 25480
Current children cumulated CPU time (s) 900.16
Current children cumulated vsize (Kb) 25480

[startup+910.057 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 12406 0 0 0 90968 46 0 0 25 0 1 0 1798413764 31432704 7335 4294967295 134512640 135450776 3221224560 3221223072 134846925 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 7674 7335 232 232 0 7442 0
[pid=565] vsize: 30696
Current children cumulated CPU time (s) 910.14
Current children cumulated vsize (Kb) 30696

[startup+920.057 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 13888 0 0 0 91961 52 0 0 25 0 1 0 1798413764 35667968 8393 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/565/statm): 8708 8393 232 232 0 8476 0
[pid=565] vsize: 34832
Current children cumulated CPU time (s) 920.13
Current children cumulated vsize (Kb) 34832

[startup+930.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 565
Raw data (/proc/565/stat): 565 (PBS4) R 564 565 31778 0 -1 0 18232 0 0 0 92949 63 0 0 25 0 1 0 1798413764 51310592 9566 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/565/statm): 12527 9566 232 232 0 12295 0
[pid=565] vsize: 50108
Current children cumulated CPU time (s) 930.12
Current children cumulated vsize (Kb) 50108
One traced child (pid=565) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 932.376
CPU time (s): 932.444
CPU user time (s): 931.791
CPU system time (s): 0.6529
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (Kb): 50108

Verifier Data

ERROR: no interpretation found !