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_39_sat_pb.cnf.cr.opb
MD5SUM	b0b9c98556325dcf5a5811fc2d17a816
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	4.5833
Number of variables	2340
Total number of constraints	1678
Number of constraints which are clauses	1599
Number of constraints which are cardinality constraints (but not clauses)	79
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 7673

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-17 15:38:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=474 boxname=wulflinc24 idbench=53 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b0b9c98556325dcf5a5811fc2d17a816  /oldhome/oroussel/tmp/wulflinc24/normalized-fpga40_39_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-fpga40_39_sat_pb.cnf.cr.opb
IDLAUNCH: 474
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        800256 kB
Buffers:         36856 kB
Cached:         154136 kB
SwapCached:       3828 kB
Active:          69200 kB
Inactive:       128464 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        799976 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            31288 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:58:46 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 474 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-fpga40_39_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 21861
Raw data (stat): 21861 (runsolver) R 21860 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511654788 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.0008 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 1495 0 0 0 991 8 0 0 25 0 1 0 511654788 10919936 1491 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2666 1491 231 231 0 2435 0
vsize: 10664
[startup+20.0015 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 2559 0 0 0 1987 11 0 0 25 0 1 0 511654788 11325440 2555 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2765 2555 231 231 0 2534 0
vsize: 11060
[startup+30.0021 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 3682 0 0 0 2984 15 0 0 25 0 1 0 511654788 19849216 3678 4294967295 134512640 135450300 3221224624 3221223008 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4846 3678 231 231 0 4615 0
vsize: 19384
[startup+40.0027 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 4753 0 0 0 3980 19 0 0 25 0 1 0 511654788 20389888 4749 4294967295 134512640 135450300 3221224624 3221223088 134532747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4978 4749 231 231 0 4747 0
vsize: 19912
[startup+50.0035 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 5798 0 0 0 4977 22 0 0 25 0 1 0 511654788 37638144 5794 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9189 5794 231 231 0 8958 0
vsize: 36756
[startup+60.0073 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 6878 0 0 0 5973 27 0 0 25 0 1 0 511654788 38043648 6874 4294967295 134512640 135450300 3221224624 3221223344 134535979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9288 6874 231 231 0 9057 0
vsize: 37152
[startup+70.0148 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 7914 0 0 0 6969 31 0 0 25 0 1 0 511654788 38588416 7910 4294967295 134512640 135450300 3221224624 3221223008 134579390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9421 7910 231 231 0 9190 0
vsize: 37684
[startup+80.015 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 8852 0 0 0 7966 34 0 0 25 0 1 0 511654788 38723584 8848 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9454 8848 231 231 0 9223 0
vsize: 37816
[startup+90.0151 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 9733 0 0 0 8961 39 0 0 25 0 1 0 511654788 72822784 9729 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17779 9729 231 231 0 17548 0
vsize: 71116
[startup+100.015 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 10638 0 0 0 9959 41 0 0 25 0 1 0 511654788 72822784 10634 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17779 10634 231 231 0 17548 0
vsize: 71116
[startup+110.016 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 11352 0 0 0 10956 44 0 0 25 0 1 0 511654788 72822784 11348 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17779 11348 231 231 0 17548 0
vsize: 71116
[startup+120.016 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 11991 0 0 0 11954 46 0 0 25 0 1 0 511654788 73019392 11938 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17827 11938 231 231 0 17596 0
vsize: 71308
[startup+130.016 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 12295 0 0 0 12952 48 0 0 25 0 1 0 511654788 73154560 12242 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17860 12242 231 231 0 17629 0
vsize: 71440
[startup+140.016 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 12298 0 0 0 13952 49 0 0 25 0 1 0 511654788 73154560 12245 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17860 12245 231 231 0 17629 0
vsize: 71440
[startup+150.016 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 12309 0 0 0 14951 49 0 0 25 0 1 0 511654788 73154560 12256 4294967295 134512640 135450300 3221224624 3221223440 134547902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17860 12256 231 231 0 17629 0
vsize: 71440
[startup+160.017 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 12311 0 0 0 15951 50 0 0 25 0 1 0 511654788 73154560 12258 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17860 12258 231 231 0 17629 0
vsize: 71440
[startup+170.017 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 12574 0 0 0 16950 51 0 0 25 0 1 0 511654788 73273344 12521 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17889 12521 231 231 0 17658 0
vsize: 71556
[startup+180.017 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 13504 0 0 0 17947 54 0 0 25 0 1 0 511654788 74231808 13451 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18123 13451 231 231 0 17892 0
vsize: 72492
[startup+190.018 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14292 0 0 0 18942 59 0 0 25 0 1 0 511654788 74637312 14239 4294967295 134512640 135450300 3221224624 3221223344 134535548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18222 14239 231 231 0 17991 0
vsize: 72888
[startup+200.018 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14379 0 0 0 19926 75 0 0 25 0 1 0 511654788 74940416 14326 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18296 14326 231 231 0 18065 0
vsize: 73184
[startup+210.019 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14448 0 0 0 20915 87 0 0 25 0 1 0 511654788 75210752 14395 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18362 14395 231 231 0 18131 0
vsize: 73448
[startup+220.02 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14484 0 0 0 21910 91 0 0 25 0 1 0 511654788 75345920 14431 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18395 14431 231 231 0 18164 0
vsize: 73580
[startup+230.019 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14525 0 0 0 22907 94 0 0 25 0 1 0 511654788 75472896 14472 4294967295 134512640 135450300 3221224624 3221223344 134536025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18426 14472 231 231 0 18195 0
vsize: 73704
[startup+240.02 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14624 0 0 0 23907 95 0 0 25 0 1 0 511654788 75866112 14474 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18522 14474 231 231 0 18291 0
vsize: 74088
[startup+250.02 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14633 0 0 0 24906 96 0 0 25 0 1 0 511654788 75866112 14483 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18522 14483 231 231 0 18291 0
vsize: 74088
[startup+260.02 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14641 0 0 0 25906 96 0 0 25 0 1 0 511654788 75866112 14491 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18522 14491 231 231 0 18291 0
vsize: 74088
[startup+270.021 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14643 0 0 0 26906 96 0 0 25 0 1 0 511654788 75866112 14493 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18522 14493 231 231 0 18291 0
vsize: 74088
[startup+280.021 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14657 0 0 0 27906 96 0 0 25 0 1 0 511654788 76001280 14507 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18555 14507 231 231 0 18324 0
vsize: 74220
[startup+290.02 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14661 0 0 0 28906 97 0 0 25 0 1 0 511654788 76001280 14511 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18555 14511 231 231 0 18324 0
vsize: 74220
[startup+300.02 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14666 0 0 0 29906 97 0 0 25 0 1 0 511654788 76001280 14516 4294967295 134512640 135450300 3221224624 3221223440 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18555 14516 231 231 0 18324 0
vsize: 74220
[startup+310.021 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14735 0 0 0 30906 97 0 0 25 0 1 0 511654788 76275712 14585 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18622 14585 231 231 0 18391 0
vsize: 74488
[startup+320.02 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14737 0 0 0 31906 97 0 0 25 0 1 0 511654788 76275712 14587 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18622 14587 231 231 0 18391 0
vsize: 74488
[startup+330.02 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14810 0 0 0 32905 98 0 0 25 0 1 0 511654788 76546048 14660 4294967295 134512640 135450300 3221224624 3221223440 134547900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18688 14660 231 231 0 18457 0
vsize: 74752
[startup+340.021 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14814 0 0 0 33906 98 0 0 25 0 1 0 511654788 76546048 14664 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18688 14664 231 231 0 18457 0
vsize: 74752
[startup+350.02 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14828 0 0 0 34905 98 0 0 25 0 1 0 511654788 76546048 14678 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18688 14678 231 231 0 18457 0
vsize: 74752
[startup+360.02 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14830 0 0 0 35906 98 0 0 25 0 1 0 511654788 76546048 14680 4294967295 134512640 135450300 3221224624 3221223008 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18688 14680 231 231 0 18457 0
vsize: 74752
[startup+370.02 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14860 0 0 0 36905 98 0 0 25 0 1 0 511654788 76664832 14710 4294967295 134512640 135450300 3221224624 3221223088 134532715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18717 14710 231 231 0 18486 0
vsize: 74868
[startup+380.019 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14862 0 0 0 37905 99 0 0 25 0 1 0 511654788 76664832 14712 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18717 14712 231 231 0 18486 0
vsize: 74868
[startup+390.02 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14884 0 0 0 38905 99 0 0 25 0 1 0 511654788 76804096 14734 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18751 14734 231 231 0 18520 0
vsize: 75004
[startup+400.02 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14886 0 0 0 39905 99 0 0 25 0 1 0 511654788 76804096 14736 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18751 14736 231 231 0 18520 0
vsize: 75004
[startup+410.02 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 14928 0 0 0 40905 99 0 0 25 0 1 0 511654788 76939264 14778 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18784 14778 231 231 0 18553 0
vsize: 75136
[startup+420.02 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 15640 0 0 0 41903 101 0 0 25 0 1 0 511654788 76939264 15490 4294967295 134512640 135450300 3221224624 3221223344 134535512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18784 15490 231 231 0 18553 0
vsize: 75136
[startup+430.02 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 16237 0 0 0 42902 103 0 0 25 0 1 0 511654788 76939264 16087 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18784 16087 231 231 0 18553 0
vsize: 75136
[startup+440.02 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 16451 0 0 0 43902 104 0 0 25 0 1 0 511654788 77078528 16301 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18818 16301 231 231 0 18587 0
vsize: 75272
[startup+450.02 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 16453 0 0 0 44902 104 0 0 25 0 1 0 511654788 77078528 16303 4294967295 134512640 135450300 3221224624 3221223008 134602255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18818 16303 231 231 0 18587 0
vsize: 75272
[startup+460.021 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 16607 0 0 0 45902 104 0 0 25 0 1 0 511654788 77783040 16457 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18990 16457 231 231 0 18759 0
vsize: 75960
[startup+470.02 s]
Raw data (loadavg): 1.07 0.80 0.39 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 16608 0 0 0 46901 104 0 0 25 0 1 0 511654788 77783040 16458 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18990 16458 231 231 0 18759 0
vsize: 75960
[startup+480.02 s]
Raw data (loadavg): 1.06 0.81 0.39 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 17069 0 0 0 47900 106 0 0 25 0 1 0 511654788 77783040 16919 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18990 16919 231 231 0 18759 0
vsize: 75960
[startup+490.02 s]
Raw data (loadavg): 1.05 0.81 0.40 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 17614 0 0 0 48899 107 0 0 25 0 1 0 511654788 78069760 17464 4294967295 134512640 135450300 3221224624 3221223344 134535557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19060 17464 231 231 0 18829 0
vsize: 76240
[startup+500.019 s]
Raw data (loadavg): 1.04 0.82 0.40 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 18278 0 0 0 49897 109 0 0 25 0 1 0 511654788 78069760 18128 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19060 18128 231 231 0 18829 0
vsize: 76240
[startup+510.02 s]
Raw data (loadavg): 1.04 0.82 0.41 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 18771 0 0 0 50897 109 0 0 25 0 1 0 511654788 78069760 18621 4294967295 134512640 135450300 3221224624 3221223440 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19060 18621 231 231 0 18829 0
vsize: 76240
[startup+520.02 s]
Raw data (loadavg): 1.03 0.83 0.42 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 19491 0 0 0 51894 113 0 0 25 0 1 0 511654788 145453056 19341 4294967295 134512640 135450300 3221224624 3221223104 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35511 19341 231 231 0 35280 0
vsize: 142044
[startup+530.019 s]
Raw data (loadavg): 1.03 0.83 0.42 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 20140 0 0 0 52893 114 0 0 25 0 1 0 511654788 145453056 19990 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35511 19990 231 231 0 35280 0
vsize: 142044
[startup+540.019 s]
Raw data (loadavg): 1.02 0.84 0.43 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 20947 0 0 0 53891 116 0 0 25 0 1 0 511654788 146599936 20797 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35791 20797 231 231 0 35560 0
vsize: 143164
[startup+550.019 s]
Raw data (loadavg): 1.02 0.84 0.43 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 21648 0 0 0 54889 118 0 0 25 0 1 0 511654788 146599936 21498 4294967295 134512640 135450300 3221224624 3221223344 134535555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35791 21498 231 231 0 35560 0
vsize: 143164
[startup+560.019 s]
Raw data (loadavg): 1.01 0.85 0.44 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 22150 0 0 0 55889 119 0 0 25 0 1 0 511654788 146599936 22000 4294967295 134512640 135450300 3221224624 3221223440 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35791 22000 231 231 0 35560 0
vsize: 143164
[startup+570.019 s]
Raw data (loadavg): 1.01 0.85 0.45 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 22203 0 0 0 56888 119 0 0 25 0 1 0 511654788 146747392 22053 4294967295 134512640 135450300 3221224624 3221223344 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35827 22053 231 231 0 35596 0
vsize: 143308
[startup+580.019 s]
Raw data (loadavg): 1.01 0.86 0.45 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 22205 0 0 0 57888 119 0 0 25 0 1 0 511654788 146747392 22055 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35827 22055 231 231 0 35596 0
vsize: 143308
[startup+590.019 s]
Raw data (loadavg): 1.01 0.86 0.46 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 22399 0 0 0 58888 119 0 0 25 0 1 0 511654788 147767296 22249 4294967295 134512640 135450300 3221224624 3221223344 134536040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36076 22249 231 231 0 35845 0
vsize: 144304
[startup+600.019 s]
Raw data (loadavg): 1.01 0.87 0.46 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 22720 0 0 0 59887 121 0 0 25 0 1 0 511654788 147767296 22570 4294967295 134512640 135450300 3221224624 3221223440 134547171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36076 22570 231 231 0 35845 0
vsize: 144304
[startup+610.02 s]
Raw data (loadavg): 1.00 0.87 0.47 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 23333 0 0 0 60885 123 0 0 25 0 1 0 511654788 147767296 23183 4294967295 134512640 135450300 3221224624 3221223440 134547853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36076 23183 231 231 0 35845 0
vsize: 144304
[startup+620.019 s]
Raw data (loadavg): 1.00 0.87 0.47 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 23787 0 0 0 61884 124 0 0 25 0 1 0 511654788 147931136 23637 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36116 23637 231 231 0 35885 0
vsize: 144464
[startup+630.019 s]
Raw data (loadavg): 1.00 0.88 0.48 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 24456 0 0 0 62883 125 0 0 25 0 1 0 511654788 147931136 24306 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36116 24306 231 231 0 35885 0
vsize: 144464
[startup+640.019 s]
Raw data (loadavg): 1.00 0.88 0.48 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 24968 0 0 0 63882 127 0 0 25 0 1 0 511654788 147931136 24818 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36116 24818 231 231 0 35885 0
vsize: 144464
[startup+650.018 s]
Raw data (loadavg): 1.00 0.88 0.49 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 25700 0 0 0 64881 128 0 0 25 0 1 0 511654788 148570112 25550 4294967295 134512640 135450300 3221224624 3221223344 134536052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36272 25550 231 231 0 36041 0
vsize: 145088
[startup+660.018 s]
Raw data (loadavg): 1.00 0.89 0.49 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 26307 0 0 0 65879 130 0 0 25 0 1 0 511654788 148570112 26157 4294967295 134512640 135450300 3221224624 3221223088 134532784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36272 26157 231 231 0 36041 0
vsize: 145088
[startup+670.018 s]
Raw data (loadavg): 1.00 0.89 0.50 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 26805 0 0 0 66878 131 0 0 25 0 1 0 511654788 148877312 26655 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36347 26655 231 231 0 36116 0
vsize: 145388
[startup+680.017 s]
Raw data (loadavg): 1.00 0.89 0.50 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 27486 0 0 0 67876 133 0 0 25 0 1 0 511654788 148877312 27336 4294967295 134512640 135450300 3221224624 3221223344 134536040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36347 27336 231 231 0 36116 0
vsize: 145388
[startup+690.018 s]
Raw data (loadavg): 1.00 0.90 0.51 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28090 0 0 0 68876 134 0 0 25 0 1 0 511654788 148877312 27940 4294967295 134512640 135450300 3221224624 3221223360 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36347 27940 231 231 0 36116 0
vsize: 145388
[startup+700.018 s]
Raw data (loadavg): 1.00 0.90 0.51 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28323 0 0 0 69875 134 0 0 25 0 1 0 511654788 149164032 28173 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36417 28173 231 231 0 36186 0
vsize: 145668
[startup+710.018 s]
Raw data (loadavg): 1.00 0.90 0.52 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28325 0 0 0 70876 134 0 0 25 0 1 0 511654788 149164032 28175 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36417 28175 231 231 0 36186 0
vsize: 145668
[startup+720.018 s]
Raw data (loadavg): 1.00 0.90 0.52 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28326 0 0 0 71876 134 0 0 25 0 1 0 511654788 149164032 28176 4294967295 134512640 135450300 3221224624 3221223440 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36417 28176 231 231 0 36186 0
vsize: 145668
[startup+730.018 s]
Raw data (loadavg): 1.00 0.91 0.53 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28411 0 0 0 72876 135 0 0 25 0 1 0 511654788 149598208 28261 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36523 28261 231 231 0 36292 0
vsize: 146092
[startup+740.018 s]
Raw data (loadavg): 1.00 0.91 0.53 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28412 0 0 0 73876 135 0 0 25 0 1 0 511654788 149598208 28262 4294967295 134512640 135450300 3221224624 3221223344 134536011 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36523 28262 231 231 0 36292 0
vsize: 146092
[startup+750.018 s]
Raw data (loadavg): 1.00 0.91 0.54 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28618 0 0 0 74875 135 0 0 25 0 1 0 511654788 150794240 28468 4294967295 134512640 135450300 3221224624 3221223344 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36815 28468 231 231 0 36584 0
vsize: 147260
[startup+760.019 s]
Raw data (loadavg): 1.00 0.91 0.54 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28620 0 0 0 75875 136 0 0 25 0 1 0 511654788 150794240 28470 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36815 28470 231 231 0 36584 0
vsize: 147260
[startup+770.018 s]
Raw data (loadavg): 1.00 0.92 0.54 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28622 0 0 0 76875 136 0 0 25 0 1 0 511654788 150794240 28472 4294967295 134512640 135450300 3221224624 3221223344 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36815 28472 231 231 0 36584 0
vsize: 147260
[startup+780.018 s]
Raw data (loadavg): 1.00 0.92 0.55 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 28667 0 0 0 77875 136 0 0 25 0 1 0 511654788 150958080 28517 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36855 28517 231 231 0 36624 0
vsize: 147420
[startup+790.019 s]
Raw data (loadavg): 1.00 0.92 0.55 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 29315 0 0 0 78874 138 0 0 25 0 1 0 511654788 150958080 29165 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36855 29165 231 231 0 36624 0
vsize: 147420
[startup+800.019 s]
Raw data (loadavg): 1.00 0.92 0.56 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 29719 0 0 0 79873 139 0 0 25 0 1 0 511654788 150958080 29569 4294967295 134512640 135450300 3221224624 3221223456 134549860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36855 29569 231 231 0 36624 0
vsize: 147420
[startup+810.019 s]
Raw data (loadavg): 1.00 0.92 0.56 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 30567 0 0 0 80871 141 0 0 25 0 1 0 511654788 151908352 30224 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37087 30224 231 231 0 36856 0
vsize: 148348
[startup+820.02 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 31153 0 0 0 81870 142 0 0 25 0 1 0 511654788 151908352 30810 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37087 30810 231 231 0 36856 0
vsize: 148348
[startup+830.019 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 31594 0 0 0 82869 143 0 0 25 0 1 0 511654788 151908352 31251 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37087 31251 231 231 0 36856 0
vsize: 148348
[startup+840.02 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 31705 0 0 0 83869 144 0 0 25 0 1 0 511654788 152530944 31362 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37239 31362 231 231 0 37008 0
vsize: 148956
[startup+850.021 s]
Raw data (loadavg): 1.00 0.93 0.58 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 31706 0 0 0 84869 144 0 0 25 0 1 0 511654788 152530944 31363 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37239 31363 231 231 0 37008 0
vsize: 148956
[startup+860.022 s]
Raw data (loadavg): 1.00 0.93 0.58 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 31708 0 0 0 85869 144 0 0 25 0 1 0 511654788 152530944 31365 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37239 31365 231 231 0 37008 0
vsize: 148956
[startup+870.022 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 32209 0 0 0 86867 146 0 0 25 0 1 0 511654788 154939392 31866 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37827 31866 231 231 0 37596 0
vsize: 151308
[startup+880.022 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 32211 0 0 0 87868 146 0 0 25 0 1 0 511654788 154939392 31868 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37827 31868 231 231 0 37596 0
vsize: 151308
[startup+890.022 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 32320 0 0 0 88868 146 0 0 25 0 1 0 511654788 155561984 31977 4294967295 134512640 135450300 3221224624 3221223008 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37979 31977 231 231 0 37748 0
vsize: 151916
[startup+900.022 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 32322 0 0 0 89868 146 0 0 25 0 1 0 511654788 155561984 31979 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37979 31979 231 231 0 37748 0
vsize: 151916
[startup+910.023 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 32853 0 0 0 90867 147 0 0 25 0 1 0 511654788 155561984 32510 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37979 32510 231 231 0 37748 0
vsize: 151916
[startup+920.024 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 33298 0 0 0 91866 148 0 0 25 0 1 0 511654788 155709440 32955 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38015 32955 231 231 0 37784 0
vsize: 152060
[startup+930.023 s]
Raw data (loadavg): 1.00 0.94 0.61 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 33973 0 0 0 92864 150 0 0 25 0 1 0 511654788 155709440 33630 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38015 33630 231 231 0 37784 0
vsize: 152060
[startup+940.024 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 34532 0 0 0 93863 152 0 0 25 0 1 0 511654788 155709440 34189 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38015 34189 231 231 0 37784 0
vsize: 152060
[startup+950.023 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 35092 0 0 0 94862 153 0 0 25 0 1 0 511654788 155992064 34749 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38084 34749 231 231 0 37853 0
vsize: 152336
[startup+960.024 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 35750 0 0 0 95860 155 0 0 25 0 1 0 511654788 155992064 35407 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38084 35407 231 231 0 37853 0
vsize: 152336
[startup+970.024 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36263 0 0 0 96859 156 0 0 25 0 1 0 511654788 155992064 35920 4294967295 134512640 135450300 3221224624 3221223440 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38084 35920 231 231 0 37853 0
vsize: 152336
[startup+980.024 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36325 0 0 0 97859 157 0 0 25 0 1 0 511654788 156286976 35982 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38156 35982 231 231 0 37925 0
vsize: 152624
[startup+990.024 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36327 0 0 0 98858 157 0 0 25 0 1 0 511654788 156286976 35984 4294967295 134512640 135450300 3221224624 3221223420 134535634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38156 35984 231 231 0 37925 0
vsize: 152624
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36328 0 0 0 99858 157 0 0 25 0 1 0 511654788 156286976 35985 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38156 35985 231 231 0 37925 0
vsize: 152624
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36471 0 0 0 100858 158 0 0 25 0 1 0 511654788 156876800 36128 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38300 36128 231 231 0 38069 0
vsize: 153200
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36472 0 0 0 101858 158 0 0 25 0 1 0 511654788 156876800 36129 4294967295 134512640 135450300 3221224624 3221223344 134535509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38300 36129 231 231 0 38069 0
vsize: 153200
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36473 0 0 0 102858 159 0 0 25 0 1 0 511654788 156876800 36130 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38300 36130 231 231 0 38069 0
vsize: 153200
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36501 0 0 0 103858 159 0 0 25 0 1 0 511654788 157024256 36158 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38336 36158 231 231 0 38105 0
vsize: 153344
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36503 0 0 0 104858 159 0 0 25 0 1 0 511654788 157024256 36160 4294967295 134512640 135450300 3221224624 3221223440 134547889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38336 36160 231 231 0 38105 0
vsize: 153344
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 36791 0 0 0 105858 159 0 0 25 0 1 0 511654788 158535680 36448 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38705 36448 231 231 0 38474 0
vsize: 154820
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 37102 0 0 0 106857 160 0 0 25 0 1 0 511654788 158535680 36759 4294967295 134512640 135450300 3221224624 3221223152 134543725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38705 36759 231 231 0 38474 0
vsize: 154820
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 37707 0 0 0 107856 161 0 0 25 0 1 0 511654788 158535680 37364 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38705 37364 231 231 0 38474 0
vsize: 154820
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 38061 0 0 0 108855 162 0 0 25 0 1 0 511654788 158535680 37718 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38705 37718 231 231 0 38474 0
vsize: 154820
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 38784 0 0 0 109853 164 0 0 25 0 1 0 511654788 293064704 38441 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71549 38441 231 231 0 71318 0
vsize: 286196
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39378 0 0 0 110852 166 0 0 25 0 1 0 511654788 293064704 39035 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71549 39035 231 231 0 71318 0
vsize: 286196
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39544 0 0 0 111852 166 0 0 25 0 1 0 511654788 293261312 39201 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71597 39201 231 231 0 71366 0
vsize: 286388
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39546 0 0 0 112852 166 0 0 25 0 1 0 511654788 293261312 39203 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71597 39203 231 231 0 71366 0
vsize: 286388
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39547 0 0 0 113852 167 0 0 25 0 1 0 511654788 293261312 39204 4294967295 134512640 135450300 3221224624 3221223344 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71597 39204 231 231 0 71366 0
vsize: 286388
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39578 0 0 0 114852 167 0 0 25 0 1 0 511654788 293261312 39235 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71597 39235 231 231 0 71366 0
vsize: 286388
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39580 0 0 0 115852 167 0 0 25 0 1 0 511654788 293261312 39237 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71597 39237 231 231 0 71366 0
vsize: 286388
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39582 0 0 0 116852 167 0 0 25 0 1 0 511654788 293261312 39239 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71597 39239 231 231 0 71366 0
vsize: 286388
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39825 0 0 0 117851 169 0 0 25 0 1 0 511654788 294408192 39482 4294967295 134512640 135450300 3221224624 3221223440 134547886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71877 39482 231 231 0 71646 0
vsize: 287508
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39827 0 0 0 118851 169 0 0 25 0 1 0 511654788 294408192 39484 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71877 39484 231 231 0 71646 0
vsize: 287508
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 21861
Raw data (stat): 21861 (PBS4) R 21860 28546 28545 0 -1 0 39828 0 0 0 119851 169 0 0 25 0 1 0 511654788 294408192 39485 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71877 39485 231 231 0 71646 0
vsize: 287508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.69 1/54 21861
Raw data (stat): 21861 (PBS4) Z 21860 28546 28545 0 -1 1036 39828 0 0 0 119851 176 0 0 25 0 1 0 511654788 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.1
CPU time (s): 1200.28
CPU user time (s): 1198.51
CPU system time (s): 1.76873
CPU usage (%): 100.015
Max. virtual memory (Kb): 287508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####