2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	26	244.817	240.021
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12803 MiB free)
  memory of node 1: 16384 MiB (12918 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282854-1503211009/watcher-4282854-1503211009 -o /tmp/evaluation-result-4282854-1503211009/solver-4282854-1503211009 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21036 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 418428188 HOME/instance-4282854-1503211009.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22337, runsolver pid=22334
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 1.28 1.56 1.51 3/217 22353
/proc/meminfo: memFree=26322064/32770624 swapFree=67108860/67108860
[pid=22337] ppid=22334 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22337/stat : 22337 (xcsp3-exec) S 22334 22337 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154188752 9740288 345 33554432000 4194304 5098028 140729500113744 140729500111848 139852631081596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23793664 140729500120181 140729500120384 140729500120384 140729500123115 0
/proc/22337/statm: 2378 345 289 221 0 87 0
[pid=22339] ppid=22337 vsize=13978596 memory=28352 CPUtime=0.12 cores=1,3,5,7
/proc/22339/stat : 22339 (java) S 22337 22337 21004 0 -1 1077944320 5458 0 0 0 11 1 0 0 20 0 15 0 154188752 14314082304 7088 33554432000 4194304 4196468 140726395559264 140726395541808 139730708631287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
/proc/22339/statm: 3494649 7088 2894 1 0 3482966 0
[pid=22339/tid=22340] ppid=22337 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/22339/task/22340/stat : 22340 (java) R 22337 22337 21004 0 -1 4202560 3400 0 0 0 8 1 0 0 20 0 15 0 154188752 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730712855088 139730708653213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22341] ppid=22337 vsize=13978596 memory=3472468617942029520 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22341/stat : 22341 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730661251856 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22342] ppid=22337 vsize=13978596 memory=140489046877824 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22342/stat : 22342 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730660199312 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22343] ppid=22337 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22343/stat : 22343 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730659146768 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22344] ppid=22337 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22344/stat : 22344 (java) S 22337 22337 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188753 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730658094224 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22345] ppid=22337 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22345/stat : 22345 (java) S 22337 22337 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188754 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730182195184 139730708642434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22346] ppid=22337 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22346/stat : 22346 (java) S 22337 22337 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188755 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730181141408 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22347] ppid=22337 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22347/stat : 22347 (java) S 22337 22337 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154188755 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730180088816 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22348] ppid=22337 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22348/stat : 22348 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730179037392 139730708649883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22349] ppid=22337 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22349/stat : 22349 (java) S 22337 22337 21004 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 154188757 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730177985008 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22350] ppid=22337 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22350/stat : 22350 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188757 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730176932464 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22351] ppid=22337 vsize=13978596 memory=140489046877824 CPUtime=0.01 cores=1,3,5,7
/proc/22339/task/22351/stat : 22351 (java) S 22337 22337 21004 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 154188757 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730175879920 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22352] ppid=22337 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22352/stat : 22352 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730174827616 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22353] ppid=22337 vsize=13978596 memory=140489046877824 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22353/stat : 22353 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188758 14314082304 7088 33554432000 4194304 4196468 140726395559264 139730173774128 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29732 KiB

[startup+0.211952 s]*
/proc/loadavg: 1.28 1.56 1.51 3/217 22353
/proc/meminfo: memFree=26309900/32770624 swapFree=67108860/67108860
[pid=22337] ppid=22334 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22337/stat : 22337 (xcsp3-exec) S 22334 22337 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154188752 9740288 345 33554432000 4194304 5098028 140729500113744 140729500111848 139852631081596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23793664 140729500120181 140729500120384 140729500120384 140729500123115 0
/proc/22337/statm: 2378 345 289 221 0 87 0
[pid=22339] ppid=22337 vsize=13982852 memory=40660 CPUtime=0.34 cores=1,3,5,7
/proc/22339/stat : 22339 (java) S 22337 22337 21004 0 -1 1077944320 8311 0 0 0 31 3 0 0 20 0 15 0 154188752 14318440448 10165 33554432000 4194304 4196468 140726395559264 140726395541808 139730708631287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
/proc/22339/statm: 3495713 10165 3053 1 0 3482966 0
[pid=22339/tid=22340] ppid=22337 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/22339/task/22340/stat : 22340 (java) R 22337 22337 21004 0 -1 4202560 5404 0 0 0 18 1 0 0 20 0 15 0 154188752 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730712853312 139730692711774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22341] ppid=22337 vsize=13982852 memory=3472468617942029520 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22341/stat : 22341 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730661251856 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22342] ppid=22337 vsize=13982852 memory=140489046877824 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22342/stat : 22342 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730660199312 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22343] ppid=22337 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22343/stat : 22343 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730659146768 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22344] ppid=22337 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22344/stat : 22344 (java) S 22337 22337 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188753 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730658094224 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22345] ppid=22337 vsize=13982852 memory=140489046877824 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22345/stat : 22345 (java) S 22337 22337 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188754 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730182195184 139730708642434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22346] ppid=22337 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22346/stat : 22346 (java) S 22337 22337 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188755 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730181141408 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22347] ppid=22337 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22347/stat : 22347 (java) S 22337 22337 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154188755 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730180088816 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22348] ppid=22337 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22348/stat : 22348 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730179037392 139730708649883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22349] ppid=22337 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22339/task/22349/stat : 22349 (java) S 22337 22337 21004 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 15 0 154188757 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730177985008 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22350] ppid=22337 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22339/task/22350/stat : 22350 (java) S 22337 22337 21004 0 -1 1077944384 310 0 0 0 2 0 0 0 20 0 15 0 154188757 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730176932464 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22351] ppid=22337 vsize=13982852 memory=140489046877824 CPUtime=0.08 cores=1,3,5,7
/proc/22339/task/22351/stat : 22351 (java) S 22337 22337 21004 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 154188757 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730175879920 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22352] ppid=22337 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22352/stat : 22352 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730174827616 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22353] ppid=22337 vsize=13982852 memory=140489046877824 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22353/stat : 22353 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188758 14318440448 10165 33554432000 4194304 4196468 140726395559264 139730173774128 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42040 KiB

[startup+0.310767 s]*
/proc/loadavg: 1.28 1.56 1.51 5/217 22353
/proc/meminfo: memFree=26303172/32770624 swapFree=67108860/67108860
[pid=22337] ppid=22334 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22337/stat : 22337 (xcsp3-exec) S 22334 22337 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154188752 9740288 345 33554432000 4194304 5098028 140729500113744 140729500111848 139852631081596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23793664 140729500120181 140729500120384 140729500120384 140729500123115 0
/proc/22337/statm: 2378 345 289 221 0 87 0
[pid=22339] ppid=22337 vsize=13982852 memory=47540 CPUtime=0.52 cores=1,3,5,7
/proc/22339/stat : 22339 (java) S 22337 22337 21004 0 -1 1077944320 9055 0 0 0 49 3 0 0 20 0 15 0 154188752 14318440448 11885 33554432000 4194304 4196468 140726395559264 140726395541808 139730708631287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
/proc/22339/statm: 3495713 11885 3076 1 0 3482966 0
[pid=22339/tid=22340] ppid=22337 vsize=13982852 memory=-8540663193526752614 CPUtime=0.3 cores=1,3,5,7
/proc/22339/task/22340/stat : 22340 (java) R 22337 22337 21004 0 -1 4202560 5934 0 0 0 28 2 0 0 20 0 15 0 154188752 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730712869056 139730335426310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22341] ppid=22337 vsize=13982852 memory=3472468617942029520 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22341/stat : 22341 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730661251856 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22342] ppid=22337 vsize=13982852 memory=140489046898779 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22342/stat : 22342 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730660199312 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22343] ppid=22337 vsize=13982852 memory=140488917255452 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22343/stat : 22343 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730659146768 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22344] ppid=22337 vsize=13982852 memory=140488917236687 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22344/stat : 22344 (java) S 22337 22337 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188753 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730658094224 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22345] ppid=22337 vsize=13982852 memory=140489046898855 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22345/stat : 22345 (java) S 22337 22337 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188754 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730182195184 139730708642434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22346] ppid=22337 vsize=13982852 memory=140488917245903 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22346/stat : 22346 (java) S 22337 22337 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188755 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730181141408 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22347] ppid=22337 vsize=13982852 memory=280977834489488 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22347/stat : 22347 (java) S 22337 22337 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154188755 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730180088816 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22348] ppid=22337 vsize=13982852 memory=280977834496368 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22348/stat : 22348 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730179037392 139730708649883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22349] ppid=22337 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22339/task/22349/stat : 22349 (java) R 22337 22337 21004 0 -1 1077944384 616 0 0 0 4 0 0 0 20 0 15 0 154188757 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730177985008 139730708642434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22350] ppid=22337 vsize=13982852 memory=2240 CPUtime=0.03 cores=1,3,5,7
/proc/22339/task/22350/stat : 22350 (java) R 22337 22337 21004 0 -1 4202560 325 0 0 0 3 0 0 0 20 0 15 0 154188757 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730176924416 139730693538367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22351] ppid=22337 vsize=13982852 memory=140489046877824 CPUtime=0.13 cores=1,3,5,7
/proc/22339/task/22351/stat : 22351 (java) R 22337 22337 21004 0 -1 4202560 879 0 0 0 13 0 0 0 20 0 15 0 154188757 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730175879104 139730692711774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22352] ppid=22337 vsize=13982852 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22352/stat : 22352 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730174827616 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22353] ppid=22337 vsize=13982852 memory=140489046877824 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22353/stat : 22353 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188758 14318440448 11885 33554432000 4194304 4196468 140726395559264 139730173774128 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48920 KiB

[startup+0.701249 s]
/proc/loadavg: 1.28 1.56 1.51 4/217 22353
/proc/meminfo: memFree=26281948/32770624 swapFree=67108860/67108860
[pid=22337] ppid=22334 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22337/stat : 22337 (xcsp3-exec) S 22334 22337 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154188752 9740288 345 33554432000 4194304 5098028 140729500113744 140729500111848 139852631081596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23793664 140729500120181 140729500120384 140729500120384 140729500123115 0
/proc/22337/statm: 2378 345 289 221 0 87 0
[pid=22339] ppid=22337 vsize=13982928 memory=130168 CPUtime=1.71 cores=1,3,5,7
/proc/22339/stat : 22339 (java) S 22337 22337 21004 0 -1 1077944320 11758 0 0 0 166 5 0 0 20 0 15 0 154188752 14318518272 32542 33554432000 4194304 4196468 140726395559264 140726395541808 139730708631287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
/proc/22339/statm: 3495732 32542 3197 1 0 3482966 0
[pid=22339/tid=22340] ppid=22337 vsize=13982928 memory=1224 CPUtime=0.67 cores=1,3,5,7
/proc/22339/task/22340/stat : 22340 (java) R 22337 22337 21004 0 -1 4202560 6252 0 0 0 64 3 0 0 20 0 15 0 154188752 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730712866088 139730338665950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22341] ppid=22337 vsize=13982928 memory=792 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22341/stat : 22341 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730661251856 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22342] ppid=22337 vsize=13982928 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22342/stat : 22342 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730660199312 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22343] ppid=22337 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22343/stat : 22343 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188753 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730659146768 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22344] ppid=22337 vsize=13982928 memory=280977834571072 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22344/stat : 22344 (java) S 22337 22337 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188753 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730658094224 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22345] ppid=22337 vsize=13982928 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22345/stat : 22345 (java) S 22337 22337 21004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154188754 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730182195184 139730708642434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22346] ppid=22337 vsize=13982928 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22346/stat : 22346 (java) S 22337 22337 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188755 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730181141408 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22347] ppid=22337 vsize=13982928 memory=2319529709844088485 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22347/stat : 22347 (java) S 22337 22337 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154188755 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730180088816 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22348] ppid=22337 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22348/stat : 22348 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730179037392 139730708649883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22349] ppid=22337 vsize=13982928 memory=51 CPUtime=0.36 cores=1,3,5,7
/proc/22339/task/22349/stat : 22349 (java) R 22337 22337 21004 0 -1 4202560 1466 0 0 0 36 0 0 0 20 0 15 0 154188757 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730177978112 139730693559626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22350] ppid=22337 vsize=13982928 memory=5 CPUtime=0.37 cores=1,3,5,7
/proc/22339/task/22350/stat : 22350 (java) R 22337 22337 21004 0 -1 4202560 1251 0 0 0 37 0 0 0 20 0 15 0 154188757 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730176916128 139730687869760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22351] ppid=22337 vsize=13982928 memory=9898 CPUtime=0.26 cores=1,3,5,7
/proc/22339/task/22351/stat : 22351 (java) S 22337 22337 21004 0 -1 1077944384 1482 0 0 0 26 0 0 0 20 0 15 0 154188757 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730175879920 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22352] ppid=22337 vsize=13982928 memory=462 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22352/stat : 22352 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730174827616 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22353] ppid=22337 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22353/stat : 22353 (java) S 22337 22337 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188758 14318518272 32542 33554432000 4194304 4196468 140726395559264 139730173774128 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 131548 KiB

[startup+1.50075 s]
/proc/loadavg: 1.42 1.59 1.52 4/217 22353
/proc/meminfo: memFree=26180608/32770624 swapFree=67108860/67108860
[pid=22337] ppid=22334 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22337/stat : 22337 (xcsp3-exec) S 22334 22337 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154188752 9740288 345 33554432000 4194304 5098028 140729500113744 140729500111848 139852631081596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23793664 140729500120181 140729500120384 140729500120384 140729500123115 0
/proc/22337/statm: 2378 345 289 221 0 87 0

################
# More data... #
################

/proc/22339/task/22347/stat : 22347 (java) S 22337 22337 21004 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154188755 14320615424 75659 33554432000 4194304 4196468 140726395559264 139730180088832 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22348] ppid=22337 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22348/stat : 22348 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14320615424 75659 33554432000 4194304 4196468 140726395559264 139730179037392 139730708649883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22349] ppid=22337 vsize=13984976 memory=42828 CPUtime=1.7 cores=1,3,5,7
/proc/22339/task/22349/stat : 22349 (java) S 22337 22337 21004 0 -1 1077944384 6530 0 0 0 169 1 0 0 20 0 15 0 154188757 14320615424 75659 33554432000 4194304 4196468 140726395559264 139730177985008 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22350] ppid=22337 vsize=13984976 memory=1292 CPUtime=1.91 cores=1,3,5,7
/proc/22339/task/22350/stat : 22350 (java) S 22337 22337 21004 0 -1 1077944384 6793 0 0 0 190 1 0 0 20 0 15 0 154188757 14320615424 75659 33554432000 4194304 4196468 140726395559264 139730176932464 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22351] ppid=22337 vsize=13984976 memory=5788 CPUtime=0.63 cores=1,3,5,7
/proc/22339/task/22351/stat : 22351 (java) S 22337 22337 21004 0 -1 1077944384 5992 0 0 0 62 1 0 0 20 0 15 0 154188757 14320615424 75659 33554432000 4194304 4196468 140726395559264 139730175879920 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22352] ppid=22337 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22352/stat : 22352 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14320615424 75659 33554432000 4194304 4196468 140726395559264 139730174827616 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22353] ppid=22337 vsize=13984976 memory=4612 CPUtime=0.02 cores=1,3,5,7
/proc/22339/task/22353/stat : 22353 (java) S 22337 22337 21004 0 -1 1077944384 353 0 0 0 1 1 0 0 20 0 15 0 154188758 14320615424 75659 33554432000 4194304 4196468 140726395559264 139730173774128 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
Current children cumulated CPU time: 106.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 304016 KiB

[startup+162.301 s]
/proc/loadavg: 1.80 1.69 1.57 3/217 22437
/proc/meminfo: memFree=26151436/32770624 swapFree=67108860/67108860
[pid=22337] ppid=22334 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22337/stat : 22337 (xcsp3-exec) S 22334 22337 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154188752 9740288 345 33554432000 4194304 5098028 140729500113744 140729500111848 139852631081596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23793664 140729500120181 140729500120384 140729500120384 140729500123115 0
/proc/22337/statm: 2378 345 289 221 0 87 0
[pid=22339] ppid=22337 vsize=13984976 memory=222724 CPUtime=167.02 cores=1,3,5,7
/proc/22339/stat : 22339 (java) S 22337 22337 21004 0 -1 1077944320 45673 0 0 0 16679 23 0 0 20 0 15 0 154188752 14320615424 55681 33554432000 4194304 4196468 140726395559264 140726395541808 139730708631287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
/proc/22339/statm: 3496244 55681 3269 1 0 3483478 0
[pid=22339/tid=22340] ppid=22337 vsize=13984976 memory=222724 CPUtime=162.12 cores=1,3,5,7
/proc/22339/task/22340/stat : 22340 (java) R 22337 22337 21004 0 -1 4202560 12036 0 0 0 16206 6 0 0 20 0 15 0 154188752 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730712870736 139730342005842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22341] ppid=22337 vsize=13984976 memory=230876 CPUtime=0.09 cores=1,3,5,7
/proc/22339/task/22341/stat : 22341 (java) S 22337 22337 21004 0 -1 1077944384 913 0 0 0 7 2 0 0 20 0 15 0 154188753 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730661251856 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22342] ppid=22337 vsize=13984976 memory=226772 CPUtime=0.09 cores=1,3,5,7
/proc/22339/task/22342/stat : 22342 (java) S 22337 22337 21004 0 -1 1077944384 953 0 0 0 7 2 0 0 20 0 15 0 154188753 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730660199312 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22343] ppid=22337 vsize=13984976 memory=222724 CPUtime=0.08 cores=1,3,5,7
/proc/22339/task/22343/stat : 22343 (java) S 22337 22337 21004 0 -1 1077944384 2300 0 0 0 6 2 0 0 20 0 15 0 154188753 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730659146768 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22344] ppid=22337 vsize=13984976 memory=1380 CPUtime=0.09 cores=1,3,5,7
/proc/22339/task/22344/stat : 22344 (java) S 22337 22337 21004 0 -1 1077944384 1838 0 0 0 7 2 0 0 20 0 15 0 154188753 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730658094224 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22345] ppid=22337 vsize=13984976 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/22339/task/22345/stat : 22345 (java) S 22337 22337 21004 0 -1 1077944384 1433 0 0 0 2 0 0 0 20 0 15 0 154188754 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730182195184 139730708642434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22346] ppid=22337 vsize=13984976 memory=308276 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22346/stat : 22346 (java) S 22337 22337 21004 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154188755 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730181141472 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22347] ppid=22337 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22347/stat : 22347 (java) S 22337 22337 21004 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154188755 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730180088832 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22348] ppid=22337 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22348/stat : 22348 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730179037392 139730708649883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22349] ppid=22337 vsize=13984976 memory=226780 CPUtime=1.75 cores=1,3,5,7
/proc/22339/task/22349/stat : 22349 (java) S 22337 22337 21004 0 -1 1077944384 8213 0 0 0 174 1 0 0 20 0 15 0 154188757 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730177985008 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22350] ppid=22337 vsize=13984976 memory=4612 CPUtime=1.99 cores=1,3,5,7
/proc/22339/task/22350/stat : 22350 (java) S 22337 22337 21004 0 -1 1077944384 8414 0 0 0 198 1 0 0 20 0 15 0 154188757 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730176932464 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22351] ppid=22337 vsize=13984976 memory=15876 CPUtime=0.64 cores=1,3,5,7
/proc/22339/task/22351/stat : 22351 (java) S 22337 22337 21004 0 -1 1077944384 7818 0 0 0 63 1 0 0 20 0 15 0 154188757 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730175879920 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22352] ppid=22337 vsize=13984976 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22352/stat : 22352 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730174827616 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22353] ppid=22337 vsize=13984976 memory=1952 CPUtime=0.04 cores=1,3,5,7
/proc/22339/task/22353/stat : 22353 (java) S 22337 22337 21004 0 -1 1077944384 396 0 0 0 2 2 0 0 20 0 15 0 154188758 14320615424 55681 33554432000 4194304 4196468 140726395559264 139730173774128 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
Current children cumulated CPU time: 167.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224104 KiB

[startup+222.301 s]
/proc/loadavg: 1.62 1.66 1.56 3/217 22438
/proc/meminfo: memFree=26215188/32770624 swapFree=67108860/67108860
[pid=22337] ppid=22334 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22337/stat : 22337 (xcsp3-exec) S 22334 22337 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154188752 9740288 345 33554432000 4194304 5098028 140729500113744 140729500111848 139852631081596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23793664 140729500120181 140729500120384 140729500120384 140729500123115 0
/proc/22337/statm: 2378 345 289 221 0 87 0
[pid=22339] ppid=22337 vsize=13984976 memory=178616 CPUtime=227.07 cores=1,3,5,7
/proc/22339/stat : 22339 (java) S 22337 22337 21004 0 -1 1077944320 46599 0 0 0 22683 24 0 0 20 0 15 0 154188752 14320615424 44654 33554432000 4194304 4196468 140726395559264 140726395541808 139730708631287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
/proc/22339/statm: 3496244 44654 3269 1 0 3483478 0
[pid=22339/tid=22340] ppid=22337 vsize=13984976 memory=178616 CPUtime=222.09 cores=1,3,5,7
/proc/22339/task/22340/stat : 22340 (java) R 22337 22337 21004 0 -1 4202560 12147 0 0 0 22203 6 0 0 20 0 15 0 154188752 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730712870736 139730342000405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22341] ppid=22337 vsize=13984976 memory=195020 CPUtime=0.1 cores=1,3,5,7
/proc/22339/task/22341/stat : 22341 (java) S 22337 22337 21004 0 -1 1077944384 929 0 0 0 8 2 0 0 20 0 15 0 154188753 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730661251856 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22342] ppid=22337 vsize=13984976 memory=178616 CPUtime=0.1 cores=1,3,5,7
/proc/22339/task/22342/stat : 22342 (java) S 22337 22337 21004 0 -1 1077944384 957 0 0 0 8 2 0 0 20 0 15 0 154188753 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730660199312 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22343] ppid=22337 vsize=13984976 memory=178616 CPUtime=0.09 cores=1,3,5,7
/proc/22339/task/22343/stat : 22343 (java) S 22337 22337 21004 0 -1 1077944384 2316 0 0 0 7 2 0 0 20 0 15 0 154188753 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730659146768 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22344] ppid=22337 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/22339/task/22344/stat : 22344 (java) S 22337 22337 21004 0 -1 1077944384 1932 0 0 0 8 2 0 0 20 0 15 0 154188753 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730658094224 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22345] ppid=22337 vsize=13984976 memory=5 CPUtime=0.04 cores=1,3,5,7
/proc/22339/task/22345/stat : 22345 (java) S 22337 22337 21004 0 -1 1077944384 1639 0 0 0 3 1 0 0 20 0 15 0 154188754 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730182195184 139730708642434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22346] ppid=22337 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22346/stat : 22346 (java) S 22337 22337 21004 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154188755 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730181141472 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22347] ppid=22337 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22347/stat : 22347 (java) S 22337 22337 21004 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154188755 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730180088832 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22348] ppid=22337 vsize=13984976 memory=11108 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22348/stat : 22348 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730179037392 139730708649883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22349] ppid=22337 vsize=13984976 memory=1712 CPUtime=1.76 cores=1,3,5,7
/proc/22339/task/22349/stat : 22349 (java) S 22337 22337 21004 0 -1 1077944384 8213 0 0 0 175 1 0 0 20 0 15 0 154188757 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730177985008 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22350] ppid=22337 vsize=13984976 memory=189896 CPUtime=1.99 cores=1,3,5,7
/proc/22339/task/22350/stat : 22350 (java) S 22337 22337 21004 0 -1 1077944384 8561 0 0 0 198 1 0 0 20 0 15 0 154188757 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730176932464 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22351] ppid=22337 vsize=13984976 memory=1380 CPUtime=0.65 cores=1,3,5,7
/proc/22339/task/22351/stat : 22351 (java) S 22337 22337 21004 0 -1 1077944384 8122 0 0 0 64 1 0 0 20 0 15 0 154188757 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730175879920 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22352] ppid=22337 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22352/stat : 22352 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730174827616 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22353] ppid=22337 vsize=13984976 memory=181696 CPUtime=0.05 cores=1,3,5,7
/proc/22339/task/22353/stat : 22353 (java) S 22337 22337 21004 0 -1 1077944384 424 0 0 0 3 2 0 0 20 0 15 0 154188758 14320615424 44654 33554432000 4194304 4196468 140726395559264 139730173774128 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
Current children cumulated CPU time: 227.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 179996 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.33 1.59 1.54 3/217 22438
/proc/meminfo: memFree=26226472/32770624 swapFree=67108860/67108860
[pid=22337] ppid=22334 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22337/stat : 22337 (xcsp3-exec) S 22334 22337 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154188752 9740288 345 33554432000 4194304 5098028 140729500113744 140729500111848 139852631081596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23793664 140729500120181 140729500120384 140729500120384 140729500123115 0
/proc/22337/statm: 2378 345 289 221 0 87 0
[pid=22339] ppid=22337 vsize=13984976 memory=170428 CPUtime=244.79 cores=1,3,5,7
/proc/22339/stat : 22339 (java) S 22337 22337 21004 0 -1 1077944320 46706 0 0 0 24455 24 0 0 20 0 15 0 154188752 14320615424 42607 33554432000 4194304 4196468 140726395559264 140726395541808 139730708631287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
/proc/22339/statm: 3496244 42607 3269 1 0 3483478 0
[pid=22339/tid=22340] ppid=22337 vsize=13984976 memory=7792 CPUtime=239.78 cores=1,3,5,7
/proc/22339/task/22340/stat : 22340 (java) R 22337 22337 21004 0 -1 4202560 12157 0 0 0 23972 6 0 0 20 0 15 0 154188752 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730712870848 139730342359301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22341] ppid=22337 vsize=13984976 memory=840 CPUtime=0.11 cores=1,3,5,7
/proc/22339/task/22341/stat : 22341 (java) S 22337 22337 21004 0 -1 1077944384 930 0 0 0 9 2 0 0 20 0 15 0 154188753 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730661251856 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22342] ppid=22337 vsize=13984976 memory=-7003737579269690708 CPUtime=0.1 cores=1,3,5,7
/proc/22339/task/22342/stat : 22342 (java) S 22337 22337 21004 0 -1 1077944384 957 0 0 0 8 2 0 0 20 0 15 0 154188753 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730660199312 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22343] ppid=22337 vsize=13984976 memory=170428 CPUtime=0.09 cores=1,3,5,7
/proc/22339/task/22343/stat : 22343 (java) S 22337 22337 21004 0 -1 1077944384 2316 0 0 0 7 2 0 0 20 0 15 0 154188753 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730659146768 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22344] ppid=22337 vsize=13984976 memory=23976 CPUtime=0.1 cores=1,3,5,7
/proc/22339/task/22344/stat : 22344 (java) S 22337 22337 21004 0 -1 1077944384 1932 0 0 0 8 2 0 0 20 0 15 0 154188753 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730658094224 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22345] ppid=22337 vsize=13984976 memory=4044 CPUtime=0.05 cores=1,3,5,7
/proc/22339/task/22345/stat : 22345 (java) S 22337 22337 21004 0 -1 1077944384 1639 0 0 0 4 1 0 0 20 0 15 0 154188754 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730182195184 139730708642434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22346] ppid=22337 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22346/stat : 22346 (java) S 22337 22337 21004 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154188755 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730181141472 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22347] ppid=22337 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22347/stat : 22347 (java) S 22337 22337 21004 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154188755 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730180088832 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22348] ppid=22337 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22348/stat : 22348 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730179037392 139730708649883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22349] ppid=22337 vsize=13984976 memory=2424 CPUtime=1.76 cores=1,3,5,7
/proc/22339/task/22349/stat : 22349 (java) S 22337 22337 21004 0 -1 1077944384 8309 0 0 0 175 1 0 0 20 0 15 0 154188757 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730177985008 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22350] ppid=22337 vsize=13984976 memory=5788 CPUtime=1.99 cores=1,3,5,7
/proc/22339/task/22350/stat : 22350 (java) S 22337 22337 21004 0 -1 1077944384 8561 0 0 0 198 1 0 0 20 0 15 0 154188757 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730176932464 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22351] ppid=22337 vsize=13984976 memory=1380 CPUtime=0.65 cores=1,3,5,7
/proc/22339/task/22351/stat : 22351 (java) S 22337 22337 21004 0 -1 1077944384 8122 0 0 0 64 1 0 0 20 0 15 0 154188757 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730175879920 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22352] ppid=22337 vsize=13984976 memory=170428 CPUtime=0 cores=1,3,5,7
/proc/22339/task/22352/stat : 22352 (java) S 22337 22337 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188757 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730174827616 139730708641493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
[pid=22339/tid=22353] ppid=22337 vsize=13984976 memory=1420 CPUtime=0.06 cores=1,3,5,7
/proc/22339/task/22353/stat : 22353 (java) S 22337 22337 21004 0 -1 1077944384 424 0 0 0 3 3 0 0 20 0 15 0 154188758 14320615424 42607 33554432000 4194304 4196468 140726395559264 139730173774128 139730708642434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 23015424 140726395565213 140726395565388 140726395565388 140726395568079 0
Current children cumulated CPU time: 244.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 171808 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+240.019 s]
# the end of solver process 22337 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001938 s, system=0 s

[startup+240.021 s]
# the end of solver process 22339 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.564 s, system=0.253113 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.021
CPU time (s): 244.817
CPU user time (s): 244.564
CPU system time (s): 0.253113
CPU usage (%): 101.998
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 355276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.564
system time used= 0.253113
maximum resident set size= 353896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8491
involuntary context switches= 150


# summary of solver processes directly reported to runsolver:
#   pid: 22337,22339
#   total CPU time (s): 244.817
#   total CPU user time (s): 244.564
#   total CPU system time (s): 0.253113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68307 second user time and 1.93254 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	26
Best CPU time to get the best result obtained on this benchmark	240.039
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4282854

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
