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/logic-synthesis/normalized-e64.b.opb
MD5SUM	bf7f8537c6faa135d25c67c53576abb5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	49
Optimality of the best value was proved	NO
Number of terms in the objective function	608
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	608
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	608
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	607
Total number of constraints	1053
Number of constraints which are clauses	1022
Number of constraints which are cardinality constraints (but not clauses)	31
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	32
Trace number 7689

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        835880 kB
Buffers:         38064 kB
Cached:         137612 kB
SwapCached:       2144 kB
Active:          85700 kB
Inactive:        94996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        835628 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12584 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:02:00 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 591 7 1200.57 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc15/normalized-e64.b.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.08 0.02 0.01 2/54 24424
Raw data (stat): 24424 (runsolver) R 24423 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453453076 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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+10.0011 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 542 0 0 0 984 14 0 0 25 0 1 0 453453076 3678208 538 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 898 538 231 231 0 667 0
vsize: 3592
[startup+20.0018 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 878 0 0 0 1983 15 0 0 25 0 1 0 453453076 5775360 874 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1410 874 231 231 0 1179 0
vsize: 5640
[startup+30.0024 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 1234 0 0 0 2982 16 0 0 25 0 1 0 453453076 5976064 1230 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1459 1230 231 231 0 1228 0
vsize: 5836
[startup+40.0024 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 1631 0 0 0 3981 18 0 0 25 0 1 0 453453076 10170368 1627 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2483 1627 231 231 0 2252 0
vsize: 9932
[startup+50.0022 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 1902 0 0 0 4979 19 0 0 25 0 1 0 453453076 10502144 1849 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2564 1849 231 231 0 2333 0
vsize: 10256
[startup+60.0027 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2058 0 0 0 5979 20 0 0 25 0 1 0 453453076 10780672 2005 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2632 2005 231 231 0 2401 0
vsize: 10528
[startup+70.0028 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2180 0 0 0 6978 21 0 0 25 0 1 0 453453076 10780672 2127 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2632 2127 231 231 0 2401 0
vsize: 10528
[startup+80.0036 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2267 0 0 0 7978 21 0 0 25 0 1 0 453453076 10780672 2214 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2632 2214 231 231 0 2401 0
vsize: 10528
[startup+90.0034 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2377 0 0 0 8978 21 0 0 25 0 1 0 453453076 10915840 2324 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2665 2324 231 231 0 2434 0
vsize: 10660
[startup+100.003 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2482 0 0 0 9978 22 0 0 25 0 1 0 453453076 10915840 2429 4294967295 134512640 135450300 3221224640 3221223456 134546485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2665 2429 231 231 0 2434 0
vsize: 10660
[startup+110.004 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2492 0 0 0 10978 22 0 0 25 0 1 0 453453076 10915840 2439 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2665 2439 231 231 0 2434 0
vsize: 10660
[startup+120.005 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2502 0 0 0 11978 22 0 0 25 0 1 0 453453076 10915840 2449 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2665 2449 231 231 0 2434 0
vsize: 10660
[startup+130.006 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2509 0 0 0 12978 22 0 0 25 0 1 0 453453076 10915840 2456 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2665 2456 231 231 0 2434 0
vsize: 10660
[startup+140.005 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2518 0 0 0 13978 22 0 0 25 0 1 0 453453076 11067392 2465 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2465 231 231 0 2471 0
vsize: 10808
[startup+150.005 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2527 0 0 0 14978 23 0 0 25 0 1 0 453453076 11067392 2474 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2474 231 231 0 2471 0
vsize: 10808
[startup+160.006 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2533 0 0 0 15978 23 0 0 25 0 1 0 453453076 11067392 2480 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2480 231 231 0 2471 0
vsize: 10808
[startup+170.006 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2541 0 0 0 16978 23 0 0 25 0 1 0 453453076 11067392 2488 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2488 231 231 0 2471 0
vsize: 10808
[startup+180.007 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2550 0 0 0 17978 23 0 0 25 0 1 0 453453076 11067392 2497 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2497 231 231 0 2471 0
vsize: 10808
[startup+190.007 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2555 0 0 0 18978 23 0 0 25 0 1 0 453453076 11067392 2502 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 2502 231 231 0 2471 0
vsize: 10808
[startup+200.007 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2660 0 0 0 19978 24 0 0 25 0 1 0 453453076 11460608 2510 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2798 2510 231 231 0 2567 0
vsize: 11192
[startup+210.008 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2668 0 0 0 20978 24 0 0 25 0 1 0 453453076 11587584 2518 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 2518 231 231 0 2598 0
vsize: 11316
[startup+220.009 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2678 0 0 0 21978 24 0 0 25 0 1 0 453453076 11587584 2528 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 2528 231 231 0 2598 0
vsize: 11316
[startup+230.009 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2687 0 0 0 22978 24 0 0 25 0 1 0 453453076 11587584 2537 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 2537 231 231 0 2598 0
vsize: 11316
[startup+240.009 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2695 0 0 0 23978 25 0 0 25 0 1 0 453453076 11587584 2545 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 2545 231 231 0 2598 0
vsize: 11316
[startup+250.009 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2702 0 0 0 24978 25 0 0 25 0 1 0 453453076 11587584 2552 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 2552 231 231 0 2598 0
vsize: 11316
[startup+260.01 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2706 0 0 0 25978 25 0 0 25 0 1 0 453453076 11587584 2556 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 2556 231 231 0 2598 0
vsize: 11316
[startup+270.009 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2718 0 0 0 26978 25 0 0 25 0 1 0 453453076 11587584 2568 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 2568 231 231 0 2598 0
vsize: 11316
[startup+280.009 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2725 0 0 0 27978 26 0 0 25 0 1 0 453453076 11726848 2575 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2575 231 231 0 2632 0
vsize: 11452
[startup+290.01 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2732 0 0 0 28978 26 0 0 25 0 1 0 453453076 11726848 2582 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2582 231 231 0 2632 0
vsize: 11452
[startup+300.01 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2735 0 0 0 29978 26 0 0 25 0 1 0 453453076 11726848 2585 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2585 231 231 0 2632 0
vsize: 11452
[startup+310.011 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2736 0 0 0 30978 26 0 0 25 0 1 0 453453076 11726848 2586 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2586 231 231 0 2632 0
vsize: 11452
[startup+320.011 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2737 0 0 0 31978 26 0 0 25 0 1 0 453453076 11726848 2587 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2587 231 231 0 2632 0
vsize: 11452
[startup+330.011 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2739 0 0 0 32978 26 0 0 25 0 1 0 453453076 11726848 2589 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2589 231 231 0 2632 0
vsize: 11452
[startup+340.011 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2750 0 0 0 33978 27 0 0 25 0 1 0 453453076 11726848 2600 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2600 231 231 0 2632 0
vsize: 11452
[startup+350.011 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2768 0 0 0 34978 27 0 0 25 0 1 0 453453076 11726848 2618 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2618 231 231 0 2632 0
vsize: 11452
[startup+360.012 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2769 0 0 0 35978 27 0 0 25 0 1 0 453453076 11726848 2619 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2619 231 231 0 2632 0
vsize: 11452
[startup+370.013 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2772 0 0 0 36978 27 0 0 25 0 1 0 453453076 11726848 2622 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2622 231 231 0 2632 0
vsize: 11452
[startup+380.013 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2781 0 0 0 37978 28 0 0 25 0 1 0 453453076 11857920 2631 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2631 231 231 0 2664 0
vsize: 11580
[startup+390.013 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2789 0 0 0 38978 28 0 0 25 0 1 0 453453076 11857920 2639 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2639 231 231 0 2664 0
vsize: 11580
[startup+400.014 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2790 0 0 0 39978 28 0 0 25 0 1 0 453453076 11857920 2640 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2640 231 231 0 2664 0
vsize: 11580
[startup+410.015 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2794 0 0 0 40978 28 0 0 25 0 1 0 453453076 11857920 2644 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2644 231 231 0 2664 0
vsize: 11580
[startup+420.015 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2795 0 0 0 41978 28 0 0 25 0 1 0 453453076 11857920 2645 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2645 231 231 0 2664 0
vsize: 11580
[startup+430.015 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2817 0 0 0 42978 28 0 0 25 0 1 0 453453076 11857920 2667 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2667 231 231 0 2664 0
vsize: 11580
[startup+440.015 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2818 0 0 0 43978 28 0 0 25 0 1 0 453453076 11857920 2668 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2668 231 231 0 2664 0
vsize: 11580
[startup+450.015 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2820 0 0 0 44978 29 0 0 25 0 1 0 453453076 11857920 2670 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2670 231 231 0 2664 0
vsize: 11580
[startup+460.016 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2823 0 0 0 45978 29 0 0 25 0 1 0 453453076 11857920 2673 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2673 231 231 0 2664 0
vsize: 11580
[startup+470.017 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2824 0 0 0 46979 29 0 0 25 0 1 0 453453076 11857920 2674 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2674 231 231 0 2664 0
vsize: 11580
[startup+480.017 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2836 0 0 0 47979 29 0 0 25 0 1 0 453453076 12034048 2686 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2686 231 231 0 2707 0
vsize: 11752
[startup+490.018 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2838 0 0 0 48979 29 0 0 25 0 1 0 453453076 12034048 2688 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2688 231 231 0 2707 0
vsize: 11752
[startup+500.018 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2842 0 0 0 49979 29 0 0 25 0 1 0 453453076 12034048 2692 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2692 231 231 0 2707 0
vsize: 11752
[startup+510.018 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2845 0 0 0 50979 29 0 0 25 0 1 0 453453076 12034048 2695 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2695 231 231 0 2707 0
vsize: 11752
[startup+520.019 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2847 0 0 0 51979 29 0 0 25 0 1 0 453453076 12034048 2697 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2697 231 231 0 2707 0
vsize: 11752
[startup+530.019 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2859 0 0 0 52979 30 0 0 25 0 1 0 453453076 12034048 2709 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2709 231 231 0 2707 0
vsize: 11752
[startup+540.019 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2863 0 0 0 53979 30 0 0 25 0 1 0 453453076 12034048 2713 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2713 231 231 0 2707 0
vsize: 11752
[startup+550.019 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2865 0 0 0 54979 30 0 0 25 0 1 0 453453076 12034048 2715 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2715 231 231 0 2707 0
vsize: 11752
[startup+560.02 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2866 0 0 0 55979 30 0 0 25 0 1 0 453453076 12034048 2716 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2716 231 231 0 2707 0
vsize: 11752
[startup+570.019 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2867 0 0 0 56979 30 0 0 25 0 1 0 453453076 12034048 2717 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2717 231 231 0 2707 0
vsize: 11752
[startup+580.019 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2881 0 0 0 57979 31 0 0 25 0 1 0 453453076 12034048 2731 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2731 231 231 0 2707 0
vsize: 11752
[startup+590.02 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2883 0 0 0 58979 31 0 0 25 0 1 0 453453076 12034048 2733 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2733 231 231 0 2707 0
vsize: 11752
[startup+600.02 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2888 0 0 0 59979 31 0 0 25 0 1 0 453453076 12034048 2738 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2738 231 231 0 2707 0
vsize: 11752
[startup+610.021 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2890 0 0 0 60979 31 0 0 25 0 1 0 453453076 12034048 2740 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2740 231 231 0 2707 0
vsize: 11752
[startup+620.022 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2891 0 0 0 61979 31 0 0 25 0 1 0 453453076 12034048 2741 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2741 231 231 0 2707 0
vsize: 11752
[startup+630.022 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2892 0 0 0 62979 31 0 0 25 0 1 0 453453076 12034048 2742 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2742 231 231 0 2707 0
vsize: 11752
[startup+640.022 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 2902 0 0 0 63979 31 0 0 25 0 1 0 453453076 12210176 2752 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2981 2752 231 231 0 2750 0
vsize: 11924
[startup+650.022 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3098 0 0 0 64979 32 0 0 25 0 1 0 453453076 12996608 2755 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2755 231 231 0 2942 0
vsize: 12692
[startup+660.023 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3099 0 0 0 65979 32 0 0 25 0 1 0 453453076 12996608 2756 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2756 231 231 0 2942 0
vsize: 12692
[startup+670.023 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3104 0 0 0 66979 32 0 0 25 0 1 0 453453076 12996608 2761 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2761 231 231 0 2942 0
vsize: 12692
[startup+680.023 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3107 0 0 0 67979 32 0 0 25 0 1 0 453453076 12996608 2764 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2764 231 231 0 2942 0
vsize: 12692
[startup+690.023 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3138 0 0 0 68979 33 0 0 25 0 1 0 453453076 12996608 2795 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2795 231 231 0 2942 0
vsize: 12692
[startup+700.023 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3139 0 0 0 69979 33 0 0 25 0 1 0 453453076 12996608 2796 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2796 231 231 0 2942 0
vsize: 12692
[startup+710.024 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3140 0 0 0 70979 33 0 0 25 0 1 0 453453076 12996608 2797 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2797 231 231 0 2942 0
vsize: 12692
[startup+720.024 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3141 0 0 0 71979 33 0 0 25 0 1 0 453453076 12996608 2798 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2798 231 231 0 2942 0
vsize: 12692
[startup+730.024 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3142 0 0 0 72980 33 0 0 25 0 1 0 453453076 12996608 2799 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2799 231 231 0 2942 0
vsize: 12692
[startup+740.024 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3146 0 0 0 73979 33 0 0 25 0 1 0 453453076 12996608 2803 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2803 231 231 0 2942 0
vsize: 12692
[startup+750.024 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3150 0 0 0 74979 34 0 0 25 0 1 0 453453076 12996608 2807 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2807 231 231 0 2942 0
vsize: 12692
[startup+760.024 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3151 0 0 0 75979 34 0 0 25 0 1 0 453453076 12996608 2808 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2808 231 231 0 2942 0
vsize: 12692
[startup+770.024 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3152 0 0 0 76979 34 0 0 25 0 1 0 453453076 12996608 2809 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2809 231 231 0 2942 0
vsize: 12692
[startup+780.024 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3153 0 0 0 77979 34 0 0 25 0 1 0 453453076 12996608 2810 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2810 231 231 0 2942 0
vsize: 12692
[startup+790.024 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3166 0 0 0 78980 34 0 0 25 0 1 0 453453076 13127680 2823 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2823 231 231 0 2974 0
vsize: 12820
[startup+800.024 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3168 0 0 0 79980 34 0 0 25 0 1 0 453453076 13127680 2825 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2825 231 231 0 2974 0
vsize: 12820
[startup+810.024 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3169 0 0 0 80979 34 0 0 25 0 1 0 453453076 13127680 2826 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2826 231 231 0 2974 0
vsize: 12820
[startup+820.025 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3172 0 0 0 81979 34 0 0 25 0 1 0 453453076 13127680 2829 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2829 231 231 0 2974 0
vsize: 12820
[startup+830.025 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3173 0 0 0 82980 35 0 0 25 0 1 0 453453076 13127680 2830 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2830 231 231 0 2974 0
vsize: 12820
[startup+840.025 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3187 0 0 0 83980 35 0 0 25 0 1 0 453453076 13127680 2844 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2844 231 231 0 2974 0
vsize: 12820
[startup+850.025 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3190 0 0 0 84980 35 0 0 25 0 1 0 453453076 13127680 2847 4294967295 134512640 135450300 3221224640 3221223456 134546485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2847 231 231 0 2974 0
vsize: 12820
[startup+860.026 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3192 0 0 0 85980 35 0 0 25 0 1 0 453453076 13127680 2849 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2849 231 231 0 2974 0
vsize: 12820
[startup+870.025 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3192 0 0 0 86980 35 0 0 25 0 1 0 453453076 13127680 2849 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2849 231 231 0 2974 0
vsize: 12820
[startup+880.026 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3194 0 0 0 87980 35 0 0 25 0 1 0 453453076 13127680 2851 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2851 231 231 0 2974 0
vsize: 12820
[startup+890.026 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3196 0 0 0 88980 35 0 0 25 0 1 0 453453076 13127680 2853 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2853 231 231 0 2974 0
vsize: 12820
[startup+900.026 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3210 0 0 0 89980 35 0 0 25 0 1 0 453453076 13299712 2867 4294967295 134512640 135450300 3221224640 3221223360 134535564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2867 231 231 0 3016 0
vsize: 12988
[startup+910.027 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3213 0 0 0 90980 35 0 0 25 0 1 0 453453076 13299712 2870 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2870 231 231 0 3016 0
vsize: 12988
[startup+920.028 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3226 0 0 0 91979 37 0 0 25 0 1 0 453453076 13299712 2883 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2883 231 231 0 3016 0
vsize: 12988
[startup+930.028 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3238 0 0 0 92979 37 0 0 25 0 1 0 453453076 13299712 2895 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2895 231 231 0 3016 0
vsize: 12988
[startup+940.028 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3240 0 0 0 93979 37 0 0 25 0 1 0 453453076 13299712 2897 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2897 231 231 0 3016 0
vsize: 12988
[startup+950.028 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3243 0 0 0 94979 37 0 0 25 0 1 0 453453076 13299712 2900 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2900 231 231 0 3016 0
vsize: 12988
[startup+960.029 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3245 0 0 0 95979 37 0 0 25 0 1 0 453453076 13299712 2902 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2902 231 231 0 3016 0
vsize: 12988
[startup+970.029 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3245 0 0 0 96979 38 0 0 25 0 1 0 453453076 13299712 2902 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2902 231 231 0 3016 0
vsize: 12988
[startup+980.029 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3246 0 0 0 97980 38 0 0 25 0 1 0 453453076 13299712 2903 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2903 231 231 0 3016 0
vsize: 12988
[startup+990.03 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3254 0 0 0 98980 38 0 0 25 0 1 0 453453076 13299712 2911 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2911 231 231 0 3016 0
vsize: 12988
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3257 0 0 0 99980 38 0 0 25 0 1 0 453453076 13299712 2914 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2914 231 231 0 3016 0
vsize: 12988
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3261 0 0 0 100981 38 0 0 25 0 1 0 453453076 13434880 2918 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2918 231 231 0 3049 0
vsize: 13120
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3262 0 0 0 101982 38 0 0 25 0 1 0 453453076 13434880 2919 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2919 231 231 0 3049 0
vsize: 13120
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3263 0 0 0 102982 38 0 0 25 0 1 0 453453076 13434880 2920 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2920 231 231 0 3049 0
vsize: 13120
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3264 0 0 0 103982 38 0 0 25 0 1 0 453453076 13434880 2921 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2921 231 231 0 3049 0
vsize: 13120
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3274 0 0 0 104982 38 0 0 25 0 1 0 453453076 13434880 2931 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2931 231 231 0 3049 0
vsize: 13120
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3279 0 0 0 105982 39 0 0 25 0 1 0 453453076 13434880 2936 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2936 231 231 0 3049 0
vsize: 13120
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3280 0 0 0 106982 39 0 0 25 0 1 0 453453076 13434880 2937 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2937 231 231 0 3049 0
vsize: 13120
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 24424
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3281 0 0 0 107982 39 0 0 25 0 1 0 453453076 13434880 2938 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2938 231 231 0 3049 0
vsize: 13120
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.96 0.66 3/55 24425
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3282 0 0 0 108982 39 0 0 25 0 1 0 453453076 13434880 2939 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2939 231 231 0 3049 0
vsize: 13120
[startup+1100.05 s]
Raw data (loadavg): 1.07 0.97 0.67 2/58 24467
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3284 0 0 0 109982 39 0 0 25 0 1 0 453453076 13434880 2941 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2941 231 231 0 3049 0
vsize: 13120
[startup+1110.06 s]
Raw data (loadavg): 1.14 0.99 0.68 3/56 24471
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3297 0 0 0 110982 39 0 0 25 0 1 0 453453076 13434880 2954 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2954 231 231 0 3049 0
vsize: 13120
[startup+1120.06 s]
Raw data (loadavg): 1.26 1.02 0.69 2/54 24477
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3300 0 0 0 111982 39 0 0 25 0 1 0 453453076 13434880 2957 4294967295 134512640 135450300 3221224640 3221223376 134538512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2957 231 231 0 3049 0
vsize: 13120
[startup+1130.38 s]
Raw data (loadavg): 1.22 1.02 0.69 2/54 24477
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3301 0 0 0 113014 39 0 0 25 0 1 0 453453076 13434880 2958 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2958 231 231 0 3049 0
vsize: 13120
[startup+1140.38 s]
Raw data (loadavg): 1.19 1.02 0.70 2/54 24477
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3302 0 0 0 114014 40 0 0 25 0 1 0 453453076 13434880 2959 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2959 231 231 0 3049 0
vsize: 13120
[startup+1150.38 s]
Raw data (loadavg): 1.16 1.02 0.70 2/54 24477
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3303 0 0 0 115015 40 0 0 25 0 1 0 453453076 13434880 2960 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2960 231 231 0 3049 0
vsize: 13120
[startup+1160.38 s]
Raw data (loadavg): 1.13 1.02 0.70 2/54 24477
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3305 0 0 0 116015 40 0 0 25 0 1 0 453453076 13434880 2962 4294967295 134512640 135450300 3221224640 3221223360 134535821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2962 231 231 0 3049 0
vsize: 13120
[startup+1170.38 s]
Raw data (loadavg): 1.11 1.02 0.70 2/54 24477
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3316 0 0 0 117015 40 0 0 25 0 1 0 453453076 13434880 2973 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2973 231 231 0 3049 0
vsize: 13120
[startup+1180.38 s]
Raw data (loadavg): 1.09 1.02 0.71 2/54 24479
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3319 0 0 0 118015 40 0 0 25 0 1 0 453453076 13434880 2976 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2976 231 231 0 3049 0
vsize: 13120
[startup+1190.38 s]
Raw data (loadavg): 1.08 1.02 0.71 2/54 24479
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3320 0 0 0 119015 40 0 0 25 0 1 0 453453076 13434880 2977 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2977 231 231 0 3049 0
vsize: 13120
[startup+1200.38 s]
Raw data (loadavg): 1.07 1.02 0.71 2/54 24479
Raw data (stat): 24424 (PBS4) R 24423 29151 29150 0 -1 0 3322 0 0 0 120015 40 0 0 25 0 1 0 453453076 13434880 2979 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3280 2979 231 231 0 3049 0
vsize: 13120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.39 s]
Raw data (loadavg): 1.07 1.02 0.71 1/54 24479
Raw data (stat): 24424 (PBS4) Z 24423 29151 29150 0 -1 1036 3322 0 0 0 120015 41 0 0 25 0 1 0 453453076 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.39
CPU time (s): 1200.57
CPU user time (s): 1200.16
CPU system time (s): 0.410937
CPU usage (%): 100.015
Max. virtual memory (Kb): 13120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####