2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	28	20071.3	2520.14
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 (15169 MiB free)
  memory of node 1: 16384 MiB (11732 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297886-1532705245/watcher-4297886-1532705245 -o /tmp/evaluation-result-4297886-1532705245/solver-4297886-1532705245 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532697681-16618 --watchdog 2580 HOME/xcsp3-exec -seed 646361056 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297886-1532705245.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17680, runsolver pid=17677

[startup+0.100141 s]*
/proc/loadavg: 6.64 7.89 8.15 2/199 17701
/proc/meminfo: memFree=27531668/32770624 swapFree=67108496/67108860
[pid=17680] ppid=17677 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17680/stat : 17680 (xcsp3-exec) S 17677 17680 16591 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88087747 115843072 363 33554432000 4194304 5098028 140722922360304 140722922358408 139902858846844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34902016 140722922361910 140722922362112 140722922362112 140722922364874 0
/proc/17680/statm: 28282 363 306 221 0 87 0
[pid=17682] ppid=17680 vsize=26104152 memory=27212 CPUtime=0.11 cores=0-7
/proc/17682/stat : 17682 (java) S 17680 17680 16591 0 -1 1077944320 5659 0 0 0 10 1 0 0 20 0 20 0 88087747 26730651648 6803 33554432000 4194304 4196468 140727083109024 140727083091568 140530686508791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
/proc/17682/statm: 6526038 6803 3019 1 0 6488315 0
[pid=17682/tid=17683] ppid=17680 vsize=26104152 memory=8114248961754045343 CPUtime=0.08 cores=0-7
/proc/17682/task/17683/stat : 17683 (java) R 17680 17680 16591 0 -1 4202560 3656 0 0 0 8 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530690747584 140530272992108 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17684] ppid=17680 vsize=26104152 memory=732369813829499877 CPUtime=0 cores=0-7
/proc/17682/task/17684/stat : 17684 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530594069392 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17685] ppid=17680 vsize=26104152 memory=139675492046464 CPUtime=0 cores=0-7
/proc/17682/task/17685/stat : 17685 (java) S 17680 17680 16591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530593016592 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17686] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17686/stat : 17686 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530242915472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17687] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17687/stat : 17687 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530241862672 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17688] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17688/stat : 17688 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530240809360 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17689] ppid=17680 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17682/task/17689/stat : 17689 (java) S 17680 17680 16591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530239756560 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17690] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17690/stat : 17690 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530238704272 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17691] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17691/stat : 17691 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 6803 33554432000 4194304 4196468 140727083109024 140530237651472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17692] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17692/stat : 17692 (java) S 17680 17680 16591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087750 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529227168368 140530686519938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17693] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17693/stat : 17693 (java) S 17680 17680 16591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88087750 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529226114336 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17694] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17694/stat : 17694 (java) S 17680 17680 16591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88087751 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529225062000 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17695] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17695/stat : 17695 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529224010320 140530686527387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17696] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17696/stat : 17696 (java) S 17680 17680 16591 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529222957168 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17697] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17697/stat : 17697 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529221904368 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17698] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17698/stat : 17698 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529220852080 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17699] ppid=17680 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17682/task/17699/stat : 17699 (java) R 17680 17680 16591 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 88087753 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529219799280 140530670589278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17700] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17700/stat : 17700 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529218747232 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17701] ppid=17680 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17682/task/17701/stat : 17701 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 6803 33554432000 4194304 4196468 140727083109024 140529217694512 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28664 KiB

[startup+0.210423 s]*
/proc/loadavg: 6.64 7.89 8.15 3/199 17701
/proc/meminfo: memFree=27520208/32770624 swapFree=67108496/67108860
[pid=17680] ppid=17677 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17680/stat : 17680 (xcsp3-exec) S 17677 17680 16591 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88087747 115843072 363 33554432000 4194304 5098028 140722922360304 140722922358408 139902858846844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34902016 140722922361910 140722922362112 140722922362112 140722922364874 0
/proc/17680/statm: 28282 363 306 221 0 87 0
[pid=17682] ppid=17680 vsize=26104152 memory=39144 CPUtime=0.33 cores=0-7
/proc/17682/stat : 17682 (java) S 17680 17680 16591 0 -1 1077944320 8371 0 0 0 31 2 0 0 20 0 20 0 88087747 26730651648 9786 33554432000 4194304 4196468 140727083109024 140727083091568 140530686508791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
/proc/17682/statm: 6526038 9786 3207 1 0 6488315 0
[pid=17682/tid=17683] ppid=17680 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/17682/task/17683/stat : 17683 (java) R 17680 17680 16591 0 -1 4202560 5549 0 0 0 18 1 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530690743776 140530670589278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17684] ppid=17680 vsize=26104152 memory=279350848411384 CPUtime=0 cores=0-7
/proc/17682/task/17684/stat : 17684 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530594069392 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17685] ppid=17680 vsize=26104152 memory=139675492046464 CPUtime=0 cores=0-7
/proc/17682/task/17685/stat : 17685 (java) S 17680 17680 16591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530593016592 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17686] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17686/stat : 17686 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530242915472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17687] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17687/stat : 17687 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530241862672 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17688] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17688/stat : 17688 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530240809360 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17689] ppid=17680 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17682/task/17689/stat : 17689 (java) S 17680 17680 16591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530239756560 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17690] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17690/stat : 17690 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530238704272 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17691] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17691/stat : 17691 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26730651648 9786 33554432000 4194304 4196468 140727083109024 140530237651472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17692] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17692/stat : 17692 (java) S 17680 17680 16591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88087750 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529227168368 140530686519938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17693] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17693/stat : 17693 (java) S 17680 17680 16591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88087750 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529226114336 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17694] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17694/stat : 17694 (java) S 17680 17680 16591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88087751 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529225062000 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17695] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17695/stat : 17695 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529224010320 140530686527387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17696] ppid=17680 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/17682/task/17696/stat : 17696 (java) S 17680 17680 16591 0 -1 1077944384 607 0 0 0 2 0 0 0 20 0 20 0 88087753 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529222957168 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17697] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17697/stat : 17697 (java) S 17680 17680 16591 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529221904368 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17698] ppid=17680 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17682/task/17698/stat : 17698 (java) S 17680 17680 16591 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 88087753 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529220852080 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17699] ppid=17680 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/17682/task/17699/stat : 17699 (java) S 17680 17680 16591 0 -1 1077944384 769 0 0 0 7 0 0 0 20 0 20 0 88087753 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529219799280 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17700] ppid=17680 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17700/stat : 17700 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529218747232 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17701] ppid=17680 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17682/task/17701/stat : 17701 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087753 26730651648 9786 33554432000 4194304 4196468 140727083109024 140529217694512 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40596 KiB

[startup+0.309991 s]*
/proc/loadavg: 6.64 7.89 8.15 4/199 17701
/proc/meminfo: memFree=27514404/32770624 swapFree=67108496/67108860
[pid=17680] ppid=17677 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17680/stat : 17680 (xcsp3-exec) S 17677 17680 16591 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88087747 115843072 363 33554432000 4194304 5098028 140722922360304 140722922358408 139902858846844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34902016 140722922361910 140722922362112 140722922362112 140722922364874 0
/proc/17680/statm: 28282 363 306 221 0 87 0
[pid=17682] ppid=17680 vsize=26108408 memory=46696 CPUtime=0.51 cores=0-7
/proc/17682/stat : 17682 (java) S 17680 17680 16591 0 -1 1077944320 9336 0 0 0 48 3 0 0 20 0 20 0 88087747 26735009792 11674 33554432000 4194304 4196468 140727083109024 140727083091568 140530686508791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
/proc/17682/statm: 6527102 11674 3254 1 0 6488315 0
[pid=17682/tid=17683] ppid=17680 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17682/task/17683/stat : 17683 (java) R 17680 17680 16591 0 -1 4202560 6232 0 0 0 27 2 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530690739904 140530686532381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17684] ppid=17680 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17684/stat : 17684 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530594069392 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17685] ppid=17680 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17685/stat : 17685 (java) S 17680 17680 16591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530593016592 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17686] ppid=17680 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17686/stat : 17686 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530242915472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17687] ppid=17680 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17687/stat : 17687 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530241862672 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17688] ppid=17680 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/17682/task/17688/stat : 17688 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530240809360 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17689] ppid=17680 vsize=26108408 memory=139675356459951 CPUtime=0 cores=0-7
/proc/17682/task/17689/stat : 17689 (java) S 17680 17680 16591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530239756560 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17690] ppid=17680 vsize=26108408 memory=139675356462256 CPUtime=0 cores=0-7
/proc/17682/task/17690/stat : 17690 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530238704272 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17691] ppid=17680 vsize=26108408 memory=139675356464560 CPUtime=0 cores=0-7
/proc/17682/task/17691/stat : 17691 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26735009792 11674 33554432000 4194304 4196468 140727083109024 140530237651472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17692] ppid=17680 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17692/stat : 17692 (java) S 17680 17680 16591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88087750 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529227168368 140530686519938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17693] ppid=17680 vsize=26108408 memory=279350712936080 CPUtime=0 cores=0-7
/proc/17682/task/17693/stat : 17693 (java) S 17680 17680 16591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88087750 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529226114336 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17694] ppid=17680 vsize=26108408 memory=279350712942992 CPUtime=0 cores=0-7
/proc/17682/task/17694/stat : 17694 (java) S 17680 17680 16591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88087751 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529225062000 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17695] ppid=17680 vsize=26108408 memory=279350712884272 CPUtime=0 cores=0-7
/proc/17682/task/17695/stat : 17695 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087753 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529224010320 140530686527387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17696] ppid=17680 vsize=26108408 memory=279350712956816 CPUtime=0.02 cores=0-7
/proc/17682/task/17696/stat : 17696 (java) S 17680 17680 16591 0 -1 1077944384 613 0 0 0 2 0 0 0 20 0 20 0 88087753 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529222957168 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17697] ppid=17680 vsize=26108408 memory=279350712963728 CPUtime=0.03 cores=0-7
/proc/17682/task/17697/stat : 17697 (java) R 17680 17680 16591 0 -1 4202560 200 0 0 0 3 0 0 0 20 0 20 0 88087753 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529221904368 140530668029924 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17698] ppid=17680 vsize=26108408 memory=279350712961424 CPUtime=0.02 cores=0-7
/proc/17682/task/17698/stat : 17698 (java) S 17680 17680 16591 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 20 0 88087753 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529220852080 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17699] ppid=17680 vsize=26108408 memory=279350712977584 CPUtime=0.12 cores=0-7
/proc/17682/task/17699/stat : 17699 (java) S 17680 17680 16591 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 20 0 88087753 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529219799280 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17700] ppid=17680 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17682/task/17700/stat : 17700 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087753 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529218747232 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17701] ppid=17680 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/17682/task/17701/stat : 17701 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087753 26735009792 11674 33554432000 4194304 4196468 140727083109024 140529217694512 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48148 KiB

[startup+0.700997 s]
/proc/loadavg: 6.64 7.89 8.15 4/199 17701
/proc/meminfo: memFree=27491628/32770624 swapFree=67108496/67108860
[pid=17680] ppid=17677 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17680/stat : 17680 (xcsp3-exec) S 17677 17680 16591 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88087747 115843072 363 33554432000 4194304 5098028 140722922360304 140722922358408 139902858846844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34902016 140722922361910 140722922362112 140722922362112 140722922364874 0
/proc/17680/statm: 28282 363 306 221 0 87 0
[pid=17682] ppid=17680 vsize=26110532 memory=105968 CPUtime=1.99 cores=0-7
/proc/17682/stat : 17682 (java) S 17680 17680 16591 0 -1 1077944320 15139 0 0 0 194 5 0 0 20 0 20 0 88087747 26737184768 26492 33554432000 4194304 4196468 140727083109024 140727083091568 140530686508791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
/proc/17682/statm: 6527633 26492 3353 1 0 6488827 0
[pid=17682/tid=17683] ppid=17680 vsize=26110532 memory=279350713272448 CPUtime=0.67 cores=0-7
/proc/17682/task/17683/stat : 17683 (java) R 17680 17680 16591 0 -1 4202560 7083 0 0 0 64 3 0 0 20 0 20 0 88087748 26737184768 26492 33554432000 4194304 4196468 140727083109024 140530690733776 140530686530138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17684] ppid=17680 vsize=26110532 memory=860 CPUtime=0 cores=0-7
/proc/17682/task/17684/stat : 17684 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087748 26737184768 26492 33554432000 4194304 4196468 140727083109024 140530594069392 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17685] ppid=17680 vsize=26110532 memory=12556 CPUtime=0 cores=0-7
/proc/17682/task/17685/stat : 17685 (java) S 17680 17680 16591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087748 26737184768 26492 33554432000 4194304 4196468 140727083109024 140530593016592 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17686] ppid=17680 vsize=26110532 memory=756 CPUtime=0 cores=0-7
/proc/17682/task/17686/stat : 17686 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087748 26737184768 26492 33554432000 4194304 4196468 140727083109024 140530242915472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0

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

/proc/meminfo: memFree=22342228/32770624 swapFree=67108496/67108860
[pid=17680] ppid=17677 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17680/stat : 17680 (xcsp3-exec) S 17677 17680 16591 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88087747 115843072 363 33554432000 4194304 5098028 140722922360304 140722922358408 139902858846844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34902016 140722922361910 140722922362112 140722922362112 140722922364874 0
/proc/17680/statm: 28282 363 306 221 0 87 0
[pid=17682] ppid=17680 vsize=26645092 memory=5206548 CPUtime=19929.5 cores=0-7
/proc/17682/stat : 17682 (java) S 17680 17680 16591 0 -1 1077944320 588264 0 0 0 1992235 712 0 0 20 0 28 0 88087747 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140727083091568 140530686508791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
/proc/17682/statm: 6661273 1301637 3469 1 0 6622467 0
[pid=17682/tid=17683] ppid=17680 vsize=26645092 memory=1452 CPUtime=3.68 cores=0-7
/proc/17682/task/17683/stat : 17683 (java) S 17680 17680 16591 0 -1 1077944384 10260 0 0 0 358 10 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530690749568 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17684] ppid=17680 vsize=26645092 memory=5206548 CPUtime=5.38 cores=0-7
/proc/17682/task/17684/stat : 17684 (java) S 17680 17680 16591 0 -1 1077944384 13152 0 0 0 515 23 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530594069392 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17685] ppid=17680 vsize=26645092 memory=5208084 CPUtime=5.4 cores=0-7
/proc/17682/task/17685/stat : 17685 (java) S 17680 17680 16591 0 -1 1077944384 12653 0 0 0 520 20 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530593016592 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17686] ppid=17680 vsize=26645092 memory=5208084 CPUtime=5.46 cores=0-7
/proc/17682/task/17686/stat : 17686 (java) S 17680 17680 16591 0 -1 1077944384 16606 0 0 0 521 25 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530242915472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17687] ppid=17680 vsize=26645092 memory=5207572 CPUtime=5.47 cores=0-7
/proc/17682/task/17687/stat : 17687 (java) S 17680 17680 16591 0 -1 1077944384 15384 0 0 0 520 27 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530241862672 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17688] ppid=17680 vsize=26645092 memory=5206548 CPUtime=5.43 cores=0-7
/proc/17682/task/17688/stat : 17688 (java) S 17680 17680 16591 0 -1 1077944384 12979 0 0 0 521 22 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530240809360 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17689] ppid=17680 vsize=26645092 memory=1452 CPUtime=5.45 cores=0-7
/proc/17682/task/17689/stat : 17689 (java) S 17680 17680 16591 0 -1 1077944384 14034 0 0 0 518 27 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530239756560 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17690] ppid=17680 vsize=26645092 memory=0 CPUtime=5.44 cores=0-7
/proc/17682/task/17690/stat : 17690 (java) S 17680 17680 16591 0 -1 1077944384 12941 0 0 0 520 24 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530238704272 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17691] ppid=17680 vsize=26645092 memory=2260 CPUtime=5.47 cores=0-7
/proc/17682/task/17691/stat : 17691 (java) S 17680 17680 16591 0 -1 1077944384 13804 0 0 0 522 25 0 0 20 0 28 0 88087748 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140530237651472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17692] ppid=17680 vsize=26645092 memory=1452 CPUtime=1.26 cores=0-7
/proc/17682/task/17692/stat : 17692 (java) S 17680 17680 16591 0 -1 1077944384 37242 0 0 0 110 16 0 0 20 0 28 0 88087750 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529227168368 140530686519938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17693] ppid=17680 vsize=26645092 memory=279350713601936 CPUtime=0 cores=0-7
/proc/17682/task/17693/stat : 17693 (java) S 17680 17680 16591 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 88087750 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529226114400 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17694] ppid=17680 vsize=26645092 memory=7595427859663446892 CPUtime=0 cores=0-7
/proc/17682/task/17694/stat : 17694 (java) S 17680 17680 16591 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 88087751 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529225062016 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17695] ppid=17680 vsize=26645092 memory=7888 CPUtime=0 cores=0-7
/proc/17682/task/17695/stat : 17695 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88087753 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529224010320 140530686527387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17696] ppid=17680 vsize=26645092 memory=808 CPUtime=6.22 cores=0-7
/proc/17682/task/17696/stat : 17696 (java) S 17680 17680 16591 0 -1 1077944384 41003 0 0 0 613 9 0 0 20 0 28 0 88087753 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529222957168 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17697] ppid=17680 vsize=26645092 memory=1452 CPUtime=6.45 cores=0-7
/proc/17682/task/17697/stat : 17697 (java) S 17680 17680 16591 0 -1 1077944384 50985 0 0 0 638 7 0 0 20 0 28 0 88087753 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529221904368 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17698] ppid=17680 vsize=26645092 memory=5209596 CPUtime=6.34 cores=0-7
/proc/17682/task/17698/stat : 17698 (java) S 17680 17680 16591 0 -1 1077944384 38634 0 0 0 625 9 0 0 20 0 28 0 88087753 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529220852080 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17699] ppid=17680 vsize=26645092 memory=164 CPUtime=1.15 cores=0-7
/proc/17682/task/17699/stat : 17699 (java) S 17680 17680 16591 0 -1 1077944384 27289 0 0 0 111 4 0 0 20 0 28 0 88087753 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529219799280 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17700] ppid=17680 vsize=26645092 memory=-7385037615309293161 CPUtime=0 cores=0-7
/proc/17682/task/17700/stat : 17700 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88087753 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529218747232 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17701] ppid=17680 vsize=26645092 memory=4460 CPUtime=0.96 cores=0-7
/proc/17682/task/17701/stat : 17701 (java) S 17680 17680 16591 0 -1 1077944384 5158 0 0 0 55 41 0 0 20 0 28 0 88087753 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529217694512 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17771] ppid=17680 vsize=26645092 memory=1380 CPUtime=610.88 cores=0-7
/proc/17682/task/17771/stat : 17771 (java) R 17680 17680 16591 0 -1 4202560 8870 0 0 0 61076 12 0 0 20 0 28 0 88276079 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529202601232 140530284534754 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17772] ppid=17680 vsize=26645092 memory=1452 CPUtime=614.54 cores=0-7
/proc/17682/task/17772/stat : 17772 (java) R 17680 17680 16591 0 -1 4202560 4530 0 0 0 61450 4 0 0 20 0 28 0 88276079 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529201549768 140530284534830 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17773] ppid=17680 vsize=26645092 memory=1452 CPUtime=611.51 cores=0-7
/proc/17682/task/17773/stat : 17773 (java) R 17680 17680 16591 0 -1 4202560 7850 0 0 0 61142 9 0 0 20 0 28 0 88276079 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529200496464 140530286274444 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17774] ppid=17680 vsize=26645092 memory=1224 CPUtime=614.69 cores=0-7
/proc/17682/task/17774/stat : 17774 (java) R 17680 17680 16591 0 -1 4202560 26651 0 0 0 61437 32 0 0 20 0 28 0 88276079 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529199446304 140530286160671 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17775] ppid=17680 vsize=26645092 memory=2260 CPUtime=611.89 cores=0-7
/proc/17682/task/17775/stat : 17775 (java) R 17680 17680 16591 0 -1 4202560 5126 0 0 0 61185 4 0 0 20 0 28 0 88276079 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529206812608 140530284546948 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17776] ppid=17680 vsize=26645092 memory=1788 CPUtime=614.82 cores=0-7
/proc/17682/task/17776/stat : 17776 (java) R 17680 17680 16591 0 -1 4202560 3664 0 0 0 61478 4 0 0 20 0 28 0 88276079 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529204707288 140530284534746 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17777] ppid=17680 vsize=26645092 memory=1788 CPUtime=614.81 cores=0-7
/proc/17682/task/17777/stat : 17777 (java) R 17680 17680 16591 0 -1 4202560 6490 0 0 0 61476 5 0 0 20 0 28 0 88276079 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529203654888 140530284534746 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17778] ppid=17680 vsize=26645092 memory=860 CPUtime=612.48 cores=0-7
/proc/17682/task/17778/stat : 17778 (java) R 17680 17680 16591 0 -1 4202560 7682 0 0 0 61234 14 0 0 20 0 28 0 88276079 27284574208 1301637 33554432000 4194304 4196468 140727083109024 140529205760200 140530283109866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
Current children cumulated CPU time: 19929.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5208000 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.06 8.25 8.30 9/207 17808
/proc/meminfo: memFree=22350252/32770624 swapFree=67108496/67108860
[pid=17680] ppid=17677 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17680/stat : 17680 (xcsp3-exec) S 17677 17680 16591 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88087747 115843072 363 33554432000 4194304 5098028 140722922360304 140722922358408 139902858846844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34902016 140722922361910 140722922362112 140722922362112 140722922364874 0
/proc/17680/statm: 28282 363 306 221 0 87 0
[pid=17682] ppid=17680 vsize=26645092 memory=5198912 CPUtime=20070.5 cores=0-7
/proc/17682/stat : 17682 (java) S 17680 17680 16591 0 -1 1077944320 591086 0 0 0 2006336 714 0 0 20 0 28 0 88087747 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140727083091568 140530686508791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
/proc/17682/statm: 6661273 1299728 3469 1 0 6622467 0
[pid=17682/tid=17683] ppid=17680 vsize=26645092 memory=1398720917958146503 CPUtime=3.68 cores=0-7
/proc/17682/task/17683/stat : 17683 (java) S 17680 17680 16591 0 -1 1077944384 10260 0 0 0 358 10 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530690749568 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17684] ppid=17680 vsize=26645092 memory=-7003737579269690708 CPUtime=5.48 cores=0-7
/proc/17682/task/17684/stat : 17684 (java) S 17680 17680 16591 0 -1 1077944384 13223 0 0 0 525 23 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530594069392 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17685] ppid=17680 vsize=26645092 memory=6656426216303648864 CPUtime=5.51 cores=0-7
/proc/17682/task/17685/stat : 17685 (java) S 17680 17680 16591 0 -1 1077944384 13296 0 0 0 530 21 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530593016592 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17686] ppid=17680 vsize=26645092 memory=6944652177228980320 CPUtime=5.56 cores=0-7
/proc/17682/task/17686/stat : 17686 (java) S 17680 17680 16591 0 -1 1077944384 16637 0 0 0 531 25 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530242915472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17687] ppid=17680 vsize=26645092 memory=6655300316396806240 CPUtime=5.56 cores=0-7
/proc/17682/task/17687/stat : 17687 (java) S 17680 17680 16591 0 -1 1077944384 15766 0 0 0 529 27 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530241862672 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17688] ppid=17680 vsize=26645092 memory=6944656592455097440 CPUtime=5.53 cores=0-7
/proc/17682/task/17688/stat : 17688 (java) S 17680 17680 16591 0 -1 1077944384 13005 0 0 0 530 23 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530240809360 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17689] ppid=17680 vsize=26645092 memory=1408 CPUtime=5.55 cores=0-7
/proc/17682/task/17689/stat : 17689 (java) S 17680 17680 16591 0 -1 1077944384 14106 0 0 0 528 27 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530239756560 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17690] ppid=17680 vsize=26645092 memory=3888 CPUtime=5.53 cores=0-7
/proc/17682/task/17690/stat : 17690 (java) S 17680 17680 16591 0 -1 1077944384 13047 0 0 0 529 24 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530238704272 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17691] ppid=17680 vsize=26645092 memory=1452 CPUtime=5.57 cores=0-7
/proc/17682/task/17691/stat : 17691 (java) S 17680 17680 16591 0 -1 1077944384 13871 0 0 0 532 25 0 0 20 0 28 0 88087748 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140530237651472 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17692] ppid=17680 vsize=26645092 memory=5199924 CPUtime=1.28 cores=0-7
/proc/17682/task/17692/stat : 17692 (java) S 17680 17680 16591 0 -1 1077944384 37547 0 0 0 111 17 0 0 20 0 28 0 88087750 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529227168368 140530686519938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17693] ppid=17680 vsize=26645092 memory=4100 CPUtime=0 cores=0-7
/proc/17682/task/17693/stat : 17693 (java) S 17680 17680 16591 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 88087750 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529226114400 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17694] ppid=17680 vsize=26645092 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/17682/task/17694/stat : 17694 (java) S 17680 17680 16591 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 88087751 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529225062016 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17695] ppid=17680 vsize=26645092 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/17682/task/17695/stat : 17695 (java) S 17680 17680 16591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88087753 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529224010320 140530686527387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17696] ppid=17680 vsize=26645092 memory=1836 CPUtime=6.22 cores=0-7
/proc/17682/task/17696/stat : 17696 (java) S 17680 17680 16591 0 -1 1077944384 41006 0 0 0 613 9 0 0 20 0 28 0 88087753 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529222957168 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17697] ppid=17680 vsize=26645092 memory=1132 CPUtime=6.45 cores=0-7
/proc/17682/task/17697/stat : 17697 (java) S 17680 17680 16591 0 -1 1077944384 50988 0 0 0 638 7 0 0 20 0 28 0 88087753 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529221904368 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17698] ppid=17680 vsize=26645092 memory=6380 CPUtime=6.34 cores=0-7
/proc/17682/task/17698/stat : 17698 (java) S 17680 17680 16591 0 -1 1077944384 38637 0 0 0 625 9 0 0 20 0 28 0 88087753 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529220852080 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17699] ppid=17680 vsize=26645092 memory=1452 CPUtime=1.15 cores=0-7
/proc/17682/task/17699/stat : 17699 (java) S 17680 17680 16591 0 -1 1077944384 27298 0 0 0 111 4 0 0 20 0 28 0 88087753 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529219799280 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17700] ppid=17680 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/17682/task/17700/stat : 17700 (java) S 17680 17680 16591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88087753 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529218747232 140530686518997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17701] ppid=17680 vsize=26645092 memory=6791534058613427641 CPUtime=0.96 cores=0-7
/proc/17682/task/17701/stat : 17701 (java) S 17680 17680 16591 0 -1 1077944384 5181 0 0 0 55 41 0 0 20 0 28 0 88087753 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529217694512 140530686519938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17771] ppid=17680 vsize=26645092 memory=25604 CPUtime=628.43 cores=0-7
/proc/17682/task/17771/stat : 17771 (java) R 17680 17680 16591 0 -1 4202560 8975 0 0 0 62831 12 0 0 20 0 28 0 88276079 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529202604000 140530286268386 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17772] ppid=17680 vsize=26645092 memory=1224 CPUtime=632.12 cores=0-7
/proc/17682/task/17772/stat : 17772 (java) R 17680 17680 16591 0 -1 4202560 4580 0 0 0 63208 4 0 0 20 0 28 0 88276079 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529201549768 140530283471643 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17773] ppid=17680 vsize=26645092 memory=2260 CPUtime=628.82 cores=0-7
/proc/17682/task/17773/stat : 17773 (java) R 17680 17680 16591 0 -1 4202560 8019 0 0 0 62873 9 0 0 20 0 28 0 88276079 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529200496968 140530273298121 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17774] ppid=17680 vsize=26645092 memory=1788 CPUtime=632.27 cores=0-7
/proc/17682/task/17774/stat : 17774 (java) R 17680 17680 16591 0 -1 4202560 26829 0 0 0 63195 32 0 0 20 0 28 0 88276079 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529199443512 140530286161112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17775] ppid=17680 vsize=26645092 memory=860 CPUtime=629.46 cores=0-7
/proc/17682/task/17775/stat : 17775 (java) R 17680 17680 16591 0 -1 4202560 5207 0 0 0 62942 4 0 0 20 0 28 0 88276079 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529206812760 140530284534892 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17776] ppid=17680 vsize=26645092 memory=12556 CPUtime=632.39 cores=0-7
/proc/17682/task/17776/stat : 17776 (java) R 17680 17680 16591 0 -1 4202560 3767 0 0 0 63235 4 0 0 20 0 28 0 88276079 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529204707040 140530284534746 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17777] ppid=17680 vsize=26645092 memory=756 CPUtime=632.39 cores=0-7
/proc/17682/task/17777/stat : 17777 (java) R 17680 17680 16591 0 -1 4202560 6634 0 0 0 63234 5 0 0 20 0 28 0 88276079 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529203654984 140530284166321 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
[pid=17682/tid=17778] ppid=17680 vsize=26645092 memory=1616 CPUtime=629.95 cores=0-7
/proc/17682/task/17778/stat : 17778 (java) R 17680 17680 16591 0 -1 4202560 7930 0 0 0 62981 14 0 0 20 0 28 0 88276079 27284574208 1299728 33554432000 4194304 4196468 140727083109024 140529205759848 140530283712702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29736960 140727083111553 140727083111725 140727083111725 140727083114447 0
Current children cumulated CPU time: 20070.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5200364 KiB

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

[startup+2520.04 s]
# the end of solver process 17680 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001103 s, system=0.001103 s

[startup+2520.14 s]
# the end of solver process 17682 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20064.1 s, system=7.19646 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

[startup+2520.13 s]*
/proc/loadavg: 8.06 8.25 8.30 2/180 17810
/proc/meminfo: memFree=27433752/32770624 swapFree=67108496/67108860
Current cumulated CPU time of completed processes: 0.002206 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20071.3
CPU user time (s): 20064.1
CPU system time (s): 7.19646
CPU usage (%): 796.433
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 6892936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20064.1
system time used= 7.19646
maximum resident set size= 6892920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87836
involuntary context switches= 207981


# summary of solver processes directly reported to runsolver:
#   pid: 17680,17682
#   total CPU time (s): 20071.3
#   total CPU user time (s): 20064.1
#   total CPU system time (s): 7.19646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.3533 second user time and 28.6171 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml
MD5SUM	7994f0224337b533c2c19d764e718377
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	28
Best CPU time to get the best result obtained on this benchmark	20071.3
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	4103
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	2
Maximum variable degree	63
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":4,"count":26},{"degree":5,"count":13},{"degree":6,"count":86},{"degree":7,"count":20},{"degree":8,"count":89},{"degree":9,"count":12},{"degree":10,"count":87},{"degree":11,"count":28},{"degree":12,"count":42},{"degree":13,"count":25},{"degree":14,"count":40},{"degree":15,"count":14},{"degree":16,"count":40},{"degree":17,"count":8},{"degree":18,"count":29},{"degree":19,"count":6},{"degree":20,"count":18},{"degree":21,"count":13},{"degree":22,"count":11},{"degree":23,"count":7},{"degree":24,"count":7},{"degree":25,"count":8},{"degree":26,"count":8},{"degree":28,"count":9},{"degree":29,"count":8},{"degree":30,"count":2},{"degree":31,"count":6},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4103}]
Number of extensional constraints	0
Number of intensional constraints	4103
Distribution of constraint types	[{"type":"intension","count":4103}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4297886

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
