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 (14239 MiB free)
memory of node 1: 16384 MiB (13137 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272117-1502817694/watcher-4272117-1502817694 -o /tmp/evaluation-result-4272117-1502817694/solver-4272117-1502817694 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1849374678 HOME/instance-4272117-1502817694.xml
running on 4 cores: 0,2,4,6
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=11266, runsolver pid=11263
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.95 1.70 1.59 3/217 11282
/proc/meminfo: memFree=28016972/32770624 swapFree=67108860/67108860
[pid=11266] ppid=11263 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11266/stat : 11266 (xcsp3-exec) S 11263 11266 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114857470 9740288 346 33554432000 4194304 5098028 140733232960592 140733232958696 139621034869372 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12017664 140733232968814 140733232969019 140733232969019 140733232971755 0
/proc/11266/statm: 2378 346 289 221 0 87 0
[pid=11268] ppid=11266 vsize=13978596 memory=28132 CPUtime=0.11 cores=0,2,4,6
/proc/11268/stat : 11268 (java) S 11266 11266 5918 0 -1 1077944320 5385 0 0 0 11 0 0 0 20 0 15 0 114857470 14314082304 7033 33554432000 4194304 4196468 140730893696560 140730893679104 139868485701367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
/proc/11268/statm: 3494649 7033 2871 1 0 3482966 0
[pid=11268/tid=11269] ppid=11266 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/11268/task/11269/stat : 11269 (java) R 11266 11266 5918 0 -1 4202560 3402 0 0 0 9 0 0 0 20 0 15 0 114857470 14314082304 7033 33554432000 4194304 4196468 140730893696560 139868489927664 139868485713302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11270] ppid=11266 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11270/stat : 11270 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14314082304 7033 33554432000 4194304 4196468 140730893696560 139868438321808 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11271] ppid=11266 vsize=13978596 memory=140217520461440 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11271/stat : 11271 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14314082304 7033 33554432000 4194304 4196468 140730893696560 139868437269008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11272] ppid=11266 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11272/stat : 11272 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14314082304 7033 33554432000 4194304 4196468 140730893696560 139868436216208 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11273] ppid=11266 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11273/stat : 11273 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857471 14314082304 7033 33554432000 4194304 4196468 140730893696560 139868435163408 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11274] ppid=11266 vsize=13978596 memory=140217520461440 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11274/stat : 11274 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857473 14314082304 7033 33554432000 4194304 4196468 140730893696560 139868027100016 139868485712514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11275] ppid=11266 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11275/stat : 11275 (java) S 11266 11266 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857473 14314082304 7033 33554432000 4194304 4196468 140730893696560 139867958797856 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11276] ppid=11266 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11276/stat : 11276 (java) S 11266 11266 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857473 14314082304 7033 33554432000 4194304 4196468 140730893696560 139867957745008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11277] ppid=11266 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11277/stat : 11277 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14314082304 7033 33554432000 4194304 4196468 140730893696560 139867956693328 139868485719963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11278] ppid=11266 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11278/stat : 11278 (java) S 11266 11266 5918 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 114857476 14314082304 7033 33554432000 4194304 4196468 140730893696560 139867955640688 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11279] ppid=11266 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11279/stat : 11279 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14314082304 7033 33554432000 4194304 4196468 140730893696560 139867954587888 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11280] ppid=11266 vsize=13978596 memory=140217520461440 CPUtime=0.01 cores=0,2,4,6
/proc/11268/task/11280/stat : 11280 (java) S 11266 11266 5918 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 114857476 14314082304 7033 33554432000 4194304 4196468 140730893696560 139867953535088 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11281] ppid=11266 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11281/stat : 11281 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14314082304 7033 33554432000 4194304 4196468 140730893696560 139867952482528 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11282] ppid=11266 vsize=13978596 memory=140217520461440 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11282/stat : 11282 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857476 14314082304 7033 33554432000 4194304 4196468 140730893696560 139867951430832 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29516 KiB
[startup+0.210617 s]*
/proc/loadavg: 1.95 1.70 1.59 3/217 11282
/proc/meminfo: memFree=28005204/32770624 swapFree=67108860/67108860
[pid=11266] ppid=11263 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11266/stat : 11266 (xcsp3-exec) S 11263 11266 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114857470 9740288 346 33554432000 4194304 5098028 140733232960592 140733232958696 139621034869372 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12017664 140733232968814 140733232969019 140733232969019 140733232971755 0
/proc/11266/statm: 2378 346 289 221 0 87 0
[pid=11268] ppid=11266 vsize=13982852 memory=40700 CPUtime=0.34 cores=0,2,4,6
/proc/11268/stat : 11268 (java) S 11266 11266 5918 0 -1 1077944320 8184 0 0 0 32 2 0 0 20 0 15 0 114857470 14318440448 10175 33554432000 4194304 4196468 140730893696560 140730893679104 139868485701367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
/proc/11268/statm: 3495713 10175 3055 1 0 3482966 0
[pid=11268/tid=11269] ppid=11266 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11268/task/11269/stat : 11269 (java) D 11266 11266 5918 0 -1 1077944384 5298 0 0 0 19 1 0 0 20 0 15 0 114857470 14318440448 10175 33554432000 4194304 4196468 140730893696560 139868489903056 139868478380589 0 4 0 16800975 18446744072101617188 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11270] ppid=11266 vsize=13982852 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11270/stat : 11270 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14318440448 10175 33554432000 4194304 4196468 140730893696560 139868438321808 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11271] ppid=11266 vsize=13982852 memory=140217521028346 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11271/stat : 11271 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14318440448 10175 33554432000 4194304 4196468 140730893696560 139868437269008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11272] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11272/stat : 11272 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14318440448 10175 33554432000 4194304 4196468 140730893696560 139868436216208 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11273] ppid=11266 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11273/stat : 11273 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857471 14318440448 10175 33554432000 4194304 4196468 140730893696560 139868435163408 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11274] ppid=11266 vsize=13982884 memory=140217520461440 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11274/stat : 11274 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857473 14318473216 10175 33554432000 4194304 4196468 140730893696560 139868027100016 139868485712514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11275] ppid=11266 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11275/stat : 11275 (java) S 11266 11266 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857473 14318440448 10175 33554432000 4194304 4196468 140730893696560 139867958797856 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11276] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11276/stat : 11276 (java) S 11266 11266 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857473 14318440448 10175 33554432000 4194304 4196468 140730893696560 139867957745008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11277] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11277/stat : 11277 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14318440448 10175 33554432000 4194304 4196468 140730893696560 139867956693328 139868485719963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11278] ppid=11266 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11268/task/11278/stat : 11278 (java) S 11266 11266 5918 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 114857476 14318440448 10175 33554432000 4194304 4196468 140730893696560 139867955640688 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11279] ppid=11266 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11268/task/11279/stat : 11279 (java) S 11266 11266 5918 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 114857476 14318440448 10175 33554432000 4194304 4196468 140730893696560 139867954587888 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11280] ppid=11266 vsize=13982852 memory=140217520461440 CPUtime=0.08 cores=0,2,4,6
/proc/11268/task/11280/stat : 11280 (java) S 11266 11266 5918 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 114857476 14318440448 10175 33554432000 4194304 4196468 140730893696560 139867953535088 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11281] ppid=11266 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11281/stat : 11281 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14318440448 10175 33554432000 4194304 4196468 140730893696560 139867952482528 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11282] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11282/stat : 11282 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857476 14318440448 10175 33554432000 4194304 4196468 140730893696560 139867951430832 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42084 KiB
[startup+0.310572 s]*
/proc/loadavg: 1.95 1.70 1.59 4/217 11282
/proc/meminfo: memFree=27999000/32770624 swapFree=67108860/67108860
[pid=11266] ppid=11263 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11266/stat : 11266 (xcsp3-exec) S 11263 11266 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114857470 9740288 346 33554432000 4194304 5098028 140733232960592 140733232958696 139621034869372 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12017664 140733232968814 140733232969019 140733232969019 140733232971755 0
/proc/11266/statm: 2378 346 289 221 0 87 0
[pid=11268] ppid=11266 vsize=13982852 memory=47316 CPUtime=0.51 cores=0,2,4,6
/proc/11268/stat : 11268 (java) S 11266 11266 5918 0 -1 1077944320 8995 0 0 0 49 2 0 0 20 0 15 0 114857470 14318440448 11829 33554432000 4194304 4196468 140730893696560 140730893679104 139868485701367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
/proc/11268/statm: 3495713 11829 3114 1 0 3482966 0
[pid=11268/tid=11269] ppid=11266 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/11268/task/11269/stat : 11269 (java) R 11266 11266 5918 0 -1 4202560 5973 0 0 0 28 2 0 0 20 0 15 0 114857470 14318440448 11829 33554432000 4194304 4196468 140730893696560 139868489925184 139868469781854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11270] ppid=11266 vsize=13982852 memory=12804 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11270/stat : 11270 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14318440448 11829 33554432000 4194304 4196468 140730893696560 139868438321808 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11271] ppid=11266 vsize=13982852 memory=571550 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11271/stat : 11271 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14318440448 11829 33554432000 4194304 4196468 140730893696560 139868437269008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11272] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11272/stat : 11272 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14318440448 11829 33554432000 4194304 4196468 140730893696560 139868436216208 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11273] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11273/stat : 11273 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857471 14318440448 11829 33554432000 4194304 4196468 140730893696560 139868435163408 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11274] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11274/stat : 11274 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857473 14318440448 11829 33554432000 4194304 4196468 140730893696560 139868027100016 139868485712514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11275] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11275/stat : 11275 (java) S 11266 11266 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857473 14318440448 11829 33554432000 4194304 4196468 140730893696560 139867958797856 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11276] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11276/stat : 11276 (java) S 11266 11266 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857473 14318440448 11829 33554432000 4194304 4196468 140730893696560 139867957745008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11277] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11277/stat : 11277 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14318440448 11829 33554432000 4194304 4196468 140730893696560 139867956693328 139868485719963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11278] ppid=11266 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11268/task/11278/stat : 11278 (java) R 11266 11266 5918 0 -1 4202560 601 0 0 0 4 0 0 0 20 0 15 0 114857476 14318440448 11829 33554432000 4194304 4196468 140730893696560 139867955640784 139868467245526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11279] ppid=11266 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11268/task/11279/stat : 11279 (java) R 11266 11266 5918 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 114857476 14318440448 11829 33554432000 4194304 4196468 140730893696560 139867954587888 139868485712514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11280] ppid=11266 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11268/task/11280/stat : 11280 (java) R 11266 11266 5918 0 -1 4202560 836 0 0 0 13 0 0 0 20 0 15 0 114857476 14318440448 11829 33554432000 4194304 4196468 140730893696560 139867953531456 139868485713302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11281] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11281/stat : 11281 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14318440448 11829 33554432000 4194304 4196468 140730893696560 139867952482528 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11282] ppid=11266 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11282/stat : 11282 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857476 14318440448 11829 33554432000 4194304 4196468 140730893696560 139867951430832 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48700 KiB
[startup+0.702608 s]
/proc/loadavg: 1.95 1.70 1.59 6/217 11282
/proc/meminfo: memFree=27982764/32770624 swapFree=67108860/67108860
[pid=11266] ppid=11263 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11266/stat : 11266 (xcsp3-exec) S 11263 11266 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114857470 9740288 346 33554432000 4194304 5098028 140733232960592 140733232958696 139621034869372 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12017664 140733232968814 140733232969019 140733232969019 140733232971755 0
/proc/11266/statm: 2378 346 289 221 0 87 0
[pid=11268] ppid=11266 vsize=13984976 memory=73516 CPUtime=1.59 cores=0,2,4,6
/proc/11268/stat : 11268 (java) S 11266 11266 5918 0 -1 1077944320 12537 0 0 0 156 3 0 0 20 0 15 0 114857470 14320615424 18379 33554432000 4194304 4196468 140730893696560 140730893679104 139868485701367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
/proc/11268/statm: 3496244 18379 3203 1 0 3483478 0
[pid=11268/tid=11269] ppid=11266 vsize=13984976 memory=4044 CPUtime=0.67 cores=0,2,4,6
/proc/11268/task/11269/stat : 11269 (java) R 11266 11266 5918 0 -1 4202560 6703 0 0 0 65 2 0 0 20 0 15 0 114857470 14320615424 18379 33554432000 4194304 4196468 140730893696560 139868489938920 139868113187108 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11270] ppid=11266 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11270/stat : 11270 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 18379 33554432000 4194304 4196468 140730893696560 139868438321808 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11271] ppid=11266 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11271/stat : 11271 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 18379 33554432000 4194304 4196468 140730893696560 139868437269008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11272] ppid=11266 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11272/stat : 11272 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 18379 33554432000 4194304 4196468 140730893696560 139868436216208 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11273] ppid=11266 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11273/stat : 11273 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 18379 33554432000 4194304 4196468 140730893696560 139868435163408 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11274] ppid=11266 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11274/stat : 11274 (java) S 11266 11266 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 18379 33554432000 4194304 4196468 140730893696560 139868027100016 139868485712514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11275] ppid=11266 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11275/stat : 11275 (java) S 11266 11266 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 18379 33554432000 4194304 4196468 140730893696560 139867958797856 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11276] ppid=11266 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11276/stat : 11276 (java) S 11266 11266 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 18379 33554432000 4194304 4196468 140730893696560 139867957745008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11277] ppid=11266 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11277/stat : 11277 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 18379 33554432000 4194304 4196468 140730893696560 139867956693328 139868485719963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11278] ppid=11266 vsize=13984976 memory=932 CPUtime=0.26 cores=0,2,4,6
/proc/11268/task/11278/stat : 11278 (java) R 11266 11266 5918 0 -1 4202560 1564 0 0 0 26 0 0 0 20 0 15 0 114857476 14320615424 18379 33554432000 4194304 4196468 140730893696560 139867955630160 139868469597128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11279] ppid=11266 vsize=13984976 memory=2200 CPUtime=0.26 cores=0,2,4,6
/proc/11268/task/11279/stat : 11279 (java) R 11266 11266 5918 0 -1 4202560 1267 0 0 0 26 0 0 0 20 0 15 0 114857476 14320615424 18379 33554432000 4194304 4196468 140730893696560 139867954576688 139868470598992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11280] ppid=11266 vsize=13984976 memory=6504 CPUtime=0.37 cores=0,2,4,6
/proc/11268/task/11280/stat : 11280 (java) S 11266 11266 5918 0 -1 1077944384 1696 0 0 0 37 0 0 0 20 0 15 0 114857476 14320615424 18379 33554432000 4194304 4196468 140730893696560 139867953535088 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11281] ppid=11266 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11281/stat : 11281 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 18379 33554432000 4194304 4196468 140730893696560 139867952482528 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11282] ppid=11266 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11282/stat : 11282 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 18379 33554432000 4194304 4196468 140730893696560 139867951430832 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74900 KiB
[startup+1.13637 s]
# the end of solver process 11266 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.88594 s, system=0.059115 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801651 s]
/proc/loadavg: 1.95 1.70 1.59 6/217 11282
/proc/meminfo: memFree=27982764/32770624 swapFree=67108860/67108860
[pid=11266] ppid=11263 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11266/stat : 11266 (xcsp3-exec) S 11263 11266 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114857470 9740288 346 33554432000 4194304 5098028 140733232960592 140733232958696 139621034869372 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12017664 140733232968814 140733232969019 140733232969019 140733232971755 0
/proc/11266/statm: 2378 346 289 221 0 87 0
[pid=11268] ppid=11266 vsize=13984976 memory=80504 CPUtime=1.91 cores=0,2,4,6
/proc/11268/stat : 11268 (java) S 11266 11266 5918 0 -1 1077944320 12730 0 0 0 187 4 0 0 20 0 15 0 114857470 14320615424 20126 33554432000 4194304 4196468 140730893696560 140730893679104 139868485701367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
/proc/11268/statm: 3496244 20126 3214 1 0 3483478 0
[pid=11268/tid=11269] ppid=11266 vsize=13984976 memory=280434789672384 CPUtime=0.76 cores=0,2,4,6
/proc/11268/task/11269/stat : 11269 (java) R 11266 11266 5918 0 -1 4202560 6706 0 0 0 74 2 0 0 20 0 15 0 114857470 14320615424 20126 33554432000 4194304 4196468 140730893696560 139868489940472 139868114113460 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11270] ppid=11266 vsize=13984976 memory=2465 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11270/stat : 11270 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 20126 33554432000 4194304 4196468 140730893696560 139868438321808 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11271] ppid=11266 vsize=13984976 memory=288230596067721541 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11271/stat : 11271 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 20126 33554432000 4194304 4196468 140730893696560 139868437269008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11272] ppid=11266 vsize=13984976 memory=15824391279744994 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11272/stat : 11272 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 20126 33554432000 4194304 4196468 140730893696560 139868436216208 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11273] ppid=11266 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11273/stat : 11273 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 20126 33554432000 4194304 4196468 140730893696560 139868435163408 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11274] ppid=11266 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11274/stat : 11274 (java) S 11266 11266 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 20126 33554432000 4194304 4196468 140730893696560 139868027100016 139868485712514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11275] ppid=11266 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11275/stat : 11275 (java) S 11266 11266 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 20126 33554432000 4194304 4196468 140730893696560 139867958797856 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11276] ppid=11266 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11276/stat : 11276 (java) S 11266 11266 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 20126 33554432000 4194304 4196468 140730893696560 139867957745008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11277] ppid=11266 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11277/stat : 11277 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 20126 33554432000 4194304 4196468 140730893696560 139867956693328 139868485719963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11278] ppid=11266 vsize=13984976 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/11268/task/11278/stat : 11278 (java) R 11266 11266 5918 0 -1 4202560 1597 0 0 0 36 0 0 0 20 0 15 0 114857476 14320615424 20126 33554432000 4194304 4196468 140730893696560 139867955631728 139868465870260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11279] ppid=11266 vsize=13984976 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/11268/task/11279/stat : 11279 (java) R 11266 11266 5918 0 -1 4202560 1389 0 0 0 36 0 0 0 20 0 15 0 114857476 14320615424 20126 33554432000 4194304 4196468 140730893696560 139867954580912 139868485722714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11280] ppid=11266 vsize=13984976 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/11268/task/11280/stat : 11280 (java) R 11266 11266 5918 0 -1 4202560 1731 0 0 0 39 0 0 0 20 0 15 0 114857476 14320615424 20126 33554432000 4194304 4196468 140730893696560 139867953535088 139868465937464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11281] ppid=11266 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11281/stat : 11281 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 20126 33554432000 4194304 4196468 140730893696560 139867952482528 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11282] ppid=11266 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11282/stat : 11282 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 20126 33554432000 4194304 4196468 140730893696560 139867951430832 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 81888 KiB
[startup+1.00089 s]*
/proc/loadavg: 1.95 1.70 1.59 7/217 11282
/proc/meminfo: memFree=27945484/32770624 swapFree=67108860/67108860
[pid=11266] ppid=11263 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11266/stat : 11266 (xcsp3-exec) S 11263 11266 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114857470 9740288 346 33554432000 4194304 5098028 140733232960592 140733232958696 139621034869372 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12017664 140733232968814 140733232969019 140733232969019 140733232971755 0
/proc/11266/statm: 2378 346 289 221 0 87 0
[pid=11268] ppid=11266 vsize=13984976 memory=105160 CPUtime=2.57 cores=0,2,4,6
/proc/11268/stat : 11268 (java) S 11266 11266 5918 0 -1 1077944320 15828 0 0 0 253 4 0 0 20 0 15 0 114857470 14320615424 26290 33554432000 4194304 4196468 140730893696560 140730893679104 139868485701367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
/proc/11268/statm: 3496244 26290 3216 1 0 3483478 0
[pid=11268/tid=11269] ppid=11266 vsize=13984976 memory=4211863184479387276 CPUtime=0.97 cores=0,2,4,6
/proc/11268/task/11269/stat : 11269 (java) R 11266 11266 5918 0 -1 4202560 6718 0 0 0 95 2 0 0 20 0 15 0 114857470 14320615424 26290 33554432000 4194304 4196468 140730893696560 139868489940624 139868113480204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11270] ppid=11266 vsize=13984976 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11270/stat : 11270 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 26290 33554432000 4194304 4196468 140730893696560 139868438321808 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11271] ppid=11266 vsize=13984976 memory=280434915163072 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11271/stat : 11271 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 26290 33554432000 4194304 4196468 140730893696560 139868437269008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11272] ppid=11266 vsize=13984976 memory=-3839181684196723249 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11272/stat : 11272 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 26290 33554432000 4194304 4196468 140730893696560 139868436216208 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11273] ppid=11266 vsize=13984976 memory=734139722786418735 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11273/stat : 11273 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 26290 33554432000 4194304 4196468 140730893696560 139868435163408 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11274] ppid=11266 vsize=13984976 memory=3472468513748141744 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11274/stat : 11274 (java) S 11266 11266 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 26290 33554432000 4194304 4196468 140730893696560 139868027100016 139868485712514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11275] ppid=11266 vsize=13984976 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11275/stat : 11275 (java) S 11266 11266 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 26290 33554432000 4194304 4196468 140730893696560 139867958797856 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11276] ppid=11266 vsize=13984976 memory=6944656592455088490 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11276/stat : 11276 (java) S 11266 11266 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 26290 33554432000 4194304 4196468 140730893696560 139867957745008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11277] ppid=11266 vsize=13984976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11277/stat : 11277 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 26290 33554432000 4194304 4196468 140730893696560 139867956693328 139868485719963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11278] ppid=11266 vsize=13984976 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/11268/task/11278/stat : 11278 (java) R 11266 11266 5918 0 -1 4202560 3045 0 0 0 57 0 0 0 20 0 15 0 114857476 14320615424 26290 33554432000 4194304 4196468 140730893696560 139867955621704 139868466400900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11279] ppid=11266 vsize=13984976 memory=3833745396274246449 CPUtime=0.57 cores=0,2,4,6
/proc/11268/task/11279/stat : 11279 (java) R 11266 11266 5918 0 -1 4202560 2524 0 0 0 57 0 0 0 20 0 15 0 114857476 14320615424 26290 33554432000 4194304 4196468 140730893696560 139867954581080 139868465132970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11280] ppid=11266 vsize=13984976 memory=140217520461440 CPUtime=0.43 cores=0,2,4,6
/proc/11268/task/11280/stat : 11280 (java) R 11266 11266 5918 0 -1 1077944384 2250 0 0 0 43 0 0 0 20 0 15 0 114857476 14320615424 26290 33554432000 4194304 4196468 140730893696560 139867953535088 139868485712514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11281] ppid=11266 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11281/stat : 11281 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 26290 33554432000 4194304 4196468 140730893696560 139867952482528 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11282] ppid=11266 vsize=13984976 memory=140217520461440 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11282/stat : 11282 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 26290 33554432000 4194304 4196468 140730893696560 139867951430832 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 106544 KiB
[startup+1.11089 s]
/proc/loadavg: 1.95 1.70 1.59 7/217 11282
/proc/meminfo: memFree=27945484/32770624 swapFree=67108860/67108860
[pid=11266] ppid=11263 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11266/stat : 11266 (xcsp3-exec) S 11263 11266 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114857470 9740288 346 33554432000 4194304 5098028 140733232960592 140733232958696 139621034869372 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12017664 140733232968814 140733232969019 140733232969019 140733232971755 0
/proc/11266/statm: 2378 346 289 221 0 87 0
[pid=11268] ppid=11266 vsize=13984976 memory=109924 CPUtime=2.89 cores=0,2,4,6
/proc/11268/stat : 11268 (java) S 11266 11266 5918 0 -1 1077944320 23116 0 0 0 284 5 0 0 20 0 15 0 114857470 14320615424 27481 33554432000 4194304 4196468 140730893696560 140730893679104 139868485701367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
/proc/11268/statm: 3496244 27481 3217 1 0 3483478 0
[pid=11268/tid=11269] ppid=11266 vsize=13984976 memory=4044 CPUtime=1.07 cores=0,2,4,6
/proc/11268/task/11269/stat : 11269 (java) R 11266 11266 5918 0 -1 4202560 7515 0 0 0 105 2 0 0 20 0 15 0 114857470 14320615424 27481 33554432000 4194304 4196468 140730893696560 139868489940792 139868113703825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11270] ppid=11266 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11270/stat : 11270 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 27481 33554432000 4194304 4196468 140730893696560 139868438321808 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11271] ppid=11266 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11271/stat : 11271 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 27481 33554432000 4194304 4196468 140730893696560 139868437269008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11272] ppid=11266 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11272/stat : 11272 (java) S 11266 11266 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 27481 33554432000 4194304 4196468 140730893696560 139868436216208 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11273] ppid=11266 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11273/stat : 11273 (java) S 11266 11266 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857471 14320615424 27481 33554432000 4194304 4196468 140730893696560 139868435163408 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11274] ppid=11266 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11274/stat : 11274 (java) S 11266 11266 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 27481 33554432000 4194304 4196468 140730893696560 139868027100016 139868485712514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11275] ppid=11266 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11275/stat : 11275 (java) S 11266 11266 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 27481 33554432000 4194304 4196468 140730893696560 139867958797856 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11276] ppid=11266 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11276/stat : 11276 (java) S 11266 11266 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857473 14320615424 27481 33554432000 4194304 4196468 140730893696560 139867957745008 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11277] ppid=11266 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11277/stat : 11277 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 27481 33554432000 4194304 4196468 140730893696560 139867956693328 139868485719963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11278] ppid=11266 vsize=13984976 memory=932 CPUtime=0.67 cores=0,2,4,6
/proc/11268/task/11278/stat : 11278 (java) R 11266 11266 5918 0 -1 4202560 7235 0 0 0 66 1 0 0 20 0 15 0 114857476 14320615424 27481 33554432000 4194304 4196468 140730893696560 139867955622080 139868469200515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11279] ppid=11266 vsize=13984976 memory=2200 CPUtime=0.67 cores=0,2,4,6
/proc/11268/task/11279/stat : 11279 (java) R 11266 11266 5918 0 -1 4202560 4339 0 0 0 67 0 0 0 20 0 15 0 114857476 14320615424 27481 33554432000 4194304 4196468 140730893696560 139867954573984 139868469086195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11280] ppid=11266 vsize=13984976 memory=6504 CPUtime=0.45 cores=0,2,4,6
/proc/11268/task/11280/stat : 11280 (java) S 11266 11266 5918 0 -1 1077944384 2714 0 0 0 45 0 0 0 20 0 15 0 114857476 14320615424 27481 33554432000 4194304 4196468 140730893696560 139867953535088 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11281] ppid=11266 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11281/stat : 11281 (java) S 11266 11266 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 27481 33554432000 4194304 4196468 140730893696560 139867952482528 139868485711573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
[pid=11268/tid=11282] ppid=11266 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/11268/task/11282/stat : 11282 (java) S 11266 11266 5918 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 114857476 14320615424 27481 33554432000 4194304 4196468 140730893696560 139867951430832 139868485712514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140730893698199 140730893698375 140730893698375 140730893701071 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 111308 KiB
Child status: 0
Real time (s): 1.13643
CPU time (s): 2.94505
CPU user time (s): 2.88594
CPU system time (s): 0.059115
CPU usage (%): 259.15
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 111308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.88594
system time used= 0.059115
maximum resident set size= 112312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24578
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= 1981
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 11266
# total CPU time (s): 2.94505
# total CPU user time (s): 2.88594
# total CPU system time (s): 0.059115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034442 second user time and 0.054272 second system time
The end