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/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM	33d46caaa6c22613488909eddb5a530f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	162
Optimality of the best value was proved	NO
Number of terms in the objective function	444
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	444
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	444
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.02184
Number of variables	444
Total number of constraints	1408
Number of constraints which are clauses	1408
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	2
Maximum length of a constraint	32
Trace number 7750

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-17 16:03:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1419 boxname=wulflinc18 idbench=158 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  33d46caaa6c22613488909eddb5a530f  /oldhome/oroussel/tmp/wulflinc18/normalized-ii32e1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-ii32e1.opb
IDLAUNCH: 1419
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        831116 kB
Buffers:         36344 kB
Cached:         130208 kB
SwapCached:        320 kB
Active:          74072 kB
Inactive:        95700 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        830808 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            28056 kB
Committed_AS:    63692 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:23:54 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 1419 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-ii32e1.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.85 0.96 0.70 2/55 16259
Raw data (stat): 16259 (runsolver) R 16258 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511800995 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+10.0012 s]
Raw data (loadavg): 0.87 0.97 0.70 2/55 16259
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 279 0 0 0 998 1 0 0 25 0 1 0 511800995 1851392 275 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 452 275 231 231 0 221 0
vsize: 1808
[startup+20.002 s]
Raw data (loadavg): 0.89 0.97 0.70 2/55 16259
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 359 0 0 0 1998 1 0 0 25 0 1 0 511800995 2375680 355 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 580 355 231 231 0 349 0
vsize: 2320
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.97 0.70 2/55 16259
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 446 0 0 0 2998 1 0 0 25 0 1 0 511800995 2564096 442 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 626 442 231 231 0 395 0
vsize: 2504
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.97 0.71 2/55 16259
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 522 0 0 0 3998 1 0 0 25 0 1 0 511800995 3612672 518 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 882 518 231 231 0 651 0
vsize: 3528
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.97 0.71 2/55 16259
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 595 0 0 0 4998 1 0 0 25 0 1 0 511800995 3612672 591 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 882 591 231 231 0 651 0
vsize: 3528
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.97 0.71 2/55 16259
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 670 0 0 0 5998 1 0 0 25 0 1 0 511800995 3612672 666 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 882 666 231 231 0 651 0
vsize: 3528
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.97 0.72 2/55 16259
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 744 0 0 0 6998 2 0 0 25 0 1 0 511800995 5709824 740 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1394 740 231 231 0 1163 0
vsize: 5576
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.97 0.72 2/55 16259
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 818 0 0 0 7998 2 0 0 25 0 1 0 511800995 5709824 814 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1394 814 231 231 0 1163 0
vsize: 5576
[startup+90.002 s]
Raw data (loadavg): 0.96 0.97 0.72 2/55 16261
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 892 0 0 0 8998 2 0 0 25 0 1 0 511800995 5709824 888 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1394 888 231 231 0 1163 0
vsize: 5576
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.73 2/55 16261
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 967 0 0 0 9998 2 0 0 25 0 1 0 511800995 5709824 963 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1394 963 231 231 0 1163 0
vsize: 5576
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.73 2/55 16261
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1038 0 0 0 10997 3 0 0 25 0 1 0 511800995 5709824 1034 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1394 1034 231 231 0 1163 0
vsize: 5576
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.73 2/55 16261
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1134 0 0 0 11997 3 0 0 25 0 1 0 511800995 5910528 1130 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1443 1130 231 231 0 1212 0
vsize: 5772
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.73 2/55 16261
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1207 0 0 0 12997 4 0 0 25 0 1 0 511800995 5910528 1203 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1443 1203 231 231 0 1212 0
vsize: 5772
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.73 2/55 16261
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1281 0 0 0 13997 4 0 0 25 0 1 0 511800995 10104832 1277 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1277 231 231 0 2236 0
vsize: 9868
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.74 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1355 0 0 0 14997 4 0 0 25 0 1 0 511800995 10104832 1351 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1351 231 231 0 2236 0
vsize: 9868
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1428 0 0 0 15997 5 0 0 25 0 1 0 511800995 10104832 1424 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1424 231 231 0 2236 0
vsize: 9868
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1503 0 0 0 16997 5 0 0 25 0 1 0 511800995 10104832 1499 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1499 231 231 0 2236 0
vsize: 9868
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1575 0 0 0 17997 5 0 0 25 0 1 0 511800995 10104832 1571 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1571 231 231 0 2236 0
vsize: 9868
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1649 0 0 0 18997 5 0 0 25 0 1 0 511800995 10104832 1645 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1645 231 231 0 2236 0
vsize: 9868
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1722 0 0 0 19996 6 0 0 25 0 1 0 511800995 10104832 1718 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1718 231 231 0 2236 0
vsize: 9868
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1795 0 0 0 20996 6 0 0 25 0 1 0 511800995 10104832 1791 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1791 231 231 0 2236 0
vsize: 9868
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1867 0 0 0 21996 6 0 0 25 0 1 0 511800995 10088448 1863 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2463 1863 231 231 0 2232 0
vsize: 9852
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1939 0 0 0 22996 7 0 0 25 0 1 0 511800995 10088448 1935 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2463 1935 231 231 0 2232 0
vsize: 9852
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2013 0 0 0 23996 7 0 0 25 0 1 0 511800995 10088448 2009 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2463 2009 231 231 0 2232 0
vsize: 9852
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2088 0 0 0 24996 7 0 0 25 0 1 0 511800995 10088448 2084 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2463 2084 231 231 0 2232 0
vsize: 9852
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2164 0 0 0 25996 8 0 0 25 0 1 0 511800995 10088448 2160 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2463 2160 231 231 0 2232 0
vsize: 9852
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2236 0 0 0 26995 8 0 0 25 0 1 0 511800995 10088448 2232 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2463 2232 231 231 0 2232 0
vsize: 9852
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2320 0 0 0 27995 8 0 0 25 0 1 0 511800995 18612224 2316 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2316 231 231 0 4313 0
vsize: 18176
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2391 0 0 0 28995 9 0 0 25 0 1 0 511800995 18612224 2387 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2387 231 231 0 4313 0
vsize: 18176
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2464 0 0 0 29995 9 0 0 25 0 1 0 511800995 18612224 2460 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2460 231 231 0 4313 0
vsize: 18176
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2586 0 0 0 30995 9 0 0 25 0 1 0 511800995 18808832 2533 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 2533 231 231 0 4361 0
vsize: 18368
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2629 0 0 0 31995 9 0 0 25 0 1 0 511800995 18808832 2576 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 2576 231 231 0 4361 0
vsize: 18368
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2665 0 0 0 32995 9 0 0 25 0 1 0 511800995 18808832 2612 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 2612 231 231 0 4361 0
vsize: 18368
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2730 0 0 0 33995 10 0 0 25 0 1 0 511800995 18808832 2677 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 2677 231 231 0 4361 0
vsize: 18368
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2817 0 0 0 34995 10 0 0 25 0 1 0 511800995 18948096 2764 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 2764 231 231 0 4395 0
vsize: 18504
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2885 0 0 0 35995 10 0 0 25 0 1 0 511800995 18948096 2832 4294967295 134512640 135450300 3221224640 3221223456 134546452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 2832 231 231 0 4395 0
vsize: 18504
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2956 0 0 0 36995 10 0 0 25 0 1 0 511800995 18948096 2903 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 2903 231 231 0 4395 0
vsize: 18504
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3042 0 0 0 37995 10 0 0 25 0 1 0 511800995 19083264 2989 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 2989 231 231 0 4428 0
vsize: 18636
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3108 0 0 0 38995 11 0 0 25 0 1 0 511800995 19083264 3055 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3055 231 231 0 4428 0
vsize: 18636
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3181 0 0 0 39995 11 0 0 25 0 1 0 511800995 19083264 3128 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3128 231 231 0 4428 0
vsize: 18636
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3250 0 0 0 40995 11 0 0 25 0 1 0 511800995 19083264 3197 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3197 231 231 0 4428 0
vsize: 18636
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3316 0 0 0 41995 11 0 0 25 0 1 0 511800995 19083264 3263 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3263 231 231 0 4428 0
vsize: 18636
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3374 0 0 0 42995 11 0 0 25 0 1 0 511800995 19083264 3321 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3321 231 231 0 4428 0
vsize: 18636
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 16263
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3433 0 0 0 43995 12 0 0 25 0 1 0 511800995 19083264 3380 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3380 231 231 0 4428 0
vsize: 18636
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3496 0 0 0 44995 12 0 0 25 0 1 0 511800995 19083264 3443 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3443 231 231 0 4428 0
vsize: 18636
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3582 0 0 0 45994 13 0 0 25 0 1 0 511800995 19222528 3529 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4693 3529 231 231 0 4462 0
vsize: 18772
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3651 0 0 0 46994 13 0 0 25 0 1 0 511800995 19222528 3598 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4693 3598 231 231 0 4462 0
vsize: 18772
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3719 0 0 0 47994 13 0 0 25 0 1 0 511800995 19222528 3666 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4693 3666 231 231 0 4462 0
vsize: 18772
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3811 0 0 0 48992 15 0 0 25 0 1 0 511800995 19505152 3758 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3758 231 231 0 4531 0
vsize: 19048
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3853 0 0 0 49991 16 0 0 25 0 1 0 511800995 19644416 3800 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3800 231 231 0 4565 0
vsize: 19184
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3854 0 0 0 50991 16 0 0 25 0 1 0 511800995 19644416 3801 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3801 231 231 0 4565 0
vsize: 19184
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3857 0 0 0 51991 16 0 0 25 0 1 0 511800995 19644416 3804 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3804 231 231 0 4565 0
vsize: 19184
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3873 0 0 0 52991 16 0 0 25 0 1 0 511800995 19779584 3820 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4829 3820 231 231 0 4598 0
vsize: 19316
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3884 0 0 0 53991 17 0 0 25 0 1 0 511800995 19779584 3831 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4829 3831 231 231 0 4598 0
vsize: 19316
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3905 0 0 0 54992 17 0 0 25 0 1 0 511800995 19779584 3852 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4829 3852 231 231 0 4598 0
vsize: 19316
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3981 0 0 0 55991 17 0 0 25 0 1 0 511800995 19914752 3928 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 3928 231 231 0 4631 0
vsize: 19448
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4009 0 0 0 56990 19 0 0 25 0 1 0 511800995 19914752 3956 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 3956 231 231 0 4631 0
vsize: 19448
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4011 0 0 0 57990 19 0 0 25 0 1 0 511800995 19914752 3958 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 3958 231 231 0 4631 0
vsize: 19448
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4013 0 0 0 58990 19 0 0 25 0 1 0 511800995 19914752 3960 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 3960 231 231 0 4631 0
vsize: 19448
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4015 0 0 0 59990 19 0 0 25 0 1 0 511800995 19914752 3962 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 3962 231 231 0 4631 0
vsize: 19448
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4022 0 0 0 60990 19 0 0 25 0 1 0 511800995 20049920 3969 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3969 231 231 0 4664 0
vsize: 19580
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4120 0 0 0 61990 20 0 0 25 0 1 0 511800995 20443136 3970 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3970 231 231 0 4760 0
vsize: 19964
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4121 0 0 0 62990 20 0 0 25 0 1 0 511800995 20443136 3971 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3971 231 231 0 4760 0
vsize: 19964
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4122 0 0 0 63990 20 0 0 25 0 1 0 511800995 20443136 3972 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3972 231 231 0 4760 0
vsize: 19964
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4127 0 0 0 64990 20 0 0 25 0 1 0 511800995 20443136 3977 4294967295 134512640 135450300 3221224640 3221223360 134535546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3977 231 231 0 4760 0
vsize: 19964
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4128 0 0 0 65991 20 0 0 25 0 1 0 511800995 20443136 3978 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3978 231 231 0 4760 0
vsize: 19964
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4129 0 0 0 66991 20 0 0 25 0 1 0 511800995 20443136 3979 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3979 231 231 0 4760 0
vsize: 19964
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4133 0 0 0 67991 20 0 0 25 0 1 0 511800995 20443136 3983 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3983 231 231 0 4760 0
vsize: 19964
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4134 0 0 0 68991 20 0 0 25 0 1 0 511800995 20443136 3984 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3984 231 231 0 4760 0
vsize: 19964
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4136 0 0 0 69991 20 0 0 25 0 1 0 511800995 20443136 3986 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3986 231 231 0 4760 0
vsize: 19964
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4137 0 0 0 70991 20 0 0 25 0 1 0 511800995 20443136 3987 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3987 231 231 0 4760 0
vsize: 19964
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4144 0 0 0 71991 21 0 0 25 0 1 0 511800995 20443136 3994 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3994 231 231 0 4760 0
vsize: 19964
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4154 0 0 0 72991 21 0 0 25 0 1 0 511800995 20443136 4004 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 4004 231 231 0 4760 0
vsize: 19964
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 16265
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4177 0 0 0 73991 21 0 0 25 0 1 0 511800995 20578304 4027 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4027 231 231 0 4793 0
vsize: 20096
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4181 0 0 0 74991 21 0 0 25 0 1 0 511800995 20578304 4031 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4031 231 231 0 4793 0
vsize: 20096
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4183 0 0 0 75991 21 0 0 25 0 1 0 511800995 20578304 4033 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4033 231 231 0 4793 0
vsize: 20096
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4184 0 0 0 76991 21 0 0 25 0 1 0 511800995 20578304 4034 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4034 231 231 0 4793 0
vsize: 20096
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4199 0 0 0 77991 22 0 0 25 0 1 0 511800995 20578304 4049 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4049 231 231 0 4793 0
vsize: 20096
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4209 0 0 0 78990 22 0 0 25 0 1 0 511800995 20578304 4059 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4059 231 231 0 4793 0
vsize: 20096
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4210 0 0 0 79991 22 0 0 25 0 1 0 511800995 20578304 4060 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4060 231 231 0 4793 0
vsize: 20096
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4211 0 0 0 80991 22 0 0 25 0 1 0 511800995 20578304 4061 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4061 231 231 0 4793 0
vsize: 20096
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4213 0 0 0 81991 22 0 0 25 0 1 0 511800995 20578304 4063 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4063 231 231 0 4793 0
vsize: 20096
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4218 0 0 0 82991 22 0 0 25 0 1 0 511800995 20713472 4068 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4068 231 231 0 4826 0
vsize: 20228
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4219 0 0 0 83991 23 0 0 25 0 1 0 511800995 20713472 4069 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4069 231 231 0 4826 0
vsize: 20228
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4221 0 0 0 84991 23 0 0 25 0 1 0 511800995 20713472 4071 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4071 231 231 0 4826 0
vsize: 20228
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4222 0 0 0 85991 23 0 0 25 0 1 0 511800995 20713472 4072 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4072 231 231 0 4826 0
vsize: 20228
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4239 0 0 0 86991 23 0 0 25 0 1 0 511800995 20713472 4089 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4089 231 231 0 4826 0
vsize: 20228
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4240 0 0 0 87991 23 0 0 25 0 1 0 511800995 20713472 4090 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4090 231 231 0 4826 0
vsize: 20228
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4241 0 0 0 88991 23 0 0 25 0 1 0 511800995 20713472 4091 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4091 231 231 0 4826 0
vsize: 20228
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4250 0 0 0 89991 23 0 0 25 0 1 0 511800995 20713472 4100 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4100 231 231 0 4826 0
vsize: 20228
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4251 0 0 0 90992 23 0 0 25 0 1 0 511800995 20713472 4101 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4101 231 231 0 4826 0
vsize: 20228
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4252 0 0 0 91992 23 0 0 25 0 1 0 511800995 20713472 4102 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4102 231 231 0 4826 0
vsize: 20228
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4253 0 0 0 92992 23 0 0 25 0 1 0 511800995 20713472 4103 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4103 231 231 0 4826 0
vsize: 20228
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4264 0 0 0 93992 23 0 0 25 0 1 0 511800995 20848640 4114 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4114 231 231 0 4859 0
vsize: 20360
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4265 0 0 0 94992 23 0 0 25 0 1 0 511800995 20848640 4115 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4115 231 231 0 4859 0
vsize: 20360
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4267 0 0 0 95992 24 0 0 25 0 1 0 511800995 20848640 4117 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4117 231 231 0 4859 0
vsize: 20360
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4268 0 0 0 96992 24 0 0 25 0 1 0 511800995 20848640 4118 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4118 231 231 0 4859 0
vsize: 20360
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4281 0 0 0 97992 24 0 0 25 0 1 0 511800995 20848640 4131 4294967295 134512640 135450300 3221224640 3221223248 134537761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4131 231 231 0 4859 0
vsize: 20360
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4282 0 0 0 98992 24 0 0 25 0 1 0 511800995 20848640 4132 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4132 231 231 0 4859 0
vsize: 20360
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4283 0 0 0 99992 24 0 0 25 0 1 0 511800995 20848640 4133 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4133 231 231 0 4859 0
vsize: 20360
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4291 0 0 0 100993 24 0 0 25 0 1 0 511800995 20848640 4141 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4141 231 231 0 4859 0
vsize: 20360
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4292 0 0 0 101993 24 0 0 25 0 1 0 511800995 20848640 4142 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4142 231 231 0 4859 0
vsize: 20360
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4294 0 0 0 102993 24 0 0 25 0 1 0 511800995 20848640 4144 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4144 231 231 0 4859 0
vsize: 20360
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 16267
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4320 0 0 0 103992 25 0 0 25 0 1 0 511800995 20992000 4170 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4170 231 231 0 4894 0
vsize: 20500
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4333 0 0 0 104992 26 0 0 25 0 1 0 511800995 20992000 4183 4294967295 134512640 135450300 3221224640 3221223472 134549654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4183 231 231 0 4894 0
vsize: 20500
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4335 0 0 0 105992 26 0 0 25 0 1 0 511800995 20992000 4185 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4185 231 231 0 4894 0
vsize: 20500
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4345 0 0 0 106992 26 0 0 25 0 1 0 511800995 20992000 4195 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4195 231 231 0 4894 0
vsize: 20500
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4350 0 0 0 107992 26 0 0 25 0 1 0 511800995 20992000 4200 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4200 231 231 0 4894 0
vsize: 20500
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4351 0 0 0 108992 26 0 0 25 0 1 0 511800995 20992000 4201 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4201 231 231 0 4894 0
vsize: 20500
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4352 0 0 0 109992 27 0 0 25 0 1 0 511800995 20992000 4202 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4202 231 231 0 4894 0
vsize: 20500
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4368 0 0 0 110991 27 0 0 25 0 1 0 511800995 21151744 4218 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4218 231 231 0 4933 0
vsize: 20656
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4375 0 0 0 111991 28 0 0 25 0 1 0 511800995 21151744 4225 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4225 231 231 0 4933 0
vsize: 20656
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4376 0 0 0 112991 28 0 0 25 0 1 0 511800995 21151744 4226 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4226 231 231 0 4933 0
vsize: 20656
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4377 0 0 0 113991 28 0 0 25 0 1 0 511800995 21151744 4227 4294967295 134512640 135450300 3221224640 3221223360 134535971 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4227 231 231 0 4933 0
vsize: 20656
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4379 0 0 0 114991 28 0 0 25 0 1 0 511800995 21151744 4229 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4229 231 231 0 4933 0
vsize: 20656
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4380 0 0 0 115991 28 0 0 25 0 1 0 511800995 21151744 4230 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4230 231 231 0 4933 0
vsize: 20656
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4382 0 0 0 116991 28 0 0 25 0 1 0 511800995 21151744 4232 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4232 231 231 0 4933 0
vsize: 20656
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4383 0 0 0 117991 28 0 0 25 0 1 0 511800995 21151744 4233 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4233 231 231 0 4933 0
vsize: 20656
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4392 0 0 0 118992 29 0 0 25 0 1 0 511800995 21151744 4242 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4242 231 231 0 4933 0
vsize: 20656
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 16269
Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4393 0 0 0 119992 29 0 0 25 0 1 0 511800995 21151744 4243 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4243 231 231 0 4933 0
vsize: 20656
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.88 1/55 16269
Raw data (stat): 16259 (PBS4) Z 16258 20024 20023 0 -1 1036 4393 0 0 0 119992 30 0 0 25 0 1 0 511800995 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.04
CPU time (s): 1200.22
CPU user time (s): 1199.92
CPU system time (s): 0.300954
CPU usage (%): 100.015
Max. virtual memory (Kb): 20656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####