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-ii16b1.opb
MD5SUM	dd9b4ae34921e1731f1a12dcd9d29b23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1528
Optimality of the best value was proved	NO
Number of terms in the objective function	3456
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	3456
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3456
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	3456
Total number of constraints	26520
Number of constraints which are clauses	26520
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	16
Trace number 7711

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        798724 kB
Buffers:         36872 kB
Cached:         155276 kB
SwapCached:       3828 kB
Active:          73040 kB
Inactive:       125820 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        798472 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            31484 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:19:00 (client local time) WITH STATUS 0 IN 1200.48 SECONDS
stats: 1239 7 1200.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-ii16b1.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.92 0.95 0.69 2/54 21951
Raw data (stat): 21951 (runsolver) R 21950 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511776187 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.69 2/54 21951
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 1508 0 0 0 994 4 0 0 25 0 1 0 511776187 7524352 1352 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1837 1352 231 231 0 1606 0
vsize: 7348
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.70 2/54 21951
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 2011 0 0 0 1993 6 0 0 25 0 1 0 511776187 11853824 1855 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2894 1855 231 231 0 2663 0
vsize: 11576
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.70 2/54 21951
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 2250 0 0 0 2992 7 0 0 25 0 1 0 511776187 11984896 2094 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2094 231 231 0 2695 0
vsize: 11704
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.96 0.70 2/54 21951
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 2479 0 0 0 3992 7 0 0 25 0 1 0 511776187 11984896 2323 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2323 231 231 0 2695 0
vsize: 11704
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.71 2/54 21951
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 3121 0 0 0 4991 9 0 0 25 0 1 0 511776187 20508672 2965 4294967295 134512640 135450300 3221224640 3221223120 134580025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 2965 231 231 0 4776 0
vsize: 20028
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.71 2/54 21951
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 4778 0 0 0 5988 12 0 0 25 0 1 0 511776187 20508672 4622 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 4622 231 231 0 4776 0
vsize: 20028
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.71 2/55 21952
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 6475 0 0 0 6984 16 0 0 25 0 1 0 511776187 37285888 6319 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9103 6319 231 231 0 8872 0
vsize: 36412
[startup+80.0675 s]
Raw data (loadavg): 1.06 0.98 0.72 3/57 21995
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 8165 0 0 0 7987 19 0 0 25 0 1 0 511776187 37285888 8009 4294967295 134512640 135450300 3221224640 3221223168 134543660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9103 8009 231 231 0 8872 0
vsize: 36412
[startup+90.067 s]
Raw data (loadavg): 1.12 1.00 0.73 2/54 22004
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 9777 0 0 0 8983 23 0 0 25 0 1 0 511776187 70840320 9621 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17295 9621 231 231 0 17064 0
vsize: 69180
[startup+100.067 s]
Raw data (loadavg): 1.10 1.00 0.73 2/54 22004
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 11390 0 0 0 9979 28 0 0 25 0 1 0 511776187 70840320 11234 4294967295 134512640 135450300 3221224640 3221223152 134545029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17295 11234 231 231 0 17064 0
vsize: 69180
[startup+110.203 s]
Raw data (loadavg): 1.16 1.01 0.74 2/54 22004
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 12938 0 0 0 10990 31 0 0 25 0 1 0 511776187 70979584 12782 4294967295 134512640 135450300 3221224640 3221223248 134537662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 12782 231 231 0 17098 0
vsize: 69316
[startup+120.204 s]
Raw data (loadavg): 1.13 1.01 0.74 2/54 22004
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 14513 0 0 0 11986 35 0 0 25 0 1 0 511776187 70979584 14357 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 14357 231 231 0 17098 0
vsize: 69316
[startup+130.204 s]
Raw data (loadavg): 1.11 1.01 0.74 2/54 22004
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 16025 0 0 0 12983 38 0 0 25 0 1 0 511776187 70979584 15869 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 15869 231 231 0 17098 0
vsize: 69316
[startup+140.204 s]
Raw data (loadavg): 1.10 1.01 0.74 2/54 22004
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 17723 0 0 0 13978 43 0 0 25 0 1 0 511776187 138874880 17374 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33905 17374 231 231 0 33674 0
vsize: 135620
[startup+150.204 s]
Raw data (loadavg): 1.08 1.01 0.75 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 18782 0 0 0 14976 45 0 0 25 0 1 0 511776187 138874880 18433 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33905 18433 231 231 0 33674 0
vsize: 135620
[startup+160.204 s]
Raw data (loadavg): 1.07 1.01 0.75 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 20335 0 0 0 15973 48 0 0 25 0 1 0 511776187 138874880 19986 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33905 19986 231 231 0 33674 0
vsize: 135620
[startup+170.205 s]
Raw data (loadavg): 1.06 1.01 0.75 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 21466 0 0 0 16969 53 0 0 25 0 1 0 511776187 138874880 21117 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33905 21117 231 231 0 33674 0
vsize: 135620
[startup+180.205 s]
Raw data (loadavg): 1.05 1.00 0.75 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 22975 0 0 0 17965 57 0 0 25 0 1 0 511776187 139010048 22626 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33938 22626 231 231 0 33707 0
vsize: 135752
[startup+190.205 s]
Raw data (loadavg): 1.04 1.00 0.75 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 23700 0 0 0 18963 59 0 0 25 0 1 0 511776187 139010048 23351 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33938 23351 231 231 0 33707 0
vsize: 135752
[startup+200.206 s]
Raw data (loadavg): 1.03 1.00 0.76 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 24990 0 0 0 19960 63 0 0 25 0 1 0 511776187 139010048 24641 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33938 24641 231 231 0 33707 0
vsize: 135752
[startup+210.206 s]
Raw data (loadavg): 1.03 1.00 0.76 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 25958 0 0 0 20957 65 0 0 25 0 1 0 511776187 139141120 25609 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33970 25609 231 231 0 33739 0
vsize: 135880
[startup+220.207 s]
Raw data (loadavg): 1.02 1.00 0.76 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 27006 0 0 0 21955 68 0 0 25 0 1 0 511776187 139276288 26657 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 26657 231 231 0 33772 0
vsize: 136012
[startup+230.207 s]
Raw data (loadavg): 1.02 1.00 0.76 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 27277 0 0 0 22954 69 0 0 25 0 1 0 511776187 139276288 26928 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 26928 231 231 0 33772 0
vsize: 136012
[startup+240.206 s]
Raw data (loadavg): 1.02 1.00 0.76 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 28050 0 0 0 23953 70 0 0 25 0 1 0 511776187 139276288 27701 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34003 27701 231 231 0 33772 0
vsize: 136012
[startup+250.207 s]
Raw data (loadavg): 1.01 1.00 0.77 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 28262 0 0 0 24953 70 0 0 25 0 1 0 511776187 139427840 27913 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 27913 231 231 0 33809 0
vsize: 136160
[startup+260.207 s]
Raw data (loadavg): 1.01 1.00 0.77 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 28659 0 0 0 25953 71 0 0 25 0 1 0 511776187 139427840 28310 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 28310 231 231 0 33809 0
vsize: 136160
[startup+270.207 s]
Raw data (loadavg): 1.01 1.00 0.77 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 29057 0 0 0 26952 72 0 0 25 0 1 0 511776187 139558912 28708 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 28708 231 231 0 33841 0
vsize: 136288
[startup+280.208 s]
Raw data (loadavg): 1.01 1.00 0.77 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 29446 0 0 0 27951 73 0 0 25 0 1 0 511776187 139558912 29097 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29097 231 231 0 33841 0
vsize: 136288
[startup+290.208 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 29838 0 0 0 28950 74 0 0 25 0 1 0 511776187 139558912 29489 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29489 231 231 0 33841 0
vsize: 136288
[startup+300.208 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30087 0 0 0 29950 74 0 0 25 0 1 0 511776187 139558912 29738 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29738 231 231 0 33841 0
vsize: 136288
[startup+310.208 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30088 0 0 0 30950 75 0 0 25 0 1 0 511776187 139558912 29739 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29739 231 231 0 33841 0
vsize: 136288
[startup+320.209 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30090 0 0 0 31950 75 0 0 25 0 1 0 511776187 139558912 29741 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29741 231 231 0 33841 0
vsize: 136288
[startup+330.208 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30093 0 0 0 32950 75 0 0 25 0 1 0 511776187 139558912 29744 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29744 231 231 0 33841 0
vsize: 136288
[startup+340.208 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30094 0 0 0 33950 75 0 0 25 0 1 0 511776187 139558912 29745 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29745 231 231 0 33841 0
vsize: 136288
[startup+350.209 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30095 0 0 0 34950 76 0 0 25 0 1 0 511776187 139558912 29746 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29746 231 231 0 33841 0
vsize: 136288
[startup+360.208 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30104 0 0 0 35949 77 0 0 25 0 1 0 511776187 139558912 29755 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29755 231 231 0 33841 0
vsize: 136288
[startup+370.209 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30105 0 0 0 36947 79 0 0 25 0 1 0 511776187 139558912 29756 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29756 231 231 0 33841 0
vsize: 136288
[startup+380.21 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30106 0 0 0 37947 79 0 0 25 0 1 0 511776187 139558912 29757 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29757 231 231 0 33841 0
vsize: 136288
[startup+390.209 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30107 0 0 0 38947 79 0 0 25 0 1 0 511776187 139558912 29758 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29758 231 231 0 33841 0
vsize: 136288
[startup+400.209 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 22006
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30108 0 0 0 39947 79 0 0 25 0 1 0 511776187 139558912 29759 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34072 29759 231 231 0 33841 0
vsize: 136288
[startup+410.209 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30120 0 0 0 40947 80 0 0 25 0 1 0 511776187 139685888 29771 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29771 231 231 0 33872 0
vsize: 136412
[startup+420.209 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30123 0 0 0 41946 80 0 0 25 0 1 0 511776187 139685888 29774 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29774 231 231 0 33872 0
vsize: 136412
[startup+430.209 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30124 0 0 0 42946 81 0 0 25 0 1 0 511776187 139685888 29775 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29775 231 231 0 33872 0
vsize: 136412
[startup+440.209 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30124 0 0 0 43946 81 0 0 25 0 1 0 511776187 139685888 29775 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29775 231 231 0 33872 0
vsize: 136412
[startup+450.209 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30126 0 0 0 44946 81 0 0 25 0 1 0 511776187 139685888 29777 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29777 231 231 0 33872 0
vsize: 136412
[startup+460.209 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30126 0 0 0 45947 81 0 0 25 0 1 0 511776187 139685888 29777 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29777 231 231 0 33872 0
vsize: 136412
[startup+470.21 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30135 0 0 0 46947 81 0 0 25 0 1 0 511776187 139685888 29786 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29786 231 231 0 33872 0
vsize: 136412
[startup+480.209 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30142 0 0 0 47946 82 0 0 25 0 1 0 511776187 139685888 29793 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29793 231 231 0 33872 0
vsize: 136412
[startup+490.209 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30144 0 0 0 48946 82 0 0 25 0 1 0 511776187 139685888 29795 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29795 231 231 0 33872 0
vsize: 136412
[startup+500.21 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30147 0 0 0 49946 82 0 0 25 0 1 0 511776187 139685888 29798 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34103 29798 231 231 0 33872 0
vsize: 136412
[startup+510.209 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30149 0 0 0 50946 83 0 0 25 0 1 0 511776187 139821056 29800 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29800 231 231 0 33905 0
vsize: 136544
[startup+520.21 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30151 0 0 0 51946 83 0 0 25 0 1 0 511776187 139821056 29802 4294967295 134512640 135450300 3221224640 3221223456 134546470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29802 231 231 0 33905 0
vsize: 136544
[startup+530.21 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30160 0 0 0 52946 83 0 0 25 0 1 0 511776187 139821056 29811 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29811 231 231 0 33905 0
vsize: 136544
[startup+540.209 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30161 0 0 0 53945 84 0 0 25 0 1 0 511776187 139821056 29812 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29812 231 231 0 33905 0
vsize: 136544
[startup+550.21 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30163 0 0 0 54945 84 0 0 25 0 1 0 511776187 139821056 29814 4294967295 134512640 135450300 3221224640 3221223120 134580004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29814 231 231 0 33905 0
vsize: 136544
[startup+560.21 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30165 0 0 0 55945 84 0 0 25 0 1 0 511776187 139821056 29816 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29816 231 231 0 33905 0
vsize: 136544
[startup+570.21 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30166 0 0 0 56945 84 0 0 25 0 1 0 511776187 139821056 29817 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29817 231 231 0 33905 0
vsize: 136544
[startup+580.21 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30179 0 0 0 57945 85 0 0 25 0 1 0 511776187 139821056 29830 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29830 231 231 0 33905 0
vsize: 136544
[startup+590.21 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30181 0 0 0 58944 86 0 0 25 0 1 0 511776187 139821056 29832 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29832 231 231 0 33905 0
vsize: 136544
[startup+600.21 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30181 0 0 0 59944 86 0 0 25 0 1 0 511776187 139821056 29832 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29832 231 231 0 33905 0
vsize: 136544
[startup+610.211 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30182 0 0 0 60945 86 0 0 25 0 1 0 511776187 139821056 29833 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29833 231 231 0 33905 0
vsize: 136544
[startup+620.212 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30184 0 0 0 61945 86 0 0 25 0 1 0 511776187 139821056 29835 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 29835 231 231 0 33905 0
vsize: 136544
[startup+630.211 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30193 0 0 0 62945 86 0 0 25 0 1 0 511776187 139931648 29844 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34163 29844 231 231 0 33932 0
vsize: 136652
[startup+640.211 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30193 0 0 0 63945 86 0 0 25 0 1 0 511776187 139931648 29844 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34163 29844 231 231 0 33932 0
vsize: 136652
[startup+650.212 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30197 0 0 0 64945 86 0 0 25 0 1 0 511776187 139931648 29848 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34163 29848 231 231 0 33932 0
vsize: 136652
[startup+660.212 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30200 0 0 0 65945 86 0 0 25 0 1 0 511776187 139931648 29851 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34163 29851 231 231 0 33932 0
vsize: 136652
[startup+670.213 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30202 0 0 0 66945 86 0 0 25 0 1 0 511776187 139931648 29853 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34163 29853 231 231 0 33932 0
vsize: 136652
[startup+680.213 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30210 0 0 0 67945 86 0 0 25 0 1 0 511776187 139931648 29861 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34163 29861 231 231 0 33932 0
vsize: 136652
[startup+690.212 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30218 0 0 0 68945 87 0 0 25 0 1 0 511776187 139931648 29869 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34163 29869 231 231 0 33932 0
vsize: 136652
[startup+700.212 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30221 0 0 0 69945 87 0 0 25 0 1 0 511776187 140066816 29872 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29872 231 231 0 33965 0
vsize: 136784
[startup+710.212 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30222 0 0 0 70944 88 0 0 25 0 1 0 511776187 140066816 29873 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29873 231 231 0 33965 0
vsize: 136784
[startup+720.212 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30224 0 0 0 71944 88 0 0 25 0 1 0 511776187 140066816 29875 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29875 231 231 0 33965 0
vsize: 136784
[startup+730.212 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30226 0 0 0 72944 88 0 0 25 0 1 0 511776187 140066816 29877 4294967295 134512640 135450300 3221224640 3221223144 134580058 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29877 231 231 0 33965 0
vsize: 136784
[startup+740.211 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30234 0 0 0 73943 89 0 0 25 0 1 0 511776187 140066816 29885 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29885 231 231 0 33965 0
vsize: 136784
[startup+750.212 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30235 0 0 0 74943 90 0 0 25 0 1 0 511776187 140066816 29886 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29886 231 231 0 33965 0
vsize: 136784
[startup+760.212 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30236 0 0 0 75943 90 0 0 25 0 1 0 511776187 140066816 29887 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29887 231 231 0 33965 0
vsize: 136784
[startup+770.211 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30237 0 0 0 76943 90 0 0 25 0 1 0 511776187 140066816 29888 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29888 231 231 0 33965 0
vsize: 136784
[startup+780.211 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30238 0 0 0 77943 90 0 0 25 0 1 0 511776187 140066816 29889 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29889 231 231 0 33965 0
vsize: 136784
[startup+790.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30246 0 0 0 78943 91 0 0 25 0 1 0 511776187 140066816 29897 4294967295 134512640 135450300 3221224640 3221223116 134571782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29897 231 231 0 33965 0
vsize: 136784
[startup+800.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30246 0 0 0 79942 91 0 0 25 0 1 0 511776187 140066816 29897 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29897 231 231 0 33965 0
vsize: 136784
[startup+810.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30247 0 0 0 80942 91 0 0 25 0 1 0 511776187 140066816 29898 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29898 231 231 0 33965 0
vsize: 136784
[startup+820.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30248 0 0 0 81943 91 0 0 25 0 1 0 511776187 140066816 29899 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29899 231 231 0 33965 0
vsize: 136784
[startup+830.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30256 0 0 0 82943 91 0 0 25 0 1 0 511776187 140066816 29907 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29907 231 231 0 33965 0
vsize: 136784
[startup+840.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30262 0 0 0 83942 93 0 0 25 0 1 0 511776187 140066816 29913 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29913 231 231 0 33965 0
vsize: 136784
[startup+850.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30263 0 0 0 84941 93 0 0 25 0 1 0 511776187 140066816 29914 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29914 231 231 0 33965 0
vsize: 136784
[startup+860.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30266 0 0 0 85941 94 0 0 25 0 1 0 511776187 140066816 29917 4294967295 134512640 135450300 3221224640 3221223104 134532865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29917 231 231 0 33965 0
vsize: 136784
[startup+870.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30267 0 0 0 86941 94 0 0 25 0 1 0 511776187 140066816 29918 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34196 29918 231 231 0 33965 0
vsize: 136784
[startup+880.211 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30275 0 0 0 87941 94 0 0 25 0 1 0 511776187 140193792 29926 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29926 231 231 0 33996 0
vsize: 136908
[startup+890.21 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30276 0 0 0 88940 95 0 0 25 0 1 0 511776187 140193792 29927 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29927 231 231 0 33996 0
vsize: 136908
[startup+900.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30276 0 0 0 89940 95 0 0 25 0 1 0 511776187 140193792 29927 4294967295 134512640 135450300 3221224640 3221223024 134579238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29927 231 231 0 33996 0
vsize: 136908
[startup+910.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30277 0 0 0 90940 95 0 0 25 0 1 0 511776187 140193792 29928 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29928 231 231 0 33996 0
vsize: 136908
[startup+920.21 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30278 0 0 0 91941 95 0 0 25 0 1 0 511776187 140193792 29929 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29929 231 231 0 33996 0
vsize: 136908
[startup+930.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30279 0 0 0 92941 95 0 0 25 0 1 0 511776187 140193792 29930 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29930 231 231 0 33996 0
vsize: 136908
[startup+940.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30287 0 0 0 93941 95 0 0 25 0 1 0 511776187 140193792 29938 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29938 231 231 0 33996 0
vsize: 136908
[startup+950.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30287 0 0 0 94940 96 0 0 25 0 1 0 511776187 140193792 29938 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29938 231 231 0 33996 0
vsize: 136908
[startup+960.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30288 0 0 0 95941 96 0 0 25 0 1 0 511776187 140193792 29939 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29939 231 231 0 33996 0
vsize: 136908
[startup+970.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30290 0 0 0 96940 96 0 0 25 0 1 0 511776187 140193792 29941 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29941 231 231 0 33996 0
vsize: 136908
[startup+980.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30291 0 0 0 97940 97 0 0 25 0 1 0 511776187 140193792 29942 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29942 231 231 0 33996 0
vsize: 136908
[startup+990.211 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30292 0 0 0 98940 97 0 0 25 0 1 0 511776187 140193792 29943 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29943 231 231 0 33996 0
vsize: 136908
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30305 0 0 0 99940 98 0 0 25 0 1 0 511776187 140193792 29956 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29956 231 231 0 33996 0
vsize: 136908
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30306 0 0 0 100939 98 0 0 25 0 1 0 511776187 140193792 29957 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29957 231 231 0 33996 0
vsize: 136908
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30308 0 0 0 101939 98 0 0 25 0 1 0 511776187 140193792 29959 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29959 231 231 0 33996 0
vsize: 136908
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30309 0 0 0 102939 99 0 0 25 0 1 0 511776187 140193792 29960 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29960 231 231 0 33996 0
vsize: 136908
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30310 0 0 0 103939 99 0 0 25 0 1 0 511776187 140193792 29961 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34227 29961 231 231 0 33996 0
vsize: 136908
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30313 0 0 0 104939 99 0 0 25 0 1 0 511776187 140324864 29964 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29964 231 231 0 34028 0
vsize: 137036
[startup+1060.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30321 0 0 0 105939 100 0 0 25 0 1 0 511776187 140324864 29972 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29972 231 231 0 34028 0
vsize: 137036
[startup+1070.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30321 0 0 0 106937 102 0 0 25 0 1 0 511776187 140324864 29972 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29972 231 231 0 34028 0
vsize: 137036
[startup+1080.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30322 0 0 0 107937 102 0 0 25 0 1 0 511776187 140324864 29973 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29973 231 231 0 34028 0
vsize: 137036
[startup+1090.21 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30323 0 0 0 108937 102 0 0 25 0 1 0 511776187 140324864 29974 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29974 231 231 0 34028 0
vsize: 137036
[startup+1100.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30324 0 0 0 109937 102 0 0 25 0 1 0 511776187 140324864 29975 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29975 231 231 0 34028 0
vsize: 137036
[startup+1110.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30334 0 0 0 110937 103 0 0 25 0 1 0 511776187 140324864 29985 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29985 231 231 0 34028 0
vsize: 137036
[startup+1120.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30334 0 0 0 111935 104 0 0 25 0 1 0 511776187 140324864 29985 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29985 231 231 0 34028 0
vsize: 137036
[startup+1130.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30335 0 0 0 112935 105 0 0 25 0 1 0 511776187 140324864 29986 4294967295 134512640 135450300 3221224640 3221223360 134536001 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29986 231 231 0 34028 0
vsize: 137036
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30336 0 0 0 113935 105 0 0 25 0 1 0 511776187 140324864 29987 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29987 231 231 0 34028 0
vsize: 137036
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30337 0 0 0 114935 105 0 0 25 0 1 0 511776187 140324864 29988 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29988 231 231 0 34028 0
vsize: 137036
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30348 0 0 0 115935 105 0 0 25 0 1 0 511776187 140324864 29999 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 29999 231 231 0 34028 0
vsize: 137036
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30349 0 0 0 116934 106 0 0 25 0 1 0 511776187 140324864 30000 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 30000 231 231 0 34028 0
vsize: 137036
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30349 0 0 0 117934 106 0 0 25 0 1 0 511776187 140324864 30000 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 30000 231 231 0 34028 0
vsize: 137036
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30350 0 0 0 118934 106 0 0 25 0 1 0 511776187 140324864 30001 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 30001 231 231 0 34028 0
vsize: 137036
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 22008
Raw data (stat): 21951 (PBS4) R 21950 28546 28545 0 -1 0 30351 0 0 0 119934 106 0 0 25 0 1 0 511776187 140324864 30002 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34259 30002 231 231 0 34028 0
vsize: 137036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 0.89 1/54 22008
Raw data (stat): 21951 (PBS4) Z 21950 28546 28545 0 -1 1036 30351 0 0 0 119934 112 0 0 25 0 1 0 511776187 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.27
CPU time (s): 1200.48
CPU user time (s): 1199.35
CPU system time (s): 1.12583
CPU usage (%): 100.017
Max. virtual memory (Kb): 137036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####