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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUM	7fcbcb2a8848112bb780308c9eb60989
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4241
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	3334110
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	7195
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	555
Trace number 21910

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-22 01:23:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12408 boxname=wulflinc25 idbench=955 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  7fcbcb2a8848112bb780308c9eb60989  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-aflow30a.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-aflow30a.opb
IDLAUNCH: 12408
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        802944 kB
Buffers:          2576 kB
Cached:         208716 kB
SwapCached:        732 kB
Active:          21584 kB
Inactive:       191612 kB
HighTotal:      131008 kB
HighFree:        88368 kB
LowTotal:       903652 kB
LowFree:        714576 kB
SwapTotal:     2097892 kB
SwapFree:      2096216 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            12872 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 01:43:35 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 12408 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-aflow30a.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.78 0.94 0.94 2/54 18340
Raw data (stat): 18340 (runsolver) R 18339 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549742934 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.0005 s]
Raw data (loadavg): 0.81 0.94 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 880 0 0 0 995 4 0 0 25 0 1 0 549742934 4661248 876 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1138 876 231 231 0 907 0
vsize: 4552
[startup+20.0011 s]
Raw data (loadavg): 0.84 0.94 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1062 0 0 0 1994 5 0 0 25 0 1 0 549742934 5980160 1058 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1460 1058 231 231 0 1229 0
vsize: 5840
[startup+30.0017 s]
Raw data (loadavg): 0.87 0.94 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1189 0 0 0 2994 5 0 0 25 0 1 0 549742934 6115328 1185 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1493 1185 231 231 0 1262 0
vsize: 5972
[startup+40.0013 s]
Raw data (loadavg): 0.89 0.94 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1278 0 0 0 3993 6 0 0 25 0 1 0 549742934 6250496 1274 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1526 1274 231 231 0 1295 0
vsize: 6104
[startup+50.0019 s]
Raw data (loadavg): 0.90 0.94 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1385 0 0 0 4993 7 0 0 25 0 1 0 549742934 6455296 1381 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1576 1381 231 231 0 1345 0
vsize: 6304
[startup+60.0015 s]
Raw data (loadavg): 0.92 0.94 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1474 0 0 0 5993 7 0 0 25 0 1 0 549742934 8675328 1470 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2118 1470 231 231 0 1887 0
vsize: 8472
[startup+70.0022 s]
Raw data (loadavg): 0.93 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1531 0 0 0 6992 8 0 0 25 0 1 0 549742934 8675328 1527 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2118 1527 231 231 0 1887 0
vsize: 8472
[startup+80.0027 s]
Raw data (loadavg): 0.94 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1593 0 0 0 7992 8 0 0 25 0 1 0 549742934 8675328 1589 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2118 1589 231 231 0 1887 0
vsize: 8472
[startup+90.0023 s]
Raw data (loadavg): 0.95 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1692 0 0 0 8992 9 0 0 25 0 1 0 549742934 8810496 1688 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2151 1688 231 231 0 1920 0
vsize: 8604
[startup+100.003 s]
Raw data (loadavg): 0.96 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1816 0 0 0 9991 9 0 0 25 0 1 0 549742934 8810496 1812 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2151 1812 231 231 0 1920 0
vsize: 8604
[startup+110.002 s]
Raw data (loadavg): 0.96 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1900 0 0 0 10990 11 0 0 25 0 1 0 549742934 9146368 1896 4294967295 134512640 135450300 3221224624 3221223408 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2233 1896 231 231 0 2002 0
vsize: 8932
[startup+120.003 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 1974 0 0 0 11989 12 0 0 25 0 1 0 549742934 9146368 1970 4294967295 134512640 135450300 3221224624 3221223456 134549050 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2233 1970 231 231 0 2002 0
vsize: 8932
[startup+130.003 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2044 0 0 0 12989 13 0 0 25 0 1 0 549742934 9146368 2040 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2233 2040 231 231 0 2002 0
vsize: 8932
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2120 0 0 0 13988 13 0 0 25 0 1 0 549742934 13463552 2116 4294967295 134512640 135450300 3221224624 3221222976 134533243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2116 231 231 0 3056 0
vsize: 13148
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2211 0 0 0 14987 14 0 0 25 0 1 0 549742934 13463552 2207 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2207 231 231 0 3056 0
vsize: 13148
[startup+160.003 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2288 0 0 0 15986 15 0 0 25 0 1 0 549742934 13594624 2284 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3319 2284 231 231 0 3088 0
vsize: 13276
[startup+170.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2344 0 0 0 16986 16 0 0 25 0 1 0 549742934 13594624 2340 4294967295 134512640 135450300 3221224624 3221222976 134533233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3319 2340 231 231 0 3088 0
vsize: 13276
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2389 0 0 0 17986 16 0 0 25 0 1 0 549742934 13594624 2385 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3319 2385 231 231 0 3088 0
vsize: 13276
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2468 0 0 0 18985 18 0 0 25 0 1 0 549742934 13762560 2464 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 2464 231 231 0 3129 0
vsize: 13440
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2513 0 0 0 19985 18 0 0 25 0 1 0 549742934 13762560 2509 4294967295 134512640 135450300 3221224624 3221223232 134537606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 2509 231 231 0 3129 0
vsize: 13440
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2570 0 0 0 20984 19 0 0 25 0 1 0 549742934 13762560 2566 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 2566 231 231 0 3129 0
vsize: 13440
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2618 0 0 0 21983 20 0 0 25 0 1 0 549742934 13893632 2614 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 2614 231 231 0 3161 0
vsize: 13568
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2692 0 0 0 22982 21 0 0 25 0 1 0 549742934 14024704 2688 4294967295 134512640 135450300 3221224624 3221223488 134539361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3424 2688 231 231 0 3193 0
vsize: 13696
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2701 0 0 0 23982 21 0 0 25 0 1 0 549742934 14159872 2697 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2697 231 231 0 3226 0
vsize: 13828
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2712 0 0 0 24982 22 0 0 25 0 1 0 549742934 14159872 2708 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2708 231 231 0 3226 0
vsize: 13828
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2729 0 0 0 25981 22 0 0 25 0 1 0 549742934 14159872 2725 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2725 231 231 0 3226 0
vsize: 13828
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2732 0 0 0 26981 23 0 0 25 0 1 0 549742934 14159872 2728 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2728 231 231 0 3226 0
vsize: 13828
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2785 0 0 0 27980 24 0 0 25 0 1 0 549742934 14356480 2732 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2732 231 231 0 3274 0
vsize: 14020
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2805 0 0 0 28980 24 0 0 25 0 1 0 549742934 14467072 2752 4294967295 134512640 135450300 3221224624 3221223232 134537672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2752 231 231 0 3301 0
vsize: 14128
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2810 0 0 0 29979 25 0 0 25 0 1 0 549742934 14467072 2757 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2757 231 231 0 3301 0
vsize: 14128
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2815 0 0 0 30979 26 0 0 25 0 1 0 549742934 14467072 2762 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2762 231 231 0 3301 0
vsize: 14128
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2820 0 0 0 31978 27 0 0 25 0 1 0 549742934 14467072 2767 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2767 231 231 0 3301 0
vsize: 14128
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2837 0 0 0 32978 27 0 0 25 0 1 0 549742934 14585856 2784 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2784 231 231 0 3330 0
vsize: 14244
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2838 0 0 0 33977 28 0 0 25 0 1 0 549742934 14585856 2785 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2785 231 231 0 3330 0
vsize: 14244
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2839 0 0 0 34976 29 0 0 25 0 1 0 549742934 14585856 2786 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2786 231 231 0 3330 0
vsize: 14244
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2840 0 0 0 35976 29 0 0 25 0 1 0 549742934 14585856 2787 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2787 231 231 0 3330 0
vsize: 14244
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2851 0 0 0 36976 30 0 0 25 0 1 0 549742934 14585856 2798 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2798 231 231 0 3330 0
vsize: 14244
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2853 0 0 0 37975 31 0 0 25 0 1 0 549742934 14585856 2800 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2800 231 231 0 3330 0
vsize: 14244
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2855 0 0 0 38975 31 0 0 25 0 1 0 549742934 14585856 2802 4294967295 134512640 135450300 3221224624 3221223360 134537913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2802 231 231 0 3330 0
vsize: 14244
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2861 0 0 0 39974 32 0 0 25 0 1 0 549742934 14585856 2808 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2808 231 231 0 3330 0
vsize: 14244
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2868 0 0 0 40973 33 0 0 25 0 1 0 549742934 14721024 2815 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2815 231 231 0 3363 0
vsize: 14376
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2871 0 0 0 41973 33 0 0 25 0 1 0 549742934 14721024 2818 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2818 231 231 0 3363 0
vsize: 14376
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2874 0 0 0 42972 35 0 0 25 0 1 0 549742934 14721024 2821 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2821 231 231 0 3363 0
vsize: 14376
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2889 0 0 0 43971 36 0 0 25 0 1 0 549742934 14721024 2836 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2836 231 231 0 3363 0
vsize: 14376
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2891 0 0 0 44971 36 0 0 25 0 1 0 549742934 14721024 2838 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2838 231 231 0 3363 0
vsize: 14376
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2892 0 0 0 45970 37 0 0 25 0 1 0 549742934 14721024 2839 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2839 231 231 0 3363 0
vsize: 14376
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2898 0 0 0 46970 38 0 0 25 0 1 0 549742934 14721024 2845 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2845 231 231 0 3363 0
vsize: 14376
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2899 0 0 0 47969 39 0 0 25 0 1 0 549742934 14721024 2846 4294967295 134512640 135450300 3221224624 3221223360 134538081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2846 231 231 0 3363 0
vsize: 14376
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2900 0 0 0 48968 40 0 0 25 0 1 0 549742934 14721024 2847 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2847 231 231 0 3363 0
vsize: 14376
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2901 0 0 0 49969 40 0 0 25 0 1 0 549742934 14721024 2848 4294967295 134512640 135450300 3221224624 3221222976 134533319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2848 231 231 0 3363 0
vsize: 14376
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2910 0 0 0 50968 41 0 0 25 0 1 0 549742934 14802944 2857 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3614 2857 231 231 0 3383 0
vsize: 14456
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2912 0 0 0 51968 41 0 0 25 0 1 0 549742934 14802944 2859 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3614 2859 231 231 0 3383 0
vsize: 14456
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2918 0 0 0 52967 42 0 0 25 0 1 0 549742934 14802944 2865 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3614 2865 231 231 0 3383 0
vsize: 14456
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2934 0 0 0 53967 42 0 0 25 0 1 0 549742934 14893056 2881 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2881 231 231 0 3405 0
vsize: 14544
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2935 0 0 0 54966 44 0 0 25 0 1 0 549742934 14893056 2882 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2882 231 231 0 3405 0
vsize: 14544
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2936 0 0 0 55965 44 0 0 25 0 1 0 549742934 14893056 2883 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2883 231 231 0 3405 0
vsize: 14544
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2938 0 0 0 56965 45 0 0 25 0 1 0 549742934 14893056 2885 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2885 231 231 0 3405 0
vsize: 14544
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2950 0 0 0 57964 46 0 0 25 0 1 0 549742934 14893056 2897 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2897 231 231 0 3405 0
vsize: 14544
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2951 0 0 0 58963 47 0 0 25 0 1 0 549742934 14893056 2898 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2898 231 231 0 3405 0
vsize: 14544
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2952 0 0 0 59963 47 0 0 25 0 1 0 549742934 14893056 2899 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2899 231 231 0 3405 0
vsize: 14544
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2959 0 0 0 60963 48 0 0 25 0 1 0 549742934 14893056 2906 4294967295 134512640 135450300 3221224624 3221223360 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2906 231 231 0 3405 0
vsize: 14544
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2960 0 0 0 61963 48 0 0 25 0 1 0 549742934 14893056 2907 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2907 231 231 0 3405 0
vsize: 14544
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2962 0 0 0 62962 49 0 0 25 0 1 0 549742934 14893056 2909 4294967295 134512640 135450300 3221224624 3221223008 134602272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2909 231 231 0 3405 0
vsize: 14544
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2963 0 0 0 63962 49 0 0 25 0 1 0 549742934 14893056 2910 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2910 231 231 0 3405 0
vsize: 14544
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2973 0 0 0 64962 50 0 0 25 0 1 0 549742934 14983168 2920 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3658 2920 231 231 0 3427 0
vsize: 14632
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2977 0 0 0 65961 51 0 0 25 0 1 0 549742934 14983168 2924 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3658 2924 231 231 0 3427 0
vsize: 14632
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2978 0 0 0 66961 51 0 0 25 0 1 0 549742934 14983168 2925 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3658 2925 231 231 0 3427 0
vsize: 14632
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2994 0 0 0 67960 52 0 0 25 0 1 0 549742934 15073280 2941 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3680 2941 231 231 0 3449 0
vsize: 14720
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 2995 0 0 0 68959 53 0 0 25 0 1 0 549742934 15073280 2942 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3680 2942 231 231 0 3449 0
vsize: 14720
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3093 0 0 0 69958 54 0 0 25 0 1 0 549742934 15466496 2943 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3776 2943 231 231 0 3545 0
vsize: 15104
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3095 0 0 0 70958 54 0 0 25 0 1 0 549742934 15466496 2945 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3776 2945 231 231 0 3545 0
vsize: 15104
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3115 0 0 0 71957 55 0 0 25 0 1 0 549742934 15544320 2965 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2965 231 231 0 3564 0
vsize: 15180
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3116 0 0 0 72956 57 0 0 25 0 1 0 549742934 15544320 2966 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2966 231 231 0 3564 0
vsize: 15180
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3117 0 0 0 73956 57 0 0 25 0 1 0 549742934 15544320 2967 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2967 231 231 0 3564 0
vsize: 15180
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3118 0 0 0 74955 58 0 0 25 0 1 0 549742934 15544320 2968 4294967295 134512640 135450300 3221224624 3221223440 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2968 231 231 0 3564 0
vsize: 15180
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3119 0 0 0 75955 58 0 0 25 0 1 0 549742934 15544320 2969 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2969 231 231 0 3564 0
vsize: 15180
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3120 0 0 0 76955 59 0 0 25 0 1 0 549742934 15544320 2970 4294967295 134512640 135450300 3221224624 3221223232 134537675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2970 231 231 0 3564 0
vsize: 15180
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3126 0 0 0 77954 59 0 0 25 0 1 0 549742934 15544320 2976 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2976 231 231 0 3564 0
vsize: 15180
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3141 0 0 0 78954 60 0 0 25 0 1 0 549742934 15622144 2991 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 2991 231 231 0 3583 0
vsize: 15256
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3142 0 0 0 79954 61 0 0 25 0 1 0 549742934 15622144 2992 4294967295 134512640 135450300 3221224624 3221223360 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 2992 231 231 0 3583 0
vsize: 15256
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3143 0 0 0 80953 61 0 0 25 0 1 0 549742934 15622144 2993 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 2993 231 231 0 3583 0
vsize: 15256
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3144 0 0 0 81952 62 0 0 25 0 1 0 549742934 15622144 2994 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 2994 231 231 0 3583 0
vsize: 15256
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3152 0 0 0 82952 63 0 0 25 0 1 0 549742934 15622144 3002 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3002 231 231 0 3583 0
vsize: 15256
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3153 0 0 0 83952 64 0 0 25 0 1 0 549742934 15622144 3003 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3003 231 231 0 3583 0
vsize: 15256
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3154 0 0 0 84951 64 0 0 25 0 1 0 549742934 15622144 3004 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3004 231 231 0 3583 0
vsize: 15256
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3155 0 0 0 85951 65 0 0 25 0 1 0 549742934 15622144 3005 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3005 231 231 0 3583 0
vsize: 15256
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3159 0 0 0 86950 65 0 0 25 0 1 0 549742934 15622144 3009 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3009 231 231 0 3583 0
vsize: 15256
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3160 0 0 0 87950 66 0 0 25 0 1 0 549742934 15622144 3010 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3010 231 231 0 3583 0
vsize: 15256
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3161 0 0 0 88950 66 0 0 25 0 1 0 549742934 15622144 3011 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3011 231 231 0 3583 0
vsize: 15256
[startup+900.011 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3162 0 0 0 89949 67 0 0 25 0 1 0 549742934 15622144 3012 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3012 231 231 0 3583 0
vsize: 15256
[startup+910.011 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3170 0 0 0 90949 68 0 0 25 0 1 0 549742934 15622144 3020 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3020 231 231 0 3583 0
vsize: 15256
[startup+920.011 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3171 0 0 0 91948 69 0 0 25 0 1 0 549742934 15622144 3021 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3021 231 231 0 3583 0
vsize: 15256
[startup+930.012 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3173 0 0 0 92948 69 0 0 25 0 1 0 549742934 15622144 3023 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3023 231 231 0 3583 0
vsize: 15256
[startup+940.011 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3175 0 0 0 93947 70 0 0 25 0 1 0 549742934 15622144 3025 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 3025 231 231 0 3583 0
vsize: 15256
[startup+950.012 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3188 0 0 0 94947 71 0 0 25 0 1 0 549742934 15724544 3038 4294967295 134512640 135450300 3221224624 3221223360 134537913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3839 3038 231 231 0 3608 0
vsize: 15356
[startup+960.013 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3191 0 0 0 95946 71 0 0 25 0 1 0 549742934 15724544 3041 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3839 3041 231 231 0 3608 0
vsize: 15356
[startup+970.013 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3193 0 0 0 96946 72 0 0 25 0 1 0 549742934 15724544 3043 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3839 3043 231 231 0 3608 0
vsize: 15356
[startup+980.013 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3195 0 0 0 97946 72 0 0 25 0 1 0 549742934 15724544 3045 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3839 3045 231 231 0 3608 0
vsize: 15356
[startup+990.012 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3210 0 0 0 98945 73 0 0 25 0 1 0 549742934 15822848 3060 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3060 231 231 0 3632 0
vsize: 15452
[startup+1000.01 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3211 0 0 0 99945 74 0 0 25 0 1 0 549742934 15822848 3061 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3061 231 231 0 3632 0
vsize: 15452
[startup+1010.01 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3212 0 0 0 100944 75 0 0 25 0 1 0 549742934 15822848 3062 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3062 231 231 0 3632 0
vsize: 15452
[startup+1020.01 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3213 0 0 0 101944 75 0 0 25 0 1 0 549742934 15822848 3063 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3063 231 231 0 3632 0
vsize: 15452
[startup+1030.01 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3219 0 0 0 102943 76 0 0 25 0 1 0 549742934 15822848 3069 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3069 231 231 0 3632 0
vsize: 15452
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3219 0 0 0 103943 76 0 0 25 0 1 0 549742934 15822848 3069 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3069 231 231 0 3632 0
vsize: 15452
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3221 0 0 0 104943 77 0 0 25 0 1 0 549742934 15822848 3071 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3071 231 231 0 3632 0
vsize: 15452
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3222 0 0 0 105943 78 0 0 25 0 1 0 549742934 15822848 3072 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3072 231 231 0 3632 0
vsize: 15452
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3225 0 0 0 106943 78 0 0 25 0 1 0 549742934 15822848 3075 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3075 231 231 0 3632 0
vsize: 15452
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3228 0 0 0 107942 79 0 0 25 0 1 0 549742934 15822848 3078 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3078 231 231 0 3632 0
vsize: 15452
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3229 0 0 0 108941 80 0 0 25 0 1 0 549742934 15822848 3079 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3079 231 231 0 3632 0
vsize: 15452
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3247 0 0 0 109941 80 0 0 25 0 1 0 549742934 15904768 3097 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3883 3097 231 231 0 3652 0
vsize: 15532
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3248 0 0 0 110940 82 0 0 25 0 1 0 549742934 15904768 3098 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3883 3098 231 231 0 3652 0
vsize: 15532
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3252 0 0 0 111939 83 0 0 25 0 1 0 549742934 15904768 3102 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3883 3102 231 231 0 3652 0
vsize: 15532
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3256 0 0 0 112939 83 0 0 25 0 1 0 549742934 15904768 3106 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3883 3106 231 231 0 3652 0
vsize: 15532
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3271 0 0 0 113939 83 0 0 25 0 1 0 549742934 16011264 3121 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3121 231 231 0 3678 0
vsize: 15636
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3272 0 0 0 114938 84 0 0 25 0 1 0 549742934 16011264 3122 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3122 231 231 0 3678 0
vsize: 15636
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3273 0 0 0 115938 85 0 0 25 0 1 0 549742934 16011264 3123 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3123 231 231 0 3678 0
vsize: 15636
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3274 0 0 0 116937 86 0 0 25 0 1 0 549742934 16011264 3124 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3124 231 231 0 3678 0
vsize: 15636
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3280 0 0 0 117937 86 0 0 25 0 1 0 549742934 16011264 3130 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3130 231 231 0 3678 0
vsize: 15636
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3281 0 0 0 118936 87 0 0 25 0 1 0 549742934 16011264 3131 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3131 231 231 0 3678 0
vsize: 15636
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 18340
Raw data (stat): 18340 (PBS4) R 18339 28099 28098 0 -1 0 3282 0 0 0 119936 87 0 0 25 0 1 0 549742934 16011264 3132 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3132 231 231 0 3678 0
vsize: 15636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.95 1/54 18340
Raw data (stat): 18340 (PBS4) Z 18339 28099 28098 0 -1 1036 3282 0 0 0 119936 88 0 0 25 0 1 0 549742934 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.25
CPU user time (s): 1199.37
CPU system time (s): 0.881865
CPU usage (%): 100.018
Max. virtual memory (Kb): 15636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####