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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	OPT	3	5.2532401	1.98763
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 (11442 MiB free)
  memory of node 1: 16384 MiB (11938 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284319-1503211095/watcher-4284319-1503211095 -o /tmp/evaluation-result-4284319-1503211095/solver-4284319-1503211095 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2070259418 HOME/instance-4284319-1503211095.xml 

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

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


[startup+0.100103 s]*
/proc/loadavg: 1.47 1.64 1.62 3/217 14199
/proc/meminfo: memFree=23927380/32770624 swapFree=67108860/67108860
[pid=14183] ppid=14180 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14183/stat : 14183 (xcsp3-exec) S 14180 14183 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154190268 9740288 345 33554432000 4194304 5098028 140729603862512 140729603860616 140604547449468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9916416 140729603863668 140729603863872 140729603863872 140729603866603 0
/proc/14183/statm: 2378 345 289 221 0 87 0
[pid=14185] ppid=14183 vsize=13978596 memory=28124 CPUtime=0.12 cores=1,3,5,7
/proc/14185/stat : 14185 (java) S 14183 14183 12810 0 -1 1077944320 5321 0 0 0 11 1 0 0 20 0 15 0 154190268 14314082304 7031 33554432000 4194304 4196468 140733383141760 140733383124304 139755464539895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
/proc/14185/statm: 3494649 7031 2901 1 0 3482966 0
[pid=14185/tid=14186] ppid=14183 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=1,3,5,7
/proc/14185/task/14186/stat : 14186 (java) R 14183 14183 12810 0 -1 4202560 3323 0 0 0 8 0 0 0 20 0 15 0 154190268 14314082304 7031 33554432000 4194304 4196468 140733383141760 139755468771200 139755098575018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14187] ppid=14183 vsize=13978596 memory=3472468700058178768 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14187/stat : 14187 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14314082304 7031 33554432000 4194304 4196468 140733383141760 139755421092880 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14188] ppid=14183 vsize=13978596 memory=140571163027072 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14188/stat : 14188 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14314082304 7031 33554432000 4194304 4196468 140733383141760 139755420040336 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14189] ppid=14183 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14189/stat : 14189 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14314082304 7031 33554432000 4194304 4196468 140733383141760 139755418987280 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14190] ppid=14183 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14190/stat : 14190 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190269 14314082304 7031 33554432000 4194304 4196468 140733383141760 139755056982928 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14191] ppid=14183 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14191/stat : 14191 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190270 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754938779888 139755464551042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14192] ppid=14183 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14192/stat : 14192 (java) S 14183 14183 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154190271 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754937726112 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14193] ppid=14183 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14193/stat : 14193 (java) S 14183 14183 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154190271 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754936673008 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14194] ppid=14183 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14194/stat : 14194 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190273 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754935621584 139755464558491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14195] ppid=14183 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14195/stat : 14195 (java) S 14183 14183 12810 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 154190273 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754934569712 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14196] ppid=14183 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14196/stat : 14196 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190273 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754933517168 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14197] ppid=14183 vsize=13978596 memory=140571163027072 CPUtime=0.01 cores=1,3,5,7
/proc/14185/task/14197/stat : 14197 (java) R 14183 14183 12810 0 -1 4202560 316 0 0 0 1 0 0 0 20 0 15 0 154190273 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754932464112 139755443523620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14198] ppid=14183 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14198/stat : 14198 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190274 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754931411808 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14199] ppid=14183 vsize=13978596 memory=140571163027072 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14199/stat : 14199 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190274 14314082304 7031 33554432000 4194304 4196468 140733383141760 139754930358832 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29504 KiB

[startup+0.210634 s]*
/proc/loadavg: 1.47 1.64 1.62 4/217 14199
/proc/meminfo: memFree=23915844/32770624 swapFree=67108860/67108860
[pid=14183] ppid=14180 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14183/stat : 14183 (xcsp3-exec) S 14180 14183 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154190268 9740288 345 33554432000 4194304 5098028 140729603862512 140729603860616 140604547449468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9916416 140729603863668 140729603863872 140729603863872 140729603866603 0
/proc/14183/statm: 2378 345 289 221 0 87 0
[pid=14185] ppid=14183 vsize=13982852 memory=40324 CPUtime=0.33 cores=1,3,5,7
/proc/14185/stat : 14185 (java) S 14183 14183 12810 0 -1 1077944320 8271 0 0 0 30 3 0 0 20 0 15 0 154190268 14318440448 10081 33554432000 4194304 4196468 140733383141760 140733383124304 139755464539895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
/proc/14185/statm: 3495713 10081 3036 1 0 3482966 0
[pid=14185/tid=14186] ppid=14183 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/14185/task/14186/stat : 14186 (java) R 14183 14183 12810 0 -1 4202560 5368 0 0 0 18 1 0 0 20 0 15 0 154190268 14318440448 10081 33554432000 4194304 4196468 140733383141760 139755468750800 139755464551830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14187] ppid=14183 vsize=13982852 memory=3472468700058178768 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14187/stat : 14187 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14318440448 10081 33554432000 4194304 4196468 140733383141760 139755421092880 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14188] ppid=14183 vsize=13982852 memory=140571163027072 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14188/stat : 14188 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14318440448 10081 33554432000 4194304 4196468 140733383141760 139755420040336 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14189] ppid=14183 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14189/stat : 14189 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14318440448 10081 33554432000 4194304 4196468 140733383141760 139755418987280 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14190] ppid=14183 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14190/stat : 14190 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190269 14318440448 10081 33554432000 4194304 4196468 140733383141760 139755056982928 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14191] ppid=14183 vsize=13982852 memory=140571163027072 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14191/stat : 14191 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190270 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754938779888 139755464551042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14192] ppid=14183 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14192/stat : 14192 (java) S 14183 14183 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154190271 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754937726112 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14193] ppid=14183 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14193/stat : 14193 (java) S 14183 14183 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154190271 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754936673008 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14194] ppid=14183 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14194/stat : 14194 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190273 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754935621584 139755464558491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14195] ppid=14183 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14185/task/14195/stat : 14195 (java) S 14183 14183 12810 0 -1 1077944384 520 0 0 0 1 0 0 0 20 0 15 0 154190273 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754934569712 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14196] ppid=14183 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14185/task/14196/stat : 14196 (java) R 14183 14183 12810 0 -1 4202560 310 0 0 0 2 0 0 0 20 0 15 0 154190273 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754933517168 139755464551830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14197] ppid=14183 vsize=13982852 memory=140571163027072 CPUtime=0.07 cores=1,3,5,7
/proc/14185/task/14197/stat : 14197 (java) R 14183 14183 12810 0 -1 4202560 771 0 0 0 7 0 0 0 20 0 15 0 154190273 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754932464112 139755464561242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14198] ppid=14183 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14198/stat : 14198 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190274 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754931411808 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14199] ppid=14183 vsize=13982852 memory=140571163027072 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14199/stat : 14199 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190274 14318440448 10081 33554432000 4194304 4196468 140733383141760 139754930358832 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41704 KiB

[startup+0.310668 s]*
/proc/loadavg: 1.47 1.64 1.62 5/217 14199
/proc/meminfo: memFree=23908772/32770624 swapFree=67108860/67108860
[pid=14183] ppid=14180 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14183/stat : 14183 (xcsp3-exec) S 14180 14183 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154190268 9740288 345 33554432000 4194304 5098028 140729603862512 140729603860616 140604547449468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9916416 140729603863668 140729603863872 140729603863872 140729603866603 0
/proc/14183/statm: 2378 345 289 221 0 87 0
[pid=14185] ppid=14183 vsize=13982852 memory=47452 CPUtime=0.52 cores=1,3,5,7
/proc/14185/stat : 14185 (java) S 14183 14183 12810 0 -1 1077944320 9006 0 0 0 48 4 0 0 20 0 15 0 154190268 14318440448 11863 33554432000 4194304 4196468 140733383141760 140733383124304 139755464539895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
/proc/14185/statm: 3495713 11863 3126 1 0 3482966 0
[pid=14185/tid=14186] ppid=14183 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=1,3,5,7
/proc/14185/task/14186/stat : 14186 (java) R 14183 14183 12810 0 -1 4202560 5910 0 0 0 28 2 0 0 20 0 15 0 154190268 14318440448 11863 33554432000 4194304 4196468 140733383141760 139755468777824 139755098573159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14187] ppid=14183 vsize=13982852 memory=3472468700058178768 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14187/stat : 14187 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14318440448 11863 33554432000 4194304 4196468 140733383141760 139755421092880 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14188] ppid=14183 vsize=13982852 memory=140571163027072 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14188/stat : 14188 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14318440448 11863 33554432000 4194304 4196468 140733383141760 139755420040336 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14189] ppid=14183 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14189/stat : 14189 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14318440448 11863 33554432000 4194304 4196468 140733383141760 139755418987280 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14190] ppid=14183 vsize=13982852 memory=140571058513951 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14190/stat : 14190 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190269 14318440448 11863 33554432000 4194304 4196468 140733383141760 139755056982928 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14191] ppid=14183 vsize=13982852 memory=281142117007136 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14191/stat : 14191 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190270 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754938779888 139755464551042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14192] ppid=14183 vsize=13982852 memory=140571058490895 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14192/stat : 14192 (java) S 14183 14183 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154190271 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754937726112 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14193] ppid=14183 vsize=13982852 memory=281142221527136 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14193/stat : 14193 (java) S 14183 14183 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154190271 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754936673008 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14194] ppid=14183 vsize=13982852 memory=140571058495503 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14194/stat : 14194 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190273 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754935621584 139755464558491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14195] ppid=14183 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14185/task/14195/stat : 14195 (java) R 14183 14183 12810 0 -1 1077944384 535 0 0 0 3 0 0 0 20 0 15 0 154190273 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754934569712 139755464551042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14196] ppid=14183 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/14185/task/14196/stat : 14196 (java) R 14183 14183 12810 0 -1 4202560 377 0 0 0 3 0 0 0 20 0 15 0 154190273 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754933517168 139755450142609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14197] ppid=14183 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/14185/task/14197/stat : 14197 (java) R 14183 14183 12810 0 -1 4202560 886 0 0 0 13 0 0 0 20 0 15 0 154190273 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754932464240 139755448620382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14198] ppid=14183 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14198/stat : 14198 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190274 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754931411808 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14199] ppid=14183 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14199/stat : 14199 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190274 14318440448 11863 33554432000 4194304 4196468 140733383141760 139754930358832 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48832 KiB

[startup+0.701694 s]
/proc/loadavg: 1.47 1.64 1.62 5/217 14199
/proc/meminfo: memFree=23882592/32770624 swapFree=67108860/67108860
[pid=14183] ppid=14180 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14183/stat : 14183 (xcsp3-exec) S 14180 14183 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154190268 9740288 345 33554432000 4194304 5098028 140729603862512 140729603860616 140604547449468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9916416 140729603863668 140729603863872 140729603863872 140729603866603 0
/proc/14183/statm: 2378 345 289 221 0 87 0
[pid=14185] ppid=14183 vsize=13984976 memory=92580 CPUtime=1.81 cores=1,3,5,7
/proc/14185/stat : 14185 (java) S 14183 14183 12810 0 -1 1077944320 12709 0 0 0 175 6 0 0 20 0 15 0 154190268 14320615424 23145 33554432000 4194304 4196468 140733383141760 140733383124304 139755464539895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
/proc/14185/statm: 3496244 23145 3201 1 0 3483478 0
[pid=14185/tid=14186] ppid=14183 vsize=13984976 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/14185/task/14186/stat : 14186 (java) R 14183 14183 12810 0 -1 4202560 6541 0 0 0 64 3 0 0 20 0 15 0 154190268 14320615424 23145 33554432000 4194304 4196468 140733383141760 139755468777216 139755098568752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14187] ppid=14183 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14187/stat : 14187 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 23145 33554432000 4194304 4196468 140733383141760 139755421092880 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14188] ppid=14183 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14188/stat : 14188 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 23145 33554432000 4194304 4196468 140733383141760 139755420040336 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14189] ppid=14183 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14189/stat : 14189 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 23145 33554432000 4194304 4196468 140733383141760 139755418987280 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14190] ppid=14183 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14190/stat : 14190 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 23145 33554432000 4194304 4196468 140733383141760 139755056982928 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14191] ppid=14183 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14191/stat : 14191 (java) S 14183 14183 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154190270 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754938779888 139755464551042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14192] ppid=14183 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14192/stat : 14192 (java) S 14183 14183 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754937726112 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14193] ppid=14183 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14193/stat : 14193 (java) S 14183 14183 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754936673008 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14194] ppid=14183 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14194/stat : 14194 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190273 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754935621584 139755464558491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14195] ppid=14183 vsize=13984976 memory=42940 CPUtime=0.36 cores=1,3,5,7
/proc/14185/task/14195/stat : 14195 (java) R 14183 14183 12810 0 -1 4202560 1522 0 0 0 36 0 0 0 20 0 15 0 154190273 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754934554224 139755448443203 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14196] ppid=14183 vsize=13984976 memory=1292 CPUtime=0.37 cores=1,3,5,7
/proc/14185/task/14196/stat : 14196 (java) R 14183 14183 12810 0 -1 4202560 1414 0 0 0 36 1 0 0 20 0 15 0 154190273 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754933505280 139755444195760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14197] ppid=14183 vsize=13984976 memory=2428 CPUtime=0.36 cores=1,3,5,7
/proc/14185/task/14197/stat : 14197 (java) R 14183 14183 12810 0 -1 4202560 1926 0 0 0 36 0 0 0 20 0 15 0 154190273 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754932461048 139755443140537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14198] ppid=14183 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14198/stat : 14198 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754931411808 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14199] ppid=14183 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14199/stat : 14199 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 23145 33554432000 4194304 4196468 140733383141760 139754930358832 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93960 KiB

[startup+1.50082 s]
/proc/loadavg: 1.51 1.65 1.62 5/217 14199
/proc/meminfo: memFree=23833944/32770624 swapFree=67108860/67108860
[pid=14183] ppid=14180 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14183/stat : 14183 (xcsp3-exec) S 14180 14183 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154190268 9740288 345 33554432000 4194304 5098028 140729603862512 140729603860616 140604547449468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9916416 140729603863668 140729603863872 140729603863872 140729603866603 0
/proc/14183/statm: 2378 345 289 221 0 87 0

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

/proc/14185/task/14187/stat : 14187 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 42481 33554432000 4194304 4196468 140733383141760 139755421092880 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14188] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14188/stat : 14188 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 42481 33554432000 4194304 4196468 140733383141760 139755420040336 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14189] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14189/stat : 14189 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 42481 33554432000 4194304 4196468 140733383141760 139755418987280 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14190] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14190/stat : 14190 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 42481 33554432000 4194304 4196468 140733383141760 139755056982928 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14191] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14191/stat : 14191 (java) S 14183 14183 12810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154190270 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754938779888 139755464551042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14192] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14192/stat : 14192 (java) S 14183 14183 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754937726112 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14193] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14193/stat : 14193 (java) S 14183 14183 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754936673008 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14194] ppid=14183 vsize=13984976 memory=-2317720213663851332 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14194/stat : 14194 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190273 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754935621584 139755464558491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14195] ppid=14183 vsize=13984976 memory=-6948614817169703622 CPUtime=1.11 cores=1,3,5,7
/proc/14185/task/14195/stat : 14195 (java) R 14183 14183 12810 0 -1 4202560 5026 0 0 0 110 1 0 0 20 0 15 0 154190273 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754934555024 139755446059580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14196] ppid=14183 vsize=13984976 memory=-6948614817169703622 CPUtime=1.14 cores=1,3,5,7
/proc/14185/task/14196/stat : 14196 (java) R 14183 14183 12810 0 -1 4202560 7698 0 0 0 113 1 0 0 20 0 15 0 154190273 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754933508704 139755449654950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14197] ppid=14183 vsize=13984976 memory=-2317720213663851332 CPUtime=0.6 cores=1,3,5,7
/proc/14185/task/14197/stat : 14197 (java) S 14183 14183 12810 0 -1 1077944384 4049 0 0 0 59 1 0 0 20 0 15 0 154190273 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754932464112 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14198] ppid=14183 vsize=13984976 memory=-7674914008656224160 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14198/stat : 14198 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754931411808 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14199] ppid=14183 vsize=13984976 memory=-4695052241013923951 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14199/stat : 14199 (java) S 14183 14183 12810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 42481 33554432000 4194304 4196468 140733383141760 139754930358832 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 171304 KiB

[startup+1.98759 s]
# the end of solver process 14183 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.14733 s, system=0.105912 s

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

[startup+1.60096 s]
/proc/loadavg: 1.51 1.65 1.62 5/217 14199
/proc/meminfo: memFree=23833944/32770624 swapFree=67108860/67108860
[pid=14183] ppid=14180 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14183/stat : 14183 (xcsp3-exec) S 14180 14183 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154190268 9740288 345 33554432000 4194304 5098028 140729603862512 140729603860616 140604547449468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9916416 140729603863668 140729603863872 140729603863872 140729603866603 0
/proc/14183/statm: 2378 345 289 221 0 87 0
[pid=14185] ppid=14183 vsize=13984976 memory=186432 CPUtime=4.64 cores=1,3,5,7
/proc/14185/stat : 14185 (java) S 14183 14183 12810 0 -1 1077944320 26383 0 0 0 456 8 0 0 20 0 15 0 154190268 14320615424 46608 33554432000 4194304 4196468 140733383141760 140733383124304 139755464539895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
/proc/14185/statm: 3496244 46608 3226 1 0 3483478 0
[pid=14185/tid=14186] ppid=14183 vsize=13984976 memory=2428 CPUtime=1.57 cores=1,3,5,7
/proc/14185/task/14186/stat : 14186 (java) R 14183 14183 12810 0 -1 4202560 8192 0 0 0 153 4 0 0 20 0 15 0 154190268 14320615424 46608 33554432000 4194304 4196468 140733383141760 139755468776208 139755105382555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14187] ppid=14183 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14187/stat : 14187 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 46608 33554432000 4194304 4196468 140733383141760 139755421092880 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14188] ppid=14183 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14188/stat : 14188 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 46608 33554432000 4194304 4196468 140733383141760 139755420040336 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14189] ppid=14183 vsize=13984976 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14189/stat : 14189 (java) S 14183 14183 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 46608 33554432000 4194304 4196468 140733383141760 139755418987280 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14190] ppid=14183 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14190/stat : 14190 (java) S 14183 14183 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 46608 33554432000 4194304 4196468 140733383141760 139755056982928 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14191] ppid=14183 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14191/stat : 14191 (java) S 14183 14183 12810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154190270 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754938779888 139755464551042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14192] ppid=14183 vsize=13984976 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14192/stat : 14192 (java) S 14183 14183 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754937726112 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14193] ppid=14183 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14193/stat : 14193 (java) S 14183 14183 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754936673008 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14194] ppid=14183 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14194/stat : 14194 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190273 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754935621584 139755464558491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14195] ppid=14183 vsize=13984976 memory=1944 CPUtime=1.21 cores=1,3,5,7
/proc/14185/task/14195/stat : 14195 (java) R 14183 14183 12810 0 -1 4202560 5056 0 0 0 120 1 0 0 20 0 15 0 154190273 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754934556560 139755448003686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14196] ppid=14183 vsize=13984976 memory=1200 CPUtime=1.23 cores=1,3,5,7
/proc/14185/task/14196/stat : 14196 (java) S 14183 14183 12810 0 -1 1077944384 7725 0 0 0 122 1 0 0 20 0 15 0 154190273 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754933517168 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14197] ppid=14183 vsize=13984976 memory=1424 CPUtime=0.6 cores=1,3,5,7
/proc/14185/task/14197/stat : 14197 (java) S 14183 14183 12810 0 -1 1077944384 4050 0 0 0 59 1 0 0 20 0 15 0 154190273 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754932464112 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14198] ppid=14183 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14198/stat : 14198 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754931411808 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14199] ppid=14183 vsize=13984976 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14199/stat : 14199 (java) S 14183 14183 12810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 46608 33554432000 4194304 4196468 140733383141760 139754930358832 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 187812 KiB

[startup+1.80075 s]
/proc/loadavg: 1.51 1.65 1.62 5/217 14199
/proc/meminfo: memFree=23833944/32770624 swapFree=67108860/67108860
[pid=14183] ppid=14180 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14183/stat : 14183 (xcsp3-exec) S 14180 14183 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154190268 9740288 345 33554432000 4194304 5098028 140729603862512 140729603860616 140604547449468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9916416 140729603863668 140729603863872 140729603863872 140729603866603 0
/proc/14183/statm: 2378 345 289 221 0 87 0
[pid=14185] ppid=14183 vsize=13984976 memory=215372 CPUtime=4.98 cores=1,3,5,7
/proc/14185/stat : 14185 (java) S 14183 14183 12810 0 -1 1077944320 27545 0 0 0 489 9 0 0 20 0 15 0 154190268 14320615424 53843 33554432000 4194304 4196468 140733383141760 140733383124304 139755464539895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
/proc/14185/statm: 3496244 53843 3242 1 0 3483478 0
[pid=14185/tid=14186] ppid=14183 vsize=13984976 memory=8600 CPUtime=1.76 cores=1,3,5,7
/proc/14185/task/14186/stat : 14186 (java) R 14183 14183 12810 0 -1 4202560 8231 0 0 0 172 4 0 0 20 0 15 0 154190268 14320615424 53843 33554432000 4194304 4196468 140733383141760 139755468778976 139755105337886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14187] ppid=14183 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14187/stat : 14187 (java) S 14183 14183 12810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 53843 33554432000 4194304 4196468 140733383141760 139755421092880 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14188] ppid=14183 vsize=13984976 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14188/stat : 14188 (java) S 14183 14183 12810 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 53843 33554432000 4194304 4196468 140733383141760 139755420040336 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14189] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14189/stat : 14189 (java) S 14183 14183 12810 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 53843 33554432000 4194304 4196468 140733383141760 139755418987280 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14190] ppid=14183 vsize=13984976 memory=17828 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14190/stat : 14190 (java) S 14183 14183 12810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 53843 33554432000 4194304 4196468 140733383141760 139755056982928 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14191] ppid=14183 vsize=13984976 memory=79 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14191/stat : 14191 (java) S 14183 14183 12810 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 154190270 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754938779888 139755464551042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14192] ppid=14183 vsize=13984976 memory=105 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14192/stat : 14192 (java) S 14183 14183 12810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754937726112 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14193] ppid=14183 vsize=13984976 memory=20343 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14193/stat : 14193 (java) S 14183 14183 12810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754936673008 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14194] ppid=14183 vsize=13984976 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14194/stat : 14194 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190273 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754935621584 139755464558491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14195] ppid=14183 vsize=13984976 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/14185/task/14195/stat : 14195 (java) S 14183 14183 12810 0 -1 1077944384 5067 0 0 0 128 1 0 0 20 0 15 0 154190273 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754934569712 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14196] ppid=14183 vsize=13984976 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/14185/task/14196/stat : 14196 (java) S 14183 14183 12810 0 -1 1077944384 7731 0 0 0 125 1 0 0 20 0 15 0 154190273 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754933517168 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14197] ppid=14183 vsize=13984976 memory=281142117306852 CPUtime=0.61 cores=1,3,5,7
/proc/14185/task/14197/stat : 14197 (java) S 14183 14183 12810 0 -1 1077944384 4398 0 0 0 60 1 0 0 20 0 15 0 154190273 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754932464112 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14198] ppid=14183 vsize=13984976 memory=-8035107114841901037 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14198/stat : 14198 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754931411808 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14199] ppid=14183 vsize=13984976 memory=7661612803003166612 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14199/stat : 14199 (java) S 14183 14183 12810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 53843 33554432000 4194304 4196468 140733383141760 139754930358832 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 216752 KiB

[startup+1.9008 s]
/proc/loadavg: 1.51 1.65 1.62 5/217 14199
/proc/meminfo: memFree=23833944/32770624 swapFree=67108860/67108860
[pid=14183] ppid=14180 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14183/stat : 14183 (xcsp3-exec) S 14180 14183 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154190268 9740288 345 33554432000 4194304 5098028 140729603862512 140729603860616 140604547449468 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9916416 140729603863668 140729603863872 140729603863872 140729603866603 0
/proc/14183/statm: 2378 345 289 221 0 87 0
[pid=14185] ppid=14183 vsize=13984976 memory=215396 CPUtime=5.16 cores=1,3,5,7
/proc/14185/stat : 14185 (java) S 14183 14183 12810 0 -1 1077944320 27586 0 0 0 507 9 0 0 20 0 15 0 154190268 14320615424 53849 33554432000 4194304 4196468 140733383141760 140733383124304 139755464539895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
/proc/14185/statm: 3496244 53849 3242 1 0 3483478 0
[pid=14185/tid=14186] ppid=14183 vsize=13984976 memory=56 CPUtime=1.86 cores=1,3,5,7
/proc/14185/task/14186/stat : 14186 (java) R 14183 14183 12810 0 -1 4202560 8249 0 0 0 182 4 0 0 20 0 15 0 154190268 14320615424 53849 33554432000 4194304 4196468 140733383141760 139755468778976 139755105257108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14187] ppid=14183 vsize=13984976 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14187/stat : 14187 (java) S 14183 14183 12810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 53849 33554432000 4194304 4196468 140733383141760 139755421092880 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14188] ppid=14183 vsize=13984976 memory=281142117242080 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14188/stat : 14188 (java) S 14183 14183 12810 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 53849 33554432000 4194304 4196468 140733383141760 139755420040336 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14189] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14189/stat : 14189 (java) S 14183 14183 12810 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 53849 33554432000 4194304 4196468 140733383141760 139755418987280 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14190] ppid=14183 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14190/stat : 14190 (java) S 14183 14183 12810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154190269 14320615424 53849 33554432000 4194304 4196468 140733383141760 139755056982928 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14191] ppid=14183 vsize=13984976 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14191/stat : 14191 (java) S 14183 14183 12810 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 154190270 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754938779888 139755464551042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14192] ppid=14183 vsize=13984976 memory=14691902876294227 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14192/stat : 14192 (java) S 14183 14183 12810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754937726112 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14193] ppid=14183 vsize=13984976 memory=281142117307044 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14193/stat : 14193 (java) S 14183 14183 12810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 154190271 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754936673008 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14194] ppid=14183 vsize=13984976 memory=281142117307108 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14194/stat : 14194 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190273 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754935621584 139755464558491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14195] ppid=14183 vsize=13984976 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/14185/task/14195/stat : 14195 (java) S 14183 14183 12810 0 -1 1077944384 5072 0 0 0 131 1 0 0 20 0 15 0 154190273 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754934569712 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14196] ppid=14183 vsize=13984976 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/14185/task/14196/stat : 14196 (java) S 14183 14183 12810 0 -1 1077944384 7738 0 0 0 129 1 0 0 20 0 15 0 154190273 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754933517168 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14197] ppid=14183 vsize=13984976 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/14185/task/14197/stat : 14197 (java) S 14183 14183 12810 0 -1 1077944384 4409 0 0 0 61 1 0 0 20 0 15 0 154190273 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754932464112 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14198] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14198/stat : 14198 (java) S 14183 14183 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754931411808 139755464550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
[pid=14185/tid=14199] ppid=14183 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14185/task/14199/stat : 14199 (java) S 14183 14183 12810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154190274 14320615424 53849 33554432000 4194304 4196468 140733383141760 139754930358832 139755464551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15568896 140733383144605 140733383144780 140733383144780 140733383147471 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 216776 KiB

Child status: 0
Real time (s): 1.98763
CPU time (s): 5.25324
CPU user time (s): 5.14733
CPU system time (s): 0.105912
CPU usage (%): 264.297
Max. virtual memory (cumulated for all children) (KiB): 13996384
Max. memory (cumulated for all children) (KiB): 216776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.14733
system time used= 0.105912
maximum resident set size= 216040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2011
involuntary context switches= 35


# summary of solver processes directly reported to runsolver:
#   pid: 14183
#   total CPU time (s): 5.25324
#   total CPU user time (s): 5.14733
#   total CPU system time (s): 0.105912

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036705 second user time and 0.05738 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml
MD5SUM	a2156ca8d664195666e0b5da895e2590
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	2.92958
Satisfiable
(Un)Satisfiability was proved
Number of variables	662
Number of constraints	4181
Number of domains	1
Minimum domain size	662
Maximum domain size	662
Distribution of domain sizes	[{"size":662,"count":662}]
Minimum variable degree	2
Maximum variable degree	24
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":32},{"degree":10,"count":59},{"degree":11,"count":48},{"degree":12,"count":58},{"degree":13,"count":88},{"degree":14,"count":129},{"degree":15,"count":115},{"degree":16,"count":41},{"degree":17,"count":31},{"degree":18,"count":16},{"degree":19,"count":14},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":4},{"degree":23,"count":4},{"degree":24,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4181}]
Number of extensional constraints	0
Number of intensional constraints	4181
Distribution of constraint types	[{"type":"intension","count":4181}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4284319

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
