2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	226	2520.1001	2446.21
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 (10876 MiB free)
  memory of node 1: 16384 MiB (12135 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283395-1503217779/watcher-4283395-1503217779 -o /tmp/evaluation-result-4283395-1503217779/solver-4283395-1503217779 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503215340-8906 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1923466089 HOME/instance-4283395-1503217779.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=9175, runsolver pid=9172
Current StackSize limit: 8192 KiB


[startup+0.100497 s]*
/proc/loadavg: 1.28 1.30 1.37 3/217 9191
/proc/meminfo: memFree=23548684/32770624 swapFree=67108860/67108860
[pid=9175] ppid=9172 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9175/stat : 9175 (xcsp3-exec) S 9172 9175 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154865636 9740288 346 33554432000 4194304 5098028 140728528338768 140728528336872 139976128750204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38477824 140728528344174 140728528344379 140728528344379 140728528347115 0
/proc/9175/statm: 2378 346 289 221 0 87 0
[pid=9177] ppid=9175 vsize=13978596 memory=26736 CPUtime=0.12 cores=1,3,5,7
/proc/9177/stat : 9177 (java) S 9175 9175 3809 0 -1 1077944320 5618 0 0 0 11 1 0 0 20 0 15 0 154865637 14314082304 6684 33554432000 4194304 4196468 140728139610032 140728139592576 140006703447799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
/proc/9177/statm: 3494649 6684 2851 1 0 3482966 0
[pid=9177/tid=9178] ppid=9175 vsize=13978596 memory=7899776225828377435 CPUtime=0.09 cores=1,3,5,7
/proc/9177/task/9178/stat : 9178 (java) R 9175 9175 3809 0 -1 4202560 3571 0 0 0 9 0 0 0 20 0 15 0 154865637 14314082304 6684 33554432000 4194304 4196468 140728139610032 140006707667104 140006341034248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9179] ppid=9175 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9179/stat : 9179 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14314082304 6684 33554432000 4194304 4196468 140728139610032 140006299409424 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9180] ppid=9175 vsize=13978596 memory=140280501364352 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9180/stat : 9180 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14314082304 6684 33554432000 4194304 4196468 140728139610032 140006298356880 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9181] ppid=9175 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9181/stat : 9181 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14314082304 6750 33554432000 4194304 4196468 140728139610032 140006297303824 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9182] ppid=9175 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9182/stat : 9182 (java) S 9175 9175 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154865638 14314082304 6750 33554432000 4194304 4196468 140728139610032 140006296251280 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9183] ppid=9175 vsize=13978596 memory=140280501364352 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9183/stat : 9183 (java) S 9175 9175 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154865639 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005615950064 140006703458946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9184] ppid=9175 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9184/stat : 9184 (java) S 9175 9175 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154865639 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005614896288 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9185] ppid=9175 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9185/stat : 9185 (java) S 9175 9175 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154865640 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005613843184 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9186] ppid=9175 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9186/stat : 9186 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005612791760 140006703466395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9187] ppid=9175 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9187/stat : 9187 (java) S 9175 9175 3809 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 154865642 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005611739888 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9188] ppid=9175 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9188/stat : 9188 (java) S 9175 9175 3809 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 154865642 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005610687344 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9189] ppid=9175 vsize=13978596 memory=140280501364352 CPUtime=0.01 cores=1,3,5,7
/proc/9177/task/9189/stat : 9189 (java) R 9175 9175 3809 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 15 0 154865642 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005609634288 140006682389267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9190] ppid=9175 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9190/stat : 9190 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005608581984 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9191] ppid=9175 vsize=13978596 memory=140280501364352 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9191/stat : 9191 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865643 14314082304 6750 33554432000 4194304 4196468 140728139610032 140005607529008 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28120 KiB

[startup+0.210727 s]*
/proc/loadavg: 1.28 1.30 1.37 3/217 9191
/proc/meminfo: memFree=23536652/32770624 swapFree=67108860/67108860
[pid=9175] ppid=9172 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9175/stat : 9175 (xcsp3-exec) S 9172 9175 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154865636 9740288 346 33554432000 4194304 5098028 140728528338768 140728528336872 139976128750204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38477824 140728528344174 140728528344379 140728528344379 140728528347115 0
/proc/9175/statm: 2378 346 289 221 0 87 0
[pid=9177] ppid=9175 vsize=13982852 memory=39416 CPUtime=0.33 cores=1,3,5,7
/proc/9177/stat : 9177 (java) S 9175 9175 3809 0 -1 1077944320 8382 0 0 0 31 2 0 0 20 0 15 0 154865637 14318440448 9854 33554432000 4194304 4196468 140728139610032 140728139592576 140006703447799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
/proc/9177/statm: 3495713 9854 3060 1 0 3482966 0
[pid=9177/tid=9178] ppid=9175 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/9177/task/9178/stat : 9178 (java) R 9175 9175 3809 0 -1 4202560 5345 0 0 0 18 1 0 0 20 0 15 0 154865637 14318440448 9854 33554432000 4194304 4196468 140728139610032 140006707669760 140006687528286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9179] ppid=9175 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9179/stat : 9179 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14318440448 9854 33554432000 4194304 4196468 140728139610032 140006299409424 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9180] ppid=9175 vsize=13982852 memory=140280502101678 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9180/stat : 9180 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14318440448 9854 33554432000 4194304 4196468 140728139610032 140006298356880 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9181] ppid=9175 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9181/stat : 9181 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14318440448 9854 33554432000 4194304 4196468 140728139610032 140006297303824 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9182] ppid=9175 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9182/stat : 9182 (java) S 9175 9175 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154865638 14318440448 9854 33554432000 4194304 4196468 140728139610032 140006296251280 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9183] ppid=9175 vsize=13982852 memory=140280501364352 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9183/stat : 9183 (java) S 9175 9175 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154865639 14318440448 9854 33554432000 4194304 4196468 140728139610032 140005615950064 140006703458946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9184] ppid=9175 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9184/stat : 9184 (java) S 9175 9175 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154865639 14318440448 9854 33554432000 4194304 4196468 140728139610032 140005614896288 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9185] ppid=9175 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9185/stat : 9185 (java) S 9175 9175 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154865640 14318440448 9854 33554432000 4194304 4196468 140728139610032 140005613843184 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9186] ppid=9175 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9186/stat : 9186 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14318440448 9854 33554432000 4194304 4196468 140728139610032 140005612791760 140006703466395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9187] ppid=9175 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9177/task/9187/stat : 9187 (java) S 9175 9175 3809 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 154865642 14318440448 9854 33554432000 4194304 4196468 140728139610032 140005611739888 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9188] ppid=9175 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9177/task/9188/stat : 9188 (java) S 9175 9175 3809 0 -1 1077944384 338 0 0 0 2 0 0 0 20 0 15 0 154865642 14318440448 9854 33554432000 4194304 4196468 140728139610032 140005610687344 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9189] ppid=9175 vsize=13982852 memory=140280501364352 CPUtime=0.08 cores=1,3,5,7
/proc/9177/task/9189/stat : 9189 (java) R 9175 9175 3809 0 -1 4202560 885 0 0 0 8 0 0 0 20 0 15 0 154865642 14318440448 9854 33554432000 4194304 4196468 140728139610032 140005609634288 140006687528286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9190] ppid=9175 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9190/stat : 9190 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14318473216 9854 33554432000 4194304 4196468 140728139610032 140005608581984 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9191] ppid=9175 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9191/stat : 9191 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865643 14318473216 9854 33554432000 4194304 4196468 140728139610032 140005607529008 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40800 KiB

[startup+0.320471 s]*
/proc/loadavg: 1.28 1.30 1.37 5/217 9191
/proc/meminfo: memFree=23529084/32770624 swapFree=67108860/67108860
[pid=9175] ppid=9172 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9175/stat : 9175 (xcsp3-exec) S 9172 9175 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154865636 9740288 346 33554432000 4194304 5098028 140728528338768 140728528336872 139976128750204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38477824 140728528344174 140728528344379 140728528344379 140728528347115 0
/proc/9175/statm: 2378 346 289 221 0 87 0
[pid=9177] ppid=9175 vsize=13982852 memory=46888 CPUtime=0.54 cores=1,3,5,7
/proc/9177/stat : 9177 (java) S 9175 9175 3809 0 -1 1077944320 9374 0 0 0 51 3 0 0 20 0 15 0 154865637 14318440448 11722 33554432000 4194304 4196468 140728139610032 140728139592576 140006703447799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
/proc/9177/statm: 3495713 11722 3119 1 0 3482966 0
[pid=9177/tid=9178] ppid=9175 vsize=13982852 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/9177/task/9178/stat : 9178 (java) R 9175 9175 3809 0 -1 4202560 6010 0 0 0 28 2 0 0 20 0 15 0 154865637 14318440448 11722 33554432000 4194304 4196468 140728139610032 140006707685312 140006703469725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9179] ppid=9175 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9179/stat : 9179 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14318440448 11722 33554432000 4194304 4196468 140728139610032 140006299409424 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9180] ppid=9175 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9180/stat : 9180 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14318440448 11722 33554432000 4194304 4196468 140728139610032 140006298356880 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9181] ppid=9175 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9181/stat : 9181 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14318440448 11722 33554432000 4194304 4196468 140728139610032 140006297303824 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9182] ppid=9175 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9182/stat : 9182 (java) S 9175 9175 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154865638 14318440448 11722 33554432000 4194304 4196468 140728139610032 140006296251280 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9183] ppid=9175 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9183/stat : 9183 (java) S 9175 9175 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154865639 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005615950064 140006703458946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9184] ppid=9175 vsize=13982852 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9184/stat : 9184 (java) S 9175 9175 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154865639 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005614896288 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9185] ppid=9175 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9185/stat : 9185 (java) S 9175 9175 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154865640 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005613843184 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9186] ppid=9175 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9186/stat : 9186 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005612791760 140006703466395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9187] ppid=9175 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=1,3,5,7
/proc/9177/task/9187/stat : 9187 (java) R 9175 9175 3809 0 -1 4202560 541 0 0 0 4 0 0 0 20 0 15 0 154865642 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005611731840 140006689511968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9188] ppid=9175 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9177/task/9188/stat : 9188 (java) R 9175 9175 3809 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 15 0 154865642 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005610687344 140006703458946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9189] ppid=9175 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9177/task/9189/stat : 9189 (java) R 9175 9175 3809 0 -1 4202560 1096 0 0 0 13 0 0 0 20 0 15 0 154865642 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005609631224 140006682393452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9190] ppid=9175 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9190/stat : 9190 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005608581984 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9191] ppid=9175 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9191/stat : 9191 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865643 14318440448 11722 33554432000 4194304 4196468 140728139610032 140005607529008 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48272 KiB

[startup+0.705433 s]
/proc/loadavg: 1.28 1.30 1.37 5/217 9191
/proc/meminfo: memFree=23503152/32770624 swapFree=67108860/67108860
[pid=9175] ppid=9172 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9175/stat : 9175 (xcsp3-exec) S 9172 9175 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154865636 9740288 346 33554432000 4194304 5098028 140728528338768 140728528336872 139976128750204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38477824 140728528344174 140728528344379 140728528344379 140728528347115 0
/proc/9175/statm: 2378 346 289 221 0 87 0
[pid=9177] ppid=9175 vsize=13984976 memory=88428 CPUtime=1.82 cores=1,3,5,7
/proc/9177/stat : 9177 (java) S 9175 9175 3809 0 -1 1077944320 13210 0 0 0 177 5 0 0 20 0 15 0 154865637 14320615424 22107 33554432000 4194304 4196468 140728139610032 140728139592576 140006703447799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
/proc/9177/statm: 3496244 22107 3207 1 0 3483478 0
[pid=9177/tid=9178] ppid=9175 vsize=13984976 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/9177/task/9178/stat : 9178 (java) R 9175 9175 3809 0 -1 4202560 6641 0 0 0 65 3 0 0 20 0 15 0 154865637 14320615424 22107 33554432000 4194304 4196468 140728139610032 140006707686960 140006345435080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9179] ppid=9175 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9179/stat : 9179 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14320615424 22107 33554432000 4194304 4196468 140728139610032 140006299409424 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9180] ppid=9175 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9180/stat : 9180 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14320615424 22107 33554432000 4194304 4196468 140728139610032 140006298356880 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9181] ppid=9175 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9181/stat : 9181 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865638 14320615424 22107 33554432000 4194304 4196468 140728139610032 140006297303824 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9182] ppid=9175 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9182/stat : 9182 (java) S 9175 9175 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154865638 14320615424 22107 33554432000 4194304 4196468 140728139610032 140006296251280 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9183] ppid=9175 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9183/stat : 9183 (java) S 9175 9175 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154865639 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005615950064 140006703458946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9184] ppid=9175 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9184/stat : 9184 (java) S 9175 9175 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154865639 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005614896288 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9185] ppid=9175 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9185/stat : 9185 (java) S 9175 9175 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154865640 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005613843184 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9186] ppid=9175 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9186/stat : 9186 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005612791760 140006703466395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9187] ppid=9175 vsize=13984976 memory=11112 CPUtime=0.39 cores=1,3,5,7
/proc/9177/task/9187/stat : 9187 (java) R 9175 9175 3809 0 -1 4202560 1527 0 0 0 39 0 0 0 20 0 15 0 154865642 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005611730608 140006688369581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9188] ppid=9175 vsize=13984976 memory=1228 CPUtime=0.32 cores=1,3,5,7
/proc/9177/task/9188/stat : 9188 (java) R 9175 9175 3809 0 -1 4202560 1436 0 0 0 32 0 0 0 20 0 15 0 154865642 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005610679296 140006687736657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9189] ppid=9175 vsize=13984976 memory=1420 CPUtime=0.4 cores=1,3,5,7
/proc/9177/task/9189/stat : 9189 (java) R 9175 9175 3809 0 -1 4202560 2299 0 0 0 40 0 0 0 20 0 15 0 154865642 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005609634288 140006696544635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9190] ppid=9175 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9190/stat : 9190 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005608581984 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9191] ppid=9175 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9191/stat : 9191 (java) S 9175 9175 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154865643 14320615424 22107 33554432000 4194304 4196468 140728139610032 140005607529008 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 89812 KiB

[startup+1.50085 s]
/proc/loadavg: 1.28 1.30 1.37 5/217 9191
/proc/meminfo: memFree=23468720/32770624 swapFree=67108860/67108860
[pid=9175] ppid=9172 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9175/stat : 9175 (xcsp3-exec) S 9172 9175 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154865636 9740288 346 33554432000 4194304 5098028 140728528338768 140728528336872 139976128750204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38477824 140728528344174 140728528344379 140728528344379 140728528347115 0
/proc/9175/statm: 2378 346 289 221 0 87 0

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

/proc/9177/task/9185/stat : 9185 (java) S 9175 9175 3809 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154865640 14320615424 129121 33554432000 4194304 4196468 140728139610032 140005613843184 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9186] ppid=9175 vsize=13984976 memory=506244 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9186/stat : 9186 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 129121 33554432000 4194304 4196468 140728139610032 140005612791760 140006703466395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9187] ppid=9175 vsize=13984976 memory=1384 CPUtime=3.97 cores=1,3,5,7
/proc/9177/task/9187/stat : 9187 (java) S 9175 9175 3809 0 -1 1077944384 24610 0 0 0 394 3 0 0 20 0 15 0 154865642 14320615424 129121 33554432000 4194304 4196468 140728139610032 140005611739888 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9188] ppid=9175 vsize=13984976 memory=506244 CPUtime=4.11 cores=1,3,5,7
/proc/9177/task/9188/stat : 9188 (java) S 9175 9175 3809 0 -1 1077944384 21587 0 0 0 409 2 0 0 20 0 15 0 154865642 14320615424 129121 33554432000 4194304 4196468 140728139610032 140005610687344 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9189] ppid=9175 vsize=13984976 memory=11112 CPUtime=0.85 cores=1,3,5,7
/proc/9177/task/9189/stat : 9189 (java) S 9175 9175 3809 0 -1 1077944384 11556 0 0 0 82 3 0 0 20 0 15 0 154865642 14320615424 129121 33554432000 4194304 4196468 140728139610032 140005609634288 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9190] ppid=9175 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9190/stat : 9190 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 129121 33554432000 4194304 4196468 140728139610032 140005608581984 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9191] ppid=9175 vsize=13984976 memory=644 CPUtime=1.17 cores=1,3,5,7
/proc/9177/task/9191/stat : 9191 (java) S 9175 9175 3809 0 -1 1077944384 1250 0 0 0 50 67 0 0 20 0 15 0 154865643 14320615424 129121 33554432000 4194304 4196468 140728139610032 140005607529008 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
Current children cumulated CPU time: 2392.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 517868 KiB

[startup+2382.3 s]
/proc/loadavg: 1.70 1.65 1.53 3/218 9343
/proc/meminfo: memFree=22535860/32770624 swapFree=67108860/67108860
[pid=9175] ppid=9172 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9175/stat : 9175 (xcsp3-exec) S 9172 9175 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154865636 9740288 346 33554432000 4194304 5098028 140728528338768 140728528336872 139976128750204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38477824 140728528344174 140728528344379 140728528344379 140728528347115 0
/proc/9175/statm: 2378 346 289 221 0 87 0
[pid=9177] ppid=9175 vsize=13984976 memory=546836 CPUtime=2454.43 cores=1,3,5,7
/proc/9177/stat : 9177 (java) S 9175 9175 3809 0 -1 1077944320 243948 0 0 0 244924 519 0 0 20 0 15 0 154865637 14320615424 136709 33554432000 4194304 4196468 140728139610032 140728139592576 140006703447799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
/proc/9177/statm: 3496244 136709 3288 1 0 3483478 0
[pid=9177/tid=9178] ppid=9175 vsize=13984976 memory=1384 CPUtime=2359.73 cores=1,3,5,7
/proc/9177/task/9178/stat : 9178 (java) R 9175 9175 3809 0 -1 4202560 79541 0 0 0 235950 23 0 0 20 0 15 0 154865637 14320615424 136709 33554432000 4194304 4196468 140728139610032 140006707687168 140006347708320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9179] ppid=9175 vsize=13984976 memory=602752 CPUtime=20.77 cores=1,3,5,7
/proc/9177/task/9179/stat : 9179 (java) S 9175 9175 3809 0 -1 1077944384 17623 0 0 0 1974 103 0 0 20 0 15 0 154865638 14320615424 136709 33554432000 4194304 4196468 140728139610032 140006299409424 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9180] ppid=9175 vsize=13984976 memory=584284 CPUtime=20.8 cores=1,3,5,7
/proc/9177/task/9180/stat : 9180 (java) S 9175 9175 3809 0 -1 1077944384 17218 0 0 0 1975 105 0 0 20 0 15 0 154865638 14320615424 136709 33554432000 4194304 4196468 140728139610032 140006298356880 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9181] ppid=9175 vsize=13984976 memory=1384 CPUtime=20.82 cores=1,3,5,7
/proc/9177/task/9181/stat : 9181 (java) S 9175 9175 3809 0 -1 1077944384 16968 0 0 0 1979 103 0 0 20 0 15 0 154865638 14320615424 136709 33554432000 4194304 4196468 140728139610032 140006297303824 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9182] ppid=9175 vsize=13984976 memory=546836 CPUtime=20.78 cores=1,3,5,7
/proc/9177/task/9182/stat : 9182 (java) S 9175 9175 3809 0 -1 1077944384 15297 0 0 0 1977 101 0 0 20 0 15 0 154865638 14320615424 136709 33554432000 4194304 4196468 140728139610032 140006296251280 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9183] ppid=9175 vsize=13984976 memory=546836 CPUtime=1.31 cores=1,3,5,7
/proc/9177/task/9183/stat : 9183 (java) S 9175 9175 3809 0 -1 1077944384 36921 0 0 0 103 28 0 0 20 0 15 0 154865639 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005615950064 140006703458946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9184] ppid=9175 vsize=13984976 memory=546836 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9184/stat : 9184 (java) S 9175 9175 3809 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154865639 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005614896288 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9185] ppid=9175 vsize=13984976 memory=546836 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9185/stat : 9185 (java) S 9175 9175 3809 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154865640 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005613843184 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9186] ppid=9175 vsize=13984976 memory=548888 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9186/stat : 9186 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005612791760 140006703466395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9187] ppid=9175 vsize=13984976 memory=1716 CPUtime=3.97 cores=1,3,5,7
/proc/9177/task/9187/stat : 9187 (java) S 9175 9175 3809 0 -1 1077944384 24612 0 0 0 394 3 0 0 20 0 15 0 154865642 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005611739888 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9188] ppid=9175 vsize=13984976 memory=796 CPUtime=4.11 cores=1,3,5,7
/proc/9177/task/9188/stat : 9188 (java) S 9175 9175 3809 0 -1 1077944384 21589 0 0 0 409 2 0 0 20 0 15 0 154865642 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005610687344 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9189] ppid=9175 vsize=13984976 memory=1384 CPUtime=0.85 cores=1,3,5,7
/proc/9177/task/9189/stat : 9189 (java) S 9175 9175 3809 0 -1 1077944384 11558 0 0 0 82 3 0 0 20 0 15 0 154865642 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005609634288 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9190] ppid=9175 vsize=13984976 memory=594032 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9190/stat : 9190 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005608581984 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9191] ppid=9175 vsize=13984976 memory=1156 CPUtime=1.2 cores=1,3,5,7
/proc/9177/task/9191/stat : 9191 (java) S 9175 9175 3809 0 -1 1077944384 1256 0 0 0 52 68 0 0 20 0 15 0 154865643 14320615424 136709 33554432000 4194304 4196468 140728139610032 140005607529008 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
Current children cumulated CPU time: 2454.43 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 548220 KiB

[startup+2442.3 s]
/proc/loadavg: 1.72 1.66 1.54 3/217 9345
/proc/meminfo: memFree=22558932/32770624 swapFree=67108860/67108860
[pid=9175] ppid=9172 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9175/stat : 9175 (xcsp3-exec) S 9172 9175 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154865636 9740288 346 33554432000 4194304 5098028 140728528338768 140728528336872 139976128750204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38477824 140728528344174 140728528344379 140728528344379 140728528347115 0
/proc/9175/statm: 2378 346 289 221 0 87 0
[pid=9177] ppid=9175 vsize=13984976 memory=572280 CPUtime=2516.09 cores=1,3,5,7
/proc/9177/stat : 9177 (java) S 9175 9175 3809 0 -1 1077944320 248182 0 0 0 251074 535 0 0 20 0 15 0 154865637 14320615424 143070 33554432000 4194304 4196468 140728139610032 140728139592576 140006703447799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
/proc/9177/statm: 3496244 143070 3288 1 0 3483478 0
[pid=9177/tid=9178] ppid=9175 vsize=13984976 memory=572280 CPUtime=2419.13 cores=1,3,5,7
/proc/9177/task/9178/stat : 9178 (java) R 9175 9175 3809 0 -1 4202560 81475 0 0 0 241890 23 0 0 20 0 15 0 154865637 14320615424 143070 33554432000 4194304 4196468 140728139610032 140006707687136 140006346406033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9179] ppid=9175 vsize=13984976 memory=578440 CPUtime=21.31 cores=1,3,5,7
/proc/9177/task/9179/stat : 9179 (java) S 9175 9175 3809 0 -1 1077944384 17888 0 0 0 2025 106 0 0 20 0 15 0 154865638 14320615424 143070 33554432000 4194304 4196468 140728139610032 140006299409424 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9180] ppid=9175 vsize=13984976 memory=578440 CPUtime=21.34 cores=1,3,5,7
/proc/9177/task/9180/stat : 9180 (java) S 9175 9175 3809 0 -1 1077944384 17447 0 0 0 2026 108 0 0 20 0 15 0 154865638 14320615424 143070 33554432000 4194304 4196468 140728139610032 140006298356880 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9181] ppid=9175 vsize=13984976 memory=580488 CPUtime=21.38 cores=1,3,5,7
/proc/9177/task/9181/stat : 9181 (java) S 9175 9175 3809 0 -1 1077944384 17432 0 0 0 2032 106 0 0 20 0 15 0 154865638 14320615424 143070 33554432000 4194304 4196468 140728139610032 140006297303824 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9182] ppid=9175 vsize=13984976 memory=572280 CPUtime=21.33 cores=1,3,5,7
/proc/9177/task/9182/stat : 9182 (java) S 9175 9175 3809 0 -1 1077944384 15662 0 0 0 2029 104 0 0 20 0 15 0 154865638 14320615424 143070 33554432000 4194304 4196468 140728139610032 140006296251280 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9183] ppid=9175 vsize=13984976 memory=1384 CPUtime=1.35 cores=1,3,5,7
/proc/9177/task/9183/stat : 9183 (java) S 9175 9175 3809 0 -1 1077944384 37876 0 0 0 106 29 0 0 20 0 15 0 154865639 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005615950064 140006703458946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9184] ppid=9175 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9184/stat : 9184 (java) S 9175 9175 3809 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154865639 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005614896288 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9185] ppid=9175 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9185/stat : 9185 (java) S 9175 9175 3809 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154865640 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005613843184 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9186] ppid=9175 vsize=13984976 memory=23840 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9186/stat : 9186 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005612791760 140006703466395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9187] ppid=9175 vsize=13984976 memory=1420 CPUtime=3.97 cores=1,3,5,7
/proc/9177/task/9187/stat : 9187 (java) S 9175 9175 3809 0 -1 1077944384 24614 0 0 0 394 3 0 0 20 0 15 0 154865642 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005611739888 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9188] ppid=9175 vsize=13984976 memory=15876 CPUtime=4.11 cores=1,3,5,7
/proc/9177/task/9188/stat : 9188 (java) S 9175 9175 3809 0 -1 1077944384 21591 0 0 0 409 2 0 0 20 0 15 0 154865642 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005610687344 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9189] ppid=9175 vsize=13984976 memory=553308 CPUtime=0.85 cores=1,3,5,7
/proc/9177/task/9189/stat : 9189 (java) S 9175 9175 3809 0 -1 1077944384 11561 0 0 0 82 3 0 0 20 0 15 0 154865642 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005609634288 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9190] ppid=9175 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9190/stat : 9190 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005608581984 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9191] ppid=9175 vsize=13984976 memory=570928 CPUtime=1.23 cores=1,3,5,7
/proc/9177/task/9191/stat : 9191 (java) S 9175 9175 3809 0 -1 1077944384 1271 0 0 0 53 70 0 0 20 0 15 0 154865643 14320615424 143070 33554432000 4194304 4196468 140728139610032 140005607529008 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
Current children cumulated CPU time: 2516.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 573664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2446.2 s]
/proc/loadavg: 1.74 1.67 1.54 3/217 9345
/proc/meminfo: memFree=22566216/32770624 swapFree=67108860/67108860
[pid=9175] ppid=9172 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9175/stat : 9175 (xcsp3-exec) S 9172 9175 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154865636 9740288 346 33554432000 4194304 5098028 140728528338768 140728528336872 139976128750204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38477824 140728528344174 140728528344379 140728528344379 140728528347115 0
/proc/9175/statm: 2378 346 289 221 0 87 0
[pid=9177] ppid=9175 vsize=13984976 memory=565096 CPUtime=2520.08 cores=1,3,5,7
/proc/9177/stat : 9177 (java) S 9175 9175 3809 0 -1 1077944320 248186 0 0 0 251473 535 0 0 20 0 15 0 154865637 14320615424 141274 33554432000 4194304 4196468 140728139610032 140728139592576 140006703447799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
/proc/9177/statm: 3496244 141274 3288 1 0 3483478 0
[pid=9177/tid=9178] ppid=9175 vsize=13984976 memory=15821118447553063 CPUtime=2423 cores=1,3,5,7
/proc/9177/task/9178/stat : 9178 (java) R 9175 9175 3809 0 -1 4202560 81477 0 0 0 242277 23 0 0 20 0 15 0 154865637 14320615424 141274 33554432000 4194304 4196468 140728139610032 140006707687488 140006347094878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9179] ppid=9175 vsize=13984976 memory=1384 CPUtime=21.33 cores=1,3,5,7
/proc/9177/task/9179/stat : 9179 (java) S 9175 9175 3809 0 -1 1077944384 17888 0 0 0 2027 106 0 0 20 0 15 0 154865638 14320615424 141274 33554432000 4194304 4196468 140728139610032 140006299409424 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9180] ppid=9175 vsize=13984976 memory=4048 CPUtime=21.37 cores=1,3,5,7
/proc/9177/task/9180/stat : 9180 (java) S 9175 9175 3809 0 -1 1077944384 17447 0 0 0 2029 108 0 0 20 0 15 0 154865638 14320615424 141274 33554432000 4194304 4196468 140728139610032 140006298356880 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9181] ppid=9175 vsize=13984976 memory=1236 CPUtime=21.41 cores=1,3,5,7
/proc/9177/task/9181/stat : 9181 (java) S 9175 9175 3809 0 -1 1077944384 17432 0 0 0 2035 106 0 0 20 0 15 0 154865638 14320615424 141274 33554432000 4194304 4196468 140728139610032 140006297303824 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9182] ppid=9175 vsize=13984976 memory=644 CPUtime=21.35 cores=1,3,5,7
/proc/9177/task/9182/stat : 9182 (java) S 9175 9175 3809 0 -1 1077944384 15662 0 0 0 2031 104 0 0 20 0 15 0 154865638 14320615424 141274 33554432000 4194304 4196468 140728139610032 140006296251280 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9183] ppid=9175 vsize=13984976 memory=1788 CPUtime=1.35 cores=1,3,5,7
/proc/9177/task/9183/stat : 9183 (java) S 9175 9175 3809 0 -1 1077944384 37878 0 0 0 106 29 0 0 20 0 15 0 154865639 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005615950064 140006703458946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9184] ppid=9175 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9184/stat : 9184 (java) S 9175 9175 3809 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154865639 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005614896288 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9185] ppid=9175 vsize=13984976 memory=572280 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9185/stat : 9185 (java) S 9175 9175 3809 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154865640 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005613843184 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9186] ppid=9175 vsize=13984976 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9186/stat : 9186 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005612791760 140006703466395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9187] ppid=9175 vsize=13984976 memory=928 CPUtime=3.97 cores=1,3,5,7
/proc/9177/task/9187/stat : 9187 (java) S 9175 9175 3809 0 -1 1077944384 24614 0 0 0 394 3 0 0 20 0 15 0 154865642 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005611739888 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9188] ppid=9175 vsize=13984976 memory=2240 CPUtime=4.11 cores=1,3,5,7
/proc/9177/task/9188/stat : 9188 (java) S 9175 9175 3809 0 -1 1077944384 21591 0 0 0 409 2 0 0 20 0 15 0 154865642 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005610687344 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9189] ppid=9175 vsize=13984976 memory=4128 CPUtime=0.85 cores=1,3,5,7
/proc/9177/task/9189/stat : 9189 (java) S 9175 9175 3809 0 -1 1077944384 11561 0 0 0 82 3 0 0 20 0 15 0 154865642 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005609634288 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9190] ppid=9175 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/9177/task/9190/stat : 9190 (java) S 9175 9175 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154865642 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005608581984 140006703458005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
[pid=9177/tid=9191] ppid=9175 vsize=13984976 memory=2540 CPUtime=1.23 cores=1,3,5,7
/proc/9177/task/9191/stat : 9191 (java) S 9175 9175 3809 0 -1 1077944384 1271 0 0 0 53 70 0 0 20 0 15 0 154865643 14320615424 141274 33554432000 4194304 4196468 140728139610032 140005607529008 140006703458946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140728139617431 140728139617607 140728139617607 140728139620303 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 566480 KiB

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

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

[startup+2446.21 s]
# the end of solver process 9177 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.74 s, system=5.36363 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): 2446.21
CPU time (s): 2520.1
CPU user time (s): 2514.74
CPU system time (s): 5.36363
CPU usage (%): 103.021
Max. virtual memory (cumulated for all children) (KiB): 13998016
Max. memory (cumulated for all children) (KiB): 660000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.74
system time used= 5.36363
maximum resident set size= 663168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78217
involuntary context switches= 2900


# summary of solver processes directly reported to runsolver:
#   pid: 9175,9177
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2514.74
#   total CPU system time (s): 5.36363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0513 second user time and 21.5688 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml
MD5SUM	4a86fdd9abdf3f491c5a6082e8161c48
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	202
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	473
Number of constraints	473
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":473}]
Minimum variable degree	5
Maximum variable degree	18
Distribution of variable degrees	[{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}]
Minimum constraint arity	4
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":473}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4283395

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
