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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb
MD5SUM	31a8734340f0544712ef974997c104b2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2677632
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	515723936
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	515723936
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 17693

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-21 11:23:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19220 boxname=wulflinc15 idbench=1479 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  31a8734340f0544712ef974997c104b2  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran10x10c.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran10x10c.opb
IDLAUNCH: 19220
/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:        568576 kB
Buffers:         34432 kB
Cached:         410120 kB
SwapCached:        440 kB
Active:         152648 kB
Inactive:       294092 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        568324 kB
SwapTotal:     2097136 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13788 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 11:43:18 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 19220 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran10x10c.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.93 0.97 0.95 2/54 7375
Raw data (stat): 7375 (runsolver) R 7374 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486465070 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+9.99982 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 462 0 0 0 993 6 0 0 25 0 1 0 486465070 2682880 408 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 655 408 231 231 0 424 0
vsize: 2620
[startup+20.0006 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 621 0 0 0 1990 9 0 0 25 0 1 0 486465070 3338240 567 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 815 567 231 231 0 584 0
vsize: 3260
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 723 0 0 0 2989 10 0 0 25 0 1 0 486465070 4386816 669 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1071 669 231 231 0 840 0
vsize: 4284
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 818 0 0 0 3989 10 0 0 25 0 1 0 486465070 4386816 764 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1071 764 231 231 0 840 0
vsize: 4284
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 948 0 0 0 4989 11 0 0 25 0 1 0 486465070 6483968 894 4294967295 134512640 135450300 3221224624 3221223232 134537648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1583 894 231 231 0 1352 0
vsize: 6332
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 1115 0 0 0 5988 12 0 0 25 0 1 0 486465070 6631424 1061 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1619 1061 231 231 0 1388 0
vsize: 6476
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 1258 0 0 0 6988 12 0 0 25 0 1 0 486465070 6631424 1204 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1619 1204 231 231 0 1388 0
vsize: 6476
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 1446 0 0 0 7987 13 0 0 25 0 1 0 486465070 6631424 1392 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1619 1392 231 231 0 1388 0
vsize: 6476
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 1589 0 0 0 8986 14 0 0 25 0 1 0 486465070 10825728 1535 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2643 1535 231 231 0 2412 0
vsize: 10572
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 1754 0 0 0 9986 15 0 0 25 0 1 0 486465070 10825728 1700 4294967295 134512640 135450300 3221224624 3221223100 134571974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2643 1700 231 231 0 2412 0
vsize: 10572
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 1865 0 0 0 10985 15 0 0 25 0 1 0 486465070 10825728 1811 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2643 1811 231 231 0 2412 0
vsize: 10572
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 1984 0 0 0 11985 16 0 0 25 0 1 0 486465070 10825728 1930 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2643 1930 231 231 0 2412 0
vsize: 10572
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2129 0 0 0 12985 16 0 0 25 0 1 0 486465070 10825728 2075 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2643 2075 231 231 0 2412 0
vsize: 10572
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2173 0 0 0 13984 17 0 0 25 0 1 0 486465070 10825728 2119 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2643 2119 231 231 0 2412 0
vsize: 10572
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2213 0 0 0 14984 17 0 0 25 0 1 0 486465070 10825728 2159 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2643 2159 231 231 0 2412 0
vsize: 10572
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2253 0 0 0 15984 18 0 0 25 0 1 0 486465070 10956800 2199 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2675 2199 231 231 0 2444 0
vsize: 10700
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2314 0 0 0 16983 19 0 0 25 0 1 0 486465070 10956800 2260 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2675 2260 231 231 0 2444 0
vsize: 10700
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2364 0 0 0 17983 19 0 0 25 0 1 0 486465070 10956800 2310 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2675 2310 231 231 0 2444 0
vsize: 10700
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2408 0 0 0 18983 20 0 0 25 0 1 0 486465070 10956800 2354 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2675 2354 231 231 0 2444 0
vsize: 10700
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2458 0 0 0 19982 20 0 0 25 0 1 0 486465070 10956800 2404 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2675 2404 231 231 0 2444 0
vsize: 10700
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2515 0 0 0 20982 20 0 0 25 0 1 0 486465070 10956800 2461 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2675 2461 231 231 0 2444 0
vsize: 10700
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2573 0 0 0 21982 20 0 0 25 0 1 0 486465070 19345408 2519 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 2519 231 231 0 4492 0
vsize: 18892
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2633 0 0 0 22982 21 0 0 25 0 1 0 486465070 19345408 2579 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 2579 231 231 0 4492 0
vsize: 18892
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2704 0 0 0 23982 21 0 0 25 0 1 0 486465070 19345408 2650 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 2650 231 231 0 4492 0
vsize: 18892
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2750 0 0 0 24982 21 0 0 25 0 1 0 486465070 19345408 2696 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 2696 231 231 0 4492 0
vsize: 18892
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2792 0 0 0 25982 22 0 0 25 0 1 0 486465070 19345408 2738 4294967295 134512640 135450300 3221224624 3221223344 134535660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 2738 231 231 0 4492 0
vsize: 18892
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2874 0 0 0 26981 22 0 0 25 0 1 0 486465070 19546112 2820 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 2820 231 231 0 4541 0
vsize: 19088
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 2957 0 0 0 27981 23 0 0 25 0 1 0 486465070 19546112 2903 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 2903 231 231 0 4541 0
vsize: 19088
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3017 0 0 0 28981 23 0 0 25 0 1 0 486465070 19546112 2963 4294967295 134512640 135450300 3221224624 3221223344 134535546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 2963 231 231 0 4541 0
vsize: 19088
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3076 0 0 0 29980 24 0 0 25 0 1 0 486465070 19546112 3022 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3022 231 231 0 4541 0
vsize: 19088
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3129 0 0 0 30980 24 0 0 25 0 1 0 486465070 19546112 3075 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3075 231 231 0 4541 0
vsize: 19088
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3196 0 0 0 31979 25 0 0 25 0 1 0 486465070 19546112 3142 4294967295 134512640 135450300 3221224624 3221223232 134537611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3142 231 231 0 4541 0
vsize: 19088
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3266 0 0 0 32978 26 0 0 25 0 1 0 486465070 19546112 3212 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3212 231 231 0 4541 0
vsize: 19088
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3332 0 0 0 33979 26 0 0 25 0 1 0 486465070 19546112 3278 4294967295 134512640 135450300 3221224624 3221223440 134546470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3278 231 231 0 4541 0
vsize: 19088
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3400 0 0 0 34978 27 0 0 25 0 1 0 486465070 19546112 3346 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3346 231 231 0 4541 0
vsize: 19088
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3452 0 0 0 35978 27 0 0 25 0 1 0 486465070 19546112 3398 4294967295 134512640 135450300 3221224624 3221223344 134535974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3398 231 231 0 4541 0
vsize: 19088
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3547 0 0 0 36977 28 0 0 25 0 1 0 486465070 19546112 3493 4294967295 134512640 135450300 3221224624 3221223100 134571744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3493 231 231 0 4541 0
vsize: 19088
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3617 0 0 0 37977 28 0 0 25 0 1 0 486465070 19546112 3563 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3563 231 231 0 4541 0
vsize: 19088
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3700 0 0 0 38977 29 0 0 25 0 1 0 486465070 19546112 3646 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3646 231 231 0 4541 0
vsize: 19088
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3753 0 0 0 39977 29 0 0 25 0 1 0 486465070 19546112 3699 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3699 231 231 0 4541 0
vsize: 19088
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3803 0 0 0 40976 29 0 0 25 0 1 0 486465070 19546112 3749 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3749 231 231 0 4541 0
vsize: 19088
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3869 0 0 0 41976 30 0 0 25 0 1 0 486465070 19546112 3815 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3815 231 231 0 4541 0
vsize: 19088
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 3960 0 0 0 42976 31 0 0 25 0 1 0 486465070 19546112 3906 4294967295 134512640 135450300 3221224624 3221223232 134537667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3906 231 231 0 4541 0
vsize: 19088
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4023 0 0 0 43975 31 0 0 25 0 1 0 486465070 19546112 3969 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3969 231 231 0 4541 0
vsize: 19088
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4081 0 0 0 44975 31 0 0 25 0 1 0 486465070 19546112 4027 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4027 231 231 0 4541 0
vsize: 19088
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4159 0 0 0 45975 32 0 0 25 0 1 0 486465070 19546112 4105 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4105 231 231 0 4541 0
vsize: 19088
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4240 0 0 0 46975 32 0 0 25 0 1 0 486465070 19546112 4186 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4186 231 231 0 4541 0
vsize: 19088
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4314 0 0 0 47975 32 0 0 25 0 1 0 486465070 19546112 4260 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4260 231 231 0 4541 0
vsize: 19088
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4412 0 0 0 48974 33 0 0 25 0 1 0 486465070 19546112 4358 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4358 231 231 0 4541 0
vsize: 19088
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4493 0 0 0 49973 35 0 0 25 0 1 0 486465070 19677184 4439 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4804 4439 231 231 0 4573 0
vsize: 19216
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4525 0 0 0 50972 36 0 0 25 0 1 0 486465070 19816448 4471 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4838 4471 231 231 0 4607 0
vsize: 19352
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4550 0 0 0 51971 37 0 0 25 0 1 0 486465070 19959808 4496 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4873 4496 231 231 0 4642 0
vsize: 19492
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4622 0 0 0 52969 38 0 0 25 0 1 0 486465070 20156416 4519 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4921 4519 231 231 0 4690 0
vsize: 19684
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4656 0 0 0 53967 40 0 0 25 0 1 0 486465070 20283392 4553 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4952 4553 231 231 0 4721 0
vsize: 19808
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4661 0 0 0 54967 41 0 0 25 0 1 0 486465070 20283392 4558 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4952 4558 231 231 0 4721 0
vsize: 19808
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4664 0 0 0 55967 41 0 0 25 0 1 0 486465070 20283392 4561 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4952 4561 231 231 0 4721 0
vsize: 19808
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4678 0 0 0 56966 43 0 0 25 0 1 0 486465070 20406272 4575 4294967295 134512640 135450300 3221224624 3221223456 134549440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4575 231 231 0 4751 0
vsize: 19928
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4687 0 0 0 57965 44 0 0 25 0 1 0 486465070 20406272 4584 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4584 231 231 0 4751 0
vsize: 19928
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4695 0 0 0 58965 44 0 0 25 0 1 0 486465070 20406272 4592 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4592 231 231 0 4751 0
vsize: 19928
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4708 0 0 0 59963 45 0 0 25 0 1 0 486465070 20541440 4605 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4605 231 231 0 4784 0
vsize: 20060
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4800 0 0 0 60963 46 0 0 25 0 1 0 486465070 20541440 4697 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4697 231 231 0 4784 0
vsize: 20060
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4801 0 0 0 61963 46 0 0 25 0 1 0 486465070 20541440 4698 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4698 231 231 0 4784 0
vsize: 20060
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4804 0 0 0 62964 46 0 0 25 0 1 0 486465070 20541440 4701 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4701 231 231 0 4784 0
vsize: 20060
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4806 0 0 0 63964 46 0 0 25 0 1 0 486465070 20541440 4703 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4703 231 231 0 4784 0
vsize: 20060
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4816 0 0 0 64963 47 0 0 25 0 1 0 486465070 20541440 4713 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4713 231 231 0 4784 0
vsize: 20060
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4816 0 0 0 65963 47 0 0 25 0 1 0 486465070 20541440 4713 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4713 231 231 0 4784 0
vsize: 20060
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4817 0 0 0 66963 47 0 0 25 0 1 0 486465070 20541440 4714 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4714 231 231 0 4784 0
vsize: 20060
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4820 0 0 0 67964 47 0 0 25 0 1 0 486465070 20541440 4717 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4717 231 231 0 4784 0
vsize: 20060
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4821 0 0 0 68964 47 0 0 25 0 1 0 486465070 20541440 4718 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4718 231 231 0 4784 0
vsize: 20060
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4829 0 0 0 69963 47 0 0 25 0 1 0 486465070 20664320 4726 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4726 231 231 0 4814 0
vsize: 20180
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4831 0 0 0 70963 47 0 0 25 0 1 0 486465070 20664320 4728 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4728 231 231 0 4814 0
vsize: 20180
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4839 0 0 0 71963 48 0 0 25 0 1 0 486465070 20664320 4736 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4736 231 231 0 4814 0
vsize: 20180
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4855 0 0 0 72963 48 0 0 25 0 1 0 486465070 20664320 4752 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4752 231 231 0 4814 0
vsize: 20180
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4861 0 0 0 73963 48 0 0 25 0 1 0 486465070 20664320 4758 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4758 231 231 0 4814 0
vsize: 20180
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4871 0 0 0 74964 49 0 0 25 0 1 0 486465070 20811776 4768 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4768 231 231 0 4850 0
vsize: 20324
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4873 0 0 0 75964 49 0 0 25 0 1 0 486465070 20811776 4770 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4770 231 231 0 4850 0
vsize: 20324
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4883 0 0 0 76964 49 0 0 25 0 1 0 486465070 20811776 4780 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4780 231 231 0 4850 0
vsize: 20324
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4887 0 0 0 77964 49 0 0 25 0 1 0 486465070 20811776 4784 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4784 231 231 0 4850 0
vsize: 20324
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4888 0 0 0 78964 49 0 0 25 0 1 0 486465070 20811776 4785 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4785 231 231 0 4850 0
vsize: 20324
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4974 0 0 0 79964 49 0 0 25 0 1 0 486465070 20811776 4871 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4871 231 231 0 4850 0
vsize: 20324
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4983 0 0 0 80964 49 0 0 25 0 1 0 486465070 20811776 4880 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4880 231 231 0 4850 0
vsize: 20324
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4984 0 0 0 81964 50 0 0 25 0 1 0 486465070 20811776 4881 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4881 231 231 0 4850 0
vsize: 20324
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4984 0 0 0 82964 50 0 0 25 0 1 0 486465070 20811776 4881 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4881 231 231 0 4850 0
vsize: 20324
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4984 0 0 0 83964 50 0 0 25 0 1 0 486465070 20811776 4881 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4881 231 231 0 4850 0
vsize: 20324
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4984 0 0 0 84964 50 0 0 25 0 1 0 486465070 20811776 4881 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4881 231 231 0 4850 0
vsize: 20324
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4984 0 0 0 85965 50 0 0 25 0 1 0 486465070 20811776 4881 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4881 231 231 0 4850 0
vsize: 20324
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4985 0 0 0 86965 50 0 0 25 0 1 0 486465070 20811776 4882 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4882 231 231 0 4850 0
vsize: 20324
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4985 0 0 0 87965 50 0 0 25 0 1 0 486465070 20811776 4882 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4882 231 231 0 4850 0
vsize: 20324
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4994 0 0 0 88965 50 0 0 25 0 1 0 486465070 20811776 4891 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4891 231 231 0 4850 0
vsize: 20324
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 4999 0 0 0 89965 50 0 0 25 0 1 0 486465070 20938752 4896 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5112 4896 231 231 0 4881 0
vsize: 20448
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5097 0 0 0 90965 51 0 0 25 0 1 0 486465070 21331968 4897 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4897 231 231 0 4977 0
vsize: 20832
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5099 0 0 0 91965 51 0 0 25 0 1 0 486465070 21331968 4899 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4899 231 231 0 4977 0
vsize: 20832
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5111 0 0 0 92965 51 0 0 25 0 1 0 486465070 21331968 4911 4294967295 134512640 135450300 3221224624 3221223232 134537627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4911 231 231 0 4977 0
vsize: 20832
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5112 0 0 0 93964 52 0 0 25 0 1 0 486465070 21331968 4912 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4912 231 231 0 4977 0
vsize: 20832
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5112 0 0 0 94965 52 0 0 25 0 1 0 486465070 21331968 4912 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4912 231 231 0 4977 0
vsize: 20832
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5113 0 0 0 95965 52 0 0 25 0 1 0 486465070 21331968 4913 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4913 231 231 0 4977 0
vsize: 20832
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5113 0 0 0 96965 52 0 0 25 0 1 0 486465070 21331968 4913 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4913 231 231 0 4977 0
vsize: 20832
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5125 0 0 0 97964 52 0 0 25 0 1 0 486465070 21331968 4925 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4925 231 231 0 4977 0
vsize: 20832
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5126 0 0 0 98964 52 0 0 25 0 1 0 486465070 21331968 4926 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4926 231 231 0 4977 0
vsize: 20832
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5127 0 0 0 99965 52 0 0 25 0 1 0 486465070 21331968 4927 4294967295 134512640 135450300 3221224624 3221223344 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4927 231 231 0 4977 0
vsize: 20832
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5128 0 0 0 100965 52 0 0 25 0 1 0 486465070 21331968 4928 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4928 231 231 0 4977 0
vsize: 20832
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5140 0 0 0 101965 53 0 0 25 0 1 0 486465070 21463040 4940 4294967295 134512640 135450300 3221224624 3221223344 134535422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4940 231 231 0 5009 0
vsize: 20960
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5142 0 0 0 102965 53 0 0 25 0 1 0 486465070 21463040 4942 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4942 231 231 0 5009 0
vsize: 20960
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5144 0 0 0 103965 53 0 0 25 0 1 0 486465070 21463040 4944 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4944 231 231 0 5009 0
vsize: 20960
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5144 0 0 0 104965 53 0 0 25 0 1 0 486465070 21463040 4944 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4944 231 231 0 5009 0
vsize: 20960
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5145 0 0 0 105965 53 0 0 25 0 1 0 486465070 21463040 4945 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4945 231 231 0 5009 0
vsize: 20960
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5146 0 0 0 106965 53 0 0 25 0 1 0 486465070 21463040 4946 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4946 231 231 0 5009 0
vsize: 20960
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5153 0 0 0 107965 53 0 0 25 0 1 0 486465070 21463040 4953 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4953 231 231 0 5009 0
vsize: 20960
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5154 0 0 0 108966 53 0 0 25 0 1 0 486465070 21463040 4954 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4954 231 231 0 5009 0
vsize: 20960
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5155 0 0 0 109966 53 0 0 25 0 1 0 486465070 21463040 4955 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4955 231 231 0 5009 0
vsize: 20960
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5156 0 0 0 110966 53 0 0 25 0 1 0 486465070 21463040 4956 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4956 231 231 0 5009 0
vsize: 20960
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5166 0 0 0 111966 53 0 0 25 0 1 0 486465070 21463040 4966 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4966 231 231 0 5009 0
vsize: 20960
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5169 0 0 0 112965 54 0 0 25 0 1 0 486465070 21463040 4969 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4969 231 231 0 5009 0
vsize: 20960
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5174 0 0 0 113967 54 0 0 25 0 1 0 486465070 21463040 4974 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4974 231 231 0 5009 0
vsize: 20960
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5175 0 0 0 114977 54 0 0 25 0 1 0 486465070 21463040 4975 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4975 231 231 0 5009 0
vsize: 20960
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5175 0 0 0 115977 54 0 0 25 0 1 0 486465070 21463040 4975 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4975 231 231 0 5009 0
vsize: 20960
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5176 0 0 0 116977 54 0 0 25 0 1 0 486465070 21463040 4976 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4976 231 231 0 5009 0
vsize: 20960
[startup+1180.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5178 0 0 0 117977 54 0 0 25 0 1 0 486465070 21463040 4978 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4978 231 231 0 5009 0
vsize: 20960
[startup+1190.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5179 0 0 0 118977 54 0 0 25 0 1 0 486465070 21463040 4979 4294967295 134512640 135450300 3221224624 3221223232 134537648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4979 231 231 0 5009 0
vsize: 20960
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7375
Raw data (stat): 7375 (PBS4) R 7374 29151 29150 0 -1 0 5188 0 0 0 119977 54 0 0 25 0 1 0 486465070 21598208 4988 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5273 4988 231 231 0 5042 0
vsize: 21092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 7375
Raw data (stat): 7375 (PBS4) Z 7374 29151 29150 0 -1 1036 5188 0 0 0 119977 55 0 0 25 0 1 0 486465070 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.16
CPU time (s): 1200.34
CPU user time (s): 1199.78
CPU system time (s): 0.556915
CPU usage (%): 100.015
Max. virtual memory (Kb): 21092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####