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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
MD5SUM	69e7430fb77e7d40f128bdde5f7776a3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13476271
Optimality of the best value was proved	NO
Number of terms in the objective function	2016
Biggest coefficient in the objective function	402653184
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	34444990400
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	402653184
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	34444990400
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.37
Number of variables	2016
Total number of constraints	116
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 17862

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-21 12:26:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18960 boxname=wulflinc24 idbench=1459 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  69e7430fb77e7d40f128bdde5f7776a3  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-bal8x12.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-bal8x12.opb
IDLAUNCH: 18960
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        811016 kB
Buffers:         22444 kB
Cached:         177156 kB
SwapCached:        524 kB
Active:          51316 kB
Inactive:       150248 kB
HighTotal:      131008 kB
HighFree:        13412 kB
LowTotal:       903652 kB
LowFree:        797604 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            16460 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 12:46:02 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 18960 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-bal8x12.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.84 0.94 0.97 2/54 32306
Raw data (stat): 32306 (runsolver) R 32305 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545063076 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.99995 s]
Raw data (loadavg): 0.87 0.94 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 602 0 0 0 993 5 0 0 25 0 1 0 545063076 3305472 550 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 807 550 231 231 0 576 0
vsize: 3228
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 1489 0 0 0 1988 10 0 0 25 0 1 0 545063076 10952704 1437 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1437 231 231 0 2443 0
vsize: 10696
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.94 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 1632 0 0 0 2988 11 0 0 25 0 1 0 545063076 10952704 1580 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1580 231 231 0 2443 0
vsize: 10696
[startup+40.001 s]
Raw data (loadavg): 0.92 0.94 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 1665 0 0 0 3988 11 0 0 25 0 1 0 545063076 10952704 1613 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1613 231 231 0 2443 0
vsize: 10696
[startup+50.002 s]
Raw data (loadavg): 0.93 0.94 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 1688 0 0 0 4988 11 0 0 25 0 1 0 545063076 10952704 1636 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1636 231 231 0 2443 0
vsize: 10696
[startup+60.0018 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 1726 0 0 0 5988 12 0 0 25 0 1 0 545063076 10952704 1674 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1674 231 231 0 2443 0
vsize: 10696
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 1772 0 0 0 6988 12 0 0 25 0 1 0 545063076 10952704 1720 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1720 231 231 0 2443 0
vsize: 10696
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 1789 0 0 0 7988 12 0 0 25 0 1 0 545063076 10952704 1737 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1737 231 231 0 2443 0
vsize: 10696
[startup+90.0018 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 1831 0 0 0 8988 12 0 0 25 0 1 0 545063076 10952704 1779 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1779 231 231 0 2443 0
vsize: 10696
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2016 0 0 0 9986 14 0 0 25 0 1 0 545063076 11223040 1964 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2740 1964 231 231 0 2509 0
vsize: 10960
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2271 0 0 0 10984 17 0 0 25 0 1 0 545063076 11558912 2219 4294967295 134512640 135450300 3221224624 3221223232 134537600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2822 2219 231 231 0 2591 0
vsize: 11288
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2726 0 0 0 11982 19 0 0 25 0 1 0 545063076 19947520 2674 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 2674 231 231 0 4639 0
vsize: 19480
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2767 0 0 0 12982 19 0 0 25 0 1 0 545063076 19947520 2715 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 2715 231 231 0 4639 0
vsize: 19480
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2804 0 0 0 13982 19 0 0 25 0 1 0 545063076 19947520 2752 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 2752 231 231 0 4639 0
vsize: 19480
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2828 0 0 0 14982 19 0 0 25 0 1 0 545063076 19947520 2776 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 2776 231 231 0 4639 0
vsize: 19480
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2881 0 0 0 15982 20 0 0 25 0 1 0 545063076 19947520 2829 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 2829 231 231 0 4639 0
vsize: 19480
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2919 0 0 0 16982 20 0 0 25 0 1 0 545063076 19947520 2867 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 2867 231 231 0 4639 0
vsize: 19480
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 2932 0 0 0 17982 20 0 0 25 0 1 0 545063076 19947520 2880 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 2880 231 231 0 4639 0
vsize: 19480
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3015 0 0 0 18982 20 0 0 25 0 1 0 545063076 19947520 2963 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 2963 231 231 0 4639 0
vsize: 19480
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3080 0 0 0 19982 20 0 0 25 0 1 0 545063076 19947520 3028 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3028 231 231 0 4639 0
vsize: 19480
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3190 0 0 0 20981 21 0 0 25 0 1 0 545063076 19947520 3138 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3138 231 231 0 4639 0
vsize: 19480
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3224 0 0 0 21981 21 0 0 25 0 1 0 545063076 19947520 3172 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3172 231 231 0 4639 0
vsize: 19480
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3270 0 0 0 22981 21 0 0 25 0 1 0 545063076 19947520 3218 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3218 231 231 0 4639 0
vsize: 19480
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3361 0 0 0 23981 22 0 0 25 0 1 0 545063076 19947520 3309 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3309 231 231 0 4639 0
vsize: 19480
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3463 0 0 0 24981 22 0 0 25 0 1 0 545063076 19947520 3411 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3411 231 231 0 4639 0
vsize: 19480
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3507 0 0 0 25981 22 0 0 25 0 1 0 545063076 19947520 3455 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3455 231 231 0 4639 0
vsize: 19480
[startup+270.004 s]
Raw data (loadavg): 1.07 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3588 0 0 0 26981 23 0 0 25 0 1 0 545063076 19947520 3536 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3536 231 231 0 4639 0
vsize: 19480
[startup+280.004 s]
Raw data (loadavg): 1.06 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3602 0 0 0 27981 23 0 0 25 0 1 0 545063076 19947520 3550 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3550 231 231 0 4639 0
vsize: 19480
[startup+290.004 s]
Raw data (loadavg): 1.05 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3609 0 0 0 28981 23 0 0 25 0 1 0 545063076 19947520 3557 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3557 231 231 0 4639 0
vsize: 19480
[startup+300.005 s]
Raw data (loadavg): 1.04 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3635 0 0 0 29981 23 0 0 25 0 1 0 545063076 19947520 3583 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3583 231 231 0 4639 0
vsize: 19480
[startup+310.004 s]
Raw data (loadavg): 1.03 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3644 0 0 0 30981 23 0 0 25 0 1 0 545063076 19947520 3592 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 3592 231 231 0 4639 0
vsize: 19480
[startup+320.004 s]
Raw data (loadavg): 1.03 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3817 0 0 0 31979 25 0 0 25 0 1 0 545063076 20082688 3765 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 3765 231 231 0 4672 0
vsize: 19612
[startup+330.005 s]
Raw data (loadavg): 1.02 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3876 0 0 0 32980 25 0 0 25 0 1 0 545063076 20082688 3824 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 3824 231 231 0 4672 0
vsize: 19612
[startup+340.004 s]
Raw data (loadavg): 1.02 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3918 0 0 0 33979 25 0 0 25 0 1 0 545063076 20082688 3866 4294967295 134512640 135450300 3221224624 3221223344 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 3866 231 231 0 4672 0
vsize: 19612
[startup+350.004 s]
Raw data (loadavg): 1.02 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 3980 0 0 0 34979 25 0 0 25 0 1 0 545063076 20082688 3928 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 3928 231 231 0 4672 0
vsize: 19612
[startup+360.004 s]
Raw data (loadavg): 1.01 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4006 0 0 0 35980 26 0 0 25 0 1 0 545063076 20082688 3954 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 3954 231 231 0 4672 0
vsize: 19612
[startup+370.004 s]
Raw data (loadavg): 1.01 0.98 0.97 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4106 0 0 0 36979 26 0 0 25 0 1 0 545063076 20082688 4054 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 4054 231 231 0 4672 0
vsize: 19612
[startup+380.004 s]
Raw data (loadavg): 1.09 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4241 0 0 0 37979 27 0 0 25 0 1 0 545063076 20082688 4189 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 4189 231 231 0 4672 0
vsize: 19612
[startup+390.004 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4258 0 0 0 38979 27 0 0 25 0 1 0 545063076 20082688 4206 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 4206 231 231 0 4672 0
vsize: 19612
[startup+400.004 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4284 0 0 0 39979 27 0 0 25 0 1 0 545063076 20082688 4232 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 4232 231 231 0 4672 0
vsize: 19612
[startup+410.004 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4331 0 0 0 40979 27 0 0 25 0 1 0 545063076 20082688 4279 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 4279 231 231 0 4672 0
vsize: 19612
[startup+420.005 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4415 0 0 0 41979 27 0 0 25 0 1 0 545063076 20279296 4314 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4314 231 231 0 4720 0
vsize: 19804
[startup+430.006 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4424 0 0 0 42979 27 0 0 25 0 1 0 545063076 20279296 4323 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4323 231 231 0 4720 0
vsize: 19804
[startup+440.005 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4436 0 0 0 43979 27 0 0 25 0 1 0 545063076 20279296 4335 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4335 231 231 0 4720 0
vsize: 19804
[startup+450.012 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4457 0 0 0 44980 28 0 0 25 0 1 0 545063076 20279296 4356 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4356 231 231 0 4720 0
vsize: 19804
[startup+460.12 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4469 0 0 0 45991 28 0 0 25 0 1 0 545063076 20279296 4368 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4368 231 231 0 4720 0
vsize: 19804
[startup+470.12 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4508 0 0 0 46991 28 0 0 25 0 1 0 545063076 20398080 4407 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4407 231 231 0 4749 0
vsize: 19920
[startup+480.12 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4573 0 0 0 47990 28 0 0 25 0 1 0 545063076 20398080 4472 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4472 231 231 0 4749 0
vsize: 19920
[startup+490.121 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4594 0 0 0 48991 29 0 0 25 0 1 0 545063076 20398080 4493 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4493 231 231 0 4749 0
vsize: 19920
[startup+500.121 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4608 0 0 0 49991 29 0 0 25 0 1 0 545063076 20398080 4507 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4507 231 231 0 4749 0
vsize: 19920
[startup+510.12 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4654 0 0 0 50990 29 0 0 25 0 1 0 545063076 20398080 4553 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4553 231 231 0 4749 0
vsize: 19920
[startup+520.121 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4674 0 0 0 51991 29 0 0 25 0 1 0 545063076 20398080 4573 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4573 231 231 0 4749 0
vsize: 19920
[startup+530.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4699 0 0 0 52991 29 0 0 25 0 1 0 545063076 20398080 4598 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4598 231 231 0 4749 0
vsize: 19920
[startup+540.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4751 0 0 0 53991 29 0 0 25 0 1 0 545063076 20398080 4650 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4650 231 231 0 4749 0
vsize: 19920
[startup+550.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4777 0 0 0 54991 29 0 0 25 0 1 0 545063076 20398080 4676 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4676 231 231 0 4749 0
vsize: 19920
[startup+560.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4810 0 0 0 55991 29 0 0 25 0 1 0 545063076 20398080 4709 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4709 231 231 0 4749 0
vsize: 19920
[startup+570.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4834 0 0 0 56991 30 0 0 25 0 1 0 545063076 20398080 4733 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4733 231 231 0 4749 0
vsize: 19920
[startup+580.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4849 0 0 0 57991 30 0 0 25 0 1 0 545063076 20398080 4748 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4748 231 231 0 4749 0
vsize: 19920
[startup+590.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4849 0 0 0 58991 30 0 0 25 0 1 0 545063076 20398080 4748 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4748 231 231 0 4749 0
vsize: 19920
[startup+600.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4850 0 0 0 59991 30 0 0 25 0 1 0 545063076 20398080 4749 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4749 231 231 0 4749 0
vsize: 19920
[startup+610.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4851 0 0 0 60991 30 0 0 25 0 1 0 545063076 20398080 4750 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4750 231 231 0 4749 0
vsize: 19920
[startup+620.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4852 0 0 0 61991 30 0 0 25 0 1 0 545063076 20398080 4751 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4751 231 231 0 4749 0
vsize: 19920
[startup+630.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4853 0 0 0 62991 30 0 0 25 0 1 0 545063076 20398080 4752 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4752 231 231 0 4749 0
vsize: 19920
[startup+640.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4856 0 0 0 63991 30 0 0 25 0 1 0 545063076 20398080 4755 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4755 231 231 0 4749 0
vsize: 19920
[startup+650.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4857 0 0 0 64992 30 0 0 25 0 1 0 545063076 20398080 4756 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4756 231 231 0 4749 0
vsize: 19920
[startup+660.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4858 0 0 0 65992 31 0 0 25 0 1 0 545063076 20398080 4757 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4757 231 231 0 4749 0
vsize: 19920
[startup+670.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4858 0 0 0 66992 31 0 0 25 0 1 0 545063076 20398080 4757 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4757 231 231 0 4749 0
vsize: 19920
[startup+680.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4858 0 0 0 67992 31 0 0 25 0 1 0 545063076 20398080 4757 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4757 231 231 0 4749 0
vsize: 19920
[startup+690.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4859 0 0 0 68992 31 0 0 25 0 1 0 545063076 20398080 4758 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4758 231 231 0 4749 0
vsize: 19920
[startup+700.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4859 0 0 0 69992 31 0 0 25 0 1 0 545063076 20398080 4758 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4758 231 231 0 4749 0
vsize: 19920
[startup+710.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4863 0 0 0 70992 31 0 0 25 0 1 0 545063076 20525056 4762 4294967295 134512640 135450300 3221224624 3221223088 134532878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4762 231 231 0 4780 0
vsize: 20044
[startup+720.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4865 0 0 0 71992 31 0 0 25 0 1 0 545063076 20525056 4764 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4764 231 231 0 4780 0
vsize: 20044
[startup+730.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4874 0 0 0 72992 32 0 0 25 0 1 0 545063076 20525056 4773 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4773 231 231 0 4780 0
vsize: 20044
[startup+740.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4874 0 0 0 73992 32 0 0 25 0 1 0 545063076 20525056 4773 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4773 231 231 0 4780 0
vsize: 20044
[startup+750.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4874 0 0 0 74992 32 0 0 25 0 1 0 545063076 20525056 4773 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4773 231 231 0 4780 0
vsize: 20044
[startup+760.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4876 0 0 0 75992 32 0 0 25 0 1 0 545063076 20525056 4775 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4775 231 231 0 4780 0
vsize: 20044
[startup+770.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4876 0 0 0 76992 32 0 0 25 0 1 0 545063076 20525056 4775 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4775 231 231 0 4780 0
vsize: 20044
[startup+780.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4883 0 0 0 77992 33 0 0 25 0 1 0 545063076 20525056 4782 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4782 231 231 0 4780 0
vsize: 20044
[startup+790.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4886 0 0 0 78992 33 0 0 25 0 1 0 545063076 20525056 4785 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4785 231 231 0 4780 0
vsize: 20044
[startup+800.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4887 0 0 0 79992 33 0 0 25 0 1 0 545063076 20525056 4786 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4786 231 231 0 4780 0
vsize: 20044
[startup+810.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4889 0 0 0 80992 33 0 0 25 0 1 0 545063076 20525056 4788 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4788 231 231 0 4780 0
vsize: 20044
[startup+820.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4891 0 0 0 81993 33 0 0 25 0 1 0 545063076 20525056 4790 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4790 231 231 0 4780 0
vsize: 20044
[startup+830.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4892 0 0 0 82993 33 0 0 25 0 1 0 545063076 20525056 4791 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4791 231 231 0 4780 0
vsize: 20044
[startup+840.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4893 0 0 0 83993 33 0 0 25 0 1 0 545063076 20525056 4792 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4792 231 231 0 4780 0
vsize: 20044
[startup+850.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4903 0 0 0 84993 33 0 0 25 0 1 0 545063076 20668416 4802 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4802 231 231 0 4815 0
vsize: 20184
[startup+860.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4905 0 0 0 85993 33 0 0 25 0 1 0 545063076 20668416 4804 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4804 231 231 0 4815 0
vsize: 20184
[startup+870.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4905 0 0 0 86993 33 0 0 25 0 1 0 545063076 20668416 4804 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4804 231 231 0 4815 0
vsize: 20184
[startup+880.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4906 0 0 0 87993 33 0 0 25 0 1 0 545063076 20668416 4805 4294967295 134512640 135450300 3221224624 3221223344 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4805 231 231 0 4815 0
vsize: 20184
[startup+890.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4908 0 0 0 88993 33 0 0 25 0 1 0 545063076 20668416 4807 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4807 231 231 0 4815 0
vsize: 20184
[startup+900.126 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4910 0 0 0 89994 33 0 0 25 0 1 0 545063076 20668416 4809 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4809 231 231 0 4815 0
vsize: 20184
[startup+910.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4911 0 0 0 90994 33 0 0 25 0 1 0 545063076 20668416 4810 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4810 231 231 0 4815 0
vsize: 20184
[startup+920.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4912 0 0 0 91994 34 0 0 25 0 1 0 545063076 20668416 4811 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4811 231 231 0 4815 0
vsize: 20184
[startup+930.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4913 0 0 0 92994 34 0 0 25 0 1 0 545063076 20668416 4812 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4812 231 231 0 4815 0
vsize: 20184
[startup+940.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4913 0 0 0 93994 34 0 0 25 0 1 0 545063076 20668416 4812 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4812 231 231 0 4815 0
vsize: 20184
[startup+950.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4913 0 0 0 94994 34 0 0 25 0 1 0 545063076 20668416 4812 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4812 231 231 0 4815 0
vsize: 20184
[startup+960.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4913 0 0 0 95994 34 0 0 25 0 1 0 545063076 20668416 4812 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4812 231 231 0 4815 0
vsize: 20184
[startup+970.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4913 0 0 0 96994 34 0 0 25 0 1 0 545063076 20668416 4812 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4812 231 231 0 4815 0
vsize: 20184
[startup+980.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4913 0 0 0 97994 34 0 0 25 0 1 0 545063076 20668416 4812 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4812 231 231 0 4815 0
vsize: 20184
[startup+990.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4915 0 0 0 98994 34 0 0 25 0 1 0 545063076 20668416 4814 4294967295 134512640 135450300 3221224624 3221223344 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4814 231 231 0 4815 0
vsize: 20184
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4915 0 0 0 99994 34 0 0 25 0 1 0 545063076 20668416 4814 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4814 231 231 0 4815 0
vsize: 20184
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4920 0 0 0 100994 34 0 0 25 0 1 0 545063076 20668416 4819 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4819 231 231 0 4815 0
vsize: 20184
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4920 0 0 0 101994 34 0 0 25 0 1 0 545063076 20668416 4819 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4819 231 231 0 4815 0
vsize: 20184
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4920 0 0 0 102995 34 0 0 25 0 1 0 545063076 20668416 4819 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4819 231 231 0 4815 0
vsize: 20184
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4922 0 0 0 103995 35 0 0 25 0 1 0 545063076 20668416 4821 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4821 231 231 0 4815 0
vsize: 20184
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4922 0 0 0 104995 35 0 0 25 0 1 0 545063076 20668416 4821 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4821 231 231 0 4815 0
vsize: 20184
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4923 0 0 0 105995 35 0 0 25 0 1 0 545063076 20668416 4822 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4822 231 231 0 4815 0
vsize: 20184
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4926 0 0 0 106995 35 0 0 25 0 1 0 545063076 20668416 4825 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4825 231 231 0 4815 0
vsize: 20184
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4929 0 0 0 107995 35 0 0 25 0 1 0 545063076 20668416 4828 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4828 231 231 0 4815 0
vsize: 20184
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4930 0 0 0 108995 35 0 0 25 0 1 0 545063076 20668416 4829 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4829 231 231 0 4815 0
vsize: 20184
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4930 0 0 0 109995 35 0 0 25 0 1 0 545063076 20668416 4829 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4829 231 231 0 4815 0
vsize: 20184
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4931 0 0 0 110996 35 0 0 25 0 1 0 545063076 20668416 4830 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4830 231 231 0 4815 0
vsize: 20184
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4931 0 0 0 111996 35 0 0 25 0 1 0 545063076 20668416 4830 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4830 231 231 0 4815 0
vsize: 20184
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4932 0 0 0 112996 35 0 0 25 0 1 0 545063076 20668416 4831 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4831 231 231 0 4815 0
vsize: 20184
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4935 0 0 0 113996 35 0 0 25 0 1 0 545063076 20668416 4834 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4834 231 231 0 4815 0
vsize: 20184
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4935 0 0 0 114996 35 0 0 25 0 1 0 545063076 20668416 4834 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4834 231 231 0 4815 0
vsize: 20184
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4936 0 0 0 115996 35 0 0 25 0 1 0 545063076 20668416 4835 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4835 231 231 0 4815 0
vsize: 20184
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4936 0 0 0 116997 35 0 0 25 0 1 0 545063076 20668416 4835 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4835 231 231 0 4815 0
vsize: 20184
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4947 0 0 0 117996 36 0 0 25 0 1 0 545063076 20799488 4846 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4846 231 231 0 4847 0
vsize: 20312
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4948 0 0 0 118996 36 0 0 25 0 1 0 545063076 20799488 4847 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4847 231 231 0 4847 0
vsize: 20312
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32306
Raw data (stat): 32306 (PBS4) R 32305 28546 28545 0 -1 0 4948 0 0 0 119996 36 0 0 25 0 1 0 545063076 20799488 4847 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4847 231 231 0 4847 0
vsize: 20312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 32306
Raw data (stat): 32306 (PBS4) Z 32305 28546 28545 0 -1 1036 4948 0 0 0 119997 37 0 0 25 0 1 0 545063076 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.14
CPU time (s): 1200.35
CPU user time (s): 1199.97
CPU system time (s): 0.374943
CPU usage (%): 100.017
Max. virtual memory (Kb): 20312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####