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/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM	fbdb3cf321a85412feefcaac30780520
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	307
Optimality of the best value was proved	NO
Number of terms in the objective function	319
Biggest coefficient in the objective function	87
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	23554
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	22000
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	1027256
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01584
Number of variables	319
Total number of constraints	325
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	319
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	231
Trace number 17037

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 09:23:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12031 boxname=wulflinc5 idbench=926 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  fbdb3cf321a85412feefcaac30780520  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-mod008.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-mod008.opb
IDLAUNCH: 12031
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        544088 kB
Buffers:         24876 kB
Cached:         443440 kB
SwapCached:          0 kB
Active:          35712 kB
Inactive:       435432 kB
HighTotal:      131008 kB
HighFree:        13048 kB
LowTotal:       903652 kB
LowFree:        531040 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            13868 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 09:43:50 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 12031 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-mod008.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.91 0.97 0.92 2/54 20478
Raw data (stat): 20478 (runsolver) R 20477 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485751928 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9997 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 298 0 0 0 987 12 0 0 25 0 1 0 485751928 2023424 294 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 494 294 231 231 0 263 0
vsize: 1976
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 566 0 0 0 1987 12 0 0 25 0 1 0 485751928 3731456 562 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 911 562 231 231 0 680 0
vsize: 3644
[startup+29.9998 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 1098 0 0 0 2986 13 0 0 25 0 1 0 485751928 6098944 1094 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1489 1094 231 231 0 1258 0
vsize: 5956
[startup+40.0051 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 1319 0 0 0 3986 14 0 0 25 0 1 0 485751928 6098944 1315 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1489 1315 231 231 0 1258 0
vsize: 5956
[startup+50.0146 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 1538 0 0 0 4986 15 0 0 25 0 1 0 485751928 10633216 1534 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1534 231 231 0 2365 0
vsize: 10384
[startup+60.0144 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 1744 0 0 0 5985 15 0 0 25 0 1 0 485751928 10633216 1740 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1740 231 231 0 2365 0
vsize: 10384
[startup+70.0148 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 1979 0 0 0 6985 16 0 0 25 0 1 0 485751928 10768384 1975 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2629 1975 231 231 0 2398 0
vsize: 10516
[startup+80.0149 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2135 0 0 0 7984 17 0 0 25 0 1 0 485751928 10911744 2131 4294967295 134512640 135450300 3221224640 3221223376 134538163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2664 2131 231 231 0 2433 0
vsize: 10656
[startup+90.0156 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2146 0 0 0 8984 17 0 0 25 0 1 0 485751928 10911744 2142 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2664 2142 231 231 0 2433 0
vsize: 10656
[startup+100.015 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2216 0 0 0 9984 18 0 0 25 0 1 0 485751928 11108352 2163 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2712 2163 231 231 0 2481 0
vsize: 10848
[startup+110.015 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2240 0 0 0 10983 18 0 0 25 0 1 0 485751928 11247616 2187 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 2187 231 231 0 2515 0
vsize: 10984
[startup+120.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2272 0 0 0 11983 19 0 0 25 0 1 0 485751928 11247616 2219 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 2219 231 231 0 2515 0
vsize: 10984
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2295 0 0 0 12983 20 0 0 25 0 1 0 485751928 11382784 2242 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2242 231 231 0 2548 0
vsize: 11116
[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2322 0 0 0 13981 21 0 0 25 0 1 0 485751928 11382784 2269 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2269 231 231 0 2548 0
vsize: 11116
[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2447 0 0 0 14981 22 0 0 25 0 1 0 485751928 11907072 2297 4294967295 134512640 135450300 3221224640 3221223248 134537755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2907 2297 231 231 0 2676 0
vsize: 11628
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2466 0 0 0 15980 22 0 0 25 0 1 0 485751928 11907072 2316 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2907 2316 231 231 0 2676 0
vsize: 11628
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2488 0 0 0 16980 23 0 0 25 0 1 0 485751928 12058624 2338 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2338 231 231 0 2713 0
vsize: 11776
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2507 0 0 0 17979 24 0 0 25 0 1 0 485751928 12058624 2357 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2357 231 231 0 2713 0
vsize: 11776
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2526 0 0 0 18979 24 0 0 25 0 1 0 485751928 12058624 2376 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2376 231 231 0 2713 0
vsize: 11776
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2541 0 0 0 19979 25 0 0 25 0 1 0 485751928 12058624 2391 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2391 231 231 0 2713 0
vsize: 11776
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2558 0 0 0 20978 25 0 0 25 0 1 0 485751928 12189696 2408 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2408 231 231 0 2745 0
vsize: 11904
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2578 0 0 0 21978 26 0 0 25 0 1 0 485751928 12189696 2428 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2428 231 231 0 2745 0
vsize: 11904
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2596 0 0 0 22978 26 0 0 25 0 1 0 485751928 12189696 2446 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2446 231 231 0 2745 0
vsize: 11904
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2615 0 0 0 23977 27 0 0 25 0 1 0 485751928 12353536 2465 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2465 231 231 0 2785 0
vsize: 12064
[startup+250.016 s]
Raw data (loadavg): 1.15 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2634 0 0 0 24977 27 0 0 25 0 1 0 485751928 12353536 2484 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2484 231 231 0 2785 0
vsize: 12064
[startup+260.017 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2840 0 0 0 25977 27 0 0 25 0 1 0 485751928 13139968 2497 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2497 231 231 0 2977 0
vsize: 12832
[startup+270.017 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2853 0 0 0 26977 28 0 0 25 0 1 0 485751928 13139968 2510 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2510 231 231 0 2977 0
vsize: 12832
[startup+280.017 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2871 0 0 0 27977 28 0 0 25 0 1 0 485751928 13275136 2528 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2528 231 231 0 3010 0
vsize: 12964
[startup+290.018 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2881 0 0 0 28976 29 0 0 25 0 1 0 485751928 13275136 2538 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2538 231 231 0 3010 0
vsize: 12964
[startup+300.017 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2895 0 0 0 29976 29 0 0 25 0 1 0 485751928 13275136 2552 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2552 231 231 0 3010 0
vsize: 12964
[startup+310.017 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2910 0 0 0 30975 30 0 0 25 0 1 0 485751928 13275136 2567 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2567 231 231 0 3010 0
vsize: 12964
[startup+320.017 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2921 0 0 0 31975 30 0 0 25 0 1 0 485751928 13275136 2578 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2578 231 231 0 3010 0
vsize: 12964
[startup+330.018 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2929 0 0 0 32975 31 0 0 25 0 1 0 485751928 13410304 2586 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2586 231 231 0 3043 0
vsize: 13096
[startup+340.018 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2949 0 0 0 33974 32 0 0 25 0 1 0 485751928 13410304 2606 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2606 231 231 0 3043 0
vsize: 13096
[startup+350.018 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2963 0 0 0 34974 32 0 0 25 0 1 0 485751928 13410304 2620 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2620 231 231 0 3043 0
vsize: 13096
[startup+360.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2971 0 0 0 35974 32 0 0 25 0 1 0 485751928 13410304 2628 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2628 231 231 0 3043 0
vsize: 13096
[startup+370.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2987 0 0 0 36974 33 0 0 25 0 1 0 485751928 13410304 2644 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2644 231 231 0 3043 0
vsize: 13096
[startup+380.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 2996 0 0 0 37973 34 0 0 25 0 1 0 485751928 13410304 2653 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2653 231 231 0 3043 0
vsize: 13096
[startup+390.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3021 0 0 0 38973 34 0 0 25 0 1 0 485751928 13586432 2678 4294967295 134512640 135450300 3221224640 3221223472 134549443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2678 231 231 0 3086 0
vsize: 13268
[startup+400.02 s]
Raw data (loadavg): 1.16 1.03 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3032 0 0 0 39973 34 0 0 25 0 1 0 485751928 13586432 2689 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2689 231 231 0 3086 0
vsize: 13268
[startup+410.02 s]
Raw data (loadavg): 1.14 1.03 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3042 0 0 0 40973 35 0 0 25 0 1 0 485751928 13586432 2699 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2699 231 231 0 3086 0
vsize: 13268
[startup+420.02 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3049 0 0 0 41973 35 0 0 25 0 1 0 485751928 13586432 2706 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2706 231 231 0 3086 0
vsize: 13268
[startup+430.02 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3070 0 0 0 42973 35 0 0 25 0 1 0 485751928 13586432 2727 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2727 231 231 0 3086 0
vsize: 13268
[startup+440.02 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3082 0 0 0 43973 35 0 0 25 0 1 0 485751928 13586432 2739 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2739 231 231 0 3086 0
vsize: 13268
[startup+450.019 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3092 0 0 0 44973 35 0 0 25 0 1 0 485751928 13783040 2749 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2749 231 231 0 3134 0
vsize: 13460
[startup+460.02 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3209 0 0 0 45972 36 0 0 25 0 1 0 485751928 13783040 2866 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2866 231 231 0 3134 0
vsize: 13460
[startup+470.02 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3220 0 0 0 46972 37 0 0 25 0 1 0 485751928 13783040 2877 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2877 231 231 0 3134 0
vsize: 13460
[startup+480.02 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3241 0 0 0 47971 37 0 0 25 0 1 0 485751928 13783040 2898 4294967295 134512640 135450300 3221224640 3221223024 134843732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2898 231 231 0 3134 0
vsize: 13460
[startup+490.02 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3253 0 0 0 48971 38 0 0 25 0 1 0 485751928 13783040 2910 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2910 231 231 0 3134 0
vsize: 13460
[startup+500.02 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3259 0 0 0 49971 38 0 0 25 0 1 0 485751928 13783040 2916 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2916 231 231 0 3134 0
vsize: 13460
[startup+510.02 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3267 0 0 0 50971 39 0 0 25 0 1 0 485751928 13783040 2924 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2924 231 231 0 3134 0
vsize: 13460
[startup+520.02 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3286 0 0 0 51970 39 0 0 25 0 1 0 485751928 13987840 2943 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2943 231 231 0 3184 0
vsize: 13660
[startup+530.02 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3295 0 0 0 52970 39 0 0 25 0 1 0 485751928 13987840 2952 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2952 231 231 0 3184 0
vsize: 13660
[startup+540.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3304 0 0 0 53970 40 0 0 25 0 1 0 485751928 13987840 2961 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2961 231 231 0 3184 0
vsize: 13660
[startup+550.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3314 0 0 0 54969 41 0 0 25 0 1 0 485751928 13987840 2971 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2971 231 231 0 3184 0
vsize: 13660
[startup+560.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3324 0 0 0 55969 41 0 0 25 0 1 0 485751928 13987840 2981 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2981 231 231 0 3184 0
vsize: 13660
[startup+570.02 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3332 0 0 0 56969 42 0 0 25 0 1 0 485751928 13987840 2989 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2989 231 231 0 3184 0
vsize: 13660
[startup+580.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3731 0 0 0 57967 43 0 0 25 0 1 0 485751928 15560704 3003 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3003 231 231 0 3568 0
vsize: 15196
[startup+590.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3742 0 0 0 58967 43 0 0 25 0 1 0 485751928 15560704 3014 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3014 231 231 0 3568 0
vsize: 15196
[startup+600.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3758 0 0 0 59967 44 0 0 25 0 1 0 485751928 15699968 3030 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3030 231 231 0 3602 0
vsize: 15332
[startup+610.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3763 0 0 0 60967 44 0 0 25 0 1 0 485751928 15699968 3035 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3035 231 231 0 3602 0
vsize: 15332
[startup+620.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3783 0 0 0 61967 44 0 0 25 0 1 0 485751928 15699968 3055 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3055 231 231 0 3602 0
vsize: 15332
[startup+630.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3788 0 0 0 62967 44 0 0 25 0 1 0 485751928 15699968 3060 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3060 231 231 0 3602 0
vsize: 15332
[startup+640.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3793 0 0 0 63968 44 0 0 25 0 1 0 485751928 15699968 3065 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3065 231 231 0 3602 0
vsize: 15332
[startup+650.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3802 0 0 0 64967 44 0 0 25 0 1 0 485751928 15699968 3074 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3074 231 231 0 3602 0
vsize: 15332
[startup+660.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3818 0 0 0 65967 45 0 0 25 0 1 0 485751928 15699968 3090 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3090 231 231 0 3602 0
vsize: 15332
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3824 0 0 0 66967 45 0 0 25 0 1 0 485751928 15699968 3096 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3096 231 231 0 3602 0
vsize: 15332
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3834 0 0 0 67967 45 0 0 25 0 1 0 485751928 15839232 3106 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3106 231 231 0 3636 0
vsize: 15468
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3841 0 0 0 68967 46 0 0 25 0 1 0 485751928 15839232 3113 4294967295 134512640 135450300 3221224640 3221223504 134539244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3113 231 231 0 3636 0
vsize: 15468
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3859 0 0 0 69967 46 0 0 25 0 1 0 485751928 15839232 3131 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3131 231 231 0 3636 0
vsize: 15468
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3864 0 0 0 70967 46 0 0 25 0 1 0 485751928 15839232 3136 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3136 231 231 0 3636 0
vsize: 15468
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3876 0 0 0 71967 47 0 0 25 0 1 0 485751928 15839232 3148 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3148 231 231 0 3636 0
vsize: 15468
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3881 0 0 0 72967 47 0 0 25 0 1 0 485751928 15839232 3153 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3153 231 231 0 3636 0
vsize: 15468
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3891 0 0 0 73966 47 0 0 25 0 1 0 485751928 15839232 3163 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3163 231 231 0 3636 0
vsize: 15468
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3903 0 0 0 74966 48 0 0 25 0 1 0 485751928 16084992 3175 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3175 231 231 0 3696 0
vsize: 15708
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3915 0 0 0 75966 48 0 0 25 0 1 0 485751928 16084992 3187 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3187 231 231 0 3696 0
vsize: 15708
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3922 0 0 0 76966 49 0 0 25 0 1 0 485751928 16084992 3194 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3194 231 231 0 3696 0
vsize: 15708
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3929 0 0 0 77966 49 0 0 25 0 1 0 485751928 16084992 3201 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3201 231 231 0 3696 0
vsize: 15708
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3934 0 0 0 78965 49 0 0 25 0 1 0 485751928 16084992 3206 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3206 231 231 0 3696 0
vsize: 15708
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3943 0 0 0 79966 49 0 0 25 0 1 0 485751928 16084992 3215 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3215 231 231 0 3696 0
vsize: 15708
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3955 0 0 0 80966 49 0 0 25 0 1 0 485751928 16084992 3227 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3227 231 231 0 3696 0
vsize: 15708
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3968 0 0 0 81966 50 0 0 25 0 1 0 485751928 16084992 3240 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3240 231 231 0 3696 0
vsize: 15708
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3973 0 0 0 82965 50 0 0 25 0 1 0 485751928 16269312 3245 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3245 231 231 0 3741 0
vsize: 15888
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3990 0 0 0 83965 50 0 0 25 0 1 0 485751928 16269312 3262 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3262 231 231 0 3741 0
vsize: 15888
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 3997 0 0 0 84965 50 0 0 25 0 1 0 485751928 16269312 3269 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3269 231 231 0 3741 0
vsize: 15888
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4003 0 0 0 85965 51 0 0 25 0 1 0 485751928 16269312 3275 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3275 231 231 0 3741 0
vsize: 15888
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4020 0 0 0 86965 51 0 0 25 0 1 0 485751928 16269312 3292 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3292 231 231 0 3741 0
vsize: 15888
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4026 0 0 0 87965 51 0 0 25 0 1 0 485751928 16269312 3298 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3298 231 231 0 3741 0
vsize: 15888
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4036 0 0 0 88965 51 0 0 25 0 1 0 485751928 16269312 3308 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3308 231 231 0 3741 0
vsize: 15888
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4051 0 0 0 89965 52 0 0 25 0 1 0 485751928 16269312 3323 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3323 231 231 0 3741 0
vsize: 15888
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4061 0 0 0 90965 52 0 0 25 0 1 0 485751928 16269312 3333 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3333 231 231 0 3741 0
vsize: 15888
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4101 0 0 0 91965 52 0 0 25 0 1 0 485751928 16404480 3373 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3373 231 231 0 3774 0
vsize: 16020
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4109 0 0 0 92964 53 0 0 25 0 1 0 485751928 16404480 3381 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3381 231 231 0 3774 0
vsize: 16020
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4113 0 0 0 93964 54 0 0 25 0 1 0 485751928 16404480 3385 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3385 231 231 0 3774 0
vsize: 16020
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4129 0 0 0 94964 54 0 0 25 0 1 0 485751928 16404480 3401 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3401 231 231 0 3774 0
vsize: 16020
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4133 0 0 0 95964 54 0 0 25 0 1 0 485751928 16404480 3405 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3405 231 231 0 3774 0
vsize: 16020
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4146 0 0 0 96963 55 0 0 25 0 1 0 485751928 16543744 3418 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3418 231 231 0 3808 0
vsize: 16156
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4150 0 0 0 97963 55 0 0 25 0 1 0 485751928 16543744 3422 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3422 231 231 0 3808 0
vsize: 16156
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4156 0 0 0 98963 55 0 0 25 0 1 0 485751928 16543744 3428 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3428 231 231 0 3808 0
vsize: 16156
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4159 0 0 0 99963 55 0 0 25 0 1 0 485751928 16543744 3431 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3431 231 231 0 3808 0
vsize: 16156
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4164 0 0 0 100963 56 0 0 25 0 1 0 485751928 16543744 3436 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3436 231 231 0 3808 0
vsize: 16156
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4177 0 0 0 101963 56 0 0 25 0 1 0 485751928 16687104 3449 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3449 231 231 0 3843 0
vsize: 16296
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4182 0 0 0 102963 56 0 0 25 0 1 0 485751928 16687104 3454 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3454 231 231 0 3843 0
vsize: 16296
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4186 0 0 0 103963 56 0 0 25 0 1 0 485751928 16687104 3458 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3458 231 231 0 3843 0
vsize: 16296
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4199 0 0 0 104963 57 0 0 25 0 1 0 485751928 16687104 3471 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3471 231 231 0 3843 0
vsize: 16296
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4203 0 0 0 105963 57 0 0 25 0 1 0 485751928 16687104 3475 4294967295 134512640 135450300 3221224640 3221222992 134533233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3475 231 231 0 3843 0
vsize: 16296
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4207 0 0 0 106963 57 0 0 25 0 1 0 485751928 16687104 3479 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3479 231 231 0 3843 0
vsize: 16296
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4214 0 0 0 107963 57 0 0 25 0 1 0 485751928 16687104 3486 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3486 231 231 0 3843 0
vsize: 16296
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4218 0 0 0 108963 57 0 0 25 0 1 0 485751928 16687104 3490 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3490 231 231 0 3843 0
vsize: 16296
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4225 0 0 0 109963 58 0 0 25 0 1 0 485751928 16687104 3497 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3497 231 231 0 3843 0
vsize: 16296
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4230 0 0 0 110963 58 0 0 25 0 1 0 485751928 16687104 3502 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3502 231 231 0 3843 0
vsize: 16296
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4233 0 0 0 111963 58 0 0 25 0 1 0 485751928 16687104 3505 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3505 231 231 0 3843 0
vsize: 16296
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4237 0 0 0 112963 58 0 0 25 0 1 0 485751928 16687104 3509 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3509 231 231 0 3843 0
vsize: 16296
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4241 0 0 0 113963 58 0 0 25 0 1 0 485751928 16687104 3513 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3513 231 231 0 3843 0
vsize: 16296
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4245 0 0 0 114963 58 0 0 25 0 1 0 485751928 16838656 3517 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3517 231 231 0 3880 0
vsize: 16444
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4248 0 0 0 115963 58 0 0 25 0 1 0 485751928 16838656 3520 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3520 231 231 0 3880 0
vsize: 16444
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4263 0 0 0 116963 59 0 0 25 0 1 0 485751928 16838656 3535 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3535 231 231 0 3880 0
vsize: 16444
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4273 0 0 0 117963 59 0 0 25 0 1 0 485751928 16838656 3545 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3545 231 231 0 3880 0
vsize: 16444
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4280 0 0 0 118963 59 0 0 25 0 1 0 485751928 16838656 3552 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3552 231 231 0 3880 0
vsize: 16444
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20478
Raw data (stat): 20478 (PBS4) R 20477 24215 24214 0 -1 0 4285 0 0 0 119964 59 0 0 25 0 1 0 485751928 16838656 3557 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3557 231 231 0 3880 0
vsize: 16444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 20478
Raw data (stat): 20478 (PBS4) Z 20477 24215 24214 0 -1 1036 4285 0 0 0 119964 60 0 0 25 0 1 0 485751928 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.25
CPU user time (s): 1199.64
CPU system time (s): 0.607907
CPU usage (%): 100.017
Max. virtual memory (Kb): 16444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####