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-data8_3.opb
MD5SUM	1f07a50778ff795858a07800272da436
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	48343
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	279536
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	279536
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	1344
Total number of constraints	16096
Number of constraints which are clauses	8208
Number of constraints which are cardinality constraints (but not clauses)	496
Number of constraints which are nor clauses,nor cardinality constraints	7392
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 7870

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        850444 kB
Buffers:         37484 kB
Cached:         106556 kB
SwapCached:        392 kB
Active:          76636 kB
Inactive:        70652 kB
HighTotal:      131008 kB
HighFree:        20608 kB
LowTotal:       903652 kB
LowFree:        829836 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6840 kB
Slab:            31372 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:03:42 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 2364 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-data8_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.80 0.95 0.90 2/54 17651
Raw data (stat): 17651 (runsolver) R 17650 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512034445 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.0005 s]
Raw data (loadavg): 0.83 0.95 0.90 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 1574 0 0 0 992 6 0 0 25 0 1 0 512034445 8720384 1467 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1467 231 231 0 1898 0
vsize: 8516
[startup+20.0009 s]
Raw data (loadavg): 0.85 0.95 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2232 0 0 0 1986 11 0 0 25 0 1 0 512034445 9928704 2028 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2424 2028 231 231 0 2193 0
vsize: 9696
[startup+30.0018 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2496 0 0 0 2982 16 0 0 25 0 1 0 512034445 14536704 2292 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3549 2292 231 231 0 3318 0
vsize: 14196
[startup+40.002 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2615 0 0 0 3978 20 0 0 25 0 1 0 512034445 14671872 2411 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2411 231 231 0 3351 0
vsize: 14328
[startup+50.0027 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2657 0 0 0 4974 24 0 0 25 0 1 0 512034445 14807040 2453 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3615 2453 231 231 0 3384 0
vsize: 14460
[startup+60.0026 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2707 0 0 0 5968 30 0 0 25 0 1 0 512034445 14995456 2503 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2503 231 231 0 3430 0
vsize: 14644
[startup+70.0038 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2745 0 0 0 6965 33 0 0 25 0 1 0 512034445 15130624 2541 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3694 2541 231 231 0 3463 0
vsize: 14776
[startup+80.0045 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2789 0 0 0 7961 37 0 0 25 0 1 0 512034445 15294464 2585 4294967295 134512640 135450300 3221224640 3221223496 134539297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2585 231 231 0 3503 0
vsize: 14936
[startup+90.0044 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2838 0 0 0 8957 42 0 0 25 0 1 0 512034445 15429632 2634 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3767 2634 231 231 0 3536 0
vsize: 15068
[startup+100.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 2883 0 0 0 9953 46 0 0 25 0 1 0 512034445 15609856 2679 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2679 231 231 0 3580 0
vsize: 15244
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3107 0 0 0 10948 51 0 0 25 0 1 0 512034445 16396288 2710 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4003 2710 231 231 0 3772 0
vsize: 16012
[startup+120.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3149 0 0 0 11944 55 0 0 25 0 1 0 512034445 16531456 2752 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4036 2752 231 231 0 3805 0
vsize: 16144
[startup+130.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3183 0 0 0 12939 60 0 0 25 0 1 0 512034445 16707584 2786 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4079 2786 231 231 0 3848 0
vsize: 16316
[startup+140.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3205 0 0 0 13936 64 0 0 25 0 1 0 512034445 16707584 2808 4294967295 134512640 135450300 3221224640 3221223376 134538219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4079 2808 231 231 0 3848 0
vsize: 16316
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3234 0 0 0 14933 67 0 0 25 0 1 0 512034445 16863232 2837 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4117 2837 231 231 0 3886 0
vsize: 16468
[startup+160.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3267 0 0 0 15929 71 0 0 25 0 1 0 512034445 16863232 2870 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4117 2870 231 231 0 3886 0
vsize: 16468
[startup+170.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3305 0 0 0 16926 75 0 0 25 0 1 0 512034445 16994304 2908 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4149 2908 231 231 0 3918 0
vsize: 16596
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3329 0 0 0 17921 79 0 0 25 0 1 0 512034445 17129472 2932 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4182 2932 231 231 0 3951 0
vsize: 16728
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3361 0 0 0 18917 83 0 0 25 0 1 0 512034445 17264640 2964 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2964 231 231 0 3984 0
vsize: 16860
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3394 0 0 0 19914 86 0 0 25 0 1 0 512034445 17264640 2997 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2997 231 231 0 3984 0
vsize: 16860
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3413 0 0 0 20912 88 0 0 25 0 1 0 512034445 17264640 3016 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 3016 231 231 0 3984 0
vsize: 16860
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3432 0 0 0 21908 92 0 0 25 0 1 0 512034445 17440768 3035 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4258 3035 231 231 0 4027 0
vsize: 17032
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3453 0 0 0 22904 96 0 0 25 0 1 0 512034445 17440768 3056 4294967295 134512640 135450300 3221224640 3221222992 134533343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4258 3056 231 231 0 4027 0
vsize: 17032
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3474 0 0 0 23901 99 0 0 25 0 1 0 512034445 17440768 3077 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4258 3077 231 231 0 4027 0
vsize: 17032
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3490 0 0 0 24898 103 0 0 25 0 1 0 512034445 17440768 3093 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4258 3093 231 231 0 4027 0
vsize: 17032
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3523 0 0 0 25894 107 0 0 25 0 1 0 512034445 17641472 3126 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 3126 231 231 0 4076 0
vsize: 17228
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3566 0 0 0 26891 110 0 0 25 0 1 0 512034445 17641472 3169 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 3169 231 231 0 4076 0
vsize: 17228
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3582 0 0 0 27887 115 0 0 25 0 1 0 512034445 17772544 3185 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4339 3185 231 231 0 4108 0
vsize: 17356
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3606 0 0 0 28884 118 0 0 25 0 1 0 512034445 17772544 3209 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4339 3209 231 231 0 4108 0
vsize: 17356
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3622 0 0 0 29881 121 0 0 25 0 1 0 512034445 17772544 3225 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4339 3225 231 231 0 4108 0
vsize: 17356
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 3639 0 0 0 30878 124 0 0 25 0 1 0 512034445 17911808 3242 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3242 231 231 0 4142 0
vsize: 17492
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4048 0 0 0 31874 128 0 0 25 0 1 0 512034445 19484672 3266 4294967295 134512640 135450300 3221224640 3221222992 134533196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3266 231 231 0 4526 0
vsize: 19028
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4061 0 0 0 32870 132 0 0 25 0 1 0 512034445 19484672 3279 4294967295 134512640 135450300 3221224640 3221223340 134537526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 3279 231 231 0 4526 0
vsize: 19028
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4079 0 0 0 33866 136 0 0 25 0 1 0 512034445 19628032 3297 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3297 231 231 0 4561 0
vsize: 19168
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4095 0 0 0 34863 140 0 0 25 0 1 0 512034445 19628032 3313 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3313 231 231 0 4561 0
vsize: 19168
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4113 0 0 0 35858 145 0 0 25 0 1 0 512034445 19628032 3331 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3331 231 231 0 4561 0
vsize: 19168
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4135 0 0 0 36854 149 0 0 25 0 1 0 512034445 19628032 3353 4294967295 134512640 135450300 3221224640 3221223376 134538145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3353 231 231 0 4561 0
vsize: 19168
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4149 0 0 0 37851 153 0 0 25 0 1 0 512034445 19628032 3367 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3367 231 231 0 4561 0
vsize: 19168
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4176 0 0 0 38848 156 0 0 25 0 1 0 512034445 19767296 3394 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4826 3394 231 231 0 4595 0
vsize: 19304
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4198 0 0 0 39845 158 0 0 25 0 1 0 512034445 19767296 3416 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4826 3416 231 231 0 4595 0
vsize: 19304
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4214 0 0 0 40841 163 0 0 25 0 1 0 512034445 19767296 3432 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4826 3432 231 231 0 4595 0
vsize: 19304
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4234 0 0 0 41838 166 0 0 25 0 1 0 512034445 19914752 3452 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4862 3452 231 231 0 4631 0
vsize: 19448
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4256 0 0 0 42834 170 0 0 25 0 1 0 512034445 19914752 3474 4294967295 134512640 135450300 3221224640 3221222992 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4862 3474 231 231 0 4631 0
vsize: 19448
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4269 0 0 0 43830 175 0 0 25 0 1 0 512034445 19914752 3487 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4862 3487 231 231 0 4631 0
vsize: 19448
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4290 0 0 0 44826 179 0 0 25 0 1 0 512034445 19914752 3508 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4862 3508 231 231 0 4631 0
vsize: 19448
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4310 0 0 0 45822 183 0 0 25 0 1 0 512034445 19914752 3528 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4862 3528 231 231 0 4631 0
vsize: 19448
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4344 0 0 0 46819 186 0 0 25 0 1 0 512034445 20074496 3562 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4901 3562 231 231 0 4670 0
vsize: 19604
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4361 0 0 0 47815 190 0 0 25 0 1 0 512034445 20197376 3579 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4931 3579 231 231 0 4700 0
vsize: 19724
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4380 0 0 0 48811 194 0 0 25 0 1 0 512034445 20197376 3598 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4931 3598 231 231 0 4700 0
vsize: 19724
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4399 0 0 0 49808 198 0 0 25 0 1 0 512034445 20197376 3617 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4931 3617 231 231 0 4700 0
vsize: 19724
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4419 0 0 0 50804 202 0 0 25 0 1 0 512034445 20365312 3637 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4972 3637 231 231 0 4741 0
vsize: 19888
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4436 0 0 0 51801 205 0 0 25 0 1 0 512034445 20365312 3654 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4972 3654 231 231 0 4741 0
vsize: 19888
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4452 0 0 0 52797 209 0 0 25 0 1 0 512034445 20365312 3670 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4972 3670 231 231 0 4741 0
vsize: 19888
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4475 0 0 0 53795 212 0 0 25 0 1 0 512034445 20365312 3693 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4972 3693 231 231 0 4741 0
vsize: 19888
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4510 0 0 0 54791 216 0 0 25 0 1 0 512034445 20365312 3728 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4972 3728 231 231 0 4741 0
vsize: 19888
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4533 0 0 0 55788 219 0 0 25 0 1 0 512034445 20545536 3751 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 3751 231 231 0 4785 0
vsize: 20064
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4584 0 0 0 56784 223 0 0 25 0 1 0 512034445 20545536 3802 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 3802 231 231 0 4785 0
vsize: 20064
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4601 0 0 0 57781 226 0 0 25 0 1 0 512034445 20668416 3819 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 3819 231 231 0 4815 0
vsize: 20184
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4617 0 0 0 58779 229 0 0 25 0 1 0 512034445 20668416 3835 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 3835 231 231 0 4815 0
vsize: 20184
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4632 0 0 0 59775 233 0 0 25 0 1 0 512034445 20668416 3850 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 3850 231 231 0 4815 0
vsize: 20184
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4655 0 0 0 60772 236 0 0 25 0 1 0 512034445 20668416 3873 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 3873 231 231 0 4815 0
vsize: 20184
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4774 0 0 0 61769 239 0 0 25 0 1 0 512034445 20668416 3992 4294967295 134512640 135450300 3221224640 3221223248 134537662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 3992 231 231 0 4815 0
vsize: 20184
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4803 0 0 0 62766 243 0 0 25 0 1 0 512034445 20791296 4021 4294967295 134512640 135450300 3221224640 3221223044 134533044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4021 231 231 0 4845 0
vsize: 20304
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4853 0 0 0 63763 246 0 0 25 0 1 0 512034445 20979712 4071 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5122 4071 231 231 0 4891 0
vsize: 20488
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 4980 0 0 0 64759 250 0 0 25 0 1 0 512034445 21114880 4198 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5155 4198 231 231 0 4924 0
vsize: 20620
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5001 0 0 0 65756 253 0 0 25 0 1 0 512034445 21114880 4219 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5155 4219 231 231 0 4924 0
vsize: 20620
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5022 0 0 0 66753 256 0 0 25 0 1 0 512034445 21114880 4240 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5155 4240 231 231 0 4924 0
vsize: 20620
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5043 0 0 0 67750 259 0 0 25 0 1 0 512034445 21114880 4261 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5155 4261 231 231 0 4924 0
vsize: 20620
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5070 0 0 0 68747 262 0 0 25 0 1 0 512034445 21245952 4288 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4288 231 231 0 4956 0
vsize: 20748
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5095 0 0 0 69744 265 0 0 25 0 1 0 512034445 21446656 4313 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4313 231 231 0 5005 0
vsize: 20944
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5109 0 0 0 70740 270 0 0 25 0 1 0 512034445 21446656 4327 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4327 231 231 0 5005 0
vsize: 20944
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5124 0 0 0 71737 273 0 0 25 0 1 0 512034445 21446656 4342 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4342 231 231 0 5005 0
vsize: 20944
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5147 0 0 0 72734 276 0 0 25 0 1 0 512034445 21446656 4365 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4365 231 231 0 5005 0
vsize: 20944
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5164 0 0 0 73731 279 0 0 25 0 1 0 512034445 21446656 4382 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4382 231 231 0 5005 0
vsize: 20944
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5180 0 0 0 74729 282 0 0 25 0 1 0 512034445 21659648 4398 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4398 231 231 0 5057 0
vsize: 21152
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5197 0 0 0 75726 285 0 0 25 0 1 0 512034445 21659648 4415 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4415 231 231 0 5057 0
vsize: 21152
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 5217 0 0 0 76723 288 0 0 25 0 1 0 512034445 21659648 4435 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4435 231 231 0 5057 0
vsize: 21152
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6006 0 0 0 77718 293 0 0 25 0 1 0 512034445 24805376 4455 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 4455 231 231 0 5825 0
vsize: 24224
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6020 0 0 0 78715 296 0 0 25 0 1 0 512034445 24805376 4469 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 4469 231 231 0 5825 0
vsize: 24224
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6038 0 0 0 79712 300 0 0 25 0 1 0 512034445 24805376 4487 4294967295 134512640 135450300 3221224640 3221223376 134538228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 4487 231 231 0 5825 0
vsize: 24224
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6058 0 0 0 80709 303 0 0 25 0 1 0 512034445 24805376 4507 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 4507 231 231 0 5825 0
vsize: 24224
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6075 0 0 0 81707 306 0 0 25 0 1 0 512034445 25161728 4524 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 4524 231 231 0 5912 0
vsize: 24572
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6097 0 0 0 82703 309 0 0 25 0 1 0 512034445 25161728 4546 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 4546 231 231 0 5912 0
vsize: 24572
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6114 0 0 0 83701 312 0 0 25 0 1 0 512034445 25161728 4563 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 4563 231 231 0 5912 0
vsize: 24572
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6133 0 0 0 84697 316 0 0 25 0 1 0 512034445 25161728 4582 4294967295 134512640 135450300 3221224640 3221223376 134538791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 4582 231 231 0 5912 0
vsize: 24572
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6152 0 0 0 85694 319 0 0 25 0 1 0 512034445 25161728 4601 4294967295 134512640 135450300 3221224640 3221223248 134537761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 4601 231 231 0 5912 0
vsize: 24572
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6166 0 0 0 86689 324 0 0 25 0 1 0 512034445 25161728 4615 4294967295 134512640 135450300 3221224640 3221223376 134538969 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 4615 231 231 0 5912 0
vsize: 24572
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6190 0 0 0 87685 328 0 0 25 0 1 0 512034445 25161728 4639 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 4639 231 231 0 5912 0
vsize: 24572
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6206 0 0 0 88682 331 0 0 25 0 1 0 512034445 25403392 4655 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6202 4655 231 231 0 5971 0
vsize: 24808
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6216 0 0 0 89679 335 0 0 25 0 1 0 512034445 25403392 4665 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6202 4665 231 231 0 5971 0
vsize: 24808
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6236 0 0 0 90676 338 0 0 25 0 1 0 512034445 25403392 4685 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6202 4685 231 231 0 5971 0
vsize: 24808
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6255 0 0 0 91674 340 0 0 25 0 1 0 512034445 25403392 4704 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6202 4704 231 231 0 5971 0
vsize: 24808
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6268 0 0 0 92670 345 0 0 25 0 1 0 512034445 25403392 4717 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6202 4717 231 231 0 5971 0
vsize: 24808
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6287 0 0 0 93667 347 0 0 25 0 1 0 512034445 25538560 4736 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6235 4736 231 231 0 6004 0
vsize: 24940
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6311 0 0 0 94664 351 0 0 25 0 1 0 512034445 25538560 4760 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6235 4760 231 231 0 6004 0
vsize: 24940
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6328 0 0 0 95661 354 0 0 25 0 1 0 512034445 25538560 4777 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6235 4777 231 231 0 6004 0
vsize: 24940
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6348 0 0 0 96659 356 0 0 25 0 1 0 512034445 25796608 4797 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4797 231 231 0 6067 0
vsize: 25192
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17651
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6367 0 0 0 97657 359 0 0 25 0 1 0 512034445 25796608 4816 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4816 231 231 0 6067 0
vsize: 25192
[startup+990.043 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 17686
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6375 0 0 0 98652 363 0 0 25 0 1 0 512034445 25796608 4824 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4824 231 231 0 6067 0
vsize: 25192
[startup+1000.13 s]
Raw data (loadavg): 1.22 1.02 0.93 3/58 17704
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6392 0 0 0 99657 367 0 0 25 0 1 0 512034445 25796608 4841 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4841 231 231 0 6067 0
vsize: 25192
[startup+1010.13 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 17704
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6413 0 0 0 100654 370 0 0 25 0 1 0 512034445 25796608 4862 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4862 231 231 0 6067 0
vsize: 25192
[startup+1020.13 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 17704
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6426 0 0 0 101652 373 0 0 25 0 1 0 512034445 25796608 4875 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4875 231 231 0 6067 0
vsize: 25192
[startup+1030.13 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 17704
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6443 0 0 0 102649 375 0 0 25 0 1 0 512034445 25796608 4892 4294967295 134512640 135450300 3221224640 3221223376 134538699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4892 231 231 0 6067 0
vsize: 25192
[startup+1040.13 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 17704
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6466 0 0 0 103647 378 0 0 25 0 1 0 512034445 25796608 4915 4294967295 134512640 135450300 3221224640 3221223376 134538454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4915 231 231 0 6067 0
vsize: 25192
[startup+1050.13 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 17704
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6481 0 0 0 104644 381 0 0 25 0 1 0 512034445 25796608 4930 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 4930 231 231 0 6067 0
vsize: 25192
[startup+1060.13 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 17704
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6496 0 0 0 105640 385 0 0 25 0 1 0 512034445 26066944 4945 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6364 4945 231 231 0 6133 0
vsize: 25456
[startup+1070.13 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6510 0 0 0 106636 389 0 0 25 0 1 0 512034445 26066944 4959 4294967295 134512640 135450300 3221224640 3221223120 134580023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6364 4959 231 231 0 6133 0
vsize: 25456
[startup+1080.13 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6531 0 0 0 107634 391 0 0 25 0 1 0 512034445 26066944 4980 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6364 4980 231 231 0 6133 0
vsize: 25456
[startup+1090.13 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6546 0 0 0 108631 395 0 0 25 0 1 0 512034445 26066944 4995 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6364 4995 231 231 0 6133 0
vsize: 25456
[startup+1100.13 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6585 0 0 0 109628 397 0 0 25 0 1 0 512034445 26066944 5034 4294967295 134512640 135450300 3221224640 3221223180 134529321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6364 5034 231 231 0 6133 0
vsize: 25456
[startup+1110.13 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6599 0 0 0 110625 401 0 0 25 0 1 0 512034445 26066944 5048 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6364 5048 231 231 0 6133 0
vsize: 25456
[startup+1120.13 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6612 0 0 0 111622 404 0 0 25 0 1 0 512034445 26066944 5061 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6364 5061 231 231 0 6133 0
vsize: 25456
[startup+1130.13 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6632 0 0 0 112617 409 0 0 25 0 1 0 512034445 26198016 5081 4294967295 134512640 135450300 3221224640 3221222992 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6396 5081 231 231 0 6165 0
vsize: 25584
[startup+1140.13 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6646 0 0 0 113615 412 0 0 25 0 1 0 512034445 26198016 5095 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6396 5095 231 231 0 6165 0
vsize: 25584
[startup+1150.13 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6660 0 0 0 114611 415 0 0 25 0 1 0 512034445 26488832 5109 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 5109 231 231 0 6236 0
vsize: 25868
[startup+1160.13 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6683 0 0 0 115609 418 0 0 25 0 1 0 512034445 26488832 5132 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 5132 231 231 0 6236 0
vsize: 25868
[startup+1170.13 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6699 0 0 0 116607 420 0 0 25 0 1 0 512034445 26488832 5148 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 5148 231 231 0 6236 0
vsize: 25868
[startup+1180.13 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6721 0 0 0 117604 423 0 0 25 0 1 0 512034445 26488832 5170 4294967295 134512640 135450300 3221224640 3221222992 134533219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 5170 231 231 0 6236 0
vsize: 25868
[startup+1190.13 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6734 0 0 0 118601 427 0 0 25 0 1 0 512034445 26488832 5183 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 5183 231 231 0 6236 0
vsize: 25868
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17706
Raw data (stat): 17651 (PBS4) R 17650 23176 23175 0 -1 0 6749 0 0 0 119598 430 0 0 25 0 1 0 512034445 26488832 5198 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 5198 231 231 0 6236 0
vsize: 25868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 17706
Raw data (stat): 17651 (PBS4) Z 17650 23176 23175 0 -1 1036 6749 0 0 0 119598 431 0 0 25 0 1 0 512034445 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.14
CPU time (s): 1200.3
CPU user time (s): 1195.99
CPU system time (s): 4.31034
CPU usage (%): 100.013
Max. virtual memory (Kb): 25868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####