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_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
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	1.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
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 7674

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-17 15:38:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=483 boxname=wulflinc6 idbench=54 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f9a3a990ebca4aa5457d0675d3f1fe27  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga40_40_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga40_40_sat_pb.cnf.cr.opb
IDLAUNCH: 483
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        828808 kB
Buffers:         37536 kB
Cached:         144576 kB
SwapCached:       2644 kB
Active:          65096 kB
Inactive:       122560 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        828528 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12620 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 15:58:48 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 483 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc6/normalized-fpga40_40_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.08 0.02 0.01 2/54 20476
Raw data (stat): 20476 (runsolver) R 20475 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453436573 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.0003 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 1480 0 0 0 991 8 0 0 25 0 1 0 453436573 10932224 1476 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2669 1476 231 231 0 2438 0
vsize: 10676
[startup+20 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 2533 0 0 0 1988 11 0 0 25 0 1 0 453436573 11067392 2529 4294967295 134512640 135450300 3221224624 3221223440 134547902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2529 231 231 0 2471 0
vsize: 10808
[startup+30.0002 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 3558 0 0 0 2985 14 0 0 25 0 1 0 453436573 19861504 3554 4294967295 134512640 135450300 3221224624 3221223344 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 3554 231 231 0 4618 0
vsize: 19396
[startup+39.9997 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 4469 0 0 0 3982 17 0 0 25 0 1 0 453436573 20267008 4465 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4948 4465 231 231 0 4717 0
vsize: 19792
[startup+49.9993 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 5196 0 0 0 4981 19 0 0 25 0 1 0 453436573 37044224 5192 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9044 5192 231 231 0 8813 0
vsize: 36176
[startup+59.9985 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 5789 0 0 0 5980 20 0 0 25 0 1 0 453436573 37318656 5785 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9111 5785 231 231 0 8880 0
vsize: 36444
[startup+69.999 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 6630 0 0 0 6977 23 0 0 25 0 1 0 453436573 37797888 6626 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9228 6626 231 231 0 8997 0
vsize: 36912
[startup+79.9988 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 7333 0 0 0 7975 25 0 0 25 0 1 0 453436573 38477824 7329 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9394 7329 231 231 0 9163 0
vsize: 37576
[startup+89.9979 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 8130 0 0 0 8973 27 0 0 25 0 1 0 453436573 39309312 8126 4294967295 134512640 135450300 3221224624 3221223344 134535989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9597 8126 231 231 0 9366 0
vsize: 38388
[startup+99.9974 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 8734 0 0 0 9972 29 0 0 25 0 1 0 453436573 40017920 8730 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9770 8730 231 231 0 9539 0
vsize: 39080
[startup+109.997 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 9579 0 0 0 10970 31 0 0 25 0 1 0 453436573 40017920 9575 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9770 9575 231 231 0 9539 0
vsize: 39080
[startup+119.997 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 10200 0 0 0 11969 32 0 0 25 0 1 0 453436573 73572352 10196 4294967295 134512640 135450300 3221224624 3221223104 134580035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17962 10196 231 231 0 17731 0
vsize: 71848
[startup+129.997 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 10647 0 0 0 12968 33 0 0 25 0 1 0 453436573 73572352 10643 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17962 10643 231 231 0 17731 0
vsize: 71848
[startup+139.997 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 11348 0 0 0 13967 35 0 0 25 0 1 0 453436573 73572352 11344 4294967295 134512640 135450300 3221224624 3221223344 134535540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17962 11344 231 231 0 17731 0
vsize: 71848
[startup+149.997 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 11891 0 0 0 14967 36 0 0 25 0 1 0 453436573 73572352 11887 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17962 11887 231 231 0 17731 0
vsize: 71848
[startup+159.996 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 12414 0 0 0 15966 37 0 0 25 0 1 0 453436573 73711616 12410 4294967295 134512640 135450300 3221224624 3221223344 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17996 12410 231 231 0 17765 0
vsize: 71984
[startup+169.995 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 12967 0 0 0 16964 39 0 0 25 0 1 0 453436573 73711616 12963 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17996 12963 231 231 0 17765 0
vsize: 71984
[startup+179.994 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 13447 0 0 0 17962 41 0 0 25 0 1 0 453436573 73711616 13443 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17996 13443 231 231 0 17765 0
vsize: 71984
[startup+189.994 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 14046 0 0 0 18961 42 0 0 25 0 1 0 453436573 73711616 14042 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17996 14042 231 231 0 17765 0
vsize: 71984
[startup+199.994 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 14523 0 0 0 19960 44 0 0 25 0 1 0 453436573 73711616 14519 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17996 14519 231 231 0 17765 0
vsize: 71984
[startup+209.993 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 14919 0 0 0 20959 45 0 0 25 0 1 0 453436573 73908224 14866 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18044 14866 231 231 0 17813 0
vsize: 72176
[startup+219.993 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 15343 0 0 0 21959 45 0 0 25 0 1 0 453436573 74055680 15290 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18080 15290 231 231 0 17849 0
vsize: 72320
[startup+229.992 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 15694 0 0 0 22958 47 0 0 25 0 1 0 453436573 74203136 15641 4294967295 134512640 135450300 3221224624 3221223440 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18116 15641 231 231 0 17885 0
vsize: 72464
[startup+239.991 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 15730 0 0 0 23958 47 0 0 25 0 1 0 453436573 74350592 15677 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18152 15677 231 231 0 17921 0
vsize: 72608
[startup+249.99 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 16025 0 0 0 24957 48 0 0 25 0 1 0 453436573 74350592 15972 4294967295 134512640 135450300 3221224624 3221223416 134535393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18152 15972 231 231 0 17921 0
vsize: 72608
[startup+259.99 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 16748 0 0 0 25956 50 0 0 25 0 1 0 453436573 75186176 16695 4294967295 134512640 135450300 3221224624 3221222928 134844364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18356 16695 231 231 0 18125 0
vsize: 73424
[startup+269.99 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 17490 0 0 0 26954 51 0 0 25 0 1 0 453436573 75186176 17437 4294967295 134512640 135450300 3221224624 3221223412 134535396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18356 17437 231 231 0 18125 0
vsize: 73424
[startup+279.989 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 18121 0 0 0 27954 52 0 0 25 0 1 0 453436573 75321344 18068 4294967295 134512640 135450300 3221224624 3221223344 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18389 18068 231 231 0 18158 0
vsize: 73556
[startup+289.989 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 18733 0 0 0 28951 55 0 0 25 0 1 0 453436573 142712832 18680 4294967295 134512640 135450300 3221224624 3221223440 134547886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34842 18680 231 231 0 34611 0
vsize: 139368
[startup+299.988 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 19402 0 0 0 29949 57 0 0 25 0 1 0 453436573 142712832 19349 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34842 19349 231 231 0 34611 0
vsize: 139368
[startup+309.987 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 20113 0 0 0 30948 58 0 0 25 0 1 0 453436573 144359424 20060 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35244 20060 231 231 0 35013 0
vsize: 140976
[startup+319.987 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 20878 0 0 0 31947 60 0 0 25 0 1 0 453436573 144359424 20825 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35244 20825 231 231 0 35013 0
vsize: 140976
[startup+329.986 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 21495 0 0 0 32946 62 0 0 25 0 1 0 453436573 144359424 21442 4294967295 134512640 135450300 3221224624 3221223088 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35244 21442 231 231 0 35013 0
vsize: 140976
[startup+339.986 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 22082 0 0 0 33945 63 0 0 25 0 1 0 453436573 144498688 22029 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35278 22029 231 231 0 35047 0
vsize: 141112
[startup+349.985 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 22842 0 0 0 34942 66 0 0 25 0 1 0 453436573 144498688 22789 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35278 22789 231 231 0 35047 0
vsize: 141112
[startup+359.985 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 23178 0 0 0 35942 67 0 0 25 0 1 0 453436573 144932864 23125 4294967295 134512640 135450300 3221224624 3221223344 134535573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35384 23125 231 231 0 35153 0
vsize: 141536
[startup+369.984 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 23180 0 0 0 36942 67 0 0 25 0 1 0 453436573 144932864 23127 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35384 23127 231 231 0 35153 0
vsize: 141536
[startup+379.984 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 23639 0 0 0 37940 68 0 0 25 0 1 0 453436573 144932864 23586 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35384 23586 231 231 0 35153 0
vsize: 141536
[startup+389.983 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 24405 0 0 0 38939 70 0 0 25 0 1 0 453436573 146079744 24352 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35664 24352 231 231 0 35433 0
vsize: 142656
[startup+399.984 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 25068 0 0 0 39938 72 0 0 25 0 1 0 453436573 146079744 25015 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35664 25015 231 231 0 35433 0
vsize: 142656
[startup+409.983 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 25506 0 0 0 40937 72 0 0 25 0 1 0 453436573 146227200 25453 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35700 25453 231 231 0 35469 0
vsize: 142800
[startup+419.982 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 26183 0 0 0 41936 74 0 0 25 0 1 0 453436573 146227200 26130 4294967295 134512640 135450300 3221224624 3221223344 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35700 26130 231 231 0 35469 0
vsize: 142800
[startup+429.982 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 26771 0 0 0 42935 76 0 0 25 0 1 0 453436573 146227200 26718 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35700 26718 231 231 0 35469 0
vsize: 142800
[startup+439.981 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 27638 0 0 0 43933 78 0 0 25 0 1 0 453436573 147881984 27585 4294967295 134512640 135450300 3221224624 3221223404 134535630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36104 27585 231 231 0 35873 0
vsize: 144416
[startup+449.981 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 28352 0 0 0 44931 80 0 0 25 0 1 0 453436573 147881984 28299 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36104 28299 231 231 0 35873 0
vsize: 144416
[startup+459.98 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 29153 0 0 0 45929 82 0 0 25 0 1 0 453436573 149831680 29100 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36580 29100 231 231 0 36349 0
vsize: 146320
[startup+469.981 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 29885 0 0 0 46929 83 0 0 25 0 1 0 453436573 149831680 29832 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36580 29832 231 231 0 36349 0
vsize: 146320
[startup+479.98 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 30509 0 0 0 47928 84 0 0 25 0 1 0 453436573 149831680 30456 4294967295 134512640 135450300 3221224624 3221223100 134572076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36580 30456 231 231 0 36349 0
vsize: 146320
[startup+489.979 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 30770 0 0 0 48927 85 0 0 25 0 1 0 453436573 149831680 30717 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36580 30717 231 231 0 36349 0
vsize: 146320
[startup+499.979 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 30836 0 0 0 49928 85 0 0 25 0 1 0 453436573 150282240 30783 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36690 30783 231 231 0 36459 0
vsize: 146760
[startup+509.979 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 30838 0 0 0 50928 85 0 0 25 0 1 0 453436573 150282240 30785 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36690 30785 231 231 0 36459 0
vsize: 146760
[startup+519.978 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 31266 0 0 0 51927 86 0 0 25 0 1 0 453436573 152166400 31116 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37150 31116 231 231 0 36919 0
vsize: 148600
[startup+529.977 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 31268 0 0 0 52927 86 0 0 25 0 1 0 453436573 152166400 31118 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37150 31118 231 231 0 36919 0
vsize: 148600
[startup+539.978 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 31269 0 0 0 53927 86 0 0 25 0 1 0 453436573 152166400 31119 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37150 31119 231 231 0 36919 0
vsize: 148600
[startup+549.977 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 31703 0 0 0 54927 87 0 0 25 0 1 0 453436573 152788992 31553 4294967295 134512640 135450300 3221224624 3221223440 134547152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37302 31553 231 231 0 37071 0
vsize: 149208
[startup+559.976 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 32354 0 0 0 55925 89 0 0 25 0 1 0 453436573 152788992 32204 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37302 32204 231 231 0 37071 0
vsize: 149208
[startup+569.976 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 32852 0 0 0 56924 90 0 0 25 0 1 0 453436573 153550848 32702 4294967295 134512640 135450300 3221224624 3221223152 134544615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37488 32702 231 231 0 37257 0
vsize: 149952
[startup+579.975 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 33566 0 0 0 57923 92 0 0 25 0 1 0 453436573 153550848 33416 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37488 33416 231 231 0 37257 0
vsize: 149952
[startup+589.974 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 34119 0 0 0 58922 93 0 0 25 0 1 0 453436573 153550848 33969 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37488 33969 231 231 0 37257 0
vsize: 149952
[startup+599.973 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 34518 0 0 0 59922 93 0 0 25 0 1 0 453436573 153714688 34368 4294967295 134512640 135450300 3221224624 3221223456 134549498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37528 34368 231 231 0 37297 0
vsize: 150112
[startup+609.974 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 35287 0 0 0 60920 96 0 0 25 0 1 0 453436573 153862144 35137 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37564 35137 231 231 0 37333 0
vsize: 150256
[startup+619.973 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 35843 0 0 0 61918 97 0 0 25 0 1 0 453436573 153862144 35693 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37564 35693 231 231 0 37333 0
vsize: 150256
[startup+629.973 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 35926 0 0 0 62918 98 0 0 25 0 1 0 453436573 154189824 35776 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37644 35776 231 231 0 37413 0
vsize: 150576
[startup+639.973 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 35927 0 0 0 63918 98 0 0 25 0 1 0 453436573 154189824 35777 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37644 35777 231 231 0 37413 0
vsize: 150576
[startup+649.972 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 35929 0 0 0 64918 98 0 0 25 0 1 0 453436573 154189824 35779 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37644 35779 231 231 0 37413 0
vsize: 150576
[startup+659.971 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 35984 0 0 0 65918 99 0 0 25 0 1 0 453436573 154476544 35834 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37714 35834 231 231 0 37483 0
vsize: 150856
[startup+669.971 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 35987 0 0 0 66919 99 0 0 25 0 1 0 453436573 154476544 35837 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37714 35837 231 231 0 37483 0
vsize: 150856
[startup+679.971 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 36173 0 0 0 67919 99 0 0 25 0 1 0 453436573 155394048 36023 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37938 36023 231 231 0 37707 0
vsize: 151752
[startup+689.971 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 36174 0 0 0 68919 99 0 0 25 0 1 0 453436573 155394048 36024 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37938 36024 231 231 0 37707 0
vsize: 151752
[startup+699.97 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 36176 0 0 0 69919 99 0 0 25 0 1 0 453436573 155394048 36026 4294967295 134512640 135450300 3221224624 3221223344 134536046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37938 36026 231 231 0 37707 0
vsize: 151752
[startup+709.97 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 36221 0 0 0 70920 99 0 0 25 0 1 0 453436573 155557888 36071 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37978 36071 231 231 0 37747 0
vsize: 151912
[startup+719.969 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 36223 0 0 0 71920 99 0 0 25 0 1 0 453436573 155557888 36073 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37978 36073 231 231 0 37747 0
vsize: 151912
[startup+729.968 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 36224 0 0 0 72920 99 0 0 25 0 1 0 453436573 155557888 36074 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37978 36074 231 231 0 37747 0
vsize: 151912
[startup+739.968 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 36635 0 0 0 73919 100 0 0 25 0 1 0 453436573 155721728 36485 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38018 36485 231 231 0 37787 0
vsize: 152072
[startup+749.968 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 37275 0 0 0 74918 101 0 0 25 0 1 0 453436573 155721728 37125 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38018 37125 231 231 0 37787 0
vsize: 152072
[startup+759.967 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 37617 0 0 0 75918 102 0 0 25 0 1 0 453436573 289939456 37467 4294967295 134512640 135450300 3221224624 3221223536 134597075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70786 37467 231 231 0 70555 0
vsize: 283144
[startup+769.967 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 37838 0 0 0 76917 103 0 0 25 0 1 0 453436573 290988032 37688 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71042 37688 231 231 0 70811 0
vsize: 284168
[startup+779.967 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 37840 0 0 0 77918 103 0 0 25 0 1 0 453436573 290988032 37690 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71042 37690 231 231 0 70811 0
vsize: 284168
[startup+789.967 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 37955 0 0 0 78918 103 0 0 25 0 1 0 453436573 291430400 37805 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71150 37805 231 231 0 70919 0
vsize: 284600
[startup+799.967 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 38592 0 0 0 79916 105 0 0 25 0 1 0 453436573 291430400 38442 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71150 38442 231 231 0 70919 0
vsize: 284600
[startup+809.967 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 39177 0 0 0 80915 107 0 0 25 0 1 0 453436573 291430400 39027 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71150 39027 231 231 0 70919 0
vsize: 284600
[startup+819.967 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 39617 0 0 0 81914 108 0 0 25 0 1 0 453436573 291889152 39467 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71262 39467 231 231 0 71031 0
vsize: 285048
[startup+829.967 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 40316 0 0 0 82913 110 0 0 25 0 1 0 453436573 291889152 40166 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71262 40166 231 231 0 71031 0
vsize: 285048
[startup+839.966 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 40708 0 0 0 83912 111 0 0 25 0 1 0 453436573 291889152 40558 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71262 40558 231 231 0 71031 0
vsize: 285048
[startup+849.967 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 41620 0 0 0 84910 113 0 0 25 0 1 0 453436573 293199872 41470 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71582 41470 231 231 0 71351 0
vsize: 286328
[startup+859.967 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 42263 0 0 0 85908 115 0 0 25 0 1 0 453436573 293199872 42113 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71582 42113 231 231 0 71351 0
vsize: 286328
[startup+869.967 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 42687 0 0 0 86908 116 0 0 25 0 1 0 453436573 293199872 42537 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71582 42537 231 231 0 71351 0
vsize: 286328
[startup+879.966 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 43331 0 0 0 87906 117 0 0 25 0 1 0 453436573 293855232 43181 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71742 43181 231 231 0 71511 0
vsize: 286968
[startup+889.966 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 43933 0 0 0 88905 119 0 0 25 0 1 0 453436573 293855232 43783 4294967295 134512640 135450300 3221224624 3221223008 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71742 43783 231 231 0 71511 0
vsize: 286968
[startup+899.965 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44174 0 0 0 89905 119 0 0 25 0 1 0 453436573 293855232 44024 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71742 44024 231 231 0 71511 0
vsize: 286968
[startup+909.965 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44513 0 0 0 90904 120 0 0 25 0 1 0 453436573 295247872 44363 4294967295 134512640 135450300 3221224624 3221222928 134844226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72082 44363 231 231 0 71851 0
vsize: 288328
[startup+919.965 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44514 0 0 0 91904 120 0 0 25 0 1 0 453436573 295247872 44364 4294967295 134512640 135450300 3221224624 3221223344 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72082 44364 231 231 0 71851 0
vsize: 288328
[startup+929.964 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44515 0 0 0 92905 120 0 0 25 0 1 0 453436573 295247872 44365 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72082 44365 231 231 0 71851 0
vsize: 288328
[startup+939.964 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44557 0 0 0 93905 121 0 0 25 0 1 0 453436573 295559168 44407 4294967295 134512640 135450300 3221224624 3221223456 134549462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72158 44407 231 231 0 71927 0
vsize: 288632
[startup+949.964 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44559 0 0 0 94905 121 0 0 25 0 1 0 453436573 295559168 44409 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72158 44409 231 231 0 71927 0
vsize: 288632
[startup+959.964 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44634 0 0 0 95905 121 0 0 25 0 1 0 453436573 295854080 44484 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72230 44484 231 231 0 71999 0
vsize: 288920
[startup+969.963 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44636 0 0 0 96905 121 0 0 25 0 1 0 453436573 295854080 44486 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72230 44486 231 231 0 71999 0
vsize: 288920
[startup+979.963 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44637 0 0 0 97906 121 0 0 25 0 1 0 453436573 295854080 44487 4294967295 134512640 135450300 3221224624 3221223344 134535509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72230 44487 231 231 0 71999 0
vsize: 288920
[startup+989.963 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44670 0 0 0 98906 121 0 0 25 0 1 0 453436573 295854080 44520 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72230 44520 231 231 0 71999 0
vsize: 288920
[startup+999.963 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44672 0 0 0 99906 121 0 0 25 0 1 0 453436573 295854080 44522 4294967295 134512640 135450300 3221224624 3221223344 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72230 44522 231 231 0 71999 0
vsize: 288920
[startup+1009.96 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44674 0 0 0 100906 122 0 0 25 0 1 0 453436573 295854080 44524 4294967295 134512640 135450300 3221224624 3221223104 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72230 44524 231 231 0 71999 0
vsize: 288920
[startup+1019.96 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 44912 0 0 0 101906 122 0 0 25 0 1 0 453436573 296480768 44762 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72383 44762 231 231 0 72152 0
vsize: 289532
[startup+1029.96 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 45583 0 0 0 102903 125 0 0 25 0 1 0 453436573 296480768 45433 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72383 45433 231 231 0 72152 0
vsize: 289532
[startup+1039.96 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46029 0 0 0 103902 126 0 0 25 0 1 0 453436573 296480768 45879 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72383 45879 231 231 0 72152 0
vsize: 289532
[startup+1049.96 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46246 0 0 0 104902 127 0 0 25 0 1 0 453436573 297299968 46096 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72583 46096 231 231 0 72352 0
vsize: 290332
[startup+1059.96 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46248 0 0 0 105903 127 0 0 25 0 1 0 453436573 297299968 46098 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72583 46098 231 231 0 72352 0
vsize: 290332
[startup+1069.96 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46249 0 0 0 106903 127 0 0 25 0 1 0 453436573 297299968 46099 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72583 46099 231 231 0 72352 0
vsize: 290332
[startup+1079.96 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46329 0 0 0 107903 127 0 0 25 0 1 0 453436573 297799680 46179 4294967295 134512640 135450300 3221224624 3221223440 134547873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72705 46179 231 231 0 72474 0
vsize: 290820
[startup+1089.96 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46331 0 0 0 108903 127 0 0 25 0 1 0 453436573 297799680 46181 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72705 46181 231 231 0 72474 0
vsize: 290820
[startup+1099.96 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46332 0 0 0 109903 127 0 0 25 0 1 0 453436573 297799680 46182 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72705 46182 231 231 0 72474 0
vsize: 290820
[startup+1109.96 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46438 0 0 0 110903 128 0 0 25 0 1 0 453436573 298389504 46288 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72849 46288 231 231 0 72618 0
vsize: 291396
[startup+1119.96 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46440 0 0 0 111904 128 0 0 25 0 1 0 453436573 298389504 46290 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72849 46290 231 231 0 72618 0
vsize: 291396
[startup+1129.96 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46441 0 0 0 112904 128 0 0 25 0 1 0 453436573 298389504 46291 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72849 46291 231 231 0 72618 0
vsize: 291396
[startup+1139.96 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46567 0 0 0 113904 128 0 0 25 0 1 0 453436573 298889216 46417 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72971 46417 231 231 0 72740 0
vsize: 291884
[startup+1149.96 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46569 0 0 0 114904 129 0 0 25 0 1 0 453436573 298889216 46419 4294967295 134512640 135450300 3221224624 3221223152 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72971 46419 231 231 0 72740 0
vsize: 291884
[startup+1159.96 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 46586 0 0 0 115904 129 0 0 25 0 1 0 453436573 298889216 46436 4294967295 134512640 135450300 3221224624 3221223456 134549543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72971 46436 231 231 0 72740 0
vsize: 291884
[startup+1169.96 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 47450 0 0 0 116902 131 0 0 25 0 1 0 453436573 300036096 47107 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73251 47107 231 231 0 73020 0
vsize: 293004
[startup+1179.96 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 48045 0 0 0 117901 132 0 0 25 0 1 0 453436573 300036096 47702 4294967295 134512640 135450300 3221224624 3221223152 134545084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73251 47702 231 231 0 73020 0
vsize: 293004
[startup+1189.96 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 48312 0 0 0 118900 133 0 0 25 0 1 0 453436573 300036096 47969 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73251 47969 231 231 0 73020 0
vsize: 293004
[startup+1199.96 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 20476
Raw data (stat): 20476 (PBS4) R 20475 29653 29652 0 -1 0 48421 0 0 0 119900 134 0 0 25 0 1 0 453436573 300802048 48078 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73438 48078 231 231 0 73207 0
vsize: 293752
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 20476
Raw data (stat): 20476 (PBS4) Z 20475 29653 29652 0 -1 1036 48421 0 0 0 119900 143 0 0 25 0 1 0 453436573 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.06
CPU time (s): 1200.44
CPU user time (s): 1199.01
CPU system time (s): 1.43078
CPU usage (%): 100.032
Max. virtual memory (Kb): 293752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####