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-exam.pi.opb
MD5SUM	3e917561f3935db250fdeb1759fbe81d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
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	4677
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4677
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06784
Number of variables	4676
Total number of constraints	509
Number of constraints which are clauses	509
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	166
Trace number 7691

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        833168 kB
Buffers:         37732 kB
Cached:         137808 kB
SwapCached:       4932 kB
Active:          79196 kB
Inactive:       104184 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        832888 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12492 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:02:07 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 609 7 1200.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-exam.pi.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 24395
Raw data (stat): 24395 (runsolver) R 24394 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453454643 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.99988 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 457 0 0 0 990 9 0 0 25 0 1 0 453454643 2461696 453 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 453 231 231 0 370 0
vsize: 2404
[startup+20.0003 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 457 0 0 0 1981 17 0 0 25 0 1 0 453454643 2461696 453 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 453 231 231 0 370 0
vsize: 2404
[startup+30.0001 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 457 0 0 0 2971 27 0 0 25 0 1 0 453454643 2461696 453 4294967295 134512640 135450300 3221224640 3221223252 135077512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 453 231 231 0 370 0
vsize: 2404
[startup+40.0002 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 457 0 0 0 3964 35 0 0 25 0 1 0 453454643 2461696 453 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 453 231 231 0 370 0
vsize: 2404
[startup+50.0006 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 458 0 0 0 4958 41 0 0 25 0 1 0 453454643 2461696 454 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 454 231 231 0 370 0
vsize: 2404
[startup+60.0004 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 458 0 0 0 5950 49 0 0 25 0 1 0 453454643 2461696 454 4294967295 134512640 135450300 3221224640 3221223456 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 454 231 231 0 370 0
vsize: 2404
[startup+70.0046 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 458 0 0 0 6942 58 0 0 25 0 1 0 453454643 2461696 454 4294967295 134512640 135450300 3221224640 3221223456 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 454 231 231 0 370 0
vsize: 2404
[startup+80.005 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 458 0 0 0 7932 67 0 0 25 0 1 0 453454643 2461696 454 4294967295 134512640 135450300 3221224640 3221223512 135084197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 454 231 231 0 370 0
vsize: 2404
[startup+90.0048 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 458 0 0 0 8922 78 0 0 25 0 1 0 453454643 2461696 454 4294967295 134512640 135450300 3221224640 3221223456 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 454 231 231 0 370 0
vsize: 2404
[startup+100.005 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 459 0 0 0 9911 89 0 0 25 0 1 0 453454643 2461696 455 4294967295 134512640 135450300 3221224640 3221223456 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 601 455 231 231 0 370 0
vsize: 2404
[startup+110.004 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 461 0 0 0 10900 100 0 0 25 0 1 0 453454643 2605056 457 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 636 457 231 231 0 405 0
vsize: 2544
[startup+120.006 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 466 0 0 0 11889 112 0 0 25 0 1 0 453454643 2605056 462 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 636 462 231 231 0 405 0
vsize: 2544
[startup+130.005 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 472 0 0 0 12876 125 0 0 25 0 1 0 453454643 2605056 468 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 636 468 231 231 0 405 0
vsize: 2544
[startup+140.006 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 478 0 0 0 13863 138 0 0 25 0 1 0 453454643 2605056 474 4294967295 134512640 135450300 3221224640 3221223456 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 636 474 231 231 0 405 0
vsize: 2544
[startup+150.006 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 487 0 0 0 14850 151 0 0 25 0 1 0 453454643 2605056 483 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 636 483 231 231 0 405 0
vsize: 2544
[startup+160.007 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 496 0 0 0 15837 164 0 0 25 0 1 0 453454643 2740224 492 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 669 492 231 231 0 438 0
vsize: 2676
[startup+170.007 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 507 0 0 0 16825 177 0 0 25 0 1 0 453454643 2740224 503 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 669 503 231 231 0 438 0
vsize: 2676
[startup+180.007 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 518 0 0 0 17812 189 0 0 25 0 1 0 453454643 2740224 514 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 669 514 231 231 0 438 0
vsize: 2676
[startup+190.008 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 650 0 0 0 18795 207 0 0 25 0 1 0 453454643 3416064 646 4294967295 134512640 135450300 3221224640 3221223068 134523548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 834 646 231 231 0 603 0
vsize: 3336
[startup+200.007 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 694 0 0 0 19794 208 0 0 25 0 1 0 453454643 3551232 690 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 867 690 231 231 0 636 0
vsize: 3468
[startup+210.007 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 722 0 0 0 20794 209 0 0 25 0 1 0 453454643 3551232 718 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 867 718 231 231 0 636 0
vsize: 3468
[startup+220.008 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 734 0 0 0 21793 210 0 0 25 0 1 0 453454643 4075520 730 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 730 231 231 0 764 0
vsize: 3980
[startup+230.008 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 742 0 0 0 22793 210 0 0 25 0 1 0 453454643 4075520 738 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 738 231 231 0 764 0
vsize: 3980
[startup+240.008 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 749 0 0 0 23793 210 0 0 25 0 1 0 453454643 4075520 745 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 745 231 231 0 764 0
vsize: 3980
[startup+250.008 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 756 0 0 0 24794 210 0 0 25 0 1 0 453454643 4075520 752 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 752 231 231 0 764 0
vsize: 3980
[startup+260.007 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 765 0 0 0 25794 210 0 0 25 0 1 0 453454643 4075520 761 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 761 231 231 0 764 0
vsize: 3980
[startup+270.007 s]
Raw data (loadavg): 1.07 0.61 0.25 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 771 0 0 0 26794 210 0 0 25 0 1 0 453454643 4075520 767 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 767 231 231 0 764 0
vsize: 3980
[startup+280.007 s]
Raw data (loadavg): 1.06 0.62 0.26 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 779 0 0 0 27794 210 0 0 25 0 1 0 453454643 4075520 775 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 775 231 231 0 764 0
vsize: 3980
[startup+290.007 s]
Raw data (loadavg): 1.05 0.63 0.27 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 786 0 0 0 28794 210 0 0 25 0 1 0 453454643 4075520 782 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 782 231 231 0 764 0
vsize: 3980
[startup+300.007 s]
Raw data (loadavg): 1.04 0.65 0.27 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 793 0 0 0 29794 210 0 0 25 0 1 0 453454643 4075520 789 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 789 231 231 0 764 0
vsize: 3980
[startup+310.007 s]
Raw data (loadavg): 1.03 0.66 0.28 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 801 0 0 0 30794 210 0 0 25 0 1 0 453454643 4075520 797 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 995 797 231 231 0 764 0
vsize: 3980
[startup+320.008 s]
Raw data (loadavg): 1.03 0.67 0.29 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 822 0 0 0 31794 210 0 0 25 0 1 0 453454643 4214784 818 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 818 231 231 0 798 0
vsize: 4116
[startup+330.008 s]
Raw data (loadavg): 1.02 0.68 0.29 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 829 0 0 0 32795 210 0 0 25 0 1 0 453454643 4214784 825 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 825 231 231 0 798 0
vsize: 4116
[startup+340.008 s]
Raw data (loadavg): 1.02 0.69 0.30 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 834 0 0 0 33795 210 0 0 25 0 1 0 453454643 4214784 830 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 830 231 231 0 798 0
vsize: 4116
[startup+350.007 s]
Raw data (loadavg): 1.02 0.70 0.31 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 840 0 0 0 34795 210 0 0 25 0 1 0 453454643 4214784 836 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 836 231 231 0 798 0
vsize: 4116
[startup+360.007 s]
Raw data (loadavg): 1.01 0.71 0.31 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 847 0 0 0 35795 210 0 0 25 0 1 0 453454643 4214784 843 4294967295 134512640 135450300 3221224640 3221223072 134533504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 843 231 231 0 798 0
vsize: 4116
[startup+370.008 s]
Raw data (loadavg): 1.01 0.72 0.32 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 853 0 0 0 36795 210 0 0 25 0 1 0 453454643 4214784 849 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 849 231 231 0 798 0
vsize: 4116
[startup+380.007 s]
Raw data (loadavg): 1.01 0.73 0.33 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 859 0 0 0 37795 210 0 0 25 0 1 0 453454643 4214784 855 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 855 231 231 0 798 0
vsize: 4116
[startup+390.007 s]
Raw data (loadavg): 1.01 0.73 0.33 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 866 0 0 0 38795 210 0 0 25 0 1 0 453454643 4214784 862 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 862 231 231 0 798 0
vsize: 4116
[startup+400.007 s]
Raw data (loadavg): 1.00 0.74 0.34 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 873 0 0 0 39795 210 0 0 25 0 1 0 453454643 4214784 869 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1029 869 231 231 0 798 0
vsize: 4116
[startup+410.007 s]
Raw data (loadavg): 1.00 0.75 0.35 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 881 0 0 0 40796 210 0 0 25 0 1 0 453454643 5263360 877 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 877 231 231 0 1054 0
vsize: 5140
[startup+420.007 s]
Raw data (loadavg): 1.00 0.76 0.35 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 892 0 0 0 41796 210 0 0 25 0 1 0 453454643 5263360 888 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 888 231 231 0 1054 0
vsize: 5140
[startup+430.008 s]
Raw data (loadavg): 1.00 0.77 0.36 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 897 0 0 0 42796 210 0 0 25 0 1 0 453454643 5263360 893 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 893 231 231 0 1054 0
vsize: 5140
[startup+440.008 s]
Raw data (loadavg): 1.00 0.77 0.37 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 905 0 0 0 43796 210 0 0 25 0 1 0 453454643 5263360 901 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 901 231 231 0 1054 0
vsize: 5140
[startup+450.008 s]
Raw data (loadavg): 1.00 0.78 0.37 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 912 0 0 0 44796 210 0 0 25 0 1 0 453454643 5263360 908 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 908 231 231 0 1054 0
vsize: 5140
[startup+460.008 s]
Raw data (loadavg): 1.00 0.79 0.38 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 919 0 0 0 45797 210 0 0 25 0 1 0 453454643 5263360 915 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 915 231 231 0 1054 0
vsize: 5140
[startup+470.009 s]
Raw data (loadavg): 1.00 0.79 0.39 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 926 0 0 0 46797 210 0 0 25 0 1 0 453454643 5263360 922 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 922 231 231 0 1054 0
vsize: 5140
[startup+480.009 s]
Raw data (loadavg): 1.00 0.80 0.39 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 933 0 0 0 47797 210 0 0 25 0 1 0 453454643 5263360 929 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 929 231 231 0 1054 0
vsize: 5140
[startup+490.01 s]
Raw data (loadavg): 1.00 0.81 0.40 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 940 0 0 0 48797 210 0 0 25 0 1 0 453454643 5263360 936 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 936 231 231 0 1054 0
vsize: 5140
[startup+500.01 s]
Raw data (loadavg): 1.00 0.81 0.40 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 946 0 0 0 49797 210 0 0 25 0 1 0 453454643 5263360 942 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 942 231 231 0 1054 0
vsize: 5140
[startup+510.01 s]
Raw data (loadavg): 1.00 0.82 0.41 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 955 0 0 0 50797 210 0 0 25 0 1 0 453454643 5263360 951 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 951 231 231 0 1054 0
vsize: 5140
[startup+520.01 s]
Raw data (loadavg): 1.00 0.82 0.41 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 961 0 0 0 51798 210 0 0 25 0 1 0 453454643 5263360 957 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 957 231 231 0 1054 0
vsize: 5140
[startup+530.009 s]
Raw data (loadavg): 1.00 0.83 0.42 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 969 0 0 0 52798 210 0 0 25 0 1 0 453454643 5263360 965 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 965 231 231 0 1054 0
vsize: 5140
[startup+540.01 s]
Raw data (loadavg): 1.00 0.83 0.43 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 976 0 0 0 53798 210 0 0 25 0 1 0 453454643 5263360 972 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 972 231 231 0 1054 0
vsize: 5140
[startup+550.01 s]
Raw data (loadavg): 1.00 0.84 0.43 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 982 0 0 0 54798 210 0 0 25 0 1 0 453454643 5263360 978 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 978 231 231 0 1054 0
vsize: 5140
[startup+560.01 s]
Raw data (loadavg): 1.00 0.84 0.44 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 988 0 0 0 55798 210 0 0 25 0 1 0 453454643 5263360 984 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 984 231 231 0 1054 0
vsize: 5140
[startup+570.01 s]
Raw data (loadavg): 1.00 0.85 0.44 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 994 0 0 0 56798 210 0 0 25 0 1 0 453454643 5263360 990 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 990 231 231 0 1054 0
vsize: 5140
[startup+580.01 s]
Raw data (loadavg): 1.00 0.85 0.45 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1000 0 0 0 57799 210 0 0 25 0 1 0 453454643 5263360 996 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 996 231 231 0 1054 0
vsize: 5140
[startup+590.011 s]
Raw data (loadavg): 1.00 0.86 0.46 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1005 0 0 0 58799 210 0 0 25 0 1 0 453454643 5263360 1001 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 1001 231 231 0 1054 0
vsize: 5140
[startup+600.011 s]
Raw data (loadavg): 1.00 0.86 0.46 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1012 0 0 0 59799 211 0 0 25 0 1 0 453454643 5263360 1008 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 1008 231 231 0 1054 0
vsize: 5140
[startup+610.011 s]
Raw data (loadavg): 1.00 0.86 0.47 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1017 0 0 0 60799 211 0 0 25 0 1 0 453454643 5263360 1013 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1285 1013 231 231 0 1054 0
vsize: 5140
[startup+620.011 s]
Raw data (loadavg): 1.00 0.87 0.47 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1028 0 0 0 61799 211 0 0 25 0 1 0 453454643 5410816 1024 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1024 231 231 0 1090 0
vsize: 5284
[startup+630.011 s]
Raw data (loadavg): 1.00 0.87 0.48 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1035 0 0 0 62799 211 0 0 25 0 1 0 453454643 5410816 1031 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1031 231 231 0 1090 0
vsize: 5284
[startup+640.012 s]
Raw data (loadavg): 1.08 0.89 0.49 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1041 0 0 0 63799 211 0 0 25 0 1 0 453454643 5410816 1037 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1037 231 231 0 1090 0
vsize: 5284
[startup+650.012 s]
Raw data (loadavg): 1.07 0.90 0.49 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1047 0 0 0 64799 211 0 0 25 0 1 0 453454643 5410816 1043 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1043 231 231 0 1090 0
vsize: 5284
[startup+660.012 s]
Raw data (loadavg): 1.06 0.90 0.50 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1054 0 0 0 65799 211 0 0 25 0 1 0 453454643 5410816 1050 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1050 231 231 0 1090 0
vsize: 5284
[startup+670.012 s]
Raw data (loadavg): 1.05 0.90 0.50 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1059 0 0 0 66800 211 0 0 25 0 1 0 453454643 5410816 1055 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1055 231 231 0 1090 0
vsize: 5284
[startup+680.013 s]
Raw data (loadavg): 1.04 0.90 0.51 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1065 0 0 0 67800 211 0 0 25 0 1 0 453454643 5410816 1061 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1061 231 231 0 1090 0
vsize: 5284
[startup+690.013 s]
Raw data (loadavg): 1.03 0.91 0.51 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1071 0 0 0 68800 211 0 0 25 0 1 0 453454643 5410816 1067 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1067 231 231 0 1090 0
vsize: 5284
[startup+700.013 s]
Raw data (loadavg): 1.03 0.91 0.52 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1085 0 0 0 69800 211 0 0 25 0 1 0 453454643 5410816 1081 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1081 231 231 0 1090 0
vsize: 5284
[startup+710.012 s]
Raw data (loadavg): 1.02 0.91 0.52 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1096 0 0 0 70800 211 0 0 25 0 1 0 453454643 5410816 1092 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1092 231 231 0 1090 0
vsize: 5284
[startup+720.012 s]
Raw data (loadavg): 1.02 0.91 0.52 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1103 0 0 0 71800 211 0 0 25 0 1 0 453454643 5410816 1099 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1099 231 231 0 1090 0
vsize: 5284
[startup+730.012 s]
Raw data (loadavg): 1.02 0.92 0.53 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1112 0 0 0 72800 211 0 0 25 0 1 0 453454643 5410816 1108 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1108 231 231 0 1090 0
vsize: 5284
[startup+740.013 s]
Raw data (loadavg): 1.01 0.92 0.53 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1120 0 0 0 73801 211 0 0 25 0 1 0 453454643 5410816 1116 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1116 231 231 0 1090 0
vsize: 5284
[startup+750.013 s]
Raw data (loadavg): 1.01 0.92 0.54 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1128 0 0 0 74801 211 0 0 25 0 1 0 453454643 5410816 1124 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1124 231 231 0 1090 0
vsize: 5284
[startup+760.014 s]
Raw data (loadavg): 1.01 0.92 0.54 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1136 0 0 0 75801 211 0 0 25 0 1 0 453454643 5410816 1132 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1132 231 231 0 1090 0
vsize: 5284
[startup+770.014 s]
Raw data (loadavg): 1.01 0.92 0.55 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1144 0 0 0 76801 211 0 0 25 0 1 0 453454643 5410816 1140 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1140 231 231 0 1090 0
vsize: 5284
[startup+780.014 s]
Raw data (loadavg): 1.00 0.93 0.55 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1154 0 0 0 77801 211 0 0 25 0 1 0 453454643 5410816 1150 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1321 1150 231 231 0 1090 0
vsize: 5284
[startup+790.015 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1163 0 0 0 78801 212 0 0 25 0 1 0 453454643 7507968 1159 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1159 231 231 0 1602 0
vsize: 7332
[startup+800.014 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1170 0 0 0 79802 212 0 0 25 0 1 0 453454643 7507968 1166 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1166 231 231 0 1602 0
vsize: 7332
[startup+810.014 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1176 0 0 0 80802 212 0 0 25 0 1 0 453454643 7507968 1172 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1172 231 231 0 1602 0
vsize: 7332
[startup+820.015 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1183 0 0 0 81802 212 0 0 25 0 1 0 453454643 7507968 1179 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1179 231 231 0 1602 0
vsize: 7332
[startup+830.015 s]
Raw data (loadavg): 1.00 0.94 0.57 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1188 0 0 0 82802 212 0 0 25 0 1 0 453454643 7507968 1184 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1184 231 231 0 1602 0
vsize: 7332
[startup+840.015 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1194 0 0 0 83802 212 0 0 25 0 1 0 453454643 7507968 1190 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1190 231 231 0 1602 0
vsize: 7332
[startup+850.016 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1200 0 0 0 84802 212 0 0 25 0 1 0 453454643 7507968 1196 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1196 231 231 0 1602 0
vsize: 7332
[startup+860.015 s]
Raw data (loadavg): 1.00 0.94 0.58 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1206 0 0 0 85802 212 0 0 25 0 1 0 453454643 7507968 1202 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1202 231 231 0 1602 0
vsize: 7332
[startup+870.015 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1212 0 0 0 86803 212 0 0 25 0 1 0 453454643 7507968 1208 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1208 231 231 0 1602 0
vsize: 7332
[startup+880.015 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1218 0 0 0 87803 212 0 0 25 0 1 0 453454643 7507968 1214 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1214 231 231 0 1602 0
vsize: 7332
[startup+890.015 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1224 0 0 0 88803 212 0 0 25 0 1 0 453454643 7507968 1220 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1220 231 231 0 1602 0
vsize: 7332
[startup+900.015 s]
Raw data (loadavg): 1.00 0.95 0.60 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1231 0 0 0 89803 212 0 0 25 0 1 0 453454643 7507968 1227 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1227 231 231 0 1602 0
vsize: 7332
[startup+910.015 s]
Raw data (loadavg): 1.00 0.95 0.60 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1238 0 0 0 90803 212 0 0 25 0 1 0 453454643 7507968 1234 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1234 231 231 0 1602 0
vsize: 7332
[startup+920.016 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1246 0 0 0 91803 212 0 0 25 0 1 0 453454643 7507968 1242 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1242 231 231 0 1602 0
vsize: 7332
[startup+930.015 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1253 0 0 0 92803 212 0 0 25 0 1 0 453454643 7507968 1249 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1249 231 231 0 1602 0
vsize: 7332
[startup+940.017 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1261 0 0 0 93803 212 0 0 25 0 1 0 453454643 7507968 1257 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1257 231 231 0 1602 0
vsize: 7332
[startup+950.016 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1269 0 0 0 94803 212 0 0 25 0 1 0 453454643 7507968 1265 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1265 231 231 0 1602 0
vsize: 7332
[startup+960.017 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1276 0 0 0 95804 212 0 0 25 0 1 0 453454643 7507968 1272 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1272 231 231 0 1602 0
vsize: 7332
[startup+970.018 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1284 0 0 0 96804 212 0 0 25 0 1 0 453454643 7507968 1280 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1280 231 231 0 1602 0
vsize: 7332
[startup+980.017 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1293 0 0 0 97804 212 0 0 25 0 1 0 453454643 7507968 1289 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1289 231 231 0 1602 0
vsize: 7332
[startup+990.018 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1302 0 0 0 98804 213 0 0 25 0 1 0 453454643 7507968 1298 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1298 231 231 0 1602 0
vsize: 7332
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1308 0 0 0 99804 213 0 0 25 0 1 0 453454643 7507968 1304 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1304 231 231 0 1602 0
vsize: 7332
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1316 0 0 0 100804 213 0 0 25 0 1 0 453454643 7507968 1312 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1312 231 231 0 1602 0
vsize: 7332
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1322 0 0 0 101805 213 0 0 25 0 1 0 453454643 7507968 1318 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1318 231 231 0 1602 0
vsize: 7332
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1328 0 0 0 102805 213 0 0 25 0 1 0 453454643 7507968 1324 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1324 231 231 0 1602 0
vsize: 7332
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1333 0 0 0 103805 213 0 0 25 0 1 0 453454643 7507968 1329 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1329 231 231 0 1602 0
vsize: 7332
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1340 0 0 0 104805 213 0 0 25 0 1 0 453454643 7507968 1336 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1336 231 231 0 1602 0
vsize: 7332
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1345 0 0 0 105805 213 0 0 25 0 1 0 453454643 7507968 1341 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1341 231 231 0 1602 0
vsize: 7332
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1351 0 0 0 106805 213 0 0 25 0 1 0 453454643 7507968 1347 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1347 231 231 0 1602 0
vsize: 7332
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 24395
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1358 0 0 0 107818 213 0 0 25 0 1 0 453454643 7507968 1354 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1354 231 231 0 1602 0
vsize: 7332
[startup+1090.16 s]
Raw data (loadavg): 1.07 0.98 0.67 2/58 24438
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1364 0 0 0 108819 213 0 0 25 0 1 0 453454643 7507968 1360 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1360 231 231 0 1602 0
vsize: 7332
[startup+1100.16 s]
Raw data (loadavg): 1.13 1.00 0.68 2/54 24448
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1371 0 0 0 109820 213 0 0 25 0 1 0 453454643 7507968 1367 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1367 231 231 0 1602 0
vsize: 7332
[startup+1110.19 s]
Raw data (loadavg): 1.11 1.00 0.68 2/54 24448
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1376 0 0 0 110823 213 0 0 25 0 1 0 453454643 7507968 1372 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1372 231 231 0 1602 0
vsize: 7332
[startup+1120.19 s]
Raw data (loadavg): 1.10 1.00 0.68 2/54 24448
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1384 0 0 0 111823 213 0 0 25 0 1 0 453454643 7507968 1380 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1380 231 231 0 1602 0
vsize: 7332
[startup+1130.19 s]
Raw data (loadavg): 1.15 1.01 0.69 2/54 24448
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1390 0 0 0 112823 213 0 0 25 0 1 0 453454643 7507968 1386 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1386 231 231 0 1602 0
vsize: 7332
[startup+1140.19 s]
Raw data (loadavg): 1.13 1.01 0.70 2/54 24448
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1396 0 0 0 113823 213 0 0 25 0 1 0 453454643 7507968 1392 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1392 231 231 0 1602 0
vsize: 7332
[startup+1150.19 s]
Raw data (loadavg): 1.11 1.01 0.70 2/54 24448
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1402 0 0 0 114824 213 0 0 25 0 1 0 453454643 7507968 1398 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1398 231 231 0 1602 0
vsize: 7332
[startup+1160.19 s]
Raw data (loadavg): 1.09 1.01 0.70 2/54 24448
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1408 0 0 0 115824 213 0 0 25 0 1 0 453454643 7507968 1404 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1404 231 231 0 1602 0
vsize: 7332
[startup+1170.19 s]
Raw data (loadavg): 1.08 1.01 0.70 2/54 24450
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1414 0 0 0 116824 213 0 0 25 0 1 0 453454643 7507968 1410 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1410 231 231 0 1602 0
vsize: 7332
[startup+1180.19 s]
Raw data (loadavg): 1.06 1.01 0.71 2/54 24450
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1421 0 0 0 117824 213 0 0 25 0 1 0 453454643 7507968 1417 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1417 231 231 0 1602 0
vsize: 7332
[startup+1190.19 s]
Raw data (loadavg): 1.05 1.01 0.71 2/54 24450
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1429 0 0 0 118824 213 0 0 25 0 1 0 453454643 7507968 1425 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1425 231 231 0 1602 0
vsize: 7332
[startup+1200.19 s]
Raw data (loadavg): 1.05 1.01 0.71 2/54 24450
Raw data (stat): 24395 (PBS4) R 24394 32461 32460 0 -1 0 1435 0 0 0 119824 213 0 0 25 0 1 0 453454643 7507968 1431 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 1431 231 231 0 1602 0
vsize: 7332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.05 1.01 0.71 1/54 24450
Raw data (stat): 24395 (PBS4) Z 24394 32461 32460 0 -1 1036 1435 0 0 0 119824 214 0 0 25 0 1 0 453454643 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.2
CPU time (s): 1200.39
CPU user time (s): 1198.25
CPU system time (s): 2.14267
CPU usage (%): 100.016
Max. virtual memory (Kb): 7332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####