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/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
MD5SUM	022f43a9cfc62e9c9c77f51c14f8e5bf
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.88771
Number of variables	1838
Total number of constraints	1330
Number of constraints which are clauses	1260
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 7671

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-17 15:38:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=456 boxname=wulflinc21 idbench=51 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  022f43a9cfc62e9c9c77f51c14f8e5bf  /oldhome/oroussel/tmp/wulflinc21/normalized-fpga35_35_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc21/normalized-fpga35_35_sat_pb.cnf.cr.opb
IDLAUNCH: 456
/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:        835072 kB
Buffers:         37588 kB
Cached:         140572 kB
SwapCached:          0 kB
Active:          74288 kB
Inactive:       106792 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        834820 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12940 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:58:41 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 456 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc21/normalized-fpga35_35_sat_pb.cnf.cr.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.00 0.00 0.00 2/55 25076
Raw data (stat): 25076 (runsolver) R 25075 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 388921187 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.15 0.03 0.01 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 1560 0 0 0 991 8 0 0 25 0 1 0 388921187 10588160 1556 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2585 1556 231 231 0 2354 0
vsize: 10340
[startup+20.0007 s]
Raw data (loadavg): 0.28 0.06 0.02 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 2846 0 0 0 1986 13 0 0 25 0 1 0 388921187 19341312 2842 4294967295 134512640 135450300 3221224624 3221223088 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 2842 231 231 0 4491 0
vsize: 18888
[startup+30.0004 s]
Raw data (loadavg): 0.39 0.09 0.03 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 3788 0 0 0 2982 17 0 0 25 0 1 0 388921187 20570112 3784 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5022 3784 231 231 0 4791 0
vsize: 20088
[startup+40 s]
Raw data (loadavg): 0.49 0.12 0.04 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 4661 0 0 0 3980 19 0 0 25 0 1 0 388921187 20709376 4657 4294967295 134512640 135450300 3221224624 3221223344 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5056 4657 231 231 0 4825 0
vsize: 20224
[startup+49.9996 s]
Raw data (loadavg): 0.56 0.15 0.05 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 5281 0 0 0 4979 21 0 0 25 0 1 0 388921187 37687296 5277 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9201 5277 231 231 0 8970 0
vsize: 36804
[startup+59.9995 s]
Raw data (loadavg): 0.63 0.18 0.06 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 5924 0 0 0 5976 24 0 0 25 0 1 0 388921187 38232064 5920 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9334 5920 231 231 0 9103 0
vsize: 37336
[startup+69.9998 s]
Raw data (loadavg): 0.69 0.21 0.07 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 6712 0 0 0 6973 26 0 0 25 0 1 0 388921187 38932480 6708 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9505 6708 231 231 0 9274 0
vsize: 38020
[startup+80.0085 s]
Raw data (loadavg): 0.73 0.23 0.08 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 7646 0 0 0 7971 30 0 0 25 0 1 0 388921187 39489536 7642 4294967295 134512640 135450300 3221224624 3221223104 134580007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9641 7642 231 231 0 9410 0
vsize: 38564
[startup+90.0082 s]
Raw data (loadavg): 0.77 0.26 0.09 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 8472 0 0 0 8969 32 0 0 25 0 1 0 388921187 40071168 8468 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9783 8468 231 231 0 9552 0
vsize: 39132
[startup+100.008 s]
Raw data (loadavg): 0.81 0.28 0.10 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9083 0 0 0 9967 34 0 0 25 0 1 0 388921187 40071168 9079 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9783 9079 231 231 0 9552 0
vsize: 39132
[startup+110.008 s]
Raw data (loadavg): 0.84 0.30 0.11 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9355 0 0 0 10965 36 0 0 25 0 1 0 388921187 40386560 9302 4294967295 134512640 135450300 3221224624 3221223344 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9860 9302 231 231 0 9629 0
vsize: 39440
[startup+120.008 s]
Raw data (loadavg): 0.86 0.33 0.12 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9488 0 0 0 11963 39 0 0 25 0 1 0 388921187 40927232 9435 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9992 9435 231 231 0 9761 0
vsize: 39968
[startup+130.008 s]
Raw data (loadavg): 0.88 0.35 0.12 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9589 0 0 0 12960 42 0 0 25 0 1 0 388921187 41345024 9536 4294967295 134512640 135450300 3221224624 3221223440 134536464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10094 9536 231 231 0 9863 0
vsize: 40376
[startup+140.007 s]
Raw data (loadavg): 0.90 0.37 0.13 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9759 0 0 0 13958 44 0 0 25 0 1 0 388921187 41881600 9609 4294967295 134512640 135450300 3221224624 3221223440 134547914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10225 9609 231 231 0 9994 0
vsize: 40900
[startup+150.007 s]
Raw data (loadavg): 0.92 0.39 0.14 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9791 0 0 0 14957 45 0 0 25 0 1 0 388921187 42016768 9641 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10258 9641 231 231 0 10027 0
vsize: 41032
[startup+160.007 s]
Raw data (loadavg): 0.93 0.41 0.15 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9794 0 0 0 15956 46 0 0 25 0 1 0 388921187 42016768 9644 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10258 9644 231 231 0 10027 0
vsize: 41032
[startup+170.006 s]
Raw data (loadavg): 0.94 0.43 0.16 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9813 0 0 0 16956 46 0 0 25 0 1 0 388921187 42151936 9663 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10291 9663 231 231 0 10060 0
vsize: 41164
[startup+180.006 s]
Raw data (loadavg): 0.95 0.45 0.17 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9835 0 0 0 17956 46 0 0 25 0 1 0 388921187 42151936 9685 4294967295 134512640 135450300 3221224624 3221223088 134532565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10291 9685 231 231 0 10060 0
vsize: 41164
[startup+190.007 s]
Raw data (loadavg): 0.95 0.46 0.18 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9839 0 0 0 18956 46 0 0 25 0 1 0 388921187 42151936 9689 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10291 9689 231 231 0 10060 0
vsize: 41164
[startup+200.006 s]
Raw data (loadavg): 0.96 0.48 0.19 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9846 0 0 0 19956 47 0 0 25 0 1 0 388921187 42151936 9696 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10291 9696 231 231 0 10060 0
vsize: 41164
[startup+210.006 s]
Raw data (loadavg): 0.97 0.50 0.19 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9856 0 0 0 20956 47 0 0 25 0 1 0 388921187 42287104 9706 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10324 9706 231 231 0 10093 0
vsize: 41296
[startup+220.006 s]
Raw data (loadavg): 0.97 0.51 0.20 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9859 0 0 0 21956 47 0 0 25 0 1 0 388921187 42287104 9709 4294967295 134512640 135450300 3221224624 3221223344 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10324 9709 231 231 0 10093 0
vsize: 41296
[startup+230.005 s]
Raw data (loadavg): 0.98 0.53 0.21 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 9942 0 0 0 22953 50 0 0 25 0 1 0 388921187 42565632 9792 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10392 9792 231 231 0 10161 0
vsize: 41568
[startup+240.005 s]
Raw data (loadavg): 0.98 0.54 0.22 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10029 0 0 0 23950 53 0 0 25 0 1 0 388921187 42864640 9879 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10465 9879 231 231 0 10234 0
vsize: 41860
[startup+250.005 s]
Raw data (loadavg): 0.98 0.56 0.22 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10082 0 0 0 24947 57 0 0 25 0 1 0 388921187 42999808 9932 4294967295 134512640 135450300 3221224624 3221223008 134579313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10498 9932 231 231 0 10267 0
vsize: 41992
[startup+260.005 s]
Raw data (loadavg): 0.98 0.57 0.23 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10106 0 0 0 25945 58 0 0 25 0 1 0 388921187 43151360 9956 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9956 231 231 0 10304 0
vsize: 42140
[startup+270.005 s]
Raw data (loadavg): 0.99 0.59 0.24 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10111 0 0 0 26946 58 0 0 25 0 1 0 388921187 43151360 9961 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9961 231 231 0 10304 0
vsize: 42140
[startup+280.005 s]
Raw data (loadavg): 0.99 0.60 0.25 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10114 0 0 0 27946 58 0 0 25 0 1 0 388921187 43151360 9964 4294967295 134512640 135450300 3221224624 3221223344 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9964 231 231 0 10304 0
vsize: 42140
[startup+290.004 s]
Raw data (loadavg): 0.99 0.61 0.26 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10120 0 0 0 28946 58 0 0 25 0 1 0 388921187 43151360 9970 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9970 231 231 0 10304 0
vsize: 42140
[startup+300.004 s]
Raw data (loadavg): 0.99 0.62 0.26 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10123 0 0 0 29946 59 0 0 25 0 1 0 388921187 43151360 9973 4294967295 134512640 135450300 3221224624 3221223344 134535478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9973 231 231 0 10304 0
vsize: 42140
[startup+310.005 s]
Raw data (loadavg): 0.99 0.64 0.27 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10147 0 0 0 30945 59 0 0 25 0 1 0 388921187 43290624 9997 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 9997 231 231 0 10338 0
vsize: 42276
[startup+320.004 s]
Raw data (loadavg): 0.99 0.65 0.28 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10168 0 0 0 31945 59 0 0 25 0 1 0 388921187 43290624 10018 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 10018 231 231 0 10338 0
vsize: 42276
[startup+330.004 s]
Raw data (loadavg): 0.99 0.66 0.29 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10171 0 0 0 32945 59 0 0 25 0 1 0 388921187 43290624 10021 4294967295 134512640 135450300 3221224624 3221223100 134571937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 10021 231 231 0 10338 0
vsize: 42276
[startup+340.004 s]
Raw data (loadavg): 0.99 0.67 0.29 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10180 0 0 0 33945 60 0 0 25 0 1 0 388921187 43438080 10030 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 10030 231 231 0 10374 0
vsize: 42420
[startup+350.003 s]
Raw data (loadavg): 0.99 0.68 0.30 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10188 0 0 0 34945 60 0 0 25 0 1 0 388921187 43438080 10038 4294967295 134512640 135450300 3221224624 3221223152 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 10038 231 231 0 10374 0
vsize: 42420
[startup+360.004 s]
Raw data (loadavg): 0.99 0.69 0.31 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10203 0 0 0 35946 60 0 0 25 0 1 0 388921187 43438080 10053 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 10053 231 231 0 10374 0
vsize: 42420
[startup+370.004 s]
Raw data (loadavg): 0.99 0.70 0.31 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10205 0 0 0 36946 60 0 0 25 0 1 0 388921187 43438080 10055 4294967295 134512640 135450300 3221224624 3221223100 134571965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 10055 231 231 0 10374 0
vsize: 42420
[startup+380.003 s]
Raw data (loadavg): 0.99 0.71 0.32 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 10825 0 0 0 37943 62 0 0 25 0 1 0 388921187 77414400 10675 4294967295 134512640 135450300 3221224624 3221223372 135084204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18900 10677 231 231 0 18669 0
vsize: 75600
[startup+390.004 s]
Raw data (loadavg): 0.99 0.72 0.33 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 11553 0 0 0 38942 64 0 0 25 0 1 0 388921187 77414400 11403 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18900 11403 231 231 0 18669 0
vsize: 75600
[startup+400.004 s]
Raw data (loadavg): 0.99 0.73 0.33 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 12129 0 0 0 39941 65 0 0 25 0 1 0 388921187 77561856 11979 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18936 11979 231 231 0 18705 0
vsize: 75744
[startup+410.003 s]
Raw data (loadavg): 0.99 0.74 0.34 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 12833 0 0 0 40939 67 0 0 25 0 1 0 388921187 77561856 12683 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18936 12683 231 231 0 18705 0
vsize: 75744
[startup+420.003 s]
Raw data (loadavg): 0.99 0.74 0.35 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 13414 0 0 0 41938 68 0 0 25 0 1 0 388921187 77709312 13264 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 13264 231 231 0 18741 0
vsize: 75888
[startup+430.003 s]
Raw data (loadavg): 0.99 0.75 0.35 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 14155 0 0 0 42937 70 0 0 25 0 1 0 388921187 77709312 14005 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 14005 231 231 0 18741 0
vsize: 75888
[startup+440.002 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 14867 0 0 0 43936 71 0 0 25 0 1 0 388921187 78495744 14524 4294967295 134512640 135450300 3221224624 3221223536 134597282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19164 14524 231 231 0 18933 0
vsize: 76656
[startup+450.002 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 14932 0 0 0 44936 71 0 0 25 0 1 0 388921187 78790656 14589 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19236 14589 231 231 0 19005 0
vsize: 76944
[startup+460.003 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 14938 0 0 0 45936 71 0 0 25 0 1 0 388921187 78790656 14595 4294967295 134512640 135450300 3221224624 3221223456 134549524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19236 14595 231 231 0 19005 0
vsize: 76944
[startup+470.002 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 15286 0 0 0 46935 72 0 0 25 0 1 0 388921187 79233024 14943 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19344 14943 231 231 0 19113 0
vsize: 77376
[startup+480.002 s]
Raw data (loadavg): 0.99 0.79 0.38 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 15870 0 0 0 47934 73 0 0 25 0 1 0 388921187 79233024 15527 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19344 15527 231 231 0 19113 0
vsize: 77376
[startup+490.002 s]
Raw data (loadavg): 0.99 0.79 0.39 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 16625 0 0 0 48933 75 0 0 25 0 1 0 388921187 79396864 16282 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 16282 231 231 0 19153 0
vsize: 77536
[startup+500.001 s]
Raw data (loadavg): 0.99 0.80 0.40 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 17206 0 0 0 49931 76 0 0 25 0 1 0 388921187 79396864 16863 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 16863 231 231 0 19153 0
vsize: 77536
[startup+510.001 s]
Raw data (loadavg): 0.99 0.81 0.40 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 17952 0 0 0 50930 78 0 0 25 0 1 0 388921187 79560704 17609 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 17609 231 231 0 19193 0
vsize: 77696
[startup+520 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 18526 0 0 0 51929 79 0 0 25 0 1 0 388921187 79560704 18183 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 18183 231 231 0 19193 0
vsize: 77696
[startup+530 s]
Raw data (loadavg): 0.99 0.82 0.41 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 19240 0 0 0 52927 81 0 0 25 0 1 0 388921187 79708160 18897 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19460 18897 231 231 0 19229 0
vsize: 77840
[startup+540 s]
Raw data (loadavg): 0.99 0.82 0.42 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 19883 0 0 0 53926 82 0 0 25 0 1 0 388921187 146817024 19540 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35844 19540 231 231 0 35613 0
vsize: 143376
[startup+549.999 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 19940 0 0 0 54926 82 0 0 25 0 1 0 388921187 147120128 19597 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35918 19597 231 231 0 35687 0
vsize: 143672
[startup+559.999 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 19942 0 0 0 55926 83 0 0 25 0 1 0 388921187 147120128 19599 4294967295 134512640 135450300 3221224624 3221223344 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35918 19599 231 231 0 35687 0
vsize: 143672
[startup+569.999 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 20164 0 0 0 56925 83 0 0 25 0 1 0 388921187 147587072 19821 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36032 19821 231 231 0 35801 0
vsize: 144128
[startup+579.998 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 20812 0 0 0 57924 85 0 0 25 0 1 0 388921187 147587072 20469 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36032 20469 231 231 0 35801 0
vsize: 144128
[startup+589.998 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 21607 0 0 0 58922 87 0 0 25 0 1 0 388921187 149389312 21264 4294967295 134512640 135450300 3221224624 3221223456 134549636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36472 21264 231 231 0 36241 0
vsize: 145888
[startup+599.998 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 22323 0 0 0 59920 89 0 0 25 0 1 0 388921187 149389312 21980 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36472 21980 231 231 0 36241 0
vsize: 145888
[startup+609.998 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 22915 0 0 0 60919 91 0 0 25 0 1 0 388921187 150061056 22572 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36636 22572 231 231 0 36405 0
vsize: 146544
[startup+619.998 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 23659 0 0 0 61917 92 0 0 25 0 1 0 388921187 150061056 23316 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36636 23316 231 231 0 36405 0
vsize: 146544
[startup+629.998 s]
Raw data (loadavg): 0.99 0.86 0.47 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 24171 0 0 0 62917 93 0 0 25 0 1 0 388921187 150224896 23828 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36676 23828 231 231 0 36445 0
vsize: 146704
[startup+639.998 s]
Raw data (loadavg): 0.99 0.87 0.47 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 24933 0 0 0 63915 95 0 0 25 0 1 0 388921187 150224896 24590 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36676 24590 231 231 0 36445 0
vsize: 146704
[startup+649.998 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 25477 0 0 0 64914 96 0 0 25 0 1 0 388921187 150224896 25134 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36676 25134 231 231 0 36445 0
vsize: 146704
[startup+659.998 s]
Raw data (loadavg): 0.99 0.88 0.48 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 25513 0 0 0 65914 96 0 0 25 0 1 0 388921187 150388736 25170 4294967295 134512640 135450300 3221224624 3221223344 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36716 25170 231 231 0 36485 0
vsize: 146864
[startup+669.999 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 25516 0 0 0 66914 96 0 0 25 0 1 0 388921187 150388736 25173 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36716 25173 231 231 0 36485 0
vsize: 146864
[startup+679.998 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 26057 0 0 0 67913 98 0 0 25 0 1 0 388921187 153436160 25714 4294967295 134512640 135450300 3221224624 3221223344 134535472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37460 25714 231 231 0 37229 0
vsize: 149840
[startup+689.998 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 26119 0 0 0 68913 98 0 0 25 0 1 0 388921187 153436160 25776 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37460 25776 231 231 0 37229 0
vsize: 149840
[startup+699.997 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 26550 0 0 0 69911 100 0 0 25 0 1 0 388921187 153436160 26207 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37460 26207 231 231 0 37229 0
vsize: 149840
[startup+709.998 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 27249 0 0 0 70910 101 0 0 25 0 1 0 388921187 153436160 26906 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37460 26906 231 231 0 37229 0
vsize: 149840
[startup+719.998 s]
Raw data (loadavg): 0.99 0.90 0.51 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 27753 0 0 0 71909 102 0 0 25 0 1 0 388921187 153436160 27410 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37460 27410 231 231 0 37229 0
vsize: 149840
[startup+729.998 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 28431 0 0 0 72907 105 0 0 25 0 1 0 388921187 153763840 28088 4294967295 134512640 135450300 3221224624 3221223344 134535982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37540 28088 231 231 0 37309 0
vsize: 150160
[startup+739.998 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 29061 0 0 0 73905 107 0 0 25 0 1 0 388921187 153763840 28718 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37540 28718 231 231 0 37309 0
vsize: 150160
[startup+749.998 s]
Raw data (loadavg): 0.99 0.90 0.53 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 29563 0 0 0 74903 108 0 0 25 0 1 0 388921187 154247168 29220 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37658 29220 231 231 0 37427 0
vsize: 150632
[startup+759.997 s]
Raw data (loadavg): 0.99 0.91 0.53 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 30207 0 0 0 75901 111 0 0 25 0 1 0 388921187 154247168 29864 4294967295 134512640 135450300 3221224624 3221223344 134536034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37658 29864 231 231 0 37427 0
vsize: 150632
[startup+769.997 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 30482 0 0 0 76901 111 0 0 25 0 1 0 388921187 154411008 30139 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37698 30139 231 231 0 37467 0
vsize: 150792
[startup+779.997 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 30484 0 0 0 77901 111 0 0 25 0 1 0 388921187 154411008 30141 4294967295 134512640 135450300 3221224624 3221223344 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37698 30141 231 231 0 37467 0
vsize: 150792
[startup+789.998 s]
Raw data (loadavg): 0.99 0.91 0.55 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 30770 0 0 0 78900 112 0 0 25 0 1 0 388921187 155508736 30427 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37966 30427 231 231 0 37735 0
vsize: 151864
[startup+799.997 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 30794 0 0 0 79900 113 0 0 25 0 1 0 388921187 155672576 30451 4294967295 134512640 135450300 3221224624 3221223360 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38006 30451 231 231 0 37775 0
vsize: 152024
[startup+809.998 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 30796 0 0 0 80900 113 0 0 25 0 1 0 388921187 155672576 30453 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38006 30453 231 231 0 37775 0
vsize: 152024
[startup+819.997 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 31310 0 0 0 81900 113 0 0 25 0 1 0 388921187 156524544 30967 4294967295 134512640 135450300 3221224624 3221223360 134538433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38214 30967 231 231 0 37983 0
vsize: 152856
[startup+829.997 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 31917 0 0 0 82898 115 0 0 25 0 1 0 388921187 156524544 31574 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38214 31574 231 231 0 37983 0
vsize: 152856
[startup+839.997 s]
Raw data (loadavg): 0.99 0.92 0.57 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 32570 0 0 0 83897 117 0 0 25 0 1 0 388921187 157507584 32227 4294967295 134512640 135450300 3221224624 3221223008 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38454 32227 231 231 0 38223 0
vsize: 153816
[startup+849.997 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 33221 0 0 0 84895 118 0 0 25 0 1 0 388921187 157507584 32878 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38454 32878 231 231 0 38223 0
vsize: 153816
[startup+859.997 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 33557 0 0 0 85895 119 0 0 25 0 1 0 388921187 158003200 33214 4294967295 134512640 135450300 3221224624 3221223344 134535478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38575 33214 231 231 0 38344 0
vsize: 154300
[startup+869.997 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 34255 0 0 0 86893 121 0 0 25 0 1 0 388921187 158003200 33912 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38575 33912 231 231 0 38344 0
vsize: 154300
[startup+879.996 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 34824 0 0 0 87892 122 0 0 25 0 1 0 388921187 158003200 34481 4294967295 134512640 135450300 3221224624 3221223440 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38575 34481 231 231 0 38344 0
vsize: 154300
[startup+889.996 s]
Raw data (loadavg): 0.99 0.93 0.59 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 34983 0 0 0 88892 123 0 0 25 0 1 0 388921187 158986240 34640 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38815 34640 231 231 0 38584 0
vsize: 155260
[startup+899.996 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 34985 0 0 0 89892 123 0 0 25 0 1 0 388921187 158986240 34642 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38815 34642 231 231 0 38584 0
vsize: 155260
[startup+909.997 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 34987 0 0 0 90891 123 0 0 25 0 1 0 388921187 158986240 34644 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38815 34644 231 231 0 38584 0
vsize: 155260
[startup+919.997 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 35646 0 0 0 91890 125 0 0 25 0 1 0 388921187 162721792 35303 4294967295 134512640 135450300 3221224624 3221223440 134547914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39727 35303 231 231 0 39496 0
vsize: 158908
[startup+929.997 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 35648 0 0 0 92890 125 0 0 25 0 1 0 388921187 162721792 35305 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39727 35305 231 231 0 39496 0
vsize: 158908
[startup+939.996 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 35777 0 0 0 93890 125 0 0 25 0 1 0 388921187 163504128 35434 4294967295 134512640 135450300 3221224624 3221223344 134535982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39918 35434 231 231 0 39687 0
vsize: 159672
[startup+949.996 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 35897 0 0 0 94890 125 0 0 25 0 1 0 388921187 163504128 35554 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39918 35554 231 231 0 39687 0
vsize: 159672
[startup+959.996 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 36285 0 0 0 95889 126 0 0 25 0 1 0 388921187 163504128 35942 4294967295 134512640 135450300 3221224624 3221223456 134549481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39918 35942 231 231 0 39687 0
vsize: 159672
[startup+969.995 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 37023 0 0 0 96888 128 0 0 25 0 1 0 388921187 164093952 36680 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40062 36680 231 231 0 39831 0
vsize: 160248
[startup+979.995 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 37647 0 0 0 97886 129 0 0 25 0 1 0 388921187 164093952 37304 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40062 37304 231 231 0 39831 0
vsize: 160248
[startup+989.996 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 38362 0 0 0 98885 131 0 0 25 0 1 0 388921187 166060032 38019 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40542 38019 231 231 0 40311 0
vsize: 162168
[startup+999.995 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39022 0 0 0 99884 132 0 0 25 0 1 0 388921187 166060032 38679 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40542 38679 231 231 0 40311 0
vsize: 162168
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39323 0 0 0 100883 133 0 0 25 0 1 0 388921187 166060032 38980 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40542 38980 231 231 0 40311 0
vsize: 162168
[startup+1020 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39392 0 0 0 101884 133 0 0 25 0 1 0 388921187 166453248 39049 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40638 39049 231 231 0 40407 0
vsize: 162552
[startup+1030 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39394 0 0 0 102883 133 0 0 25 0 1 0 388921187 166453248 39051 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40638 39051 231 231 0 40407 0
vsize: 162552
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39495 0 0 0 103883 133 0 0 25 0 1 0 388921187 167043072 39152 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40782 39152 231 231 0 40551 0
vsize: 163128
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39497 0 0 0 104883 134 0 0 25 0 1 0 388921187 167043072 39154 4294967295 134512640 135450300 3221224624 3221223104 134580033 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40782 39154 231 231 0 40551 0
vsize: 163128
[startup+1060 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39498 0 0 0 105883 134 0 0 25 0 1 0 388921187 167043072 39155 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40782 39155 231 231 0 40551 0
vsize: 163128
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.96 0.65 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39916 0 0 0 106882 135 0 0 25 0 1 0 388921187 169009152 39573 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41262 39573 231 231 0 41031 0
vsize: 165048
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39919 0 0 0 107882 136 0 0 25 0 1 0 388921187 169009152 39576 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41262 39576 231 231 0 41031 0
vsize: 165048
[startup+1090 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39956 0 0 0 108882 136 0 0 25 0 1 0 388921187 169209856 39613 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41311 39613 231 231 0 41080 0
vsize: 165244
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 39985 0 0 0 109882 136 0 0 25 0 1 0 388921187 169209856 39642 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41311 39642 231 231 0 41080 0
vsize: 165244
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 40399 0 0 0 110881 137 0 0 25 0 1 0 388921187 303427584 40056 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74079 40056 231 231 0 73848 0
vsize: 296316
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 41265 0 0 0 111880 139 0 0 25 0 1 0 388921187 305393664 40922 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74559 40922 231 231 0 74328 0
vsize: 298236
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 41915 0 0 0 112878 141 0 0 25 0 1 0 388921187 305393664 41572 4294967295 134512640 135450300 3221224624 3221223008 134602091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74559 41572 231 231 0 74328 0
vsize: 298236
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 42101 0 0 0 113877 141 0 0 25 0 1 0 388921187 305590272 41758 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74607 41758 231 231 0 74376 0
vsize: 298428
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 42104 0 0 0 114877 141 0 0 25 0 1 0 388921187 305590272 41761 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74607 41761 231 231 0 74376 0
vsize: 298428
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 42105 0 0 0 115877 141 0 0 25 0 1 0 388921187 305590272 41762 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74607 41762 231 231 0 74376 0
vsize: 298428
[startup+1169.99 s]
Raw data (loadavg): 0.99 0.97 0.68 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 42134 0 0 0 116877 142 0 0 25 0 1 0 388921187 305786880 41791 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74655 41791 231 231 0 74424 0
vsize: 298620
[startup+1179.99 s]
Raw data (loadavg): 0.99 0.97 0.68 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 42651 0 0 0 117876 143 0 0 25 0 1 0 388921187 305786880 42308 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74655 42308 231 231 0 74424 0
vsize: 298620
[startup+1189.99 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 43364 0 0 0 118875 144 0 0 25 0 1 0 388921187 307359744 43021 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75039 43021 231 231 0 74808 0
vsize: 300156
[startup+1199.99 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 25076
Raw data (stat): 25076 (PBS4) R 25075 30927 30926 0 -1 0 44050 0 0 0 119874 145 0 0 25 0 1 0 388921187 307359744 43707 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75039 43707 231 231 0 74808 0
vsize: 300156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.69 1/55 25076
Raw data (stat): 25076 (PBS4) Z 25075 30927 30926 0 -1 1036 44050 0 0 0 119874 153 0 0 25 0 1 0 388921187 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.28
CPU user time (s): 1198.75
CPU system time (s): 1.53877
CPU usage (%): 100.017
Max. virtual memory (Kb): 300156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####