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-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	465
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149
Trace number 7682

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-17 15:39:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=528 boxname=wulflinc4 idbench=59 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc4/normalized-5xp1.b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc4/normalized-5xp1.b.opb
IDLAUNCH: 528
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        862444 kB
Buffers:         37616 kB
Cached:         113412 kB
SwapCached:          0 kB
Active:          71704 kB
Inactive:        82216 kB
HighTotal:      131008 kB
HighFree:        13804 kB
LowTotal:       903652 kB
LowFree:        848640 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            12896 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 15:59:28 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 528 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-5xp1.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.01 0.01 0.00 2/54 1267
Raw data (stat): 1267 (runsolver) R 1266 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453436980 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.16 0.05 0.01 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 345 0 0 0 990 8 0 0 25 0 1 0 453436980 2117632 341 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 517 341 231 231 0 286 0
vsize: 2068
[startup+20.0009 s]
Raw data (loadavg): 0.29 0.08 0.02 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 362 0 0 0 1990 8 0 0 25 0 1 0 453436980 2641920 358 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 645 358 231 231 0 414 0
vsize: 2580
[startup+30.0008 s]
Raw data (loadavg): 0.40 0.11 0.03 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 377 0 0 0 2990 8 0 0 25 0 1 0 453436980 2641920 373 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 645 373 231 231 0 414 0
vsize: 2580
[startup+40.0015 s]
Raw data (loadavg): 0.49 0.14 0.04 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 408 0 0 0 3990 9 0 0 25 0 1 0 453436980 2777088 404 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 678 404 231 231 0 447 0
vsize: 2712
[startup+50.0023 s]
Raw data (loadavg): 0.57 0.16 0.05 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 423 0 0 0 4990 9 0 0 25 0 1 0 453436980 2777088 419 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 678 419 231 231 0 447 0
vsize: 2712
[startup+60.0022 s]
Raw data (loadavg): 0.63 0.19 0.06 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 438 0 0 0 5990 9 0 0 25 0 1 0 453436980 2777088 434 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 678 434 231 231 0 447 0
vsize: 2712
[startup+70.003 s]
Raw data (loadavg): 0.69 0.22 0.07 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 454 0 0 0 6990 9 0 0 25 0 1 0 453436980 2777088 450 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 678 450 231 231 0 447 0
vsize: 2712
[startup+80.0027 s]
Raw data (loadavg): 0.74 0.24 0.08 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 463 0 0 0 7990 9 0 0 25 0 1 0 453436980 2777088 459 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 678 459 231 231 0 447 0
vsize: 2712
[startup+90.0036 s]
Raw data (loadavg): 0.78 0.27 0.09 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 474 0 0 0 8991 9 0 0 25 0 1 0 453436980 2777088 470 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 678 470 231 231 0 447 0
vsize: 2712
[startup+100.003 s]
Raw data (loadavg): 0.81 0.29 0.10 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 488 0 0 0 9991 9 0 0 25 0 1 0 453436980 2777088 484 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 678 484 231 231 0 447 0
vsize: 2712
[startup+110.003 s]
Raw data (loadavg): 0.84 0.31 0.11 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 501 0 0 0 10991 9 0 0 25 0 1 0 453436980 2777088 497 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 678 497 231 231 0 447 0
vsize: 2712
[startup+120.004 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 512 0 0 0 11991 9 0 0 25 0 1 0 453436980 3825664 508 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 934 508 231 231 0 703 0
vsize: 3736
[startup+130.004 s]
Raw data (loadavg): 0.88 0.36 0.12 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 524 0 0 0 12991 9 0 0 25 0 1 0 453436980 3825664 520 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 934 520 231 231 0 703 0
vsize: 3736
[startup+140.005 s]
Raw data (loadavg): 0.90 0.38 0.13 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 536 0 0 0 13991 9 0 0 25 0 1 0 453436980 3825664 532 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 934 532 231 231 0 703 0
vsize: 3736
[startup+150.005 s]
Raw data (loadavg): 0.92 0.40 0.14 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 549 0 0 0 14992 10 0 0 25 0 1 0 453436980 3825664 545 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 934 545 231 231 0 703 0
vsize: 3736
[startup+160.005 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 559 0 0 0 15992 10 0 0 25 0 1 0 453436980 3825664 555 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 934 555 231 231 0 703 0
vsize: 3736
[startup+170.005 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 595 0 0 0 16992 10 0 0 25 0 1 0 453436980 4026368 591 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 591 231 231 0 752 0
vsize: 3932
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 605 0 0 0 17992 10 0 0 25 0 1 0 453436980 4026368 601 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 601 231 231 0 752 0
vsize: 3932
[startup+190.006 s]
Raw data (loadavg): 0.95 0.47 0.18 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 617 0 0 0 18992 10 0 0 25 0 1 0 453436980 4026368 613 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 613 231 231 0 752 0
vsize: 3932
[startup+200.005 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 627 0 0 0 19992 10 0 0 25 0 1 0 453436980 4026368 623 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 623 231 231 0 752 0
vsize: 3932
[startup+210.005 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 638 0 0 0 20992 10 0 0 25 0 1 0 453436980 4026368 634 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 634 231 231 0 752 0
vsize: 3932
[startup+220.006 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 649 0 0 0 21992 11 0 0 25 0 1 0 453436980 4026368 645 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 645 231 231 0 752 0
vsize: 3932
[startup+230.006 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 659 0 0 0 22992 11 0 0 25 0 1 0 453436980 4026368 655 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 655 231 231 0 752 0
vsize: 3932
[startup+240.007 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 669 0 0 0 23992 11 0 0 25 0 1 0 453436980 4026368 665 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 665 231 231 0 752 0
vsize: 3932
[startup+250.006 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 680 0 0 0 24992 11 0 0 25 0 1 0 453436980 4026368 676 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 676 231 231 0 752 0
vsize: 3932
[startup+260.006 s]
Raw data (loadavg): 0.98 0.58 0.23 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 692 0 0 0 25992 11 0 0 25 0 1 0 453436980 4026368 688 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 688 231 231 0 752 0
vsize: 3932
[startup+270.006 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 704 0 0 0 26992 11 0 0 25 0 1 0 453436980 4026368 700 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 700 231 231 0 752 0
vsize: 3932
[startup+280.006 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 715 0 0 0 27992 11 0 0 25 0 1 0 453436980 4026368 711 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 711 231 231 0 752 0
vsize: 3932
[startup+290.007 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 726 0 0 0 28992 11 0 0 25 0 1 0 453436980 4026368 722 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 722 231 231 0 752 0
vsize: 3932
[startup+300.006 s]
Raw data (loadavg): 0.99 0.63 0.26 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 739 0 0 0 29993 11 0 0 25 0 1 0 453436980 4026368 735 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 735 231 231 0 752 0
vsize: 3932
[startup+310.006 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 750 0 0 0 30993 11 0 0 25 0 1 0 453436980 4026368 746 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 746 231 231 0 752 0
vsize: 3932
[startup+320.007 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 761 0 0 0 31993 11 0 0 25 0 1 0 453436980 4026368 757 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 757 231 231 0 752 0
vsize: 3932
[startup+330.007 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 774 0 0 0 32993 11 0 0 25 0 1 0 453436980 4026368 770 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 770 231 231 0 752 0
vsize: 3932
[startup+340.008 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 785 0 0 0 33993 11 0 0 25 0 1 0 453436980 4026368 781 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 781 231 231 0 752 0
vsize: 3932
[startup+350.008 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 795 0 0 0 34993 12 0 0 25 0 1 0 453436980 4026368 791 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 791 231 231 0 752 0
vsize: 3932
[startup+360.008 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 804 0 0 0 35993 12 0 0 25 0 1 0 453436980 4026368 800 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 800 231 231 0 752 0
vsize: 3932
[startup+370.008 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 814 0 0 0 36993 12 0 0 25 0 1 0 453436980 4026368 810 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 983 810 231 231 0 752 0
vsize: 3932
[startup+380.008 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 824 0 0 0 37993 12 0 0 25 0 1 0 453436980 6123520 820 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1495 820 231 231 0 1264 0
vsize: 5980
[startup+390.009 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 846 0 0 0 38993 12 0 0 25 0 1 0 453436980 6123520 842 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1495 842 231 231 0 1264 0
vsize: 5980
[startup+400.009 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 861 0 0 0 39993 12 0 0 25 0 1 0 453436980 6123520 857 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1495 857 231 231 0 1264 0
vsize: 5980
[startup+410.008 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 891 0 0 0 40994 12 0 0 25 0 1 0 453436980 6123520 887 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1495 887 231 231 0 1264 0
vsize: 5980
[startup+420.009 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 970 0 0 0 41994 12 0 0 25 0 1 0 453436980 6320128 917 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1543 917 231 231 0 1312 0
vsize: 6172
[startup+430.009 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 984 0 0 0 42994 13 0 0 25 0 1 0 453436980 6320128 931 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1543 931 231 231 0 1312 0
vsize: 6172
[startup+440.01 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1026 0 0 0 43994 13 0 0 25 0 1 0 453436980 6455296 973 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1576 973 231 231 0 1345 0
vsize: 6304
[startup+450.01 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1051 0 0 0 44994 13 0 0 25 0 1 0 453436980 6455296 998 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1576 998 231 231 0 1345 0
vsize: 6304
[startup+460.01 s]
Raw data (loadavg): 0.99 0.78 0.37 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1115 0 0 0 45993 13 0 0 25 0 1 0 453436980 6455296 1062 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1576 1062 231 231 0 1345 0
vsize: 6304
[startup+470.011 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1171 0 0 0 46993 14 0 0 25 0 1 0 453436980 6590464 1118 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1609 1118 231 231 0 1378 0
vsize: 6436
[startup+480.011 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1208 0 0 0 47993 14 0 0 25 0 1 0 453436980 6590464 1155 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1609 1155 231 231 0 1378 0
vsize: 6436
[startup+490.012 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1262 0 0 0 48993 14 0 0 25 0 1 0 453436980 6729728 1209 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1643 1209 231 231 0 1412 0
vsize: 6572
[startup+500.011 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1300 0 0 0 49993 15 0 0 25 0 1 0 453436980 6729728 1247 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1643 1247 231 231 0 1412 0
vsize: 6572
[startup+510.011 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1310 0 0 0 50993 15 0 0 25 0 1 0 453436980 6729728 1257 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1643 1257 231 231 0 1412 0
vsize: 6572
[startup+520.011 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1324 0 0 0 51993 15 0 0 25 0 1 0 453436980 6729728 1271 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1643 1271 231 231 0 1412 0
vsize: 6572
[startup+530.011 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1340 0 0 0 52993 15 0 0 25 0 1 0 453436980 6729728 1287 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1643 1287 231 231 0 1412 0
vsize: 6572
[startup+540.012 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1354 0 0 0 53993 15 0 0 25 0 1 0 453436980 6873088 1301 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1678 1301 231 231 0 1447 0
vsize: 6712
[startup+550.011 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1398 0 0 0 54993 15 0 0 25 0 1 0 453436980 6873088 1345 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1678 1345 231 231 0 1447 0
vsize: 6712
[startup+560.011 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1466 0 0 0 55992 16 0 0 25 0 1 0 453436980 6873088 1413 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1678 1413 231 231 0 1447 0
vsize: 6712
[startup+570.012 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1519 0 0 0 56992 17 0 0 25 0 1 0 453436980 7008256 1466 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1711 1466 231 231 0 1480 0
vsize: 6844
[startup+580.012 s]
Raw data (loadavg): 0.99 0.85 0.44 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1527 0 0 0 57992 17 0 0 25 0 1 0 453436980 7008256 1474 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1711 1474 231 231 0 1480 0
vsize: 6844
[startup+590.013 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1544 0 0 0 58992 17 0 0 25 0 1 0 453436980 7008256 1491 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1711 1491 231 231 0 1480 0
vsize: 6844
[startup+600.014 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1705 0 0 0 59991 18 0 0 25 0 1 0 453436980 7536640 1555 4294967295 134512640 135450300 3221224640 3221223376 134538979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1840 1555 231 231 0 1609 0
vsize: 7360
[startup+610.013 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1750 0 0 0 60990 19 0 0 25 0 1 0 453436980 7671808 1600 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1873 1600 231 231 0 1642 0
vsize: 7492
[startup+620.013 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1765 0 0 0 61990 20 0 0 25 0 1 0 453436980 7671808 1615 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1873 1615 231 231 0 1642 0
vsize: 7492
[startup+630.013 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1876 0 0 0 62989 21 0 0 25 0 1 0 453436980 11866112 1726 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1726 231 231 0 2666 0
vsize: 11588
[startup+640.014 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1945 0 0 0 63989 21 0 0 25 0 1 0 453436980 12001280 1795 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1795 231 231 0 2699 0
vsize: 11720
[startup+650.015 s]
Raw data (loadavg): 1.07 0.89 0.48 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1962 0 0 0 64988 22 0 0 25 0 1 0 453436980 12001280 1812 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1812 231 231 0 2699 0
vsize: 11720
[startup+660.014 s]
Raw data (loadavg): 1.06 0.89 0.49 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1974 0 0 0 65988 22 0 0 25 0 1 0 453436980 12136448 1824 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1824 231 231 0 2732 0
vsize: 11852
[startup+670.015 s]
Raw data (loadavg): 1.05 0.90 0.49 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1981 0 0 0 66988 22 0 0 25 0 1 0 453436980 12136448 1831 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1831 231 231 0 2732 0
vsize: 11852
[startup+680.015 s]
Raw data (loadavg): 1.04 0.90 0.50 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1985 0 0 0 67988 23 0 0 25 0 1 0 453436980 12136448 1835 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1835 231 231 0 2732 0
vsize: 11852
[startup+690.015 s]
Raw data (loadavg): 1.04 0.90 0.50 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 1993 0 0 0 68988 23 0 0 25 0 1 0 453436980 12136448 1843 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1843 231 231 0 2732 0
vsize: 11852
[startup+700.016 s]
Raw data (loadavg): 1.03 0.91 0.51 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2004 0 0 0 69987 24 0 0 25 0 1 0 453436980 12136448 1854 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1854 231 231 0 2732 0
vsize: 11852
[startup+710.015 s]
Raw data (loadavg): 1.03 0.91 0.51 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2013 0 0 0 70987 25 0 0 25 0 1 0 453436980 12136448 1863 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1863 231 231 0 2732 0
vsize: 11852
[startup+720.015 s]
Raw data (loadavg): 1.02 0.91 0.52 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2035 0 0 0 71986 26 0 0 25 0 1 0 453436980 12136448 1885 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1885 231 231 0 2732 0
vsize: 11852
[startup+730.015 s]
Raw data (loadavg): 1.02 0.91 0.52 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2038 0 0 0 72986 26 0 0 25 0 1 0 453436980 12136448 1888 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1888 231 231 0 2732 0
vsize: 11852
[startup+740.015 s]
Raw data (loadavg): 1.01 0.92 0.53 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2047 0 0 0 73986 26 0 0 25 0 1 0 453436980 12292096 1897 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1897 231 231 0 2770 0
vsize: 12004
[startup+750.015 s]
Raw data (loadavg): 1.01 0.92 0.53 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2049 0 0 0 74986 26 0 0 25 0 1 0 453436980 12292096 1899 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1899 231 231 0 2770 0
vsize: 12004
[startup+760.015 s]
Raw data (loadavg): 1.01 0.92 0.54 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2050 0 0 0 75986 26 0 0 25 0 1 0 453436980 12292096 1900 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1900 231 231 0 2770 0
vsize: 12004
[startup+770.015 s]
Raw data (loadavg): 1.01 0.92 0.54 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2056 0 0 0 76986 26 0 0 25 0 1 0 453436980 12292096 1906 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1906 231 231 0 2770 0
vsize: 12004
[startup+780.015 s]
Raw data (loadavg): 1.01 0.92 0.55 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2064 0 0 0 77986 27 0 0 25 0 1 0 453436980 12292096 1914 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1914 231 231 0 2770 0
vsize: 12004
[startup+790.015 s]
Raw data (loadavg): 1.00 0.93 0.55 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2067 0 0 0 78986 27 0 0 25 0 1 0 453436980 12292096 1917 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1917 231 231 0 2770 0
vsize: 12004
[startup+800.016 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2089 0 0 0 79985 28 0 0 25 0 1 0 453436980 12292096 1939 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1939 231 231 0 2770 0
vsize: 12004
[startup+810.016 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2122 0 0 0 80985 28 0 0 25 0 1 0 453436980 12292096 1972 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1972 231 231 0 2770 0
vsize: 12004
[startup+820.016 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2130 0 0 0 81985 28 0 0 25 0 1 0 453436980 12292096 1980 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1980 231 231 0 2770 0
vsize: 12004
[startup+830.015 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2134 0 0 0 82985 29 0 0 25 0 1 0 453436980 12292096 1984 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 1984 231 231 0 2770 0
vsize: 12004
[startup+840.015 s]
Raw data (loadavg): 1.00 0.94 0.57 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2142 0 0 0 83985 29 0 0 25 0 1 0 453436980 12423168 1992 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3033 1992 231 231 0 2802 0
vsize: 12132
[startup+850.015 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2150 0 0 0 84985 29 0 0 25 0 1 0 453436980 12423168 2000 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3033 2000 231 231 0 2802 0
vsize: 12132
[startup+860.015 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2154 0 0 0 85985 29 0 0 25 0 1 0 453436980 12423168 2004 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3033 2004 231 231 0 2802 0
vsize: 12132
[startup+870.016 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2162 0 0 0 86985 30 0 0 25 0 1 0 453436980 12423168 2012 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3033 2012 231 231 0 2802 0
vsize: 12132
[startup+880.016 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2170 0 0 0 87985 30 0 0 25 0 1 0 453436980 12423168 2020 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3033 2020 231 231 0 2802 0
vsize: 12132
[startup+890.015 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2183 0 0 0 88984 30 0 0 25 0 1 0 453436980 12558336 2033 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 2033 231 231 0 2835 0
vsize: 12264
[startup+900.015 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2190 0 0 0 89984 30 0 0 25 0 1 0 453436980 12558336 2040 4294967295 134512640 135450300 3221224640 3221223456 134547393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 2040 231 231 0 2835 0
vsize: 12264
[startup+910.015 s]
Raw data (loadavg): 1.00 0.95 0.60 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2192 0 0 0 90984 31 0 0 25 0 1 0 453436980 12558336 2042 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 2042 231 231 0 2835 0
vsize: 12264
[startup+920.015 s]
Raw data (loadavg): 1.00 0.95 0.60 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2389 0 0 0 91984 31 0 0 25 0 1 0 453436980 13344768 2046 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2046 231 231 0 3027 0
vsize: 13032
[startup+930.015 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2393 0 0 0 92984 31 0 0 25 0 1 0 453436980 13344768 2050 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2050 231 231 0 3027 0
vsize: 13032
[startup+940.015 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2403 0 0 0 93984 32 0 0 25 0 1 0 453436980 13344768 2060 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2060 231 231 0 3027 0
vsize: 13032
[startup+950.015 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2411 0 0 0 94984 32 0 0 25 0 1 0 453436980 13344768 2068 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2068 231 231 0 3027 0
vsize: 13032
[startup+960.015 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2413 0 0 0 95984 32 0 0 25 0 1 0 453436980 13344768 2070 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2070 231 231 0 3027 0
vsize: 13032
[startup+970.015 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2420 0 0 0 96983 32 0 0 25 0 1 0 453436980 13344768 2077 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2077 231 231 0 3027 0
vsize: 13032
[startup+980.015 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2429 0 0 0 97984 32 0 0 25 0 1 0 453436980 13344768 2086 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2086 231 231 0 3027 0
vsize: 13032
[startup+990.014 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2435 0 0 0 98983 33 0 0 25 0 1 0 453436980 13344768 2092 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2092 231 231 0 3027 0
vsize: 13032
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2439 0 0 0 99983 33 0 0 25 0 1 0 453436980 13344768 2096 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2096 231 231 0 3027 0
vsize: 13032
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2441 0 0 0 100983 33 0 0 25 0 1 0 453436980 13344768 2098 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2098 231 231 0 3027 0
vsize: 13032
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2446 0 0 0 101983 33 0 0 25 0 1 0 453436980 13344768 2103 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2103 231 231 0 3027 0
vsize: 13032
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2455 0 0 0 102983 33 0 0 25 0 1 0 453436980 13479936 2112 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2112 231 231 0 3060 0
vsize: 13164
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2472 0 0 0 103983 34 0 0 25 0 1 0 453436980 13479936 2129 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2129 231 231 0 3060 0
vsize: 13164
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2475 0 0 0 104983 34 0 0 25 0 1 0 453436980 13479936 2132 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2132 231 231 0 3060 0
vsize: 13164
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2482 0 0 0 105983 34 0 0 25 0 1 0 453436980 13479936 2139 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2139 231 231 0 3060 0
vsize: 13164
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2502 0 0 0 106983 34 0 0 25 0 1 0 453436980 13479936 2159 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2159 231 231 0 3060 0
vsize: 13164
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2534 0 0 0 107983 34 0 0 25 0 1 0 453436980 13615104 2191 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2191 231 231 0 3093 0
vsize: 13296
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2566 0 0 0 108984 34 0 0 25 0 1 0 453436980 13615104 2223 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2223 231 231 0 3093 0
vsize: 13296
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2581 0 0 0 109983 34 0 0 25 0 1 0 453436980 13615104 2238 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2238 231 231 0 3093 0
vsize: 13296
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2583 0 0 0 110983 35 0 0 25 0 1 0 453436980 13615104 2240 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2240 231 231 0 3093 0
vsize: 13296
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2585 0 0 0 111983 35 0 0 25 0 1 0 453436980 13615104 2242 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2242 231 231 0 3093 0
vsize: 13296
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2591 0 0 0 112983 35 0 0 25 0 1 0 453436980 13615104 2248 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2248 231 231 0 3093 0
vsize: 13296
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2602 0 0 0 113983 35 0 0 25 0 1 0 453436980 13615104 2259 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2259 231 231 0 3093 0
vsize: 13296
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2605 0 0 0 114983 36 0 0 25 0 1 0 453436980 13615104 2262 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2262 231 231 0 3093 0
vsize: 13296
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2608 0 0 0 115983 36 0 0 25 0 1 0 453436980 13615104 2265 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2265 231 231 0 3093 0
vsize: 13296
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2632 0 0 0 116983 36 0 0 25 0 1 0 453436980 13615104 2289 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2289 231 231 0 3093 0
vsize: 13296
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2670 0 0 0 117983 36 0 0 25 0 1 0 453436980 13615104 2327 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2327 231 231 0 3093 0
vsize: 13296
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2675 0 0 0 118982 37 0 0 25 0 1 0 453436980 13615104 2332 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2332 231 231 0 3093 0
vsize: 13296
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 1267
Raw data (stat): 1267 (PBS4) R 1266 5897 5896 0 -1 0 2679 0 0 0 119982 37 0 0 25 0 1 0 453436980 13615104 2336 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2336 231 231 0 3093 0
vsize: 13296
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.97 0.69 1/54 1267
Raw data (stat): 1267 (PBS4) Z 1266 5897 5896 0 -1 1036 2679 0 0 0 119982 38 0 0 25 0 1 0 453436980 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.02
CPU time (s): 1200.21
CPU user time (s): 1199.83
CPU system time (s): 0.381941
CPU usage (%): 100.016
Max. virtual memory (Kb): 13296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####