PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb
MD5SUM	46c175563919d1fe493ed3da6f49d52f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1251872
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	33812000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	166074535
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1585.77
Number of variables	5151
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	617
Trace number 15304

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-21 03:49:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17985 boxname=wulflinc10 idbench=1384 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  46c175563919d1fe493ed3da6f49d52f  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-rout.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-rout.opb
IDLAUNCH: 17985
/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:        877604 kB
Buffers:         31248 kB
Cached:         103800 kB
SwapCached:          0 kB
Active:          42640 kB
Inactive:        94912 kB
HighTotal:      131008 kB
HighFree:        52948 kB
LowTotal:       903652 kB
LowFree:        824656 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            13880 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 04:09:45 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 17985 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-rout.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 23493
Raw data (stat): 23493 (runsolver) R 23492 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483754914 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 770 0 0 0 997 1 0 0 25 0 1 0 483754914 3932160 645 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 960 645 231 231 0 729 0
vsize: 3840
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 935 0 0 0 1996 2 0 0 25 0 1 0 483754914 4591616 810 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1121 810 231 231 0 890 0
vsize: 4484
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1060 0 0 0 2995 3 0 0 25 0 1 0 483754914 5787648 935 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1413 935 231 231 0 1182 0
vsize: 5652
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1163 0 0 0 3993 4 0 0 25 0 1 0 483754914 5787648 1038 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1413 1038 231 231 0 1182 0
vsize: 5652
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1251 0 0 0 4993 4 0 0 25 0 1 0 483754914 5787648 1126 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1413 1126 231 231 0 1182 0
vsize: 5652
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1284 0 0 0 5993 4 0 0 25 0 1 0 483754914 5996544 1159 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1464 1159 231 231 0 1233 0
vsize: 5856
[startup+70.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1290 0 0 0 6993 4 0 0 25 0 1 0 483754914 5996544 1165 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1464 1165 231 231 0 1233 0
vsize: 5856
[startup+80.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1393 0 0 0 7993 5 0 0 25 0 1 0 483754914 8093696 1268 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1976 1268 231 231 0 1745 0
vsize: 7904
[startup+90.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1521 0 0 0 8992 5 0 0 25 0 1 0 483754914 8093696 1396 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1976 1396 231 231 0 1745 0
vsize: 7904
[startup+100.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1640 0 0 0 9992 5 0 0 25 0 1 0 483754914 8228864 1515 4294967295 134512640 135450300 3221224640 3221223456 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2009 1515 231 231 0 1778 0
vsize: 8036
[startup+110.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1786 0 0 0 10992 6 0 0 25 0 1 0 483754914 8527872 1661 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1661 231 231 0 1851 0
vsize: 8328
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1789 0 0 0 11992 6 0 0 25 0 1 0 483754914 8527872 1664 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1664 231 231 0 1851 0
vsize: 8328
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1795 0 0 0 12993 6 0 0 25 0 1 0 483754914 8527872 1670 4294967295 134512640 135450300 3221224640 3221223248 134537768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1670 231 231 0 1851 0
vsize: 8328
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1797 0 0 0 13992 6 0 0 25 0 1 0 483754914 8527872 1672 4294967295 134512640 135450300 3221224640 3221223360 134535815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1672 231 231 0 1851 0
vsize: 8328
[startup+150.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1800 0 0 0 14993 6 0 0 25 0 1 0 483754914 8527872 1675 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1675 231 231 0 1851 0
vsize: 8328
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1802 0 0 0 15993 6 0 0 25 0 1 0 483754914 8527872 1677 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1677 231 231 0 1851 0
vsize: 8328
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1852 0 0 0 16993 7 0 0 25 0 1 0 483754914 8527872 1727 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1727 231 231 0 1851 0
vsize: 8328
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 1967 0 0 0 17992 7 0 0 25 0 1 0 483754914 12722176 1842 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3106 1842 231 231 0 2875 0
vsize: 12424
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2072 0 0 0 18992 7 0 0 25 0 1 0 483754914 12722176 1947 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3106 1947 231 231 0 2875 0
vsize: 12424
[startup+200.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2247 0 0 0 19994 8 0 0 25 0 1 0 483754914 12951552 2122 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2122 231 231 0 2931 0
vsize: 12648
[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2382 0 0 0 20994 8 0 0 25 0 1 0 483754914 12951552 2257 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2257 231 231 0 2931 0
vsize: 12648
[startup+220.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2476 0 0 0 21994 9 0 0 25 0 1 0 483754914 12951552 2351 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2351 231 231 0 2931 0
vsize: 12648
[startup+230.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2528 0 0 0 23005 9 0 0 25 0 1 0 483754914 13148160 2354 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2354 231 231 0 2979 0
vsize: 12840
[startup+240.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2577 0 0 0 24004 9 0 0 25 0 1 0 483754914 13426688 2403 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2403 231 231 0 3047 0
vsize: 13112
[startup+250.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2585 0 0 0 25005 9 0 0 25 0 1 0 483754914 13426688 2411 4294967295 134512640 135450300 3221224640 3221223248 134537616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2411 231 231 0 3047 0
vsize: 13112
[startup+260.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2646 0 0 0 26005 10 0 0 25 0 1 0 483754914 13426688 2472 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2472 231 231 0 3047 0
vsize: 13112
[startup+270.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2747 0 0 0 27005 10 0 0 25 0 1 0 483754914 13565952 2573 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2573 231 231 0 3081 0
vsize: 13248
[startup+280.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 2878 0 0 0 28004 11 0 0 25 0 1 0 483754914 13565952 2704 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2704 231 231 0 3081 0
vsize: 13248
[startup+290.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3022 0 0 0 29005 12 0 0 25 0 1 0 483754914 13565952 2848 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2848 231 231 0 3081 0
vsize: 13248
[startup+300.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3195 0 0 0 30005 12 0 0 25 0 1 0 483754914 13836288 3021 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3378 3021 231 231 0 3147 0
vsize: 13512
[startup+310.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3329 0 0 0 31004 13 0 0 25 0 1 0 483754914 22224896 3155 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5426 3155 231 231 0 5195 0
vsize: 21704
[startup+320.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3475 0 0 0 32004 14 0 0 25 0 1 0 483754914 22224896 3301 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5426 3301 231 231 0 5195 0
vsize: 21704
[startup+330.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3609 0 0 0 33005 14 0 0 25 0 1 0 483754914 22372352 3435 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5462 3435 231 231 0 5231 0
vsize: 21848
[startup+340.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3632 0 0 0 34005 14 0 0 25 0 1 0 483754914 22372352 3458 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5462 3458 231 231 0 5231 0
vsize: 21848
[startup+350.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3634 0 0 0 35005 14 0 0 25 0 1 0 483754914 22372352 3460 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5462 3460 231 231 0 5231 0
vsize: 21848
[startup+360.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3717 0 0 0 36005 15 0 0 25 0 1 0 483754914 22659072 3543 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 3543 231 231 0 5301 0
vsize: 22128
[startup+370.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3817 0 0 0 37005 15 0 0 25 0 1 0 483754914 22659072 3643 4294967295 134512640 135450300 3221224640 3221223456 134547155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 3643 231 231 0 5301 0
vsize: 22128
[startup+380.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 3952 0 0 0 38005 15 0 0 25 0 1 0 483754914 22659072 3778 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 3778 231 231 0 5301 0
vsize: 22128
[startup+390.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4049 0 0 0 39005 15 0 0 25 0 1 0 483754914 22659072 3875 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 3875 231 231 0 5301 0
vsize: 22128
[startup+400.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4119 0 0 0 40005 16 0 0 25 0 1 0 483754914 22659072 3945 4294967295 134512640 135450300 3221224640 3221223248 134537651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 3945 231 231 0 5301 0
vsize: 22128
[startup+410.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4203 0 0 0 41005 16 0 0 25 0 1 0 483754914 22659072 4029 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4029 231 231 0 5301 0
vsize: 22128
[startup+420.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4321 0 0 0 42004 16 0 0 25 0 1 0 483754914 22659072 4147 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4147 231 231 0 5301 0
vsize: 22128
[startup+430.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4439 0 0 0 43004 17 0 0 25 0 1 0 483754914 22659072 4265 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4265 231 231 0 5301 0
vsize: 22128
[startup+440.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4511 0 0 0 44003 18 0 0 25 0 1 0 483754914 22659072 4337 4294967295 134512640 135450300 3221224640 3221223248 134537627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4337 231 231 0 5301 0
vsize: 22128
[startup+450.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4631 0 0 0 45003 18 0 0 25 0 1 0 483754914 22659072 4457 4294967295 134512640 135450300 3221224640 3221223248 134537611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4457 231 231 0 5301 0
vsize: 22128
[startup+460.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4652 0 0 0 46003 18 0 0 25 0 1 0 483754914 22659072 4478 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4478 231 231 0 5301 0
vsize: 22128
[startup+470.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4654 0 0 0 47003 18 0 0 25 0 1 0 483754914 22659072 4480 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4480 231 231 0 5301 0
vsize: 22128
[startup+480.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4655 0 0 0 48003 18 0 0 25 0 1 0 483754914 22659072 4481 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4481 231 231 0 5301 0
vsize: 22128
[startup+490.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4658 0 0 0 49004 18 0 0 25 0 1 0 483754914 22659072 4484 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5532 4484 231 231 0 5301 0
vsize: 22128
[startup+500.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4757 0 0 0 50003 19 0 0 25 0 1 0 483754914 23052288 4486 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4486 231 231 0 5397 0
vsize: 22512
[startup+510.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4769 0 0 0 51004 19 0 0 25 0 1 0 483754914 23052288 4498 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4498 231 231 0 5397 0
vsize: 22512
[startup+520.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4770 0 0 0 52004 19 0 0 25 0 1 0 483754914 23052288 4499 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4499 231 231 0 5397 0
vsize: 22512
[startup+530.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4774 0 0 0 53004 19 0 0 25 0 1 0 483754914 23052288 4503 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4503 231 231 0 5397 0
vsize: 22512
[startup+540.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4775 0 0 0 54004 19 0 0 25 0 1 0 483754914 23052288 4504 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4504 231 231 0 5397 0
vsize: 22512
[startup+550.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4777 0 0 0 55004 19 0 0 25 0 1 0 483754914 23052288 4506 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4506 231 231 0 5397 0
vsize: 22512
[startup+560.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4788 0 0 0 56004 19 0 0 25 0 1 0 483754914 23150592 4517 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5652 4517 231 231 0 5421 0
vsize: 22608
[startup+570.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4790 0 0 0 57004 20 0 0 25 0 1 0 483754914 23150592 4519 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5652 4519 231 231 0 5421 0
vsize: 22608
[startup+580.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4792 0 0 0 58004 20 0 0 25 0 1 0 483754914 23150592 4521 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5652 4521 231 231 0 5421 0
vsize: 22608
[startup+590.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4797 0 0 0 59004 20 0 0 25 0 1 0 483754914 23150592 4526 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5652 4526 231 231 0 5421 0
vsize: 22608
[startup+600.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4799 0 0 0 60004 20 0 0 25 0 1 0 483754914 23150592 4528 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5652 4528 231 231 0 5421 0
vsize: 22608
[startup+610.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23493
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4819 0 0 0 61004 20 0 0 25 0 1 0 483754914 23289856 4548 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5686 4548 231 231 0 5455 0
vsize: 22744
[startup+620.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23494
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4823 0 0 0 62004 21 0 0 25 0 1 0 483754914 23289856 4552 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5686 4552 231 231 0 5455 0
vsize: 22744
[startup+630.167 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23546
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4839 0 0 0 63003 21 0 0 25 0 1 0 483754914 23289856 4568 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5686 4568 231 231 0 5455 0
vsize: 22744
[startup+640.166 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23546
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4852 0 0 0 64003 21 0 0 25 0 1 0 483754914 23289856 4581 4294967295 134512640 135450300 3221224640 3221223436 134535392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5686 4581 231 231 0 5455 0
vsize: 22744
[startup+650.167 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23546
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4854 0 0 0 65003 21 0 0 25 0 1 0 483754914 23289856 4583 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5686 4583 231 231 0 5455 0
vsize: 22744
[startup+660.167 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23546
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4861 0 0 0 66002 22 0 0 25 0 1 0 483754914 23429120 4590 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5720 4590 231 231 0 5489 0
vsize: 22880
[startup+670.167 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23546
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4873 0 0 0 67002 22 0 0 25 0 1 0 483754914 23429120 4602 4294967295 134512640 135450300 3221224640 3221223248 134537662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5720 4602 231 231 0 5489 0
vsize: 22880
[startup+680.168 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23546
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4875 0 0 0 68001 22 0 0 25 0 1 0 483754914 23429120 4604 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5720 4604 231 231 0 5489 0
vsize: 22880
[startup+690.167 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23546
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4916 0 0 0 69001 22 0 0 25 0 1 0 483754914 23576576 4645 4294967295 134512640 135450300 3221224640 3221223248 134537621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5756 4645 231 231 0 5525 0
vsize: 23024
[startup+700.167 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4923 0 0 0 70001 23 0 0 25 0 1 0 483754914 23576576 4652 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5756 4652 231 231 0 5525 0
vsize: 23024
[startup+710.168 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4985 0 0 0 71001 23 0 0 25 0 1 0 483754914 23871488 4714 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5828 4714 231 231 0 5597 0
vsize: 23312
[startup+720.168 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4989 0 0 0 72001 23 0 0 25 0 1 0 483754914 23871488 4718 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5828 4718 231 231 0 5597 0
vsize: 23312
[startup+730.168 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 4991 0 0 0 73001 23 0 0 25 0 1 0 483754914 23871488 4720 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5828 4720 231 231 0 5597 0
vsize: 23312
[startup+740.167 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5014 0 0 0 74001 23 0 0 25 0 1 0 483754914 23969792 4743 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5852 4743 231 231 0 5621 0
vsize: 23408
[startup+750.167 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5023 0 0 0 75001 23 0 0 25 0 1 0 483754914 23969792 4752 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5852 4752 231 231 0 5621 0
vsize: 23408
[startup+760.167 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5041 0 0 0 76001 24 0 0 25 0 1 0 483754914 24141824 4770 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5894 4770 231 231 0 5663 0
vsize: 23576
[startup+770.168 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5098 0 0 0 77001 24 0 0 25 0 1 0 483754914 24141824 4827 4294967295 134512640 135450300 3221224640 3221223456 134547914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5894 4827 231 231 0 5663 0
vsize: 23576
[startup+780.168 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5205 0 0 0 78001 25 0 0 25 0 1 0 483754914 24141824 4934 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5894 4934 231 231 0 5663 0
vsize: 23576
[startup+790.168 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5282 0 0 0 79001 25 0 0 25 0 1 0 483754914 24240128 5011 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5011 231 231 0 5687 0
vsize: 23672
[startup+800.168 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5394 0 0 0 80001 25 0 0 25 0 1 0 483754914 24240128 5123 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5123 231 231 0 5687 0
vsize: 23672
[startup+810.168 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5498 0 0 0 81001 25 0 0 25 0 1 0 483754914 24240128 5227 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5227 231 231 0 5687 0
vsize: 23672
[startup+820.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5616 0 0 0 82000 26 0 0 25 0 1 0 483754914 24338432 5345 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5942 5345 231 231 0 5711 0
vsize: 23768
[startup+830.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5705 0 0 0 83000 26 0 0 25 0 1 0 483754914 24338432 5434 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5942 5434 231 231 0 5711 0
vsize: 23768
[startup+840.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5834 0 0 0 84000 27 0 0 25 0 1 0 483754914 24494080 5563 4294967295 134512640 135450300 3221224640 3221223376 134538181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5563 231 231 0 5749 0
vsize: 23920
[startup+850.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5906 0 0 0 85000 27 0 0 25 0 1 0 483754914 24494080 5635 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5635 231 231 0 5749 0
vsize: 23920
[startup+860.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5908 0 0 0 86000 27 0 0 25 0 1 0 483754914 24494080 5637 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5637 231 231 0 5749 0
vsize: 23920
[startup+870.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5912 0 0 0 87000 27 0 0 25 0 1 0 483754914 24494080 5641 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5641 231 231 0 5749 0
vsize: 23920
[startup+880.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5914 0 0 0 88000 27 0 0 25 0 1 0 483754914 24494080 5643 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5643 231 231 0 5749 0
vsize: 23920
[startup+890.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5915 0 0 0 89000 27 0 0 25 0 1 0 483754914 24494080 5644 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5644 231 231 0 5749 0
vsize: 23920
[startup+900.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5917 0 0 0 90001 28 0 0 25 0 1 0 483754914 24494080 5646 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5646 231 231 0 5749 0
vsize: 23920
[startup+910.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5919 0 0 0 91000 28 0 0 25 0 1 0 483754914 24494080 5648 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5648 231 231 0 5749 0
vsize: 23920
[startup+920.172 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5931 0 0 0 92001 28 0 0 25 0 1 0 483754914 24625152 5660 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5660 231 231 0 5781 0
vsize: 24048
[startup+930.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5933 0 0 0 93001 28 0 0 25 0 1 0 483754914 24625152 5662 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5662 231 231 0 5781 0
vsize: 24048
[startup+940.171 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5934 0 0 0 94001 28 0 0 25 0 1 0 483754914 24625152 5663 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5663 231 231 0 5781 0
vsize: 24048
[startup+950.172 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5936 0 0 0 95001 28 0 0 25 0 1 0 483754914 24625152 5665 4294967295 134512640 135450300 3221224640 3221223248 134537616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5665 231 231 0 5781 0
vsize: 24048
[startup+960.172 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5938 0 0 0 96001 28 0 0 25 0 1 0 483754914 24625152 5667 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5667 231 231 0 5781 0
vsize: 24048
[startup+970.173 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23548
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5939 0 0 0 97001 28 0 0 25 0 1 0 483754914 24625152 5668 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5668 231 231 0 5781 0
vsize: 24048
[startup+980.173 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5941 0 0 0 98001 28 0 0 25 0 1 0 483754914 24625152 5670 4294967295 134512640 135450300 3221224640 3221223360 134535874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5670 231 231 0 5781 0
vsize: 24048
[startup+990.173 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5943 0 0 0 99002 28 0 0 25 0 1 0 483754914 24625152 5672 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5672 231 231 0 5781 0
vsize: 24048
[startup+1000.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5944 0 0 0 100001 29 0 0 25 0 1 0 483754914 24625152 5673 4294967295 134512640 135450300 3221224640 3221223116 134571791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5673 231 231 0 5781 0
vsize: 24048
[startup+1010.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5946 0 0 0 101002 29 0 0 25 0 1 0 483754914 24625152 5675 4294967295 134512640 135450300 3221224640 3221223456 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5675 231 231 0 5781 0
vsize: 24048
[startup+1020.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5949 0 0 0 102002 29 0 0 25 0 1 0 483754914 24625152 5678 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5678 231 231 0 5781 0
vsize: 24048
[startup+1030.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5950 0 0 0 103002 29 0 0 25 0 1 0 483754914 24625152 5679 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5679 231 231 0 5781 0
vsize: 24048
[startup+1040.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 5951 0 0 0 104002 29 0 0 25 0 1 0 483754914 24625152 5680 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 5680 231 231 0 5781 0
vsize: 24048
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6157 0 0 0 105002 29 0 0 25 0 1 0 483754914 25411584 5693 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6204 5693 231 231 0 5973 0
vsize: 24816
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6171 0 0 0 106001 30 0 0 25 0 1 0 483754914 25509888 5707 4294967295 134512640 135450300 3221224640 3221223468 134537814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6228 5707 231 231 0 5997 0
vsize: 24912
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6173 0 0 0 107002 30 0 0 25 0 1 0 483754914 25509888 5709 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6228 5709 231 231 0 5997 0
vsize: 24912
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6183 0 0 0 108002 30 0 0 25 0 1 0 483754914 25509888 5719 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6228 5719 231 231 0 5997 0
vsize: 24912
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6184 0 0 0 109002 30 0 0 25 0 1 0 483754914 25509888 5720 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6228 5720 231 231 0 5997 0
vsize: 24912
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6188 0 0 0 110002 30 0 0 25 0 1 0 483754914 25509888 5724 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6228 5724 231 231 0 5997 0
vsize: 24912
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6191 0 0 0 111002 30 0 0 25 0 1 0 483754914 25509888 5727 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6228 5727 231 231 0 5997 0
vsize: 24912
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6210 0 0 0 112002 31 0 0 25 0 1 0 483754914 25657344 5746 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6264 5746 231 231 0 6033 0
vsize: 25056
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6224 0 0 0 113002 31 0 0 25 0 1 0 483754914 25657344 5760 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6264 5760 231 231 0 6033 0
vsize: 25056
[startup+1140.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6226 0 0 0 114002 31 0 0 25 0 1 0 483754914 25657344 5762 4294967295 134512640 135450300 3221224640 3221223248 134537768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6264 5762 231 231 0 6033 0
vsize: 25056
[startup+1150.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6229 0 0 0 115002 31 0 0 25 0 1 0 483754914 25657344 5765 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6264 5765 231 231 0 6033 0
vsize: 25056
[startup+1160.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6232 0 0 0 116002 31 0 0 25 0 1 0 483754914 25657344 5768 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6264 5768 231 231 0 6033 0
vsize: 25056
[startup+1170.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6263 0 0 0 117002 32 0 0 25 0 1 0 483754914 25804800 5799 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6300 5799 231 231 0 6069 0
vsize: 25200
[startup+1180.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6273 0 0 0 118002 32 0 0 25 0 1 0 483754914 42582016 5809 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10396 5809 231 231 0 10165 0
vsize: 41584
[startup+1190.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6441 0 0 0 119001 32 0 0 25 0 1 0 483754914 42942464 5977 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10484 5977 231 231 0 10253 0
vsize: 41936
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23550
Raw data (stat): 23493 (PBS4) R 23492 25347 25346 0 -1 0 6531 0 0 0 120001 33 0 0 25 0 1 0 483754914 42942464 6067 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10484 6067 231 231 0 10253 0
vsize: 41936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 23550
Raw data (stat): 23493 (PBS4) Z 23492 25347 25346 0 -1 1036 6531 0 0 0 120001 34 0 0 25 0 1 0 483754914 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.19
CPU time (s): 1200.36
CPU user time (s): 1200.02
CPU system time (s): 0.343947
CPU usage (%): 100.015
Max. virtual memory (Kb): 41936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####