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/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
MD5SUM	69d239b72e8d1a72f9c55329043493e1
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.9626
Number of variables	2280
Total number of constraints	1636
Number of constraints which are clauses	1558
Number of constraints which are cardinality constraints (but not clauses)	78
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 7672

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-17 15:38:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=465 boxname=wulflinc26 idbench=52 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  69d239b72e8d1a72f9c55329043493e1  /oldhome/oroussel/tmp/wulflinc26/normalized-fpga40_38_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-fpga40_38_sat_pb.cnf.cr.opb
IDLAUNCH: 465
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        784312 kB
Buffers:         37160 kB
Cached:         171776 kB
SwapCached:       2476 kB
Active:          72708 kB
Inactive:       141656 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        784032 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6956 kB
Slab:            30412 kB
Committed_AS:    63616 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:58:45 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 465 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-fpga40_38_sat_pb.cnf.cr.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.00 0.00 0.00 2/54 18059
Raw data (stat): 18059 (runsolver) R 18058 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511663014 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 1766 0 0 0 989 9 0 0 25 0 1 0 511663014 11018240 1762 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2690 1762 231 231 0 2459 0
vsize: 10760
[startup+19.9999 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 3300 0 0 0 1980 18 0 0 25 0 1 0 511663014 19947520 3296 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3296 231 231 0 4639 0
vsize: 19480
[startup+30.0005 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 4793 0 0 0 2970 29 0 0 25 0 1 0 511663014 20959232 4789 4294967295 134512640 135450300 3221224624 3221223440 134547182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5117 4789 231 231 0 4886 0
vsize: 20468
[startup+40.0005 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 5849 0 0 0 3965 34 0 0 25 0 1 0 511663014 38006784 5845 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9279 5845 231 231 0 9048 0
vsize: 37116
[startup+50.0009 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 6729 0 0 0 4961 38 0 0 25 0 1 0 511663014 38858752 6676 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9487 6676 231 231 0 9256 0
vsize: 37948
[startup+60.0006 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 6755 0 0 0 5961 38 0 0 25 0 1 0 511663014 38858752 6702 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9487 6702 231 231 0 9256 0
vsize: 37948
[startup+70.0002 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 6822 0 0 0 6960 39 0 0 25 0 1 0 511663014 39104512 6769 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9547 6769 231 231 0 9316 0
vsize: 38188
[startup+80.0009 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 6884 0 0 0 7960 40 0 0 25 0 1 0 511663014 39399424 6831 4294967295 134512640 135450300 3221224624 3221223440 134547853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9619 6831 231 231 0 9388 0
vsize: 38476
[startup+90.0006 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 6960 0 0 0 8960 40 0 0 25 0 1 0 511663014 39673856 6907 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9686 6907 231 231 0 9455 0
vsize: 38744
[startup+100.002 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 7130 0 0 0 9960 40 0 0 25 0 1 0 511663014 40202240 6980 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9815 6980 231 231 0 9584 0
vsize: 39260
[startup+110.002 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 8026 0 0 0 10957 43 0 0 25 0 1 0 511663014 40730624 7876 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9944 7876 231 231 0 9713 0
vsize: 39776
[startup+120.003 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 8204 0 0 0 11956 44 0 0 25 0 1 0 511663014 41005056 8054 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10011 8054 231 231 0 9780 0
vsize: 40044
[startup+130.003 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9367 0 0 0 12953 48 0 0 25 0 1 0 511663014 41144320 9217 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10045 9217 231 231 0 9814 0
vsize: 40180
[startup+140.003 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9476 0 0 0 13943 58 0 0 25 0 1 0 511663014 41455616 9326 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10121 9326 231 231 0 9890 0
vsize: 40484
[startup+150.004 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9530 0 0 0 14933 68 0 0 25 0 1 0 511663014 41717760 9380 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10185 9380 231 231 0 9954 0
vsize: 40740
[startup+160.004 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9549 0 0 0 15930 72 0 0 25 0 1 0 511663014 41717760 9399 4294967295 134512640 135450300 3221224624 3221223344 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10185 9399 231 231 0 9954 0
vsize: 40740
[startup+170.003 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9590 0 0 0 16919 82 0 0 25 0 1 0 511663014 41852928 9440 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10218 9440 231 231 0 9987 0
vsize: 40872
[startup+180.004 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9624 0 0 0 17912 89 0 0 25 0 1 0 511663014 41852928 9474 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10218 9474 231 231 0 9987 0
vsize: 40872
[startup+190.004 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9686 0 0 0 18908 94 0 0 25 0 1 0 511663014 42115072 9536 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10282 9536 231 231 0 10051 0
vsize: 41128
[startup+200.005 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9722 0 0 0 19905 97 0 0 25 0 1 0 511663014 42291200 9572 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10325 9572 231 231 0 10094 0
vsize: 41300
[startup+210.005 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9928 0 0 0 20897 105 0 0 25 0 1 0 511663014 43077632 9585 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10517 9585 231 231 0 10286 0
vsize: 42068
[startup+220.005 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 9966 0 0 0 21895 107 0 0 25 0 1 0 511663014 43212800 9623 4294967295 134512640 135450300 3221224624 3221223344 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10550 9623 231 231 0 10319 0
vsize: 42200
[startup+230.005 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10028 0 0 0 22893 110 0 0 25 0 1 0 511663014 43397120 9685 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9685 231 231 0 10364 0
vsize: 42380
[startup+240.005 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10057 0 0 0 23888 114 0 0 25 0 1 0 511663014 43577344 9714 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10639 9714 231 231 0 10408 0
vsize: 42556
[startup+250.005 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10090 0 0 0 24887 116 0 0 25 0 1 0 511663014 43577344 9747 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10639 9747 231 231 0 10408 0
vsize: 42556
[startup+260.005 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10092 0 0 0 25887 116 0 0 25 0 1 0 511663014 43577344 9749 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10639 9749 231 231 0 10408 0
vsize: 42556
[startup+270.005 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10093 0 0 0 26887 116 0 0 25 0 1 0 511663014 43577344 9750 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10639 9750 231 231 0 10408 0
vsize: 42556
[startup+280.006 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10119 0 0 0 27887 117 0 0 25 0 1 0 511663014 43712512 9776 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10672 9776 231 231 0 10441 0
vsize: 42688
[startup+290.006 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10123 0 0 0 28887 117 0 0 25 0 1 0 511663014 43712512 9780 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10672 9780 231 231 0 10441 0
vsize: 42688
[startup+300.007 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10166 0 0 0 29886 118 0 0 25 0 1 0 511663014 43847680 9823 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10705 9823 231 231 0 10474 0
vsize: 42820
[startup+310.007 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10370 0 0 0 30885 120 0 0 25 0 1 0 511663014 44658688 10027 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10903 10027 231 231 0 10672 0
vsize: 43612
[startup+320.007 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10425 0 0 0 31884 121 0 0 25 0 1 0 511663014 44957696 10082 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 10082 231 231 0 10745 0
vsize: 43904
[startup+330.008 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10447 0 0 0 32880 124 0 0 25 0 1 0 511663014 44957696 10104 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 10104 231 231 0 10745 0
vsize: 43904
[startup+340.008 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10464 0 0 0 33876 129 0 0 25 0 1 0 511663014 44957696 10121 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 10121 231 231 0 10745 0
vsize: 43904
[startup+350.009 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10467 0 0 0 34871 134 0 0 25 0 1 0 511663014 44957696 10124 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 10124 231 231 0 10745 0
vsize: 43904
[startup+360.009 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10480 0 0 0 35870 136 0 0 25 0 1 0 511663014 45125632 10137 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11017 10137 231 231 0 10786 0
vsize: 44068
[startup+370.008 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10485 0 0 0 36865 140 0 0 25 0 1 0 511663014 45125632 10142 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11017 10142 231 231 0 10786 0
vsize: 44068
[startup+380.009 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10499 0 0 0 37860 146 0 0 25 0 1 0 511663014 45125632 10156 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11017 10156 231 231 0 10786 0
vsize: 44068
[startup+390.01 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10505 0 0 0 38859 147 0 0 25 0 1 0 511663014 45125632 10162 4294967295 134512640 135450300 3221224624 3221223404 134535398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11017 10162 231 231 0 10786 0
vsize: 44068
[startup+400.011 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10512 0 0 0 39858 148 0 0 25 0 1 0 511663014 45125632 10169 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11017 10169 231 231 0 10786 0
vsize: 44068
[startup+410.011 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10541 0 0 0 40852 155 0 0 25 0 1 0 511663014 45301760 10198 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11060 10198 231 231 0 10829 0
vsize: 44240
[startup+420.012 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10561 0 0 0 41850 157 0 0 25 0 1 0 511663014 45301760 10218 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11060 10218 231 231 0 10829 0
vsize: 44240
[startup+430.012 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10567 0 0 0 42849 159 0 0 25 0 1 0 511663014 45301760 10224 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11060 10224 231 231 0 10829 0
vsize: 44240
[startup+440.012 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10569 0 0 0 43849 159 0 0 25 0 1 0 511663014 45301760 10226 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11060 10226 231 231 0 10829 0
vsize: 44240
[startup+450.013 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10583 0 0 0 44843 164 0 0 25 0 1 0 511663014 45301760 10240 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11060 10240 231 231 0 10829 0
vsize: 44240
[startup+460.013 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10594 0 0 0 45842 166 0 0 25 0 1 0 511663014 45301760 10251 4294967295 134512640 135450300 3221224624 3221223344 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11060 10251 231 231 0 10829 0
vsize: 44240
[startup+470.012 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10614 0 0 0 46841 167 0 0 25 0 1 0 511663014 45494272 10271 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10271 231 231 0 10876 0
vsize: 44428
[startup+480.013 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10628 0 0 0 47841 168 0 0 25 0 1 0 511663014 45494272 10285 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10285 231 231 0 10876 0
vsize: 44428
[startup+490.012 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10630 0 0 0 48841 168 0 0 25 0 1 0 511663014 45494272 10287 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10287 231 231 0 10876 0
vsize: 44428
[startup+500.013 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10634 0 0 0 49841 168 0 0 25 0 1 0 511663014 45494272 10291 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10291 231 231 0 10876 0
vsize: 44428
[startup+510.014 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10636 0 0 0 50841 168 0 0 25 0 1 0 511663014 45494272 10293 4294967295 134512640 135450300 3221224624 3221223344 134535489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10293 231 231 0 10876 0
vsize: 44428
[startup+520.014 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10645 0 0 0 51841 168 0 0 25 0 1 0 511663014 45494272 10302 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10302 231 231 0 10876 0
vsize: 44428
[startup+530.014 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10647 0 0 0 52841 168 0 0 25 0 1 0 511663014 45494272 10304 4294967295 134512640 135450300 3221224624 3221223008 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10304 231 231 0 10876 0
vsize: 44428
[startup+540.015 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10660 0 0 0 53841 168 0 0 25 0 1 0 511663014 45494272 10317 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10317 231 231 0 10876 0
vsize: 44428
[startup+550.015 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10662 0 0 0 54841 169 0 0 25 0 1 0 511663014 45494272 10319 4294967295 134512640 135450300 3221224624 3221223100 134571990 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10319 231 231 0 10876 0
vsize: 44428
[startup+560.015 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10664 0 0 0 55841 169 0 0 25 0 1 0 511663014 45494272 10321 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10321 231 231 0 10876 0
vsize: 44428
[startup+570.015 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 10693 0 0 0 56841 169 0 0 25 0 1 0 511663014 45621248 10350 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10350 231 231 0 10907 0
vsize: 44552
[startup+580.016 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 11291 0 0 0 57839 171 0 0 25 0 1 0 511663014 79175680 10948 4294967295 134512640 135450300 3221224624 3221223360 134538607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19330 10948 231 231 0 19099 0
vsize: 77320
[startup+590.016 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 11702 0 0 0 58838 172 0 0 25 0 1 0 511663014 79720448 11359 4294967295 134512640 135450300 3221224624 3221223100 134572355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19463 11359 231 231 0 19232 0
vsize: 77852
[startup+600.017 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 12406 0 0 0 59837 174 0 0 25 0 1 0 511663014 79720448 12063 4294967295 134512640 135450300 3221224624 3221223344 134535472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19463 12063 231 231 0 19232 0
vsize: 77852
[startup+610.016 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 13046 0 0 0 60835 176 0 0 25 0 1 0 511663014 79855616 12703 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19496 12703 231 231 0 19265 0
vsize: 77984
[startup+620.016 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 13742 0 0 0 61833 178 0 0 25 0 1 0 511663014 79855616 13399 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19496 13399 231 231 0 19265 0
vsize: 77984
[startup+630.017 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 14419 0 0 0 62832 180 0 0 25 0 1 0 511663014 80265216 14076 4294967295 134512640 135450300 3221224624 3221223344 134535495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19596 14076 231 231 0 19365 0
vsize: 78384
[startup+640.017 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 15160 0 0 0 63830 182 0 0 25 0 1 0 511663014 80265216 14817 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19596 14817 231 231 0 19365 0
vsize: 78384
[startup+650.016 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 15675 0 0 0 64829 183 0 0 25 0 1 0 511663014 80265216 15332 4294967295 134512640 135450300 3221224624 3221223456 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19596 15332 231 231 0 19365 0
vsize: 78384
[startup+660.017 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 16466 0 0 0 65828 184 0 0 25 0 1 0 511663014 80404480 16123 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19630 16123 231 231 0 19399 0
vsize: 78520
[startup+670.017 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 17116 0 0 0 66827 185 0 0 25 0 1 0 511663014 80404480 16773 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19630 16773 231 231 0 19399 0
vsize: 78520
[startup+680.017 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 17862 0 0 0 67825 187 0 0 25 0 1 0 511663014 80994304 17519 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19774 17519 231 231 0 19543 0
vsize: 79096
[startup+690.018 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 18523 0 0 0 68824 188 0 0 25 0 1 0 511663014 80994304 18180 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19774 18180 231 231 0 19543 0
vsize: 79096
[startup+700.018 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 19181 0 0 0 69823 189 0 0 25 0 1 0 511663014 82300928 18838 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20093 18838 231 231 0 19862 0
vsize: 80372
[startup+710.018 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 19183 0 0 0 70823 189 0 0 25 0 1 0 511663014 82300928 18840 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20093 18840 231 231 0 19862 0
vsize: 80372
[startup+720.018 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 19725 0 0 0 71822 191 0 0 25 0 1 0 511663014 82300928 19382 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20093 19382 231 231 0 19862 0
vsize: 80372
[startup+730.019 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 20333 0 0 0 72821 192 0 0 25 0 1 0 511663014 149557248 19990 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36513 19990 231 231 0 36282 0
vsize: 146052
[startup+740.018 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 21025 0 0 0 73819 195 0 0 25 0 1 0 511663014 149557248 20682 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36513 20682 231 231 0 36282 0
vsize: 146052
[startup+750.018 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 21469 0 0 0 74817 196 0 0 25 0 1 0 511663014 149704704 21126 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36549 21126 231 231 0 36318 0
vsize: 146196
[startup+760.018 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 22199 0 0 0 75816 198 0 0 25 0 1 0 511663014 149704704 21856 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36549 21856 231 231 0 36318 0
vsize: 146196
[startup+770.017 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 22835 0 0 0 76815 199 0 0 25 0 1 0 511663014 149704704 22492 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36549 22492 231 231 0 36318 0
vsize: 146196
[startup+780.018 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 23520 0 0 0 77813 201 0 0 25 0 1 0 511663014 150581248 23177 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36763 23177 231 231 0 36532 0
vsize: 147052
[startup+790.018 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 24194 0 0 0 78812 202 0 0 25 0 1 0 511663014 150581248 23851 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36763 23851 231 231 0 36532 0
vsize: 147052
[startup+800.017 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 24601 0 0 0 79811 203 0 0 25 0 1 0 511663014 150581248 24258 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36763 24258 231 231 0 36532 0
vsize: 147052
[startup+810.017 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 25295 0 0 0 80809 205 0 0 25 0 1 0 511663014 150908928 24952 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36843 24952 231 231 0 36612 0
vsize: 147372
[startup+820.017 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 25938 0 0 0 81808 207 0 0 25 0 1 0 511663014 150908928 25595 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36843 25595 231 231 0 36612 0
vsize: 147372
[startup+830.017 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 26091 0 0 0 82808 207 0 0 25 0 1 0 511663014 151400448 25748 4294967295 134512640 135450300 3221224624 3221223440 134547865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36963 25748 231 231 0 36732 0
vsize: 147852
[startup+840.017 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 26093 0 0 0 83808 207 0 0 25 0 1 0 511663014 151400448 25750 4294967295 134512640 135450300 3221224624 3221223440 134547859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36963 25750 231 231 0 36732 0
vsize: 147852
[startup+850.017 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 26494 0 0 0 84807 208 0 0 25 0 1 0 511663014 153694208 26151 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37523 26151 231 231 0 37292 0
vsize: 150092
[startup+860.016 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 26881 0 0 0 85806 209 0 0 25 0 1 0 511663014 155267072 26153 4294967295 134512640 135450300 3221224624 3221223344 134536011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37907 26153 231 231 0 37676 0
vsize: 151628
[startup+870.016 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 26883 0 0 0 86806 209 0 0 25 0 1 0 511663014 155267072 26155 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37907 26155 231 231 0 37676 0
vsize: 151628
[startup+880.017 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 27056 0 0 0 87806 210 0 0 25 0 1 0 511663014 156250112 26328 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38147 26328 231 231 0 37916 0
vsize: 152588
[startup+890.017 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 27545 0 0 0 88805 211 0 0 25 0 1 0 511663014 156250112 26817 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38147 26817 231 231 0 37916 0
vsize: 152588
[startup+900.017 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 27964 0 0 0 89804 212 0 0 25 0 1 0 511663014 156413952 27236 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38187 27236 231 231 0 37956 0
vsize: 152748
[startup+910.018 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 28663 0 0 0 90803 214 0 0 25 0 1 0 511663014 156413952 27935 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38187 27935 231 231 0 37956 0
vsize: 152748
[startup+920.017 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 29262 0 0 0 91801 215 0 0 25 0 1 0 511663014 156413952 28534 4294967295 134512640 135450300 3221224624 3221223360 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38187 28534 231 231 0 37956 0
vsize: 152748
[startup+930.018 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 30170 0 0 0 92799 217 0 0 25 0 1 0 511663014 158072832 29442 4294967295 134512640 135450300 3221224624 3221223440 134547865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38592 29442 231 231 0 38361 0
vsize: 154368
[startup+940.018 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 30824 0 0 0 93798 219 0 0 25 0 1 0 511663014 158072832 30096 4294967295 134512640 135450300 3221224624 3221223008 134602238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38592 30096 231 231 0 38361 0
vsize: 154368
[startup+950.017 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 31205 0 0 0 94797 220 0 0 25 0 1 0 511663014 158547968 30477 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 30477 231 231 0 38477 0
vsize: 154832
[startup+960.018 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 31222 0 0 0 95797 220 0 0 25 0 1 0 511663014 158547968 30494 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 30494 231 231 0 38477 0
vsize: 154832
[startup+970.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 31224 0 0 0 96797 221 0 0 25 0 1 0 511663014 158547968 30496 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 30496 231 231 0 38477 0
vsize: 154832
[startup+980.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 31263 0 0 0 97797 221 0 0 25 0 1 0 511663014 158695424 30535 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38744 30535 231 231 0 38513 0
vsize: 154976
[startup+990.019 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 31265 0 0 0 98797 221 0 0 25 0 1 0 511663014 158695424 30537 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38744 30537 231 231 0 38513 0
vsize: 154976
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 31266 0 0 0 99797 221 0 0 25 0 1 0 511663014 158695424 30538 4294967295 134512640 135450300 3221224624 3221223440 134547859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38744 30538 231 231 0 38513 0
vsize: 154976
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 31790 0 0 0 100796 222 0 0 25 0 1 0 511663014 159137792 31062 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38852 31062 231 231 0 38621 0
vsize: 155408
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 32430 0 0 0 101795 224 0 0 25 0 1 0 511663014 159137792 31702 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38852 31702 231 231 0 38621 0
vsize: 155408
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 32948 0 0 0 102794 225 0 0 25 0 1 0 511663014 159301632 32220 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38892 32220 231 231 0 38661 0
vsize: 155568
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 33672 0 0 0 103793 226 0 0 25 0 1 0 511663014 159301632 32944 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38892 32944 231 231 0 38661 0
vsize: 155568
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 34292 0 0 0 104791 228 0 0 25 0 1 0 511663014 159301632 33564 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38892 33564 231 231 0 38661 0
vsize: 155568
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 34961 0 0 0 105790 229 0 0 25 0 1 0 511663014 160419840 34233 4294967295 134512640 135450300 3221224624 3221223008 134579418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39165 34233 231 231 0 38934 0
vsize: 156660
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 35615 0 0 0 106788 231 0 0 25 0 1 0 511663014 160419840 34887 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39165 34887 231 231 0 38934 0
vsize: 156660
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 35921 0 0 0 107788 231 0 0 25 0 1 0 511663014 160419840 35193 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39165 35193 231 231 0 38934 0
vsize: 156660
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 35940 0 0 0 108788 232 0 0 25 0 1 0 511663014 160567296 35212 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39201 35212 231 231 0 38970 0
vsize: 156804
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 35941 0 0 0 109788 232 0 0 25 0 1 0 511663014 160567296 35213 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39201 35213 231 231 0 38970 0
vsize: 156804
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 35991 0 0 0 110788 232 0 0 25 0 1 0 511663014 160706560 35263 4294967295 134512640 135450300 3221224624 3221223100 134572667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39235 35263 231 231 0 39004 0
vsize: 156940
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 35992 0 0 0 111788 232 0 0 25 0 1 0 511663014 160706560 35264 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39235 35264 231 231 0 39004 0
vsize: 156940
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 36147 0 0 0 112788 233 0 0 25 0 1 0 511663014 160706560 35419 4294967295 134512640 135450300 3221224624 3221223440 134537232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39235 35419 231 231 0 39004 0
vsize: 156940
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 36886 0 0 0 113786 235 0 0 25 0 1 0 511663014 161419264 36158 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39409 36160 231 231 0 39178 0
vsize: 157636
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 37527 0 0 0 114784 237 0 0 25 0 1 0 511663014 161419264 36799 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39409 36799 231 231 0 39178 0
vsize: 157636
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 37908 0 0 0 115784 238 0 0 25 0 1 0 511663014 161550336 37180 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39441 37180 231 231 0 39210 0
vsize: 157764
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 38628 0 0 0 116781 240 0 0 25 0 1 0 511663014 161845248 37900 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39513 37900 231 231 0 39282 0
vsize: 158052
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 39228 0 0 0 117780 241 0 0 25 0 1 0 511663014 161845248 38500 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39513 38500 231 231 0 39282 0
vsize: 158052
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 39960 0 0 0 118779 243 0 0 25 0 1 0 511663014 297734144 39232 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72689 39232 231 231 0 72458 0
vsize: 290756
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18059
Raw data (stat): 18059 (PBS4) R 18058 22612 22611 0 -1 0 40637 0 0 0 119778 244 0 0 25 0 1 0 511663014 297734144 39909 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72689 39909 231 231 0 72458 0
vsize: 290756
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 18059
Raw data (stat): 18059 (PBS4) Z 18058 22612 22611 0 -1 1036 40637 0 0 0 119778 251 0 0 25 0 1 0 511663014 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.1
CPU time (s): 1200.3
CPU user time (s): 1197.78
CPU system time (s): 2.51962
CPU usage (%): 100.017
Max. virtual memory (Kb): 290756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####