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/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb
MD5SUM	098fe473d82d5f7d4121673eb775be76
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	22199
Optimality of the best value was proved	NO
Number of terms in the objective function	572
Biggest coefficient in the objective function	5000
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	547769
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	5000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	547769
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	30.8603
Number of variables	572
Total number of constraints	716
Number of constraints which are clauses	3
Number of constraints which are cardinality constraints (but not clauses)	644
Number of constraints which are nor clauses,nor cardinality constraints	69
Minimum length of a constraint	1
Maximum length of a constraint	518
Trace number 19277

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 18:37:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16750 boxname=wulflinc17 idbench=1289 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  098fe473d82d5f7d4121673eb775be76  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-cracpb1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-cracpb1.opb
IDLAUNCH: 16750
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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:        664344 kB
Buffers:         17208 kB
Cached:         327960 kB
SwapCached:        408 kB
Active:          54384 kB
Inactive:       293360 kB
HighTotal:      131008 kB
HighFree:        22204 kB
LowTotal:       903652 kB
LowFree:        642140 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5856 kB
Slab:            17128 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 18:57:46 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 16750 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-cracpb1.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.93 0.97 0.98 2/55 1940
Raw data (stat): 1940 (runsolver) R 1939 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547305307 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.0006 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 1940
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 1220 0 0 0 994 4 0 0 25 0 1 0 547305307 5988352 1216 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1462 1216 231 231 0 1231 0
vsize: 5848
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 1940
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 1518 0 0 0 1991 6 0 0 25 0 1 0 547305307 10383360 1514 4294967295 134512640 135450300 3221224624 3221223060 134579204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2535 1514 231 231 0 2304 0
vsize: 10140
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 1940
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 2426 0 0 0 2988 10 0 0 25 0 1 0 547305307 10518528 2422 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2568 2422 231 231 0 2337 0
vsize: 10272
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 1940
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 2530 0 0 0 3987 10 0 0 25 0 1 0 547305307 10985472 2477 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2682 2477 231 231 0 2451 0
vsize: 10728
[startup+50.0014 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 1940
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 2582 0 0 0 4986 12 0 0 25 0 1 0 547305307 11120640 2529 4294967295 134512640 135450300 3221224624 3221223344 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2715 2529 231 231 0 2484 0
vsize: 10860
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 1940
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 2630 0 0 0 5985 13 0 0 25 0 1 0 547305307 11255808 2577 4294967295 134512640 135450300 3221224624 3221223344 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2748 2577 231 231 0 2517 0
vsize: 10992
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 1940
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 2764 0 0 0 6984 14 0 0 25 0 1 0 547305307 11784192 2614 4294967295 134512640 135450300 3221224624 3221223440 134547900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 2614 231 231 0 2646 0
vsize: 11508
[startup+80.0013 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 1940
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 2807 0 0 0 7983 16 0 0 25 0 1 0 547305307 11784192 2657 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 2657 231 231 0 2646 0
vsize: 11508
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 3694 0 0 0 8980 19 0 0 25 0 1 0 547305307 20443136 3544 4294967295 134512640 135450300 3221224624 3221223232 134537761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4991 3544 231 231 0 4760 0
vsize: 19964
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 3738 0 0 0 9980 19 0 0 25 0 1 0 547305307 20443136 3588 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4991 3588 231 231 0 4760 0
vsize: 19964
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 3767 0 0 0 10979 20 0 0 25 0 1 0 547305307 20578304 3617 4294967295 134512640 135450300 3221224624 3221223232 134537606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5024 3617 231 231 0 4793 0
vsize: 20096
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 3809 0 0 0 11978 21 0 0 25 0 1 0 547305307 20713472 3659 4294967295 134512640 135450300 3221224624 3221223344 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5057 3659 231 231 0 4826 0
vsize: 20228
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 4565 0 0 0 12976 24 0 0 25 0 1 0 547305307 20713472 4415 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5057 4415 231 231 0 4826 0
vsize: 20228
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 5491 0 0 0 13973 27 0 0 25 0 1 0 547305307 37752832 5341 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9217 5341 231 231 0 8986 0
vsize: 36868
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 6159 0 0 0 14970 30 0 0 25 0 1 0 547305307 38809600 5816 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 5816 231 231 0 9244 0
vsize: 37900
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 6979 0 0 0 15967 33 0 0 25 0 1 0 547305307 39088128 6636 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9543 6636 231 231 0 9312 0
vsize: 38172
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 7714 0 0 0 16965 36 0 0 25 0 1 0 547305307 39088128 7371 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9543 7371 231 231 0 9312 0
vsize: 38172
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 8282 0 0 0 17963 37 0 0 25 0 1 0 547305307 39088128 7939 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9543 7939 231 231 0 9312 0
vsize: 38172
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 8344 0 0 0 18963 38 0 0 25 0 1 0 547305307 39366656 8001 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9611 8001 231 231 0 9380 0
vsize: 38444
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 8367 0 0 0 19962 39 0 0 25 0 1 0 547305307 39366656 8024 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9611 8024 231 231 0 9380 0
vsize: 38444
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 8416 0 0 0 20962 40 0 0 25 0 1 0 547305307 39505920 8073 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9645 8073 231 231 0 9414 0
vsize: 38580
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 8475 0 0 0 21961 40 0 0 25 0 1 0 547305307 39780352 8132 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9712 8132 231 231 0 9481 0
vsize: 38848
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 8518 0 0 0 22961 41 0 0 25 0 1 0 547305307 39919616 8175 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9746 8175 231 231 0 9515 0
vsize: 38984
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 8574 0 0 0 23960 42 0 0 25 0 1 0 547305307 40058880 8231 4294967295 134512640 135450300 3221224624 3221223440 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9780 8231 231 231 0 9549 0
vsize: 39120
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 9179 0 0 0 24958 44 0 0 25 0 1 0 547305307 40194048 8836 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9813 8836 231 231 0 9582 0
vsize: 39252
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 9678 0 0 0 25956 46 0 0 25 0 1 0 547305307 40476672 9335 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9882 9335 231 231 0 9651 0
vsize: 39528
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10052 0 0 0 26954 49 0 0 25 0 1 0 547305307 40824832 9709 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9709 231 231 0 9736 0
vsize: 39868
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10071 0 0 0 27953 50 0 0 25 0 1 0 547305307 40824832 9728 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9728 231 231 0 9736 0
vsize: 39868
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10087 0 0 0 28952 50 0 0 25 0 1 0 547305307 40824832 9744 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9744 231 231 0 9736 0
vsize: 39868
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10095 0 0 0 29952 51 0 0 25 0 1 0 547305307 40824832 9752 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9752 231 231 0 9736 0
vsize: 39868
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10114 0 0 0 30951 52 0 0 25 0 1 0 547305307 40824832 9771 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9771 231 231 0 9736 0
vsize: 39868
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10127 0 0 0 31951 52 0 0 25 0 1 0 547305307 40964096 9784 4294967295 134512640 135450300 3221224624 3221223360 134538739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10001 9784 231 231 0 9770 0
vsize: 40004
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10152 0 0 0 32950 54 0 0 25 0 1 0 547305307 40964096 9809 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10001 9809 231 231 0 9770 0
vsize: 40004
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10591 0 0 0 33948 55 0 0 25 0 1 0 547305307 42676224 9863 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10419 9863 231 231 0 10188 0
vsize: 41676
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10620 0 0 0 34947 57 0 0 25 0 1 0 547305307 42807296 9892 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10451 9892 231 231 0 10220 0
vsize: 41804
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10641 0 0 0 35946 58 0 0 25 0 1 0 547305307 42807296 9913 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10451 9913 231 231 0 10220 0
vsize: 41804
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1942
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10660 0 0 0 36946 58 0 0 25 0 1 0 547305307 42942464 9932 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10484 9932 231 231 0 10253 0
vsize: 41936
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10686 0 0 0 37945 59 0 0 25 0 1 0 547305307 42942464 9958 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10484 9958 231 231 0 10253 0
vsize: 41936
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10705 0 0 0 38944 60 0 0 25 0 1 0 547305307 42942464 9977 4294967295 134512640 135450300 3221224624 3221223344 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10484 9977 231 231 0 10253 0
vsize: 41936
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10723 0 0 0 39944 61 0 0 25 0 1 0 547305307 42942464 9995 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10484 9995 231 231 0 10253 0
vsize: 41936
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10779 0 0 0 40944 61 0 0 25 0 1 0 547305307 43114496 10051 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10526 10051 231 231 0 10295 0
vsize: 42104
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10802 0 0 0 41943 62 0 0 25 0 1 0 547305307 43245568 10074 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10558 10074 231 231 0 10327 0
vsize: 42232
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10846 0 0 0 42942 63 0 0 25 0 1 0 547305307 43245568 10118 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10558 10118 231 231 0 10327 0
vsize: 42232
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10865 0 0 0 43942 64 0 0 25 0 1 0 547305307 43388928 10137 4294967295 134512640 135450300 3221224624 3221223360 134538522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10593 10137 231 231 0 10362 0
vsize: 42372
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10878 0 0 0 44942 64 0 0 25 0 1 0 547305307 43388928 10150 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10593 10150 231 231 0 10362 0
vsize: 42372
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10897 0 0 0 45941 65 0 0 25 0 1 0 547305307 43524096 10169 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10626 10169 231 231 0 10395 0
vsize: 42504
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10917 0 0 0 46940 66 0 0 25 0 1 0 547305307 43524096 10189 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10626 10189 231 231 0 10395 0
vsize: 42504
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10937 0 0 0 47940 66 0 0 25 0 1 0 547305307 43524096 10209 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10626 10209 231 231 0 10395 0
vsize: 42504
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 10963 0 0 0 48940 67 0 0 25 0 1 0 547305307 43667456 10235 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10661 10235 231 231 0 10430 0
vsize: 42644
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11028 0 0 0 49939 68 0 0 25 0 1 0 547305307 43855872 10300 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10707 10300 231 231 0 10476 0
vsize: 42828
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11040 0 0 0 50938 69 0 0 25 0 1 0 547305307 43855872 10312 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10707 10312 231 231 0 10476 0
vsize: 42828
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11052 0 0 0 51937 70 0 0 25 0 1 0 547305307 43855872 10324 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10707 10324 231 231 0 10476 0
vsize: 42828
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11067 0 0 0 52937 71 0 0 25 0 1 0 547305307 43991040 10339 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10740 10339 231 231 0 10509 0
vsize: 42960
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11075 0 0 0 53937 71 0 0 25 0 1 0 547305307 43991040 10347 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10740 10347 231 231 0 10509 0
vsize: 42960
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11097 0 0 0 54936 72 0 0 25 0 1 0 547305307 43991040 10369 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10740 10369 231 231 0 10509 0
vsize: 42960
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11117 0 0 0 55935 73 0 0 25 0 1 0 547305307 43991040 10389 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10740 10389 231 231 0 10509 0
vsize: 42960
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11146 0 0 0 56935 73 0 0 25 0 1 0 547305307 44126208 10418 4294967295 134512640 135450300 3221224624 3221223440 134536541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10773 10418 231 231 0 10542 0
vsize: 43092
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11175 0 0 0 57934 74 0 0 25 0 1 0 547305307 44265472 10447 4294967295 134512640 135450300 3221224624 3221223360 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10807 10447 231 231 0 10576 0
vsize: 43228
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11242 0 0 0 58934 74 0 0 25 0 1 0 547305307 44515328 10514 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 10514 231 231 0 10637 0
vsize: 43472
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11260 0 0 0 59933 75 0 0 25 0 1 0 547305307 44515328 10532 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 10532 231 231 0 10637 0
vsize: 43472
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11280 0 0 0 60933 76 0 0 25 0 1 0 547305307 44515328 10552 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 10552 231 231 0 10637 0
vsize: 43472
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11301 0 0 0 61932 77 0 0 25 0 1 0 547305307 44658688 10573 4294967295 134512640 135450300 3221224624 3221223440 134547464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10903 10573 231 231 0 10672 0
vsize: 43612
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11322 0 0 0 62932 77 0 0 25 0 1 0 547305307 44658688 10594 4294967295 134512640 135450300 3221224624 3221223344 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10903 10594 231 231 0 10672 0
vsize: 43612
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11338 0 0 0 63931 78 0 0 25 0 1 0 547305307 44658688 10610 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10903 10610 231 231 0 10672 0
vsize: 43612
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11362 0 0 0 64931 78 0 0 25 0 1 0 547305307 44797952 10634 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10634 231 231 0 10706 0
vsize: 43748
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11386 0 0 0 65931 79 0 0 25 0 1 0 547305307 44797952 10658 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10658 231 231 0 10706 0
vsize: 43748
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1944
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11405 0 0 0 66930 80 0 0 25 0 1 0 547305307 44797952 10677 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10677 231 231 0 10706 0
vsize: 43748
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11553 0 0 0 67930 81 0 0 25 0 1 0 547305307 45461504 10825 4294967295 134512640 135450300 3221224624 3221223344 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11099 10825 231 231 0 10868 0
vsize: 44396
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11564 0 0 0 68929 81 0 0 25 0 1 0 547305307 45461504 10836 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11099 10836 231 231 0 10868 0
vsize: 44396
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11574 0 0 0 69929 82 0 0 25 0 1 0 547305307 45461504 10846 4294967295 134512640 135450300 3221224624 3221223456 134549267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11099 10846 231 231 0 10868 0
vsize: 44396
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11583 0 0 0 70929 82 0 0 25 0 1 0 547305307 45461504 10855 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11099 10855 231 231 0 10868 0
vsize: 44396
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 11615 0 0 0 71928 83 0 0 25 0 1 0 547305307 45617152 10887 4294967295 134512640 135450300 3221224624 3221223232 134537630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11137 10887 231 231 0 10906 0
vsize: 44548
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12395 0 0 0 72927 84 0 0 25 0 1 0 547305307 48762880 10898 4294967295 134512640 135450300 3221224624 3221223140 134545028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 10898 231 231 0 11674 0
vsize: 47620
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12405 0 0 0 73926 85 0 0 25 0 1 0 547305307 48762880 10908 4294967295 134512640 135450300 3221224624 3221223344 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 10908 231 231 0 11674 0
vsize: 47620
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12415 0 0 0 74926 86 0 0 25 0 1 0 547305307 48762880 10918 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 10918 231 231 0 11674 0
vsize: 47620
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12422 0 0 0 75926 86 0 0 25 0 1 0 547305307 48762880 10925 4294967295 134512640 135450300 3221224624 3221223344 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 10925 231 231 0 11674 0
vsize: 47620
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12436 0 0 0 76925 86 0 0 25 0 1 0 547305307 48762880 10939 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 10939 231 231 0 11674 0
vsize: 47620
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12447 0 0 0 77925 87 0 0 25 0 1 0 547305307 48762880 10950 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 10950 231 231 0 11674 0
vsize: 47620
[startup+790.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12456 0 0 0 78925 87 0 0 25 0 1 0 547305307 48762880 10959 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 10959 231 231 0 11674 0
vsize: 47620
[startup+800.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12525 0 0 0 79924 88 0 0 25 0 1 0 547305307 48930816 11028 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11946 11028 231 231 0 11715 0
vsize: 47784
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12545 0 0 0 80923 89 0 0 25 0 1 0 547305307 48930816 11048 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11946 11048 231 231 0 11715 0
vsize: 47784
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12554 0 0 0 81922 90 0 0 25 0 1 0 547305307 48930816 11057 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11946 11057 231 231 0 11715 0
vsize: 47784
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12599 0 0 0 82922 91 0 0 25 0 1 0 547305307 49106944 11102 4294967295 134512640 135450300 3221224624 3221223344 134535455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 11102 231 231 0 11758 0
vsize: 47956
[startup+840.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12608 0 0 0 83922 91 0 0 25 0 1 0 547305307 49106944 11111 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 11111 231 231 0 11758 0
vsize: 47956
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12619 0 0 0 84921 92 0 0 25 0 1 0 547305307 49106944 11122 4294967295 134512640 135450300 3221224624 3221223088 134532764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 11122 231 231 0 11758 0
vsize: 47956
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12630 0 0 0 85921 93 0 0 25 0 1 0 547305307 49254400 11133 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12025 11133 231 231 0 11794 0
vsize: 48100
[startup+870.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12639 0 0 0 86920 93 0 0 25 0 1 0 547305307 49254400 11142 4294967295 134512640 135450300 3221224624 3221223440 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12025 11142 231 231 0 11794 0
vsize: 48100
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12658 0 0 0 87920 94 0 0 25 0 1 0 547305307 49254400 11161 4294967295 134512640 135450300 3221224624 3221223344 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12025 11161 231 231 0 11794 0
vsize: 48100
[startup+890.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12673 0 0 0 88919 95 0 0 25 0 1 0 547305307 49254400 11176 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12025 11176 231 231 0 11794 0
vsize: 48100
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12690 0 0 0 89919 95 0 0 25 0 1 0 547305307 49254400 11193 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12025 11193 231 231 0 11794 0
vsize: 48100
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12719 0 0 0 90918 96 0 0 25 0 1 0 547305307 49254400 11222 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12025 11222 231 231 0 11794 0
vsize: 48100
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12755 0 0 0 91917 97 0 0 25 0 1 0 547305307 49577984 11258 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12104 11258 231 231 0 11873 0
vsize: 48416
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12799 0 0 0 92916 98 0 0 25 0 1 0 547305307 49577984 11302 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12104 11302 231 231 0 11873 0
vsize: 48416
[startup+940.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12811 0 0 0 93916 99 0 0 25 0 1 0 547305307 49577984 11314 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12104 11314 231 231 0 11873 0
vsize: 48416
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12822 0 0 0 94916 100 0 0 25 0 1 0 547305307 49577984 11325 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12104 11325 231 231 0 11873 0
vsize: 48416
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12838 0 0 0 95915 101 0 0 25 0 1 0 547305307 49577984 11341 4294967295 134512640 135450300 3221224624 3221223344 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12104 11341 231 231 0 11873 0
vsize: 48416
[startup+970.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1946
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12853 0 0 0 96914 101 0 0 25 0 1 0 547305307 49717248 11356 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12138 11356 231 231 0 11907 0
vsize: 48552
[startup+980.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12867 0 0 0 97914 102 0 0 25 0 1 0 547305307 49717248 11370 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12138 11370 231 231 0 11907 0
vsize: 48552
[startup+990.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12879 0 0 0 98914 102 0 0 25 0 1 0 547305307 49717248 11382 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12138 11382 231 231 0 11907 0
vsize: 48552
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12897 0 0 0 99914 103 0 0 25 0 1 0 547305307 49717248 11400 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12138 11400 231 231 0 11907 0
vsize: 48552
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12920 0 0 0 100913 103 0 0 25 0 1 0 547305307 49881088 11423 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12178 11423 231 231 0 11947 0
vsize: 48712
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12927 0 0 0 101913 103 0 0 25 0 1 0 547305307 49881088 11430 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12178 11430 231 231 0 11947 0
vsize: 48712
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12938 0 0 0 102913 104 0 0 25 0 1 0 547305307 49881088 11441 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12178 11441 231 231 0 11947 0
vsize: 48712
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 12992 0 0 0 103912 104 0 0 25 0 1 0 547305307 50081792 11495 4294967295 134512640 135450300 3221224624 3221223440 134537294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12227 11495 231 231 0 11996 0
vsize: 48908
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13028 0 0 0 104912 105 0 0 25 0 1 0 547305307 50081792 11531 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12227 11531 231 231 0 11996 0
vsize: 48908
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13041 0 0 0 105912 106 0 0 25 0 1 0 547305307 50081792 11544 4294967295 134512640 135450300 3221224624 3221223344 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12227 11544 231 231 0 11996 0
vsize: 48908
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13075 0 0 0 106911 107 0 0 25 0 1 0 547305307 50429952 11578 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12312 11578 231 231 0 12081 0
vsize: 49248
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13096 0 0 0 107910 107 0 0 25 0 1 0 547305307 50429952 11599 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12312 11599 231 231 0 12081 0
vsize: 49248
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13117 0 0 0 108909 108 0 0 25 0 1 0 547305307 50429952 11620 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12312 11620 231 231 0 12081 0
vsize: 49248
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13158 0 0 0 109909 109 0 0 25 0 1 0 547305307 50569216 11661 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12346 11661 231 231 0 12115 0
vsize: 49384
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13166 0 0 0 110908 110 0 0 25 0 1 0 547305307 50569216 11669 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12346 11669 231 231 0 12115 0
vsize: 49384
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13187 0 0 0 111908 110 0 0 25 0 1 0 547305307 50569216 11690 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12346 11690 231 231 0 12115 0
vsize: 49384
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13203 0 0 0 112908 111 0 0 25 0 1 0 547305307 50569216 11706 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12346 11706 231 231 0 12115 0
vsize: 49384
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13213 0 0 0 113907 112 0 0 25 0 1 0 547305307 50569216 11716 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12346 11716 231 231 0 12115 0
vsize: 49384
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13230 0 0 0 114907 112 0 0 25 0 1 0 547305307 50708480 11733 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12380 11733 231 231 0 12149 0
vsize: 49520
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13239 0 0 0 115907 112 0 0 25 0 1 0 547305307 50708480 11742 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12380 11742 231 231 0 12149 0
vsize: 49520
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13257 0 0 0 116907 113 0 0 25 0 1 0 547305307 50708480 11760 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12380 11760 231 231 0 12149 0
vsize: 49520
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13263 0 0 0 117907 113 0 0 25 0 1 0 547305307 50708480 11766 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12380 11766 231 231 0 12149 0
vsize: 49520
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13287 0 0 0 118906 113 0 0 25 0 1 0 547305307 50708480 11790 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12380 11790 231 231 0 12149 0
vsize: 49520
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1948
Raw data (stat): 1940 (PBS4) R 1939 20838 20837 0 -1 0 13298 0 0 0 119906 114 0 0 25 0 1 0 547305307 50708480 11801 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12380 11801 231 231 0 12149 0
vsize: 49520
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 1948
Raw data (stat): 1940 (PBS4) Z 1939 20838 20837 0 -1 1036 13298 0 0 0 119906 116 0 0 25 0 1 0 547305307 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.03
CPU time (s): 1200.23
CPU user time (s): 1199.07
CPU system time (s): 1.16482
CPU usage (%): 100.017
Max. virtual memory (Kb): 49520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####