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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb
MD5SUMf2a6dc8d2697a7f5959c84e4079088c9
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 528959045369856
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 3702118998041541
Number of bits of the biggest sum of numbers52
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark204.283
Number of variables11454
Total number of constraints362
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints362
Minimum length of a constraint13
Maximum length of a constraint810

Trace number 2810

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-18 21:59:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3995 boxname=wulflinc2 idbench=479 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f2a6dc8d2697a7f5959c84e4079088c9  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stair.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stair.opb
IDLAUNCH: 3995
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        915068 kB
Buffers:         34064 kB
Cached:          61320 kB
SwapCached:       1040 kB
Active:          61616 kB
Inactive:        36428 kB
HighTotal:      131008 kB
HighFree:        66248 kB
LowTotal:       903652 kB
LowFree:        848820 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            15784 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 22:05:10 (client local time) WITH STATUS 20 IN 345.463 SECONDS
stats: 3995 7 345.463 20

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stair.opb ......
s UNSATISFIABLE
c Done, CPU Time=342.248

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1786466827 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 239 2 232 232 0 7 0
[pid=16962] vsize: 956
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stair.opb
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stair.opb

[startup+10.0024 s]
Raw data (loadavg): 0.93 0.95 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 2266 0 0 0 977 10 0 0 25 0 1 0 1786466827 10616832 1980 4294967295 134512640 135450776 3221224560 3221223280 134538944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 2592 1980 232 232 0 2360 0
[pid=16962] vsize: 10368
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 10368

[startup+20.0031 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 2618 0 0 0 1959 19 0 0 25 0 1 0 1786466827 12713984 2332 4294967295 134512640 135450776 3221224560 3221223152 134538588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 3104 2332 232 232 0 2872 0
[pid=16962] vsize: 12416
Current children cumulated CPU time (s) 19.78
Current children cumulated vsize (Kb) 12416

[startup+30.0038 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 2927 0 0 0 2945 25 0 0 25 0 1 0 1786466827 13111296 2641 4294967295 134512640 135450776 3221224560 3221223280 134538927 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 3201 2641 232 232 0 2969 0
[pid=16962] vsize: 12804
Current children cumulated CPU time (s) 29.7
Current children cumulated vsize (Kb) 12804

[startup+40.0045 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 3113 0 0 0 3932 29 0 0 25 0 1 0 1786466827 17305600 2827 4294967295 134512640 135450776 3221224560 3221223152 134538602 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 4225 2827 232 232 0 3993 0
[pid=16962] vsize: 16900
Current children cumulated CPU time (s) 39.61
Current children cumulated vsize (Kb) 16900

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.96 0.91 1/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) T 16961 16962 6872 0 -1 0 3335 0 0 0 4921 33 0 0 25 0 1 0 1786466827 17305600 3049 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/16962/statm): 4225 3049 232 232 0 3993 0
[pid=16962] vsize: 16900
Current children cumulated CPU time (s) 49.54
Current children cumulated vsize (Kb) 16900

[startup+60.0049 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 3530 0 0 0 5909 38 0 0 25 0 1 0 1786466827 17305600 3244 4294967295 134512640 135450776 3221224560 3221223280 134538933 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 4225 3244 232 232 0 3993 0
[pid=16962] vsize: 16900
Current children cumulated CPU time (s) 59.47
Current children cumulated vsize (Kb) 16900

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 3822 0 0 0 6899 43 0 0 25 0 1 0 1786466827 17698816 3439 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 4321 3439 232 232 0 4089 0
[pid=16962] vsize: 17284
Current children cumulated CPU time (s) 69.42
Current children cumulated vsize (Kb) 17284

[startup+80.0063 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 3994 0 0 0 7889 47 0 0 25 0 1 0 1786466827 17698816 3611 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 4321 3611 232 232 0 4089 0
[pid=16962] vsize: 17284
Current children cumulated CPU time (s) 79.36
Current children cumulated vsize (Kb) 17284

[startup+90.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 4193 0 0 0 8880 50 0 0 25 0 1 0 1786466827 17833984 3810 4294967295 134512640 135450776 3221224560 3221223280 134538944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 4354 3810 232 232 0 4122 0
[pid=16962] vsize: 17416
Current children cumulated CPU time (s) 89.3
Current children cumulated vsize (Kb) 17416

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 4350 0 0 0 9871 53 0 0 25 0 1 0 1786466827 26353664 3967 4294967295 134512640 135450776 3221224560 3221223280 134538954 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6434 3967 232 232 0 6202 0
[pid=16962] vsize: 25736
Current children cumulated CPU time (s) 99.24
Current children cumulated vsize (Kb) 25736

[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 4434 0 0 0 10863 56 0 0 25 0 1 0 1786466827 26550272 4051 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 6482 4051 232 232 0 6250 0
[pid=16962] vsize: 25928
Current children cumulated CPU time (s) 109.19
Current children cumulated vsize (Kb) 25928

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 4608 0 0 0 11851 60 0 0 25 0 1 0 1786466827 26550272 4225 4294967295 134512640 135450776 3221224560 3221223152 134538681 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6482 4225 232 232 0 6250 0
[pid=16962] vsize: 25928
Current children cumulated CPU time (s) 119.11
Current children cumulated vsize (Kb) 25928

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 4753 0 0 0 12844 64 0 0 25 0 1 0 1786466827 26550272 4370 4294967295 134512640 135450776 3221224560 3221223280 134538944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6482 4370 232 232 0 6250 0
[pid=16962] vsize: 25928
Current children cumulated CPU time (s) 129.08
Current children cumulated vsize (Kb) 25928

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 4914 0 0 0 13836 66 0 0 25 0 1 0 1786466827 26746880 4531 4294967295 134512640 135450776 3221224560 3221223360 134537342 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6530 4531 232 232 0 6298 0
[pid=16962] vsize: 26120
Current children cumulated CPU time (s) 139.02
Current children cumulated vsize (Kb) 26120

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 5071 0 0 0 14829 69 0 0 25 0 1 0 1786466827 26812416 4688 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6546 4688 232 232 0 6314 0
[pid=16962] vsize: 26184
Current children cumulated CPU time (s) 148.98
Current children cumulated vsize (Kb) 26184

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 5211 0 0 0 15820 72 0 0 25 0 1 0 1786466827 26984448 4828 4294967295 134512640 135450776 3221224560 3221223280 134538927 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6588 4828 232 232 0 6356 0
[pid=16962] vsize: 26352
Current children cumulated CPU time (s) 158.92
Current children cumulated vsize (Kb) 26352

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 5340 0 0 0 16814 75 0 0 25 0 1 0 1786466827 26984448 4957 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6588 4957 232 232 0 6356 0
[pid=16962] vsize: 26352
Current children cumulated CPU time (s) 168.89
Current children cumulated vsize (Kb) 26352

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 5484 0 0 0 17806 78 0 0 25 0 1 0 1786466827 27181056 5101 4294967295 134512640 135450776 3221224560 3221223152 134538659 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6636 5101 232 232 0 6404 0
[pid=16962] vsize: 26544
Current children cumulated CPU time (s) 178.84
Current children cumulated vsize (Kb) 26544

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 5548 0 0 0 18799 81 0 0 25 0 1 0 1786466827 27246592 5165 4294967295 134512640 135450776 3221224560 3221223280 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6652 5165 232 232 0 6420 0
[pid=16962] vsize: 26608
Current children cumulated CPU time (s) 188.8
Current children cumulated vsize (Kb) 26608

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 5811 0 0 0 19792 84 0 0 25 0 1 0 1786466827 28033024 5235 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6844 5235 232 232 0 6612 0
[pid=16962] vsize: 27376
Current children cumulated CPU time (s) 198.76
Current children cumulated vsize (Kb) 27376

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 5939 0 0 0 20784 87 0 0 25 0 1 0 1786466827 28229632 5363 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6892 5363 232 232 0 6660 0
[pid=16962] vsize: 27568
Current children cumulated CPU time (s) 208.71
Current children cumulated vsize (Kb) 27568

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6058 0 0 0 21777 90 0 0 25 0 1 0 1786466827 28229632 5482 4294967295 134512640 135450776 3221224560 3221223376 134550509 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6892 5482 232 232 0 6660 0
[pid=16962] vsize: 27568
Current children cumulated CPU time (s) 218.67
Current children cumulated vsize (Kb) 27568

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) T 16961 16962 6872 0 -1 0 6211 0 0 0 22770 92 0 0 25 0 1 0 1786466827 28360704 5635 4294967295 134512640 135450776 3221224560 3221223420 135126769 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6924 5635 232 232 0 6692 0
[pid=16962] vsize: 27696
Current children cumulated CPU time (s) 228.62
Current children cumulated vsize (Kb) 27696

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6401 0 0 0 23764 94 0 0 25 0 1 0 1786466827 28598272 5825 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6982 5825 232 232 0 6750 0
[pid=16962] vsize: 27928
Current children cumulated CPU time (s) 238.58
Current children cumulated vsize (Kb) 27928

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6527 0 0 0 24757 97 0 0 25 0 1 0 1786466827 28598272 5951 4294967295 134512640 135450776 3221224560 3221223376 134550480 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6982 5951 232 232 0 6750 0
[pid=16962] vsize: 27928
Current children cumulated CPU time (s) 248.54
Current children cumulated vsize (Kb) 27928

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6534 0 0 0 25752 99 0 0 25 0 1 0 1786466827 28598272 5958 4294967295 134512640 135450776 3221224560 3221223376 134550469 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6982 5958 232 232 0 6750 0
[pid=16962] vsize: 27928
Current children cumulated CPU time (s) 258.51
Current children cumulated vsize (Kb) 27928

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6541 0 0 0 26745 101 0 0 25 0 1 0 1786466827 28598272 5965 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6982 5965 232 232 0 6750 0
[pid=16962] vsize: 27928
Current children cumulated CPU time (s) 268.46
Current children cumulated vsize (Kb) 27928

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6553 0 0 0 27738 103 0 0 25 0 1 0 1786466827 28598272 5977 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6982 5977 232 232 0 6750 0
[pid=16962] vsize: 27928
Current children cumulated CPU time (s) 278.41
Current children cumulated vsize (Kb) 27928

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6561 0 0 0 28731 107 0 0 25 0 1 0 1786466827 28598272 5985 4294967295 134512640 135450776 3221224560 3221223280 134539370 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 6982 5985 232 232 0 6750 0
[pid=16962] vsize: 27928
Current children cumulated CPU time (s) 288.38
Current children cumulated vsize (Kb) 27928

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6634 0 0 0 29723 111 0 0 25 0 1 0 1786466827 28930048 6058 4294967295 134512640 135450776 3221224560 3221223280 134538907 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 7063 6058 232 232 0 6831 0
[pid=16962] vsize: 28252
Current children cumulated CPU time (s) 298.34
Current children cumulated vsize (Kb) 28252

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6641 0 0 0 30716 114 0 0 25 0 1 0 1786466827 28930048 6065 4294967295 134512640 135450776 3221224560 3221223376 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 7063 6065 232 232 0 6831 0
[pid=16962] vsize: 28252
Current children cumulated CPU time (s) 308.3
Current children cumulated vsize (Kb) 28252

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6648 0 0 0 31708 117 0 0 25 0 1 0 1786466827 28930048 6072 4294967295 134512640 135450776 3221224560 3221223376 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16962/statm): 7063 6072 232 232 0 6831 0
[pid=16962] vsize: 28252
Current children cumulated CPU time (s) 318.25
Current children cumulated vsize (Kb) 28252

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6655 0 0 0 32698 120 0 0 25 0 1 0 1786466827 28930048 6079 4294967295 134512640 135450776 3221224560 3221223280 134539347 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 7063 6079 232 232 0 6831 0
[pid=16962] vsize: 28252
Current children cumulated CPU time (s) 328.18
Current children cumulated vsize (Kb) 28252

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16962
Raw data (/proc/16962/stat): 16962 (PBS4) R 16961 16962 6872 0 -1 0 6662 0 0 0 33690 123 0 0 25 0 1 0 1786466827 28930048 6086 4294967295 134512640 135450776 3221224560 3221223376 134550466 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16962/statm): 7063 6086 232 232 0 6831 0
[pid=16962] vsize: 28252
Current children cumulated CPU time (s) 338.13
Current children cumulated vsize (Kb) 28252
One traced child (pid=16962) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 347.377
CPU time (s): 345.463
CPU user time (s): 344.189
CPU system time (s): 1.27481
CPU usage (%): 99.4492
Max. virtual memory (cumulated for all children) (Kb): 28252

Verifier Data

ERROR: no interpretation found !