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/synthesis-ptl-cmos-circuits/normalized-c8.opb
MD5SUM	9b291040ec2b77d0bffb739c0db80d53
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1194
Optimality of the best value was proved	NO
Number of terms in the objective function	239
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	10012
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	10012
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.941856
Number of variables	239
Total number of constraints	524
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4
Minimum length of a constraint	1
Maximum length of a constraint	36
Trace number 7856

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-17 16:39:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2247 boxname=wulflinc21 idbench=250 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  9b291040ec2b77d0bffb739c0db80d53  /oldhome/oroussel/tmp/wulflinc21/normalized-c8.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc21/normalized-c8.opb
IDLAUNCH: 2247
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        834520 kB
Buffers:         37680 kB
Cached:         141160 kB
SwapCached:          0 kB
Active:          89328 kB
Inactive:        92384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        834268 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12648 kB
Committed_AS:    63784 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:59:24 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 2247 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc21/normalized-c8.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.98 0.97 0.91 2/55 25587
Raw data (stat): 25587 (runsolver) R 25586 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 389285622 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.0003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 848 0 0 0 994 4 0 0 25 0 1 0 389285622 5869568 844 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1433 844 231 231 0 1202 0
vsize: 5732
[startup+20.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 1250 0 0 0 1992 7 0 0 25 0 1 0 389285622 6201344 1197 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1514 1197 231 231 0 1283 0
vsize: 6056
[startup+30.0017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 1396 0 0 0 2990 9 0 0 25 0 1 0 389285622 6479872 1343 4294967295 134512640 135450300 3221224640 3221223524 134539108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1582 1343 231 231 0 1351 0
vsize: 6328
[startup+40.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 1735 0 0 0 3988 11 0 0 25 0 1 0 389285622 11067392 1585 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1585 231 231 0 2471 0
vsize: 10808
[startup+50.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2025 0 0 0 4986 14 0 0 25 0 1 0 389285622 11337728 1875 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1875 231 231 0 2537 0
vsize: 11072
[startup+60.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2096 0 0 0 5985 14 0 0 25 0 1 0 389285622 11337728 1946 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1946 231 231 0 2537 0
vsize: 11072
[startup+70.0023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2134 0 0 0 6983 16 0 0 25 0 1 0 389285622 11489280 1984 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2805 1984 231 231 0 2574 0
vsize: 11220
[startup+80.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2170 0 0 0 7982 17 0 0 25 0 1 0 389285622 11489280 2020 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2805 2020 231 231 0 2574 0
vsize: 11220
[startup+90.0027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2207 0 0 0 8981 19 0 0 25 0 1 0 389285622 11644928 2057 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2843 2057 231 231 0 2612 0
vsize: 11372
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2553 0 0 0 9979 21 0 0 25 0 1 0 389285622 12566528 2210 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3068 2210 231 231 0 2837 0
vsize: 12272
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2747 0 0 0 10978 22 0 0 25 0 1 0 389285622 12566528 2404 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3068 2404 231 231 0 2837 0
vsize: 12272
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2786 0 0 0 11977 23 0 0 25 0 1 0 389285622 12726272 2443 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 2443 231 231 0 2876 0
vsize: 12428
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2828 0 0 0 12976 24 0 0 25 0 1 0 389285622 12726272 2485 4294967295 134512640 135450300 3221224640 3221223376 134538498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 2485 231 231 0 2876 0
vsize: 12428
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2857 0 0 0 13975 26 0 0 25 0 1 0 389285622 12890112 2514 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3147 2514 231 231 0 2916 0
vsize: 12588
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2882 0 0 0 14974 27 0 0 25 0 1 0 389285622 12890112 2539 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3147 2539 231 231 0 2916 0
vsize: 12588
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2906 0 0 0 15972 28 0 0 25 0 1 0 389285622 13033472 2563 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2563 231 231 0 2951 0
vsize: 12728
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2927 0 0 0 16971 30 0 0 25 0 1 0 389285622 13033472 2584 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2584 231 231 0 2951 0
vsize: 12728
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2949 0 0 0 17971 30 0 0 25 0 1 0 389285622 13033472 2606 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2606 231 231 0 2951 0
vsize: 12728
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 2979 0 0 0 18970 32 0 0 25 0 1 0 389285622 13201408 2636 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3223 2636 231 231 0 2992 0
vsize: 12892
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3013 0 0 0 19969 32 0 0 25 0 1 0 389285622 13201408 2670 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3223 2670 231 231 0 2992 0
vsize: 12892
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3048 0 0 0 20968 33 0 0 25 0 1 0 389285622 13369344 2705 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2705 231 231 0 3033 0
vsize: 13056
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3075 0 0 0 21968 34 0 0 25 0 1 0 389285622 13369344 2732 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2732 231 231 0 3033 0
vsize: 13056
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3188 0 0 0 22967 35 0 0 25 0 1 0 389285622 13369344 2845 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2845 231 231 0 3033 0
vsize: 13056
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3604 0 0 0 23965 37 0 0 25 0 1 0 389285622 15081472 2876 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3682 2876 231 231 0 3451 0
vsize: 14728
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3619 0 0 0 24964 38 0 0 25 0 1 0 389285622 15081472 2891 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3682 2891 231 231 0 3451 0
vsize: 14728
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3644 0 0 0 25963 39 0 0 25 0 1 0 389285622 15081472 2916 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3682 2916 231 231 0 3451 0
vsize: 14728
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3673 0 0 0 26962 40 0 0 25 0 1 0 389285622 15216640 2945 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3715 2945 231 231 0 3484 0
vsize: 14860
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3694 0 0 0 27961 41 0 0 25 0 1 0 389285622 15216640 2966 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3715 2966 231 231 0 3484 0
vsize: 14860
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3715 0 0 0 28960 42 0 0 25 0 1 0 389285622 15216640 2987 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3715 2987 231 231 0 3484 0
vsize: 14860
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3778 0 0 0 29960 43 0 0 25 0 1 0 389285622 15429632 3050 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3767 3050 231 231 0 3536 0
vsize: 15068
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3801 0 0 0 30959 44 0 0 25 0 1 0 389285622 15429632 3073 4294967295 134512640 135450300 3221224640 3221223456 134537254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3767 3073 231 231 0 3536 0
vsize: 15068
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3817 0 0 0 31959 44 0 0 25 0 1 0 389285622 15564800 3089 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 3089 231 231 0 3569 0
vsize: 15200
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3845 0 0 0 32958 45 0 0 25 0 1 0 389285622 15564800 3117 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 3117 231 231 0 3569 0
vsize: 15200
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3917 0 0 0 33958 46 0 0 25 0 1 0 389285622 15712256 3189 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 3189 231 231 0 3605 0
vsize: 15344
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3937 0 0 0 34958 47 0 0 25 0 1 0 389285622 15712256 3209 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 3209 231 231 0 3605 0
vsize: 15344
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3973 0 0 0 35958 47 0 0 25 0 1 0 389285622 15851520 3245 4294967295 134512640 135450300 3221224640 3221223456 134537149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3245 231 231 0 3639 0
vsize: 15480
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 3994 0 0 0 36958 48 0 0 25 0 1 0 389285622 15851520 3266 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3266 231 231 0 3639 0
vsize: 15480
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4015 0 0 0 37957 48 0 0 25 0 1 0 389285622 15851520 3287 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3287 231 231 0 3639 0
vsize: 15480
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4045 0 0 0 38957 48 0 0 25 0 1 0 389285622 15994880 3317 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3905 3317 231 231 0 3674 0
vsize: 15620
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4070 0 0 0 39957 49 0 0 25 0 1 0 389285622 15994880 3342 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3905 3342 231 231 0 3674 0
vsize: 15620
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4086 0 0 0 40956 50 0 0 25 0 1 0 389285622 15994880 3358 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3905 3358 231 231 0 3674 0
vsize: 15620
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4112 0 0 0 41956 51 0 0 25 0 1 0 389285622 15994880 3384 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3905 3384 231 231 0 3674 0
vsize: 15620
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4131 0 0 0 42956 51 0 0 25 0 1 0 389285622 16248832 3403 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3967 3403 231 231 0 3736 0
vsize: 15868
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4153 0 0 0 43955 52 0 0 25 0 1 0 389285622 16248832 3425 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3967 3425 231 231 0 3736 0
vsize: 15868
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4173 0 0 0 44955 52 0 0 25 0 1 0 389285622 16248832 3445 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3967 3445 231 231 0 3736 0
vsize: 15868
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4192 0 0 0 45954 53 0 0 25 0 1 0 389285622 16248832 3464 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3967 3464 231 231 0 3736 0
vsize: 15868
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4211 0 0 0 46954 54 0 0 25 0 1 0 389285622 16384000 3483 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4000 3483 231 231 0 3769 0
vsize: 16000
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4231 0 0 0 47953 54 0 0 25 0 1 0 389285622 16384000 3503 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4000 3503 231 231 0 3769 0
vsize: 16000
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4252 0 0 0 48953 55 0 0 25 0 1 0 389285622 16384000 3524 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4000 3524 231 231 0 3769 0
vsize: 16000
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4267 0 0 0 49953 55 0 0 25 0 1 0 389285622 16384000 3539 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4000 3539 231 231 0 3769 0
vsize: 16000
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4283 0 0 0 50952 56 0 0 25 0 1 0 389285622 16527360 3555 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 3555 231 231 0 3804 0
vsize: 16140
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4300 0 0 0 51952 57 0 0 25 0 1 0 389285622 16527360 3572 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 3572 231 231 0 3804 0
vsize: 16140
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4317 0 0 0 52951 58 0 0 25 0 1 0 389285622 16527360 3589 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 3589 231 231 0 3804 0
vsize: 16140
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4337 0 0 0 53950 58 0 0 25 0 1 0 389285622 16527360 3609 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 3609 231 231 0 3804 0
vsize: 16140
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4435 0 0 0 54950 59 0 0 25 0 1 0 389285622 16527360 3707 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 3707 231 231 0 3804 0
vsize: 16140
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4456 0 0 0 55950 59 0 0 25 0 1 0 389285622 16683008 3728 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 3728 231 231 0 3842 0
vsize: 16292
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4478 0 0 0 56950 60 0 0 25 0 1 0 389285622 16683008 3750 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 3750 231 231 0 3842 0
vsize: 16292
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4513 0 0 0 57948 61 0 0 25 0 1 0 389285622 16683008 3785 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 3785 231 231 0 3842 0
vsize: 16292
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4523 0 0 0 58948 62 0 0 25 0 1 0 389285622 16683008 3795 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 3795 231 231 0 3842 0
vsize: 16292
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4542 0 0 0 59947 63 0 0 25 0 1 0 389285622 16830464 3814 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4109 3814 231 231 0 3878 0
vsize: 16436
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4616 0 0 0 60946 64 0 0 25 0 1 0 389285622 16994304 3888 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4149 3888 231 231 0 3918 0
vsize: 16596
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 4697 0 0 0 61946 64 0 0 25 0 1 0 389285622 25382912 3969 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6197 3969 231 231 0 5966 0
vsize: 24788
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5486 0 0 0 62944 66 0 0 25 0 1 0 389285622 28528640 3989 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6965 3989 231 231 0 6734 0
vsize: 27860
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5502 0 0 0 63943 67 0 0 25 0 1 0 389285622 28700672 4005 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4005 231 231 0 6776 0
vsize: 28028
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5511 0 0 0 64943 67 0 0 25 0 1 0 389285622 28700672 4014 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4014 231 231 0 6776 0
vsize: 28028
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5530 0 0 0 65943 67 0 0 25 0 1 0 389285622 28700672 4033 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4033 231 231 0 6776 0
vsize: 28028
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5544 0 0 0 66943 68 0 0 25 0 1 0 389285622 28700672 4047 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4047 231 231 0 6776 0
vsize: 28028
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5568 0 0 0 67942 69 0 0 25 0 1 0 389285622 28700672 4071 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4071 231 231 0 6776 0
vsize: 28028
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5582 0 0 0 68941 70 0 0 25 0 1 0 389285622 28700672 4085 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4085 231 231 0 6776 0
vsize: 28028
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5602 0 0 0 69941 70 0 0 25 0 1 0 389285622 28700672 4105 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4105 231 231 0 6776 0
vsize: 28028
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5628 0 0 0 70940 71 0 0 25 0 1 0 389285622 28884992 4131 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 4131 231 231 0 6821 0
vsize: 28208
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5649 0 0 0 71940 71 0 0 25 0 1 0 389285622 28884992 4152 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 4152 231 231 0 6821 0
vsize: 28208
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5668 0 0 0 72940 72 0 0 25 0 1 0 389285622 28884992 4171 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 4171 231 231 0 6821 0
vsize: 28208
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5681 0 0 0 73940 72 0 0 25 0 1 0 389285622 28884992 4184 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 4184 231 231 0 6821 0
vsize: 28208
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5697 0 0 0 74939 73 0 0 25 0 1 0 389285622 29081600 4200 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4200 231 231 0 6869 0
vsize: 28400
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5706 0 0 0 75939 73 0 0 25 0 1 0 389285622 29081600 4209 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4209 231 231 0 6869 0
vsize: 28400
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5714 0 0 0 76939 74 0 0 25 0 1 0 389285622 29081600 4217 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4217 231 231 0 6869 0
vsize: 28400
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5737 0 0 0 77939 74 0 0 25 0 1 0 389285622 29081600 4240 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4240 231 231 0 6869 0
vsize: 28400
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5837 0 0 0 78938 75 0 0 25 0 1 0 389285622 29081600 4340 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4340 231 231 0 6869 0
vsize: 28400
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5850 0 0 0 79938 75 0 0 25 0 1 0 389285622 29081600 4353 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4353 231 231 0 6869 0
vsize: 28400
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5859 0 0 0 80937 76 0 0 25 0 1 0 389285622 29081600 4362 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4362 231 231 0 6869 0
vsize: 28400
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5871 0 0 0 81937 77 0 0 25 0 1 0 389285622 29081600 4374 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4374 231 231 0 6869 0
vsize: 28400
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5877 0 0 0 82936 77 0 0 25 0 1 0 389285622 29081600 4380 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4380 231 231 0 6869 0
vsize: 28400
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5901 0 0 0 83936 78 0 0 25 0 1 0 389285622 29290496 4404 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7151 4404 231 231 0 6920 0
vsize: 28604
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 5984 0 0 0 84935 79 0 0 25 0 1 0 389285622 29290496 4487 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7151 4487 231 231 0 6920 0
vsize: 28604
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6002 0 0 0 85935 79 0 0 25 0 1 0 389285622 29290496 4505 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7151 4505 231 231 0 6920 0
vsize: 28604
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6026 0 0 0 86935 80 0 0 25 0 1 0 389285622 29437952 4529 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 4529 231 231 0 6956 0
vsize: 28748
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6069 0 0 0 87934 80 0 0 25 0 1 0 389285622 29437952 4572 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 4572 231 231 0 6956 0
vsize: 28748
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6085 0 0 0 88934 81 0 0 25 0 1 0 389285622 29437952 4588 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 4588 231 231 0 6956 0
vsize: 28748
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6102 0 0 0 89933 82 0 0 25 0 1 0 389285622 29659136 4605 4294967295 134512640 135450300 3221224640 3221223104 134532779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7241 4605 231 231 0 7010 0
vsize: 28964
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6124 0 0 0 90933 82 0 0 25 0 1 0 389285622 29659136 4627 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7241 4627 231 231 0 7010 0
vsize: 28964
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6142 0 0 0 91933 83 0 0 25 0 1 0 389285622 29659136 4645 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7241 4645 231 231 0 7010 0
vsize: 28964
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6166 0 0 0 92932 84 0 0 25 0 1 0 389285622 29659136 4669 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7241 4669 231 231 0 7010 0
vsize: 28964
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6187 0 0 0 93932 84 0 0 25 0 1 0 389285622 29659136 4690 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7241 4690 231 231 0 7010 0
vsize: 28964
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6209 0 0 0 94931 85 0 0 25 0 1 0 389285622 29892608 4712 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7298 4712 231 231 0 7067 0
vsize: 29192
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6231 0 0 0 95931 85 0 0 25 0 1 0 389285622 29892608 4734 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7298 4734 231 231 0 7067 0
vsize: 29192
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6249 0 0 0 96930 86 0 0 25 0 1 0 389285622 29892608 4752 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7298 4752 231 231 0 7067 0
vsize: 29192
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6271 0 0 0 97930 86 0 0 25 0 1 0 389285622 29892608 4774 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7298 4774 231 231 0 7067 0
vsize: 29192
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6285 0 0 0 98930 87 0 0 25 0 1 0 389285622 29892608 4788 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7298 4788 231 231 0 7067 0
vsize: 29192
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6302 0 0 0 99929 88 0 0 25 0 1 0 389285622 30142464 4805 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4805 231 231 0 7128 0
vsize: 29436
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6325 0 0 0 100929 88 0 0 25 0 1 0 389285622 30142464 4828 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4828 231 231 0 7128 0
vsize: 29436
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6349 0 0 0 101928 89 0 0 25 0 1 0 389285622 30142464 4852 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4852 231 231 0 7128 0
vsize: 29436
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6364 0 0 0 102927 90 0 0 25 0 1 0 389285622 30142464 4867 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4867 231 231 0 7128 0
vsize: 29436
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6370 0 0 0 103927 91 0 0 25 0 1 0 389285622 30142464 4873 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4873 231 231 0 7128 0
vsize: 29436
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6378 0 0 0 104926 91 0 0 25 0 1 0 389285622 30142464 4881 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4881 231 231 0 7128 0
vsize: 29436
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6385 0 0 0 105926 92 0 0 25 0 1 0 389285622 30142464 4888 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4888 231 231 0 7128 0
vsize: 29436
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6396 0 0 0 106926 92 0 0 25 0 1 0 389285622 30142464 4899 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4899 231 231 0 7128 0
vsize: 29436
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6413 0 0 0 107925 93 0 0 25 0 1 0 389285622 30142464 4916 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4916 231 231 0 7128 0
vsize: 29436
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6423 0 0 0 108924 94 0 0 25 0 1 0 389285622 30142464 4926 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4926 231 231 0 7128 0
vsize: 29436
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6432 0 0 0 109924 95 0 0 25 0 1 0 389285622 30142464 4935 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4935 231 231 0 7128 0
vsize: 29436
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6446 0 0 0 110923 95 0 0 25 0 1 0 389285622 30281728 4949 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 4949 231 231 0 7162 0
vsize: 29572
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6459 0 0 0 111923 95 0 0 25 0 1 0 389285622 30547968 4962 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7458 4962 231 231 0 7227 0
vsize: 29832
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6482 0 0 0 112923 96 0 0 25 0 1 0 389285622 30547968 4985 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7458 4985 231 231 0 7227 0
vsize: 29832
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6505 0 0 0 113923 96 0 0 25 0 1 0 389285622 30547968 5008 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7458 5008 231 231 0 7227 0
vsize: 29832
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6524 0 0 0 114922 97 0 0 25 0 1 0 389285622 30547968 5027 4294967295 134512640 135450300 3221224640 3221223456 134536465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7458 5027 231 231 0 7227 0
vsize: 29832
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6540 0 0 0 115921 98 0 0 25 0 1 0 389285622 30547968 5043 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7458 5043 231 231 0 7227 0
vsize: 29832
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6551 0 0 0 116921 99 0 0 25 0 1 0 389285622 30547968 5054 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7458 5054 231 231 0 7227 0
vsize: 29832
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6570 0 0 0 117921 99 0 0 25 0 1 0 389285622 30547968 5073 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7458 5073 231 231 0 7227 0
vsize: 29832
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6593 0 0 0 118920 100 0 0 25 0 1 0 389285622 30830592 5096 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7527 5096 231 231 0 7296 0
vsize: 30108
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25587
Raw data (stat): 25587 (PBS4) R 25586 30927 30926 0 -1 0 6613 0 0 0 119920 100 0 0 25 0 1 0 389285622 30830592 5116 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7527 5116 231 231 0 7296 0
vsize: 30108
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 25587
Raw data (stat): 25587 (PBS4) Z 25586 30927 30926 0 -1 1036 6613 0 0 0 119920 101 0 0 25 0 1 0 389285622 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.22
CPU user time (s): 1199.2
CPU system time (s): 1.01684
CPU usage (%): 100.016
Max. virtual memory (Kb): 30108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####