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-my_adder.opb
MD5SUM	fe8f615a95a6852516985b8e3e78bd85
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4561
Optimality of the best value was proved	NO
Number of terms in the objective function	577
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	24510
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	24510
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	577
Total number of constraints	1322
Number of constraints which are clauses	1306
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	16
Minimum length of a constraint	2
Maximum length of a constraint	17
Trace number 7864

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        791368 kB
Buffers:         37236 kB
Cached:         169644 kB
SwapCached:       2628 kB
Active:          64768 kB
Inactive:       147640 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791116 kB
SwapTotal:     2097892 kB
SwapFree:      2095264 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            25280 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:03:09 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 2292 7 1200.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc20/normalized-my_adder.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.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (runsolver) R 23854 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512043851 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 438 0 0 0 991 7 0 0 25 0 1 0 512043851 2506752 434 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 612 434 231 231 0 381 0
vsize: 2448
[startup+20.0004 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 663 0 0 0 1990 8 0 0 25 0 1 0 512043851 3555328 659 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 868 659 231 231 0 637 0
vsize: 3472
[startup+30.0011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 856 0 0 0 2989 9 0 0 25 0 1 0 512043851 5652480 852 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1380 852 231 231 0 1149 0
vsize: 5520
[startup+40.0005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 1131 0 0 0 3988 10 0 0 25 0 1 0 512043851 5988352 1127 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1462 1127 231 231 0 1231 0
vsize: 5848
[startup+50.0015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 1331 0 0 0 4988 11 0 0 25 0 1 0 512043851 10182656 1327 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1327 231 231 0 2255 0
vsize: 9944
[startup+60.0012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 1512 0 0 0 5987 11 0 0 25 0 1 0 512043851 10133504 1508 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2474 1508 231 231 0 2243 0
vsize: 9896
[startup+70.0007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 1701 0 0 0 6987 12 0 0 25 0 1 0 512043851 10133504 1697 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2474 1697 231 231 0 2243 0
vsize: 9896
[startup+80.0016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 1880 0 0 0 7986 13 0 0 25 0 1 0 512043851 10133504 1876 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2474 1876 231 231 0 2243 0
vsize: 9896
[startup+90.0014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 2068 0 0 0 8986 13 0 0 25 0 1 0 512043851 10133504 2064 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2474 2064 231 231 0 2243 0
vsize: 9896
[startup+100.002 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 2258 0 0 0 9985 15 0 0 25 0 1 0 512043851 10133504 2254 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2474 2254 231 231 0 2243 0
vsize: 9896
[startup+110.002 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 2522 0 0 0 10984 16 0 0 25 0 1 0 512043851 18853888 2469 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4603 2469 231 231 0 4372 0
vsize: 18412
[startup+120.001 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 2698 0 0 0 11983 17 0 0 25 0 1 0 512043851 18993152 2645 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4637 2645 231 231 0 4406 0
vsize: 18548
[startup+130.002 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 2827 0 0 0 12983 18 0 0 25 0 1 0 512043851 18993152 2774 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4637 2774 231 231 0 4406 0
vsize: 18548
[startup+140.002 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3001 0 0 0 13982 18 0 0 25 0 1 0 512043851 19128320 2948 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 2948 231 231 0 4439 0
vsize: 18680
[startup+150.003 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3140 0 0 0 14982 19 0 0 25 0 1 0 512043851 19128320 3087 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3087 231 231 0 4439 0
vsize: 18680
[startup+160.003 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3283 0 0 0 15981 20 0 0 25 0 1 0 512043851 19128320 3230 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3230 231 231 0 4439 0
vsize: 18680
[startup+170.003 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3453 0 0 0 16980 21 0 0 25 0 1 0 512043851 19279872 3400 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4707 3400 231 231 0 4476 0
vsize: 18828
[startup+180.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3459 0 0 0 17980 21 0 0 25 0 1 0 512043851 19279872 3406 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4707 3406 231 231 0 4476 0
vsize: 18828
[startup+190.004 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3473 0 0 0 18980 21 0 0 25 0 1 0 512043851 19279872 3420 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4707 3420 231 231 0 4476 0
vsize: 18828
[startup+200.004 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3486 0 0 0 19980 22 0 0 25 0 1 0 512043851 19279872 3433 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4707 3433 231 231 0 4476 0
vsize: 18828
[startup+210.004 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3492 0 0 0 20980 22 0 0 25 0 1 0 512043851 19415040 3439 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3439 231 231 0 4509 0
vsize: 18960
[startup+220.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3508 0 0 0 21979 22 0 0 25 0 1 0 512043851 19415040 3455 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3455 231 231 0 4509 0
vsize: 18960
[startup+230.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3520 0 0 0 22980 22 0 0 25 0 1 0 512043851 19415040 3467 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3467 231 231 0 4509 0
vsize: 18960
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3527 0 0 0 23980 23 0 0 25 0 1 0 512043851 19415040 3474 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3474 231 231 0 4509 0
vsize: 18960
[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3626 0 0 0 24979 23 0 0 25 0 1 0 512043851 19808256 3476 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4836 3476 231 231 0 4605 0
vsize: 19344
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3638 0 0 0 25980 23 0 0 25 0 1 0 512043851 19947520 3488 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3488 231 231 0 4639 0
vsize: 19480
[startup+270.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3643 0 0 0 26979 23 0 0 25 0 1 0 512043851 19947520 3493 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3493 231 231 0 4639 0
vsize: 19480
[startup+280.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3655 0 0 0 27979 24 0 0 25 0 1 0 512043851 19947520 3505 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3505 231 231 0 4639 0
vsize: 19480
[startup+290.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3663 0 0 0 28979 24 0 0 25 0 1 0 512043851 19947520 3513 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3513 231 231 0 4639 0
vsize: 19480
[startup+300.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3673 0 0 0 29978 25 0 0 25 0 1 0 512043851 19947520 3523 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3523 231 231 0 4639 0
vsize: 19480
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3678 0 0 0 30978 25 0 0 25 0 1 0 512043851 19947520 3528 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3528 231 231 0 4639 0
vsize: 19480
[startup+320.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3695 0 0 0 31978 26 0 0 25 0 1 0 512043851 19947520 3545 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3545 231 231 0 4639 0
vsize: 19480
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3699 0 0 0 32978 26 0 0 25 0 1 0 512043851 19947520 3549 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3549 231 231 0 4639 0
vsize: 19480
[startup+340.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3717 0 0 0 33978 26 0 0 25 0 1 0 512043851 20103168 3567 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 3567 231 231 0 4677 0
vsize: 19632
[startup+350.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3733 0 0 0 34978 26 0 0 25 0 1 0 512043851 20103168 3583 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 3583 231 231 0 4677 0
vsize: 19632
[startup+360.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3742 0 0 0 35978 27 0 0 25 0 1 0 512043851 20103168 3592 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 3592 231 231 0 4677 0
vsize: 19632
[startup+370.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3752 0 0 0 36977 27 0 0 25 0 1 0 512043851 20103168 3602 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 3602 231 231 0 4677 0
vsize: 19632
[startup+380.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3761 0 0 0 37977 28 0 0 25 0 1 0 512043851 20238336 3611 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4941 3611 231 231 0 4710 0
vsize: 19764
[startup+390.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3769 0 0 0 38977 28 0 0 25 0 1 0 512043851 20238336 3619 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4941 3619 231 231 0 4710 0
vsize: 19764
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3812 0 0 0 39977 28 0 0 25 0 1 0 512043851 20373504 3662 4294967295 134512640 135450300 3221224640 3221223248 134537684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3662 231 231 0 4743 0
vsize: 19896
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3817 0 0 0 40977 29 0 0 25 0 1 0 512043851 20373504 3667 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3667 231 231 0 4743 0
vsize: 19896
[startup+420.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3828 0 0 0 41977 29 0 0 25 0 1 0 512043851 20373504 3678 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3678 231 231 0 4743 0
vsize: 19896
[startup+430.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3832 0 0 0 42976 29 0 0 25 0 1 0 512043851 20373504 3682 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3682 231 231 0 4743 0
vsize: 19896
[startup+440.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3848 0 0 0 43976 30 0 0 25 0 1 0 512043851 20373504 3698 4294967295 134512640 135450300 3221224640 3221223360 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3698 231 231 0 4743 0
vsize: 19896
[startup+450.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3851 0 0 0 44976 30 0 0 25 0 1 0 512043851 20373504 3701 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3701 231 231 0 4743 0
vsize: 19896
[startup+460.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3858 0 0 0 45976 30 0 0 25 0 1 0 512043851 20508672 3708 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 3708 231 231 0 4776 0
vsize: 20028
[startup+470.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3862 0 0 0 46976 30 0 0 25 0 1 0 512043851 20508672 3712 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 3712 231 231 0 4776 0
vsize: 20028
[startup+480.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3870 0 0 0 47976 31 0 0 25 0 1 0 512043851 20508672 3720 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 3720 231 231 0 4776 0
vsize: 20028
[startup+490.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 3873 0 0 0 48976 31 0 0 25 0 1 0 512043851 20508672 3723 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 3723 231 231 0 4776 0
vsize: 20028
[startup+500.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4079 0 0 0 49975 32 0 0 25 0 1 0 512043851 21295104 3736 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 3736 231 231 0 4968 0
vsize: 20796
[startup+510.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4090 0 0 0 50975 32 0 0 25 0 1 0 512043851 21295104 3747 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 3747 231 231 0 4968 0
vsize: 20796
[startup+520.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4114 0 0 0 51975 32 0 0 25 0 1 0 512043851 21446656 3771 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 3771 231 231 0 5005 0
vsize: 20944
[startup+530.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4117 0 0 0 52975 33 0 0 25 0 1 0 512043851 21446656 3774 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 3774 231 231 0 5005 0
vsize: 20944
[startup+540.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4122 0 0 0 53975 33 0 0 25 0 1 0 512043851 21446656 3779 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 3779 231 231 0 5005 0
vsize: 20944
[startup+550.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4131 0 0 0 54975 34 0 0 25 0 1 0 512043851 21446656 3788 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 3788 231 231 0 5005 0
vsize: 20944
[startup+560.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4147 0 0 0 55974 34 0 0 25 0 1 0 512043851 21446656 3804 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 3804 231 231 0 5005 0
vsize: 20944
[startup+570.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4153 0 0 0 56974 34 0 0 25 0 1 0 512043851 21446656 3810 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 3810 231 231 0 5005 0
vsize: 20944
[startup+580.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4164 0 0 0 57974 34 0 0 25 0 1 0 512043851 21594112 3821 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3821 231 231 0 5041 0
vsize: 21088
[startup+590.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4169 0 0 0 58974 35 0 0 25 0 1 0 512043851 21594112 3826 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3826 231 231 0 5041 0
vsize: 21088
[startup+600.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4179 0 0 0 59974 35 0 0 25 0 1 0 512043851 21594112 3836 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3836 231 231 0 5041 0
vsize: 21088
[startup+610.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4190 0 0 0 60974 35 0 0 25 0 1 0 512043851 21594112 3847 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3847 231 231 0 5041 0
vsize: 21088
[startup+620.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4193 0 0 0 61974 35 0 0 25 0 1 0 512043851 21594112 3850 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3850 231 231 0 5041 0
vsize: 21088
[startup+630.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4198 0 0 0 62974 36 0 0 25 0 1 0 512043851 21594112 3855 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3855 231 231 0 5041 0
vsize: 21088
[startup+640.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4209 0 0 0 63974 36 0 0 25 0 1 0 512043851 21594112 3866 4294967295 134512640 135450300 3221224640 3221223376 134538568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3866 231 231 0 5041 0
vsize: 21088
[startup+650.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4211 0 0 0 64974 36 0 0 25 0 1 0 512043851 21594112 3868 4294967295 134512640 135450300 3221224640 3221223456 134546470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3868 231 231 0 5041 0
vsize: 21088
[startup+660.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4215 0 0 0 65974 36 0 0 25 0 1 0 512043851 21594112 3872 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3872 231 231 0 5041 0
vsize: 21088
[startup+670.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4219 0 0 0 66974 37 0 0 25 0 1 0 512043851 21594112 3876 4294967295 134512640 135450300 3221224640 3221223504 134539116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5272 3876 231 231 0 5041 0
vsize: 21088
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4228 0 0 0 67974 37 0 0 25 0 1 0 512043851 21757952 3885 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 3885 231 231 0 5081 0
vsize: 21248
[startup+690.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4231 0 0 0 68973 37 0 0 25 0 1 0 512043851 21757952 3888 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 3888 231 231 0 5081 0
vsize: 21248
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4233 0 0 0 69974 37 0 0 25 0 1 0 512043851 21757952 3890 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 3890 231 231 0 5081 0
vsize: 21248
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4241 0 0 0 70973 38 0 0 25 0 1 0 512043851 21757952 3898 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 3898 231 231 0 5081 0
vsize: 21248
[startup+720.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4249 0 0 0 71973 39 0 0 25 0 1 0 512043851 21757952 3906 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 3906 231 231 0 5081 0
vsize: 21248
[startup+730.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4255 0 0 0 72973 39 0 0 25 0 1 0 512043851 21757952 3912 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 3912 231 231 0 5081 0
vsize: 21248
[startup+740.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4269 0 0 0 73973 39 0 0 25 0 1 0 512043851 21757952 3926 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 3926 231 231 0 5081 0
vsize: 21248
[startup+750.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4272 0 0 0 74973 39 0 0 25 0 1 0 512043851 21757952 3929 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5312 3929 231 231 0 5081 0
vsize: 21248
[startup+760.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4311 0 0 0 75972 40 0 0 25 0 1 0 512043851 21946368 3968 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 3968 231 231 0 5127 0
vsize: 21432
[startup+770.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4314 0 0 0 76972 40 0 0 25 0 1 0 512043851 21946368 3971 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 3971 231 231 0 5127 0
vsize: 21432
[startup+780.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4317 0 0 0 77972 40 0 0 25 0 1 0 512043851 21946368 3974 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 3974 231 231 0 5127 0
vsize: 21432
[startup+790.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4322 0 0 0 78972 41 0 0 25 0 1 0 512043851 21946368 3979 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 3979 231 231 0 5127 0
vsize: 21432
[startup+800.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4326 0 0 0 79972 41 0 0 25 0 1 0 512043851 21946368 3983 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 3983 231 231 0 5127 0
vsize: 21432
[startup+810.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4338 0 0 0 80972 41 0 0 25 0 1 0 512043851 21946368 3995 4294967295 134512640 135450300 3221224640 3221223360 134536028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 3995 231 231 0 5127 0
vsize: 21432
[startup+820.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4359 0 0 0 81972 42 0 0 25 0 1 0 512043851 21946368 4016 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4016 231 231 0 5127 0
vsize: 21432
[startup+830.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4363 0 0 0 82971 42 0 0 25 0 1 0 512043851 21946368 4020 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4020 231 231 0 5127 0
vsize: 21432
[startup+840.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4368 0 0 0 83971 43 0 0 25 0 1 0 512043851 21946368 4025 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4025 231 231 0 5127 0
vsize: 21432
[startup+850.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4374 0 0 0 84971 43 0 0 25 0 1 0 512043851 21946368 4031 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4031 231 231 0 5127 0
vsize: 21432
[startup+860.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4382 0 0 0 85971 44 0 0 25 0 1 0 512043851 21946368 4039 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4039 231 231 0 5127 0
vsize: 21432
[startup+870.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4386 0 0 0 86970 44 0 0 25 0 1 0 512043851 21946368 4043 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4043 231 231 0 5127 0
vsize: 21432
[startup+880.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4396 0 0 0 87971 44 0 0 25 0 1 0 512043851 21946368 4053 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4053 231 231 0 5127 0
vsize: 21432
[startup+890.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4425 0 0 0 88970 44 0 0 25 0 1 0 512043851 22081536 4082 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5391 4082 231 231 0 5160 0
vsize: 21564
[startup+900.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4429 0 0 0 89971 44 0 0 25 0 1 0 512043851 22081536 4086 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5391 4086 231 231 0 5160 0
vsize: 21564
[startup+910.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4433 0 0 0 90970 45 0 0 25 0 1 0 512043851 22081536 4090 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5391 4090 231 231 0 5160 0
vsize: 21564
[startup+920.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4442 0 0 0 91970 45 0 0 25 0 1 0 512043851 22269952 4099 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4099 231 231 0 5206 0
vsize: 21748
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4458 0 0 0 92969 46 0 0 25 0 1 0 512043851 22269952 4115 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4115 231 231 0 5206 0
vsize: 21748
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4460 0 0 0 93969 47 0 0 25 0 1 0 512043851 22269952 4117 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4117 231 231 0 5206 0
vsize: 21748
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4463 0 0 0 94969 47 0 0 25 0 1 0 512043851 22269952 4120 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4120 231 231 0 5206 0
vsize: 21748
[startup+960.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4471 0 0 0 95969 47 0 0 25 0 1 0 512043851 22269952 4128 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4128 231 231 0 5206 0
vsize: 21748
[startup+970.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4475 0 0 0 96969 47 0 0 25 0 1 0 512043851 22269952 4132 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4132 231 231 0 5206 0
vsize: 21748
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4486 0 0 0 97969 48 0 0 25 0 1 0 512043851 22269952 4143 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4143 231 231 0 5206 0
vsize: 21748
[startup+990.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4503 0 0 0 98969 48 0 0 25 0 1 0 512043851 22269952 4160 4294967295 134512640 135450300 3221224640 3221223456 134546485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4160 231 231 0 5206 0
vsize: 21748
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4507 0 0 0 99969 48 0 0 25 0 1 0 512043851 22269952 4164 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4164 231 231 0 5206 0
vsize: 21748
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23855
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4896 0 0 0 100968 49 0 0 25 0 1 0 512043851 23842816 4168 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 4168 231 231 0 5590 0
vsize: 23284
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 3/55 23856
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4901 0 0 0 101968 49 0 0 25 0 1 0 512043851 23842816 4173 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 4173 231 231 0 5590 0
vsize: 23284
[startup+1030.21 s]
Raw data (loadavg): 1.39 1.08 0.95 3/58 23901
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4925 0 0 0 102986 50 0 0 25 0 1 0 512043851 23977984 4197 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 4197 231 231 0 5623 0
vsize: 23416
[startup+1040.21 s]
Raw data (loadavg): 1.40 1.10 0.96 2/54 23908
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4928 0 0 0 103986 51 0 0 25 0 1 0 512043851 23977984 4200 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 4200 231 231 0 5623 0
vsize: 23416
[startup+1050.21 s]
Raw data (loadavg): 1.34 1.09 0.96 2/54 23908
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4931 0 0 0 104987 51 0 0 25 0 1 0 512043851 23977984 4203 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 4203 231 231 0 5623 0
vsize: 23416
[startup+1060.21 s]
Raw data (loadavg): 1.29 1.09 0.96 2/54 23908
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4935 0 0 0 105986 51 0 0 25 0 1 0 512043851 23977984 4207 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 4207 231 231 0 5623 0
vsize: 23416
[startup+1070.21 s]
Raw data (loadavg): 1.24 1.08 0.96 2/54 23908
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4939 0 0 0 106987 51 0 0 25 0 1 0 512043851 23977984 4211 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 4211 231 231 0 5623 0
vsize: 23416
[startup+1080.21 s]
Raw data (loadavg): 1.20 1.08 0.96 2/54 23908
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4946 0 0 0 107986 51 0 0 25 0 1 0 512043851 23977984 4218 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 4218 231 231 0 5623 0
vsize: 23416
[startup+1090.21 s]
Raw data (loadavg): 1.17 1.08 0.96 2/54 23908
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4950 0 0 0 108987 51 0 0 25 0 1 0 512043851 23977984 4222 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 4222 231 231 0 5623 0
vsize: 23416
[startup+1100.21 s]
Raw data (loadavg): 1.15 1.08 0.96 2/54 23908
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4961 0 0 0 109986 53 0 0 25 0 1 0 512043851 23977984 4233 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 4233 231 231 0 5623 0
vsize: 23416
[startup+1110.22 s]
Raw data (loadavg): 1.12 1.07 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4990 0 0 0 110985 53 0 0 25 0 1 0 512043851 24215552 4262 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4262 231 231 0 5681 0
vsize: 23648
[startup+1120.21 s]
Raw data (loadavg): 1.10 1.07 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4993 0 0 0 111985 53 0 0 25 0 1 0 512043851 24215552 4265 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4265 231 231 0 5681 0
vsize: 23648
[startup+1130.21 s]
Raw data (loadavg): 1.09 1.07 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4996 0 0 0 112985 53 0 0 25 0 1 0 512043851 24215552 4268 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4268 231 231 0 5681 0
vsize: 23648
[startup+1140.22 s]
Raw data (loadavg): 1.07 1.06 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 4999 0 0 0 113985 54 0 0 25 0 1 0 512043851 24215552 4271 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4271 231 231 0 5681 0
vsize: 23648
[startup+1150.22 s]
Raw data (loadavg): 1.06 1.06 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 5006 0 0 0 114986 54 0 0 25 0 1 0 512043851 24215552 4278 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4278 231 231 0 5681 0
vsize: 23648
[startup+1160.22 s]
Raw data (loadavg): 1.05 1.06 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 5016 0 0 0 115985 54 0 0 25 0 1 0 512043851 24215552 4288 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4288 231 231 0 5681 0
vsize: 23648
[startup+1170.22 s]
Raw data (loadavg): 1.04 1.06 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 5022 0 0 0 116985 55 0 0 25 0 1 0 512043851 24215552 4294 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4294 231 231 0 5681 0
vsize: 23648
[startup+1180.22 s]
Raw data (loadavg): 1.04 1.05 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 5034 0 0 0 117985 55 0 0 25 0 1 0 512043851 24215552 4306 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4306 231 231 0 5681 0
vsize: 23648
[startup+1190.22 s]
Raw data (loadavg): 1.03 1.05 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 5062 0 0 0 118984 56 0 0 25 0 1 0 512043851 24367104 4334 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 4334 231 231 0 5718 0
vsize: 23796
[startup+1200.22 s]
Raw data (loadavg): 1.02 1.05 0.96 2/54 23910
Raw data (stat): 23855 (PBS4) R 23854 27565 27564 0 -1 0 5064 0 0 0 119984 56 0 0 25 0 1 0 512043851 24367104 4336 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 4336 231 231 0 5718 0
vsize: 23796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 1.02 1.05 0.96 1/54 23910
Raw data (stat): 23855 (PBS4) Z 23854 27565 27564 0 -1 1036 5064 0 0 0 119984 57 0 0 25 0 1 0 512043851 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.23
CPU time (s): 1200.42
CPU user time (s): 1199.85
CPU system time (s): 0.573912
CPU usage (%): 100.016
Max. virtual memory (Kb): 23796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####