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/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
MD5SUMda2667b4c8b643a355efc1f418e48913
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9663726592
Optimality of the best value was proved YES
Number of terms in the objective function 56
Biggest coefficient in the objective function 9663676416
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 19327377394
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 9663676416
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 19327377394
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark0.096985
Number of variables56
Total number of constraints5
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 constraints5
Minimum length of a constraint12
Maximum length of a constraint44

Trace number 5020

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-19 22:03:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=784 boxname=wulflinc13 idbench=784 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  da2667b4c8b643a355efc1f418e48913  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-testprob.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-testprob.opb
IDLAUNCH: 784
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        917556 kB
Buffers:         22408 kB
Cached:          68284 kB
SwapCached:        700 kB
Active:          24460 kB
Inactive:        68776 kB
HighTotal:      131008 kB
HighFree:        58800 kB
LowTotal:       903652 kB
LowFree:        858756 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            18064 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 22:13:29 (client local time) WITH STATUS 0 IN 606.949 SECONDS
stats: 784 0 606.949 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 56 variables and 6 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.045
c After prepocess the problem consists of 39 variables and 6 constraints.
c Initial Lower Bound: 9663676416
c Restart #1 #Var: 39 #Dec: 390 LB: 9663676416 @ 0.109
c Restart #2 #Var: 39 #Dec: 1202 LB: 9663676416 @ 0.244
c Restart #3 #Var: 39 #Dec: 2427 LB: 9663676416 @ 0.462
c Restart #4 #Var: 39 #Dec: 4062 LB: 9663676416 @ 0.76
c Restart #5 #Var: 39 #Dec: 6090 LB: 9663676416 @ 1.131
c Restart #6 #Var: 39 #Dec: 8464 LB: 9663676416 @ 1.599
c Restart #7 #Var: 39 #Dec: 10670 LB: 9663676416 @ 2.157
c Restart #8 #Var: 39 #Dec: 12469 LB: 9663676416 @ 2.812
c Restart #9 #Var: 39 #Dec: 14280 LB: 9663676416 @ 3.546
c NEW SOLUTION FOUND: 9663751169 @ 3.576 @ #Dec. 14283
c NEW SOLUTION FOUND: 9663751168 @ 3.579 @ #Dec. 14294
c Restart #10 #Var: 36 #Dec: 16303 LB: 9663713280 @ 4.58
c Restart #11 #Var: 36 #Dec: 18516 LB: 9663713280 @ 5.631
c Restart #12 #Var: 36 #Dec: 20925 LB: 9663713280 @ 6.87
c Restart #13 #Var: 36 #Dec: 23536 LB: 9663713280 @ 8.171
c CHANGE to MIS mode... 	UB: 9663751168	MIS: 9663713283	LPR: -2147483648 (0)	Diff: -4.5
c Restart #0 #Var: 36 #Dec: 26349 LB: 9663713280 @ 9.582
c Restart #1 #Var: 36 #Dec: 26565 LB: 9663713283 @ 9.791
c Restart #2 #Var: 36 #Dec: 26979 LB: 9663713283 @ 10.07
c Restart #3 #Var: 36 #Dec: 27591 LB: 9663713283 @ 10.533
c Restart #4 #Var: 36 #Dec: 28402 LB: 9663713283 @ 11.017
c Restart #5 #Var: 36 #Dec: 29416 LB: 9663713283 @ 11.632
c Restart #6 #Var: 36 #Dec: 30627 LB: 9663713283 @ 12.271
c Restart #7 #Var: 36 #Dec: 32039 LB: 9663713283 @ 13.027
c Restart #8 #Var: 36 #Dec: 33651 LB: 9663713283 @ 13.949
c Restart #9 #Var: 36 #Dec: 35463 LB: 9663713283 @ 15.096
c Restart #10 #Var: 36 #Dec: 37476 LB: 9663713283 @ 16.318
c Restart #11 #Var: 36 #Dec: 39687 LB: 9663713283 @ 17.508
c Restart #12 #Var: 36 #Dec: 42101 LB: 9663713283 @ 19.019
c NEW SOLUTION FOUND: 9663744586 @ 19.985 @ #Dec. 43690
c NEW SOLUTION FOUND: 9663744330 @ 19.985 @ #Dec. 43691
c NEW SOLUTION FOUND: 9663744202 @ 19.986 @ #Dec. 43693
c NEW SOLUTION FOUND: 9663744170 @ 19.988 @ #Dec. 43699
c NEW SOLUTION FOUND: 9663744154 @ 19.989 @ #Dec. 43706
c NEW SOLUTION FOUND: 9663744150 @ 19.993 @ #Dec. 43726
c NEW SOLUTION FOUND: 9663744148 @ 19.997 @ #Dec. 43741
c NEW SOLUTION FOUND: 9663732299 @ 20.013 @ #Dec. 43790
c NEW SOLUTION FOUND: 9663732100 @ 20.015 @ #Dec. 43798
c NEW SOLUTION FOUND: 9663731972 @ 20.015 @ #Dec. 43799
c NEW SOLUTION FOUND: 9663731908 @ 20.015 @ #Dec. 43799
c NEW SOLUTION FOUND: 9663731876 @ 20.016 @ #Dec. 43801
c NEW SOLUTION FOUND: 9663731860 @ 20.016 @ #Dec. 43804
c NEW SOLUTION FOUND: 9663728971 @ 20.054 @ #Dec. 43916
c NEW SOLUTION FOUND: 9663728836 @ 20.06 @ #Dec. 43931
c NEW SOLUTION FOUND: 9663728804 @ 20.061 @ #Dec. 43932
c NEW SOLUTION FOUND: 9663728788 @ 20.061 @ #Dec. 43934
c NEW SOLUTION FOUND: 9663728763 @ 20.242 @ #Dec. 44242
c NEW SOLUTION FOUND: 9663728675 @ 20.245 @ #Dec. 44252
c NEW SOLUTION FOUND: 9663728611 @ 20.246 @ #Dec. 44252
c NEW SOLUTION FOUND: 9663728599 @ 20.246 @ #Dec. 44252
c NEW SOLUTION FOUND: 9663728598 @ 20.249 @ #Dec. 44260
c NEW SOLUTION FOUND: 9663728596 @ 20.25 @ #Dec. 44261
c NEW SOLUTION FOUND: 9663727275 @ 20.546 @ #Dec. 44770
c NEW SOLUTION FOUND: 9663727259 @ 20.547 @ #Dec. 44773
c NEW SOLUTION FOUND: 9663727255 @ 20.548 @ #Dec. 44775
c NEW SOLUTION FOUND: 9663727253 @ 20.549 @ #Dec. 44776
c NEW SOLUTION FOUND: 9663727252 @ 20.549 @ #Dec. 44776
c NEW SOLUTION FOUND: 9663727099 @ 20.694 @ #Dec. 45060
c NEW SOLUTION FOUND: 9663727067 @ 20.696 @ #Dec. 45064
c NEW SOLUTION FOUND: 9663727063 @ 20.697 @ #Dec. 45066
c NEW SOLUTION FOUND: 9663727060 @ 20.697 @ #Dec. 45067
c Restart #13 #Var: 36 #Dec: 47662 LB: 9663713283 @ 22.415
c Restart #14 #Var: 36 #Dec: 50473 LB: 9663713283 @ 24.121
c Restart #15 #Var: 36 #Dec: 53485 LB: 9663713283 @ 26.135
c Restart #16 #Var: 36 #Dec: 56696 LB: 9663713283 @ 28.178
c Restart #17 #Var: 36 #Dec: 60111 LB: 9663713283 @ 30.631
c Restart #18 #Var: 36 #Dec: 63721 LB: 9663713283 @ 33.14
c Restart #19 #Var: 36 #Dec: 67529 LB: 9663713283 @ 35.87
c Restart #20 #Var: 36 #Dec: 71542 LB: 9663713283 @ 38.603
c Restart #21 #Var: 36 #Dec: 75755 LB: 9663713283 @ 41.852
c Restart #22 #Var: 36 #Dec: 80166 LB: 9663713283 @ 45.239
c Restart #23 #Var: 36 #Dec: 84778 LB: 9663713283 @ 48.786
c Restart #24 #Var: 36 #Dec: 89587 LB: 9663713283 @ 52.663
c Restart #25 #Var: 36 #Dec: 94602 LB: 9663713283 @ 56.286
c Restart #26 #Var: 36 #Dec: 99816 LB: 9663713283 @ 60.844
c Restart #27 #Var: 36 #Dec: 105225 LB: 9663713283 @ 64.288
c Restart #28 #Var: 36 #Dec: 110835 LB: 9663713283 @ 68.658
c Restart #29 #Var: 36 #Dec: 116646 LB: 9663713283 @ 72.896
c Restart #30 #Var: 36 #Dec: 122659 LB: 9663713283 @ 78.061
c NEW SOLUTION FOUND: 9663726782 @ 78.997 @ #Dec. 123431
c NEW SOLUTION FOUND: 9663726780 @ 78.997 @ #Dec. 123431
c NEW SOLUTION FOUND: 9663726779 @ 78.997 @ #Dec. 123432
c NEW SOLUTION FOUND: 9663726775 @ 78.998 @ #Dec. 123435
c NEW SOLUTION FOUND: 9663726773 @ 78.998 @ #Dec. 123436
c NEW SOLUTION FOUND: 9663726772 @ 78.999 @ #Dec. 123436
c NEW SOLUTION FOUND: 9663726683 @ 80.455 @ #Dec. 125537
c NEW SOLUTION FOUND: 9663726679 @ 80.456 @ #Dec. 125539
c NEW SOLUTION FOUND: 9663726677 @ 80.456 @ #Dec. 125540
c NEW SOLUTION FOUND: 9663726676 @ 80.456 @ #Dec. 125540
c Restart #31 #Var: 36 #Dec: 131739 LB: 9663713283 @ 85.438
c Restart #32 #Var: 36 #Dec: 138152 LB: 9663713283 @ 90.41
c NEW SOLUTION FOUND: 9663726653 @ 95.823 @ #Dec. 144747
c NEW SOLUTION FOUND: 9663726652 @ 95.823 @ #Dec. 144747
c Restart #33 #Var: 36 #Dec: 151345 LB: 9663713283 @ 100.84
c Restart #34 #Var: 36 #Dec: 158155 LB: 9663713283 @ 107.73
c Restart #35 #Var: 36 #Dec: 165168 LB: 9663713283 @ 113.25
c Restart #36 #Var: 36 #Dec: 172377 LB: 9663713283 @ 120.63
c NEW SOLUTION FOUND: 9663726592 @ 123.68 @ #Dec. 176175
c Restart #37 #Var: 36 #Dec: 183576 LB: 9663713283 @ 130.27
c Restart #38 #Var: 36 #Dec: 191190 LB: 9663713283 @ 137.99
c Restart #39 #Var: 36 #Dec: 199001 LB: 9663713283 @ 145.84
c Restart #40 #Var: 36 #Dec: 207010 LB: 9663713283 @ 154.45
c Restart #41 #Var: 36 #Dec: 215221 LB: 9663713283 @ 162.97
c Restart #42 #Var: 36 #Dec: 223628 LB: 9663713283 @ 171.71
c Restart #43 #Var: 36 #Dec: 232235 LB: 9663713283 @ 179.87
c Restart #44 #Var: 36 #Dec: 241046 LB: 9663713283 @ 188.7
c Restart #45 #Var: 36 #Dec: 250054 LB: 9663713283 @ 198.14
c Restart #46 #Var: 36 #Dec: 259262 LB: 9663713283 @ 206.34
c Restart #47 #Var: 36 #Dec: 268672 LB: 9663713283 @ 215.49
c Restart #48 #Var: 36 #Dec: 278282 LB: 9663713283 @ 224.75
c Restart #49 #Var: 36 #Dec: 288091 LB: 9663713283 @ 236.19
c Restart #50 #Var: 36 #Dec: 298098 LB: 9663713283 @ 246.83
c Restart #51 #Var: 36 #Dec: 308310 LB: 9663713283 @ 258
c Restart #52 #Var: 36 #Dec: 318721 LB: 9663713283 @ 269.78
c Restart #53 #Var: 36 #Dec: 329333 LB: 9663713283 @ 281.48
c Restart #54 #Var: 36 #Dec: 340143 LB: 9663713283 @ 292.87
c Restart #55 #Var: 36 #Dec: 351153 LB: 9663713283 @ 304.25
c Restart #56 #Var: 36 #Dec: 362365 LB: 9663713283 @ 316.55
c Restart #57 #Var: 36 #Dec: 373779 LB: 9663713283 @ 330.38
c Restart #58 #Var: 36 #Dec: 385390 LB: 9663713283 @ 343.76
c Restart #59 #Var: 36 #Dec: 397198 LB: 9663713283 @ 358.29
c Restart #60 #Var: 36 #Dec: 409206 LB: 9663713283 @ 372.24
c Restart #61 #Var: 36 #Dec: 421416 LB: 9663713283 @ 387.13
c Restart #62 #Var: 36 #Dec: 433826 LB: 9663713283 @ 403.44
c Restart #63 #Var: 36 #Dec: 446436 LB: 9663713283 @ 420.08
c Restart #64 #Var: 36 #Dec: 459249 LB: 9663713283 @ 436.07
c Restart #65 #Var: 36 #Dec: 472263 LB: 9663713283 @ 451.9
c Restart #66 #Var: 36 #Dec: 485471 LB: 9663713283 @ 467.31
c Restart #67 #Var: 36 #Dec: 498881 LB: 9663713283 @ 483.28
c Restart #68 #Var: 36 #Dec: 512493 LB: 9663713283 @ 500.22
c Restart #69 #Var: 36 #Dec: 526301 LB: 9663713283 @ 515.63
c Restart #70 #Var: 36 #Dec: 540313 LB: 9663713283 @ 533.98
c Restart #71 #Var: 36 #Dec: 554525 LB: 9663713283 @ 551.38
c Restart #72 #Var: 36 #Dec: 568934 LB: 9663713283 @ 573.78
c Restart #73 #Var: 36 #Dec: 583547 LB: 9663713283 @ 592.4
c Caught signal: 15
s SATISFIABLE
v -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 X1_bit2 -X2_bit_10 -X2_bit_9 -X2_bit_8 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 X3_bit0 -X3_bit1 X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 X3_bit20 
c Cost: 9663726592
c Exit Code: 10

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/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795137183 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 107 3 90 68 0 39 0
[pid=14866] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-testprob.opb

[startup+10.0033 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 8267 0 0 0 855 63 0 0 25 0 1 0 1795137183 36966400 8168 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 9025 8168 1116 68 0 8957 0
[pid=14866] vsize: 36100
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (Kb) 36100

[startup+20.0039 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 14419 0 0 0 1756 107 0 0 25 0 1 0 1795137183 62595072 14307 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/14866/statm): 15282 14307 1116 68 0 15214 0
[pid=14866] vsize: 61128
Current children cumulated CPU time (s) 18.63
Current children cumulated vsize (Kb) 61128

[startup+30.0045 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 20395 0 0 0 2663 149 0 0 20 0 1 0 1795137183 86474752 20152 4294967295 134512640 134736556 3221224560 3221223280 134529509 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/14866/statm): 21112 20152 1116 68 0 21044 0
[pid=14866] vsize: 84448
Current children cumulated CPU time (s) 28.12
Current children cumulated vsize (Kb) 84448

[startup+40.0042 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 25508 0 0 0 3576 187 0 0 25 0 1 0 1795137183 107745280 25244 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 26305 25244 1116 68 0 26237 0
[pid=14866] vsize: 105220
Current children cumulated CPU time (s) 37.63
Current children cumulated vsize (Kb) 105220

[startup+50.0038 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 30259 0 0 0 4497 221 0 0 25 0 1 0 1795137183 127262720 29983 4294967295 134512640 134736556 3221224560 3221223152 134551094 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 31070 29983 1116 68 0 31002 0
[pid=14866] vsize: 124280
Current children cumulated CPU time (s) 47.18
Current children cumulated vsize (Kb) 124280

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 35380 0 0 0 5417 258 0 0 25 0 1 0 1795137183 147206144 34850 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/14866/statm): 35939 34850 1116 68 0 35871 0
[pid=14866] vsize: 143756
Current children cumulated CPU time (s) 56.75
Current children cumulated vsize (Kb) 143756

[startup+70.0051 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 40337 0 0 0 6339 294 0 0 25 0 1 0 1795137183 167350272 39716 4294967295 134512640 134736556 3221224560 3221223272 134554113 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 40857 39716 1116 68 0 40789 0
[pid=14866] vsize: 163428
Current children cumulated CPU time (s) 66.33
Current children cumulated vsize (Kb) 163428

[startup+80.0068 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 45283 0 0 0 7262 328 0 0 25 0 1 0 1795137183 187781120 44563 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/14866/statm): 45845 44563 1116 68 0 45777 0
[pid=14866] vsize: 183380
Current children cumulated CPU time (s) 75.9
Current children cumulated vsize (Kb) 183380

[startup+90.0075 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 49656 0 0 0 8195 355 0 0 25 0 1 0 1795137183 205410304 48854 4294967295 134512640 134736556 3221224560 3221223116 134536351 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 50149 48854 1116 68 0 50081 0
[pid=14866] vsize: 200596
Current children cumulated CPU time (s) 85.5
Current children cumulated vsize (Kb) 200596

[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 54306 0 0 0 9122 388 0 0 25 0 1 0 1795137183 224407552 53415 4294967295 134512640 134736556 3221224560 3221223200 134553314 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 54787 53415 1116 68 0 54719 0
[pid=14866] vsize: 219148
Current children cumulated CPU time (s) 95.1
Current children cumulated vsize (Kb) 219148

[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 58692 0 0 0 10051 421 0 0 25 0 1 0 1795137183 242237440 57716 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 59140 57716 1116 68 0 59072 0
[pid=14866] vsize: 236560
Current children cumulated CPU time (s) 104.72
Current children cumulated vsize (Kb) 236560

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 62714 0 0 0 10990 449 0 0 25 0 1 0 1795137183 258580480 61734 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 63130 61734 1116 68 0 63062 0
[pid=14866] vsize: 252520
Current children cumulated CPU time (s) 114.39
Current children cumulated vsize (Kb) 252520

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 68029 0 0 0 11922 481 0 0 25 0 1 0 1795137183 278224896 66464 4294967295 134512640 134736556 3221224560 3221223152 134551105 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 67926 66464 1116 68 0 67858 0
[pid=14866] vsize: 271704
Current children cumulated CPU time (s) 124.03
Current children cumulated vsize (Kb) 271704

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 72079 0 0 0 12862 509 0 0 25 0 1 0 1795137183 294596608 70351 4294967295 134512640 134736556 3221224560 3221223088 134716605 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 71923 70351 1116 68 0 71855 0
[pid=14866] vsize: 287692
Current children cumulated CPU time (s) 133.71
Current children cumulated vsize (Kb) 287692

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 75727 0 0 0 13804 535 0 0 25 0 1 0 1795137183 309465088 73999 4294967295 134512640 134736556 3221224560 3221223280 134529206 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/14866/statm): 75553 73999 1116 68 0 75485 0
[pid=14866] vsize: 302212
Current children cumulated CPU time (s) 143.39
Current children cumulated vsize (Kb) 302212

[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 79329 0 0 0 14745 561 0 0 25 0 1 0 1795137183 323850240 77519 4294967295 134512640 134736556 3221224560 3221223208 134554078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 79065 77519 1116 68 0 78997 0
[pid=14866] vsize: 316260
Current children cumulated CPU time (s) 153.06
Current children cumulated vsize (Kb) 316260

[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 83046 0 0 0 15689 588 0 0 25 0 1 0 1795137183 338698240 81074 4294967295 134512640 134736556 3221224560 3221223280 134529494 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 82690 81074 1116 68 0 82622 0
[pid=14866] vsize: 330760
Current children cumulated CPU time (s) 162.77
Current children cumulated vsize (Kb) 330760

[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 86753 0 0 0 16635 615 0 0 25 0 1 0 1795137183 353378304 84372 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 86274 84372 1116 68 0 86206 0
[pid=14866] vsize: 345096
Current children cumulated CPU time (s) 172.5
Current children cumulated vsize (Kb) 345096

[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 90671 0 0 0 17572 643 0 0 25 0 1 0 1795137183 369336320 88290 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/14866/statm): 90170 88290 1116 68 0 90102 0
[pid=14866] vsize: 360680
Current children cumulated CPU time (s) 182.15
Current children cumulated vsize (Kb) 360680

[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 94494 0 0 0 18512 670 0 0 25 0 1 0 1795137183 384606208 91950 4294967295 134512640 134736556 3221224560 3221223252 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 93898 91950 1116 68 0 93830 0
[pid=14866] vsize: 375592
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (Kb) 375592

[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 98538 0 0 0 19445 702 0 0 25 0 1 0 1795137183 401014784 95831 4294967295 134512640 134736556 3221224560 3221223208 134537289 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 97904 95831 1116 68 0 97836 0
[pid=14866] vsize: 391616
Current children cumulated CPU time (s) 201.47
Current children cumulated vsize (Kb) 391616

[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 102407 0 0 0 20378 733 0 0 25 0 1 0 1795137183 416894976 99699 4294967295 134512640 134736556 3221224560 3221223280 134529475 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 101781 99699 1116 68 0 101713 0
[pid=14866] vsize: 407124
Current children cumulated CPU time (s) 211.11
Current children cumulated vsize (Kb) 407124

[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 106357 0 0 0 21317 762 0 0 17 0 1 0 1795137183 432721920 103483 4294967295 134512640 134736556 3221224560 3221223168 134537370 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/14866/statm): 105645 103483 1116 68 0 105577 0
[pid=14866] vsize: 422580
Current children cumulated CPU time (s) 220.79
Current children cumulated vsize (Kb) 422580

[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 109972 0 0 0 22260 787 0 0 25 0 1 0 1795137183 447455232 107098 4294967295 134512640 134736556 3221224560 3221223284 134529202 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 109242 107098 1116 68 0 109174 0
[pid=14866] vsize: 436968
Current children cumulated CPU time (s) 230.47
Current children cumulated vsize (Kb) 436968

[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 113061 0 0 0 23215 809 0 0 25 0 1 0 1795137183 459800576 110016 4294967295 134512640 134736556 3221224560 3221223264 134528656 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 112256 110016 1116 68 0 112188 0
[pid=14866] vsize: 449024
Current children cumulated CPU time (s) 240.24
Current children cumulated vsize (Kb) 449024

[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 116899 0 0 0 24156 835 0 0 25 0 1 0 1795137183 475283456 113651 4294967295 134512640 134736556 3221224560 3221223200 1076647572 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 116036 113651 1116 68 0 115968 0
[pid=14866] vsize: 464144
Current children cumulated CPU time (s) 249.91
Current children cumulated vsize (Kb) 464144

[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 119941 0 0 0 25108 857 0 0 25 0 1 0 1795137183 487583744 116693 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/14866/statm): 119039 116693 1116 68 0 118971 0
[pid=14866] vsize: 476156
Current children cumulated CPU time (s) 259.65
Current children cumulated vsize (Kb) 476156

[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 123704 0 0 0 26048 887 0 0 23 0 1 0 1795137183 502996992 120456 4294967295 134512640 134736556 3221224560 3221223220 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 122802 120456 1116 68 0 122734 0
[pid=14866] vsize: 491208
Current children cumulated CPU time (s) 269.35
Current children cumulated vsize (Kb) 491208

[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 127401 0 0 0 26988 916 0 0 25 0 1 0 1795137183 517734400 124153 4294967295 134512640 134736556 3221224560 3221223184 134537320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 126400 124153 1116 68 0 126332 0
[pid=14866] vsize: 505600
Current children cumulated CPU time (s) 279.04
Current children cumulated vsize (Kb) 505600

[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 130415 0 0 0 27939 938 0 0 25 0 1 0 1795137183 530038784 127167 4294967295 134512640 134736556 3221224560 3221223056 134543910 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 129404 127167 1116 68 0 129336 0
[pid=14866] vsize: 517616
Current children cumulated CPU time (s) 288.77
Current children cumulated vsize (Kb) 517616

[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 136215 0 0 0 28878 967 0 0 25 0 1 0 1795137183 549310464 131658 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 134109 131658 1116 68 0 134041 0
[pid=14866] vsize: 536436
Current children cumulated CPU time (s) 298.45
Current children cumulated vsize (Kb) 536436

[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 139623 0 0 0 29822 991 0 0 25 0 1 0 1795137183 563101696 135066 4294967295 134512640 134736556 3221224560 3221223384 134602653 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 137476 135066 1116 68 0 137408 0
[pid=14866] vsize: 549904
Current children cumulated CPU time (s) 308.13
Current children cumulated vsize (Kb) 549904

[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 142592 0 0 0 30778 1011 0 0 25 0 1 0 1795137183 575135744 138035 4294967295 134512640 134736556 3221224560 3221223104 134551121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 140414 138035 1116 68 0 140346 0
[pid=14866] vsize: 561656
Current children cumulated CPU time (s) 317.89
Current children cumulated vsize (Kb) 561656

[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 146220 0 0 0 31721 1037 0 0 25 0 1 0 1795137183 589873152 141663 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 144012 141663 1116 68 0 143944 0
[pid=14866] vsize: 576048
Current children cumulated CPU time (s) 327.58
Current children cumulated vsize (Kb) 576048

[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 149180 0 0 0 32673 1059 0 0 25 0 1 0 1795137183 601497600 144623 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/14866/statm): 146850 144623 1116 68 0 146782 0
[pid=14866] vsize: 587400
Current children cumulated CPU time (s) 337.32
Current children cumulated vsize (Kb) 587400

[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 151992 0 0 0 33631 1077 0 0 25 0 1 0 1795137183 612720640 147435 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 149590 147435 1116 68 0 149522 0
[pid=14866] vsize: 598360
Current children cumulated CPU time (s) 347.08
Current children cumulated vsize (Kb) 598360

[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 155534 0 0 0 34574 1102 0 0 25 0 1 0 1795137183 627183616 150977 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 153121 150977 1116 68 0 153053 0
[pid=14866] vsize: 612484
Current children cumulated CPU time (s) 356.76
Current children cumulated vsize (Kb) 612484

[startup+380.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 158506 0 0 0 35529 1120 0 0 25 0 1 0 1795137183 639139840 153867 4294967295 134512640 134736556 3221224560 3221223136 134716087 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 156040 153867 1116 68 0 155972 0
[pid=14866] vsize: 624160
Current children cumulated CPU time (s) 366.49
Current children cumulated vsize (Kb) 624160

[startup+390.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 161627 0 0 0 36483 1141 0 0 25 0 1 0 1795137183 651534336 156666 4294967295 134512640 134736556 3221224560 3221223256 134554000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 159066 156666 1116 68 0 158998 0
[pid=14866] vsize: 636264
Current children cumulated CPU time (s) 376.24
Current children cumulated vsize (Kb) 636264

[startup+400.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 165333 0 0 0 37421 1169 0 0 25 0 1 0 1795137183 666681344 160372 4294967295 134512640 134736556 3221224560 3221223276 134554112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 162764 160372 1116 68 0 162696 0
[pid=14866] vsize: 651056
Current children cumulated CPU time (s) 385.9
Current children cumulated vsize (Kb) 651056

[startup+410.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 167879 0 0 0 38381 1187 0 0 25 0 1 0 1795137183 676798464 162756 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 165234 162756 1116 68 0 165166 0
[pid=14866] vsize: 660936
Current children cumulated CPU time (s) 395.68
Current children cumulated vsize (Kb) 660936

[startup+420.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 170987 0 0 0 39336 1208 0 0 25 0 1 0 1795137183 689049600 165451 4294967295 134512640 134736556 3221224560 3221223284 134529474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 168225 165451 1116 68 0 168157 0
[pid=14866] vsize: 672900
Current children cumulated CPU time (s) 405.44
Current children cumulated vsize (Kb) 672900

[startup+430.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 174582 0 0 0 40278 1233 0 0 25 0 1 0 1795137183 703705088 168964 4294967295 134512640 134736556 3221224560 3221223192 134554109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 171803 168964 1116 68 0 171735 0
[pid=14866] vsize: 687212
Current children cumulated CPU time (s) 415.11
Current children cumulated vsize (Kb) 687212

[startup+440.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 176928 0 0 0 41242 1249 0 0 25 0 1 0 1795137183 712626176 171310 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 173981 171310 1116 68 0 173913 0
[pid=14866] vsize: 695924
Current children cumulated CPU time (s) 424.91
Current children cumulated vsize (Kb) 695924

[startup+450.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 180539 0 0 0 42186 1273 0 0 25 0 1 0 1795137183 727281664 174839 4294967295 134512640 134736556 3221224560 3221223524 134582756 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 177559 174839 1116 68 0 177491 0
[pid=14866] vsize: 710236
Current children cumulated CPU time (s) 434.59
Current children cumulated vsize (Kb) 710236

[startup+460.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 183879 0 0 0 43144 1293 0 0 25 0 1 0 1795137183 740270080 177853 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 180730 177853 1116 68 0 180662 0
[pid=14866] vsize: 722920
Current children cumulated CPU time (s) 444.37
Current children cumulated vsize (Kb) 722920

[startup+470.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 186608 0 0 0 44102 1310 0 0 25 0 1 0 1795137183 751042560 180260 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/14866/statm): 183360 180260 1116 68 0 183292 0
[pid=14866] vsize: 733440
Current children cumulated CPU time (s) 454.12
Current children cumulated vsize (Kb) 733440

[startup+480.029 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 190328 0 0 0 45037 1338 0 0 25 0 1 0 1795137183 766181376 183980 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/14866/statm): 187056 183980 1116 68 0 186988 0
[pid=14866] vsize: 748224
Current children cumulated CPU time (s) 463.75
Current children cumulated vsize (Kb) 748224

[startup+490.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 193878 0 0 0 45987 1362 0 0 17 0 1 0 1795137183 779931648 187208 4294967295 134512640 134736556 3221224560 3221223136 134551126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/14866/statm): 190413 187208 1116 68 0 190345 0
[pid=14866] vsize: 761652
Current children cumulated CPU time (s) 473.49
Current children cumulated vsize (Kb) 761652

[startup+500.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 197319 0 0 0 46935 1383 0 0 25 0 1 0 1795137183 793681920 190327 4294967295 134512640 134736556 3221224560 3221223152 134537569 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 193770 190327 1116 68 0 193702 0
[pid=14866] vsize: 775080
Current children cumulated CPU time (s) 483.18
Current children cumulated vsize (Kb) 775080

[startup+510.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 200381 0 0 0 47884 1405 0 0 25 0 1 0 1795137183 806256640 193389 4294967295 134512640 134736556 3221224560 3221223152 134716146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 196840 193389 1116 68 0 196772 0
[pid=14866] vsize: 787360
Current children cumulated CPU time (s) 492.89
Current children cumulated vsize (Kb) 787360

[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 202789 0 0 0 48844 1421 0 0 18 0 1 0 1795137183 815583232 195797 4294967295 134512640 134736556 3221224560 3221223280 134529182 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/14866/statm): 199117 195797 1116 68 0 199049 0
[pid=14866] vsize: 796468
Current children cumulated CPU time (s) 502.65
Current children cumulated vsize (Kb) 796468

[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 206696 0 0 0 49780 1451 0 0 25 0 1 0 1795137183 831533056 199704 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 203011 199704 1116 68 0 202943 0
[pid=14866] vsize: 812044
Current children cumulated CPU time (s) 512.31
Current children cumulated vsize (Kb) 812044

[startup+540.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 209512 0 0 0 50734 1470 0 0 25 0 1 0 1795137183 842620928 202520 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 205718 202520 1116 68 0 205650 0
[pid=14866] vsize: 822872
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (Kb) 822872

[startup+550.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 213213 0 0 0 51676 1497 0 0 25 0 1 0 1795137183 857513984 205890 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 209354 205890 1116 68 0 209286 0
[pid=14866] vsize: 837416
Current children cumulated CPU time (s) 531.73
Current children cumulated vsize (Kb) 837416

[startup+560.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 215789 0 0 0 52637 1515 0 0 25 0 1 0 1795137183 868057088 208466 4294967295 134512640 134736556 3221224560 3221223336 134560326 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 211928 208466 1116 68 0 211860 0
[pid=14866] vsize: 847712
Current children cumulated CPU time (s) 541.52
Current children cumulated vsize (Kb) 847712

[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 218806 0 0 0 53587 1537 0 0 25 0 1 0 1795137183 880222208 211483 4294967295 134512640 134736556 3221224560 3221223148 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 214898 211483 1116 68 0 214830 0
[pid=14866] vsize: 859592
Current children cumulated CPU time (s) 551.24
Current children cumulated vsize (Kb) 859592

[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 221254 0 0 0 54550 1554 0 0 25 0 1 0 1795137183 889548800 213931 4294967295 134512640 134736556 3221224560 3221223116 134536684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 217175 213931 1116 68 0 217107 0
[pid=14866] vsize: 868700
Current children cumulated CPU time (s) 561.04
Current children cumulated vsize (Kb) 868700

[startup+590.031 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 224096 0 0 0 55506 1574 0 0 25 0 1 0 1795137183 900866048 216449 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/14866/statm): 219938 216449 1116 68 0 219870 0
[pid=14866] vsize: 879752
Current children cumulated CPU time (s) 570.8
Current children cumulated vsize (Kb) 879752

[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 226577 0 0 0 56465 1590 0 0 17 0 1 0 1795137183 910462976 218930 4294967295 134512640 134736556 3221224560 3221223296 134529360 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/14866/statm): 222281 218930 1116 68 0 222213 0
[pid=14866] vsize: 889124
Current children cumulated CPU time (s) 580.55
Current children cumulated vsize (Kb) 889124

[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 230096 0 0 0 57407 1616 0 0 25 0 1 0 1795137183 924930048 222449 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/14866/statm): 225813 222449 1116 68 0 225745 0
[pid=14866] vsize: 903252
Current children cumulated CPU time (s) 590.23
Current children cumulated vsize (Kb) 903252

[startup+620.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 232362 0 0 0 58371 1632 0 0 25 0 1 0 1795137183 934121472 224715 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/14866/statm): 228057 224715 1116 68 0 227989 0
[pid=14866] vsize: 912228
Current children cumulated CPU time (s) 600.03
Current children cumulated vsize (Kb) 912228



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+626.746 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 14866
Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 234690 0 0 0 59003 1649 0 0 25 0 1 0 1795137183 943722496 227043 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/14866/statm): 230401 227043 1116 68 0 230333 0
[pid=14866] vsize: 921604
Current children cumulated CPU time (s) 606.52
Current children cumulated vsize (Kb) 921604

Sending SIGTERM to -14866
Sleeping 2 seconds
Sending SIGKILL to -14866
One traced child (pid=14866) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 629.168
CPU time (s): 606.949
CPU user time (s): 590.04
CPU system time (s): 16.9084
CPU usage (%): 96.4685
Max. virtual memory (cumulated for all children) (Kb): 921604

Verifier Data

Verifier:	OK	9663726592