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/manquinho/ttp/normalized-circ6_3.opb
MD5SUM	509cfdb6810b13d9963718243e9046cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	66
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	3
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	324
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	324
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.98
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 7866

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-17 16:43:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2319 boxname=wulflinc12 idbench=258 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  509cfdb6810b13d9963718243e9046cd  /oldhome/oroussel/tmp/wulflinc12/normalized-circ6_3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc12/normalized-circ6_3.opb
IDLAUNCH: 2319
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        863120 kB
Buffers:         37164 kB
Cached:         113576 kB
SwapCached:         16 kB
Active:          75152 kB
Inactive:        78460 kB
HighTotal:      131008 kB
HighFree:        13496 kB
LowTotal:       903652 kB
LowFree:        849624 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12364 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:03:21 (client local time) WITH STATUS 0 IN 1200.51 SECONDS
stats: 2319 7 1200.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc12/normalized-circ6_3.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.92 0.98 0.91 2/54 17819
Raw data (stat): 17819 (runsolver) R 17818 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453821146 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.0008 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 1337 0 0 0 994 5 0 0 25 0 1 0 453821146 6758400 1284 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1650 1284 231 231 0 1419 0
vsize: 6600
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 1752 0 0 0 1991 8 0 0 25 0 1 0 453821146 11358208 1699 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2773 1699 231 231 0 2542 0
vsize: 11092
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 2330 0 0 0 2989 11 0 0 25 0 1 0 453821146 12169216 2180 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2971 2180 231 231 0 2740 0
vsize: 11884
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 2611 0 0 0 3987 13 0 0 25 0 1 0 453821146 12570624 2461 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3069 2461 231 231 0 2838 0
vsize: 12276
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 2972 0 0 0 4985 15 0 0 25 0 1 0 453821146 12865536 2822 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 2822 231 231 0 2910 0
vsize: 12564
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 3244 0 0 0 5983 17 0 0 25 0 1 0 453821146 21540864 3094 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5259 3094 231 231 0 5028 0
vsize: 21036
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 3837 0 0 0 6981 19 0 0 25 0 1 0 453821146 22749184 3494 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5554 3494 231 231 0 5323 0
vsize: 22216
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 4052 0 0 0 7980 21 0 0 25 0 1 0 453821146 23175168 3709 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5658 3709 231 231 0 5427 0
vsize: 22632
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 4276 0 0 0 8979 22 0 0 25 0 1 0 453821146 23322624 3933 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5694 3933 231 231 0 5463 0
vsize: 22776
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 4472 0 0 0 9977 23 0 0 25 0 1 0 453821146 23789568 4129 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5808 4129 231 231 0 5577 0
vsize: 23232
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 4537 0 0 0 10977 24 0 0 25 0 1 0 453821146 23937024 4194 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5844 4194 231 231 0 5613 0
vsize: 23376
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 4772 0 0 0 11976 25 0 0 25 0 1 0 453821146 24084480 4429 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5880 4429 231 231 0 5649 0
vsize: 23520
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 5135 0 0 0 12974 27 0 0 25 0 1 0 453821146 24231936 4792 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5916 4793 231 231 0 5685 0
vsize: 23664
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 5352 0 0 0 13973 28 0 0 25 0 1 0 453821146 24551424 5009 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5994 5009 231 231 0 5763 0
vsize: 23976
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 5415 0 0 0 14972 29 0 0 25 0 1 0 453821146 24698880 5072 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6030 5072 231 231 0 5799 0
vsize: 24120
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 5511 0 0 0 15971 31 0 0 25 0 1 0 453821146 24989696 5168 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6101 5168 231 231 0 5870 0
vsize: 24404
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 5946 0 0 0 16969 33 0 0 25 0 1 0 453821146 26755072 5218 4294967295 134512640 135450300 3221224640 3221223248 134537611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6532 5218 231 231 0 6301 0
vsize: 26128
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 6004 0 0 0 17968 34 0 0 25 0 1 0 453821146 26902528 5276 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6568 5276 231 231 0 6337 0
vsize: 26272
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 6135 0 0 0 18968 35 0 0 25 0 1 0 453821146 27066368 5407 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5407 231 231 0 6377 0
vsize: 26432
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 6512 0 0 0 19966 36 0 0 25 0 1 0 453821146 27377664 5784 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6684 5784 231 231 0 6453 0
vsize: 26736
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 6602 0 0 0 20965 38 0 0 25 0 1 0 453821146 27541504 5874 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5874 231 231 0 6493 0
vsize: 26896
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 6653 0 0 0 21965 38 0 0 25 0 1 0 453821146 27680768 5925 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6758 5925 231 231 0 6527 0
vsize: 27032
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 6864 0 0 0 22964 39 0 0 25 0 1 0 453821146 27983872 6136 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6832 6136 231 231 0 6601 0
vsize: 27328
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 6913 0 0 0 23964 39 0 0 25 0 1 0 453821146 28295168 6185 4294967295 134512640 135450300 3221224640 3221223376 134538764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6908 6185 231 231 0 6677 0
vsize: 27632
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 6958 0 0 0 24964 40 0 0 25 0 1 0 453821146 28295168 6230 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6908 6230 231 231 0 6677 0
vsize: 27632
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7128 0 0 0 25962 41 0 0 25 0 1 0 453821146 28622848 6400 4294967295 134512640 135450300 3221224640 3221223552 134597086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6988 6400 231 231 0 6757 0
vsize: 27952
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7385 0 0 0 26961 43 0 0 25 0 1 0 453821146 45727744 6657 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11164 6657 231 231 0 10933 0
vsize: 44656
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7597 0 0 0 27959 45 0 0 25 0 1 0 453821146 46030848 6869 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11238 6869 231 231 0 11007 0
vsize: 44952
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7642 0 0 0 28959 45 0 0 25 0 1 0 453821146 46194688 6914 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11278 6914 231 231 0 11047 0
vsize: 45112
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7696 0 0 0 29958 46 0 0 25 0 1 0 453821146 46358528 6968 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11318 6968 231 231 0 11087 0
vsize: 45272
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7724 0 0 0 30958 47 0 0 25 0 1 0 453821146 46522368 6996 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11358 6996 231 231 0 11127 0
vsize: 45432
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7766 0 0 0 31957 48 0 0 25 0 1 0 453821146 46657536 7038 4294967295 134512640 135450300 3221224640 3221222992 134533306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11391 7038 231 231 0 11160 0
vsize: 45564
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7824 0 0 0 32956 49 0 0 25 0 1 0 453821146 46821376 7096 4294967295 134512640 135450300 3221224640 3221223376 134538693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11431 7096 231 231 0 11200 0
vsize: 45724
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7864 0 0 0 33956 50 0 0 25 0 1 0 453821146 46993408 7136 4294967295 134512640 135450300 3221224640 3221223504 134539279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11473 7136 231 231 0 11242 0
vsize: 45892
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7892 0 0 0 34955 51 0 0 25 0 1 0 453821146 46993408 7164 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11473 7164 231 231 0 11242 0
vsize: 45892
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 7932 0 0 0 35954 52 0 0 25 0 1 0 453821146 46993408 7204 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11473 7204 231 231 0 11242 0
vsize: 45892
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8093 0 0 0 36952 54 0 0 25 0 1 0 453821146 47157248 7365 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11513 7365 231 231 0 11282 0
vsize: 46052
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8406 0 0 0 37951 55 0 0 25 0 1 0 453821146 47534080 7678 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11605 7678 231 231 0 11374 0
vsize: 46420
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8531 0 0 0 38950 57 0 0 25 0 1 0 453821146 47689728 7803 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11643 7803 231 231 0 11412 0
vsize: 46572
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8558 0 0 0 39949 57 0 0 25 0 1 0 453821146 47689728 7830 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11643 7830 231 231 0 11412 0
vsize: 46572
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8595 0 0 0 40949 58 0 0 25 0 1 0 453821146 47853568 7867 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11683 7867 231 231 0 11452 0
vsize: 46732
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8628 0 0 0 41948 59 0 0 25 0 1 0 453821146 47853568 7900 4294967295 134512640 135450300 3221224640 3221223456 134537251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11683 7900 231 231 0 11452 0
vsize: 46732
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8658 0 0 0 42948 59 0 0 25 0 1 0 453821146 47853568 7930 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11683 7930 231 231 0 11452 0
vsize: 46732
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8692 0 0 0 43948 60 0 0 25 0 1 0 453821146 48156672 7964 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11757 7964 231 231 0 11526 0
vsize: 47028
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 8726 0 0 0 44947 60 0 0 25 0 1 0 453821146 48156672 7998 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11757 7998 231 231 0 11526 0
vsize: 47028
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 9524 0 0 0 45946 62 0 0 25 0 1 0 453821146 51302400 8027 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12525 8027 231 231 0 12294 0
vsize: 50100
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 9563 0 0 0 46945 63 0 0 25 0 1 0 453821146 51466240 8066 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12565 8066 231 231 0 12334 0
vsize: 50260
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 9592 0 0 0 47944 64 0 0 25 0 1 0 453821146 51466240 8095 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12565 8095 231 231 0 12334 0
vsize: 50260
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 9626 0 0 0 48944 64 0 0 25 0 1 0 453821146 51777536 8129 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12641 8129 231 231 0 12410 0
vsize: 50564
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 9660 0 0 0 49944 65 0 0 25 0 1 0 453821146 51777536 8163 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12641 8163 231 231 0 12410 0
vsize: 50564
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 9930 0 0 0 50943 66 0 0 25 0 1 0 453821146 51777536 8433 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12641 8433 231 231 0 12410 0
vsize: 50564
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 9965 0 0 0 51943 67 0 0 25 0 1 0 453821146 51941376 8468 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12681 8468 231 231 0 12450 0
vsize: 50724
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10009 0 0 0 52942 67 0 0 25 0 1 0 453821146 52101120 8512 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12720 8512 231 231 0 12489 0
vsize: 50880
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10155 0 0 0 53941 69 0 0 25 0 1 0 453821146 52264960 8658 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12760 8658 231 231 0 12529 0
vsize: 51040
[startup+550.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10399 0 0 0 54941 70 0 0 25 0 1 0 453821146 52264960 8902 4294967295 134512640 135450300 3221224640 3221223376 134538976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12760 8902 231 231 0 12529 0
vsize: 51040
[startup+560.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10710 0 0 0 55940 71 0 0 25 0 1 0 453821146 52428800 9213 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12800 9213 231 231 0 12569 0
vsize: 51200
[startup+570.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10727 0 0 0 56939 72 0 0 25 0 1 0 453821146 52428800 9230 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12800 9230 231 231 0 12569 0
vsize: 51200
[startup+580.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10777 0 0 0 57938 73 0 0 25 0 1 0 453821146 52625408 9280 4294967295 134512640 135450300 3221224640 3221223552 134597289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12848 9280 231 231 0 12617 0
vsize: 51392
[startup+590.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10807 0 0 0 58937 74 0 0 25 0 1 0 453821146 52793344 9310 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12889 9310 231 231 0 12658 0
vsize: 51556
[startup+600.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10841 0 0 0 59937 75 0 0 25 0 1 0 453821146 52793344 9344 4294967295 134512640 135450300 3221224640 3221223376 134538212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12889 9344 231 231 0 12658 0
vsize: 51556
[startup+610.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 10886 0 0 0 60937 75 0 0 25 0 1 0 453821146 52973568 9389 4294967295 134512640 135450300 3221224640 3221223376 134538454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12933 9389 231 231 0 12702 0
vsize: 51732
[startup+620.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11060 0 0 0 61935 77 0 0 25 0 1 0 453821146 52973568 9563 4294967295 134512640 135450300 3221224640 3221222992 134533293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12933 9563 231 231 0 12702 0
vsize: 51732
[startup+630.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11089 0 0 0 62935 78 0 0 25 0 1 0 453821146 52973568 9592 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12933 9592 231 231 0 12702 0
vsize: 51732
[startup+640.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11129 0 0 0 63935 78 0 0 25 0 1 0 453821146 53170176 9632 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12981 9632 231 231 0 12750 0
vsize: 51924
[startup+650.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11142 0 0 0 64934 79 0 0 25 0 1 0 453821146 53170176 9645 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12981 9645 231 231 0 12750 0
vsize: 51924
[startup+660.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11167 0 0 0 65934 79 0 0 25 0 1 0 453821146 53170176 9670 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12981 9670 231 231 0 12750 0
vsize: 51924
[startup+670.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11198 0 0 0 66933 80 0 0 25 0 1 0 453821146 53170176 9701 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12981 9701 231 231 0 12750 0
vsize: 51924
[startup+680.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11247 0 0 0 67932 81 0 0 25 0 1 0 453821146 53334016 9750 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13021 9750 231 231 0 12790 0
vsize: 52084
[startup+690.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11431 0 0 0 68932 82 0 0 25 0 1 0 453821146 53522432 9934 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13067 9934 231 231 0 12836 0
vsize: 52268
[startup+700.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11549 0 0 0 69931 83 0 0 25 0 1 0 453821146 53719040 10052 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13115 10052 231 231 0 12884 0
vsize: 52460
[startup+710.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11607 0 0 0 70931 83 0 0 25 0 1 0 453821146 53719040 10110 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13115 10110 231 231 0 12884 0
vsize: 52460
[startup+720.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11701 0 0 0 71930 84 0 0 25 0 1 0 453821146 53919744 10204 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13164 10204 231 231 0 12933 0
vsize: 52656
[startup+730.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11743 0 0 0 72929 85 0 0 25 0 1 0 453821146 53919744 10246 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13164 10246 231 231 0 12933 0
vsize: 52656
[startup+740.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11773 0 0 0 73929 86 0 0 25 0 1 0 453821146 53919744 10276 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13164 10276 231 231 0 12933 0
vsize: 52656
[startup+750.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11800 0 0 0 74928 87 0 0 25 0 1 0 453821146 54116352 10303 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13212 10303 231 231 0 12981 0
vsize: 52848
[startup+760.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11815 0 0 0 75928 87 0 0 25 0 1 0 453821146 54116352 10318 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13212 10318 231 231 0 12981 0
vsize: 52848
[startup+770.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11841 0 0 0 76928 88 0 0 25 0 1 0 453821146 54116352 10344 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13212 10344 231 231 0 12981 0
vsize: 52848
[startup+780.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 11860 0 0 0 77927 88 0 0 25 0 1 0 453821146 54116352 10363 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13212 10363 231 231 0 12981 0
vsize: 52848
[startup+790.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12044 0 0 0 78926 90 0 0 25 0 1 0 453821146 54329344 10547 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13264 10547 231 231 0 13033 0
vsize: 53056
[startup+800.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12123 0 0 0 79926 90 0 0 25 0 1 0 453821146 54329344 10626 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13264 10626 231 231 0 13033 0
vsize: 53056
[startup+810.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12138 0 0 0 80925 91 0 0 25 0 1 0 453821146 54329344 10641 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13264 10641 231 231 0 13033 0
vsize: 53056
[startup+820.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12180 0 0 0 81925 91 0 0 25 0 1 0 453821146 54329344 10683 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13264 10683 231 231 0 13033 0
vsize: 53056
[startup+830.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12336 0 0 0 82923 93 0 0 25 0 1 0 453821146 54329344 10839 4294967295 134512640 135450300 3221224640 3221222992 134533246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13264 10839 231 231 0 13033 0
vsize: 53056
[startup+840.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12421 0 0 0 83923 94 0 0 25 0 1 0 453821146 54525952 10924 4294967295 134512640 135450300 3221224640 3221223456 134536523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13312 10924 231 231 0 13081 0
vsize: 53248
[startup+850.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12519 0 0 0 84922 95 0 0 25 0 1 0 453821146 54525952 11022 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13312 11022 231 231 0 13081 0
vsize: 53248
[startup+860.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12654 0 0 0 85921 96 0 0 25 0 1 0 453821146 54722560 11157 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13360 11157 231 231 0 13129 0
vsize: 53440
[startup+870.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 12944 0 0 0 86920 97 0 0 25 0 1 0 453821146 54919168 11447 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13408 11447 231 231 0 13177 0
vsize: 53632
[startup+880.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 13076 0 0 0 87919 98 0 0 25 0 1 0 453821146 55341056 11579 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13511 11579 231 231 0 13280 0
vsize: 54044
[startup+890.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 13106 0 0 0 88919 99 0 0 25 0 1 0 453821146 55341056 11609 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13511 11609 231 231 0 13280 0
vsize: 54044
[startup+900.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 13235 0 0 0 89918 100 0 0 25 0 1 0 453821146 55341056 11738 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13511 11738 231 231 0 13280 0
vsize: 54044
[startup+910.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 13334 0 0 0 90918 100 0 0 25 0 1 0 453821146 55537664 11837 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13559 11837 231 231 0 13328 0
vsize: 54236
[startup+920.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 13540 0 0 0 91917 102 0 0 25 0 1 0 453821146 55734272 12043 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13607 12043 231 231 0 13376 0
vsize: 54428
[startup+930.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 13812 0 0 0 92915 103 0 0 25 0 1 0 453821146 56127488 12315 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13703 12315 231 231 0 13472 0
vsize: 54812
[startup+940.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14068 0 0 0 93914 105 0 0 25 0 1 0 453821146 56127488 12571 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13703 12571 231 231 0 13472 0
vsize: 54812
[startup+950.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14108 0 0 0 94914 105 0 0 25 0 1 0 453821146 56324096 12611 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13751 12611 231 231 0 13520 0
vsize: 55004
[startup+960.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14176 0 0 0 95913 106 0 0 25 0 1 0 453821146 56520704 12679 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13799 12679 231 231 0 13568 0
vsize: 55196
[startup+970.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14214 0 0 0 96914 106 0 0 25 0 1 0 453821146 56717312 12717 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13847 12717 231 231 0 13616 0
vsize: 55388
[startup+980.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14231 0 0 0 97914 106 0 0 25 0 1 0 453821146 56717312 12734 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13847 12734 231 231 0 13616 0
vsize: 55388
[startup+990.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14282 0 0 0 98913 107 0 0 25 0 1 0 453821146 56717312 12785 4294967295 134512640 135450300 3221224640 3221223376 134538793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13847 12785 231 231 0 13616 0
vsize: 55388
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17819
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14436 0 0 0 99912 108 0 0 25 0 1 0 453821146 56958976 12939 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 12939 231 231 0 13675 0
vsize: 55624
[startup+1010.24 s]
Raw data (loadavg): 1.07 1.00 0.92 3/57 17856
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14668 0 0 0 100929 110 0 0 25 0 1 0 453821146 56958976 13171 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 13171 231 231 0 13675 0
vsize: 55624
[startup+1020.29 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 17872
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14725 0 0 0 101933 111 0 0 25 0 1 0 453821146 90513408 13228 4294967295 134512640 135450300 3221224640 3221223376 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22098 13228 231 231 0 21867 0
vsize: 88392
[startup+1030.29 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 17872
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14746 0 0 0 102933 111 0 0 25 0 1 0 453821146 90513408 13249 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22098 13249 231 231 0 21867 0
vsize: 88392
[startup+1040.29 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 17872
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14769 0 0 0 103933 111 0 0 25 0 1 0 453821146 90513408 13272 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22098 13272 231 231 0 21867 0
vsize: 88392
[startup+1050.29 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 17872
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14804 0 0 0 104933 111 0 0 25 0 1 0 453821146 90710016 13307 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22146 13307 231 231 0 21915 0
vsize: 88584
[startup+1060.29 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 17872
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14844 0 0 0 105933 112 0 0 25 0 1 0 453821146 91160576 13347 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22256 13347 231 231 0 22025 0
vsize: 89024
[startup+1070.29 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 17872
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14888 0 0 0 106933 112 0 0 25 0 1 0 453821146 91160576 13391 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22256 13391 231 231 0 22025 0
vsize: 89024
[startup+1080.29 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 17872
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14914 0 0 0 107932 113 0 0 25 0 1 0 453821146 91160576 13417 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22256 13417 231 231 0 22025 0
vsize: 89024
[startup+1090.29 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14937 0 0 0 108931 114 0 0 25 0 1 0 453821146 91160576 13440 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22256 13440 231 231 0 22025 0
vsize: 89024
[startup+1100.29 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14978 0 0 0 109931 114 0 0 25 0 1 0 453821146 91357184 13481 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22304 13481 231 231 0 22073 0
vsize: 89216
[startup+1110.29 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 14990 0 0 0 110931 115 0 0 25 0 1 0 453821146 91357184 13493 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22304 13493 231 231 0 22073 0
vsize: 89216
[startup+1120.29 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15048 0 0 0 111930 116 0 0 25 0 1 0 453821146 91627520 13551 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22370 13551 231 231 0 22139 0
vsize: 89480
[startup+1130.29 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15073 0 0 0 112930 116 0 0 25 0 1 0 453821146 91824128 13576 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22418 13576 231 231 0 22187 0
vsize: 89672
[startup+1140.29 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15107 0 0 0 113930 117 0 0 25 0 1 0 453821146 91824128 13610 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22418 13610 231 231 0 22187 0
vsize: 89672
[startup+1150.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15118 0 0 0 114929 117 0 0 25 0 1 0 453821146 91824128 13621 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22418 13621 231 231 0 22187 0
vsize: 89672
[startup+1160.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15135 0 0 0 115929 117 0 0 25 0 1 0 453821146 91824128 13638 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22418 13638 231 231 0 22187 0
vsize: 89672
[startup+1170.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15158 0 0 0 116929 118 0 0 25 0 1 0 453821146 91824128 13661 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22418 13661 231 231 0 22187 0
vsize: 89672
[startup+1180.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15197 0 0 0 117928 119 0 0 25 0 1 0 453821146 92020736 13700 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 13700 231 231 0 22235 0
vsize: 89864
[startup+1190.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15229 0 0 0 118928 119 0 0 25 0 1 0 453821146 92020736 13732 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 13732 231 231 0 22235 0
vsize: 89864
[startup+1200.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17874
Raw data (stat): 17819 (PBS4) R 17818 25285 25284 0 -1 0 15240 0 0 0 119928 119 0 0 25 0 1 0 453821146 92307456 13743 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22536 13743 231 231 0 22305 0
vsize: 90144
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 17874
Raw data (stat): 17819 (PBS4) Z 17818 25285 25284 0 -1 1036 15240 0 0 0 119928 122 0 0 25 0 1 0 453821146 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.32
CPU time (s): 1200.51
CPU user time (s): 1199.29
CPU system time (s): 1.22281
CPU usage (%): 100.016
Max. virtual memory (Kb): 90144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####