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 (8827 MiB free)
memory of node 1: 16384 MiB (5819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403351-1568992287/watcher-4403351-1568992287 -o /var/tmp/evaluation-result-4403351-1568992287/solver-4403351-1568992287 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1915 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 484414166 HOME/instance-4403351-1568992287.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
Current StackSize limit: 8192 KiB
solver pid=9749, runsolver pid=9746
[startup+0.100058 s]*
/proc/loadavg: 8.55 8.53 8.37 7/233 9765
/proc/meminfo: memFree=14980908/32770624 swapFree=66952600/67108860
[pid=9749] ppid=9746 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9749/stat : 9749 (xcsp3-exec) S 9746 9749 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475484252 115843072 364 33554432000 4194304 5098028 140728830187856 140728830185960 140661724385916 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22159360 140728830194519 140728830194777 140728830194777 140728830197702 0
/proc/9749/statm: 28282 364 305 221 0 87 0
[pid=9751] ppid=9749 vsize=15144776 memory=29544 CPUtime=0.12 cores=0,2,4,6
/proc/9751/stat : 9751 (java) S 9749 9749 1883 0 -1 1077944320 6264 0 0 0 11 1 0 0 20 0 15 0 475484252 15508250624 7386 33554432000 4194304 4196468 140723979100464 140723979083008 140251662720759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
/proc/9751/statm: 3786450 7386 3093 1 0 3748633 0
[pid=9751/tid=9752] ppid=9749 vsize=15145800 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/9751/task/9752/stat : 9752 (java) R 9749 9749 1883 0 -1 4202560 4590 0 0 0 8 1 0 0 20 0 15 0 475484252 15509299200 7649 33554432000 4194304 4196468 140723979100464 140251666940656 140251655011111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9753] ppid=9749 vsize=15145800 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9753/stat : 9753 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15509299200 7715 33554432000 4194304 4196468 140723979100464 140251621480720 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9754] ppid=9749 vsize=15145800 memory=140554392905344 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9754/stat : 9754 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15509299200 7715 33554432000 4194304 4196468 140723979100464 140251254303120 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9755] ppid=9749 vsize=15145800 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9755/stat : 9755 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15509299200 7715 33554432000 4194304 4196468 140723979100464 140251253250576 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9756] ppid=9749 vsize=15145800 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9756/stat : 9756 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484253 15509299200 7715 33554432000 4194304 4196468 140723979100464 140251252198032 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9757] ppid=9749 vsize=15145800 memory=140554392905344 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9757/stat : 9757 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484255 15509299200 7715 33554432000 4194304 4196468 140723979100464 140250997008880 140251662731906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9758] ppid=9749 vsize=15145800 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9758/stat : 9758 (java) S 9749 9749 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475484255 15509299200 7715 33554432000 4194304 4196468 140723979100464 140250995955104 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9759] ppid=9749 vsize=15145800 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9759/stat : 9759 (java) S 9749 9749 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475484255 15509299200 7715 33554432000 4194304 4196468 140723979100464 140250994902512 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9760] ppid=9749 vsize=15145800 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9760/stat : 9760 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484258 15509299200 7715 33554432000 4194304 4196468 140723979100464 140250993851088 140251662739355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9761] ppid=9749 vsize=15145800 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9761/stat : 9761 (java) S 9749 9749 1883 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 475484258 15509299200 7715 33554432000 4194304 4196468 140723979100464 140250992797680 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9762] ppid=9749 vsize=15145800 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9762/stat : 9762 (java) S 9749 9749 1883 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 475484258 15509299200 7781 33554432000 4194304 4196468 140723979100464 140250991745136 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9763] ppid=9749 vsize=15145800 memory=140554392905344 CPUtime=0.01 cores=0,2,4,6
/proc/9751/task/9763/stat : 9763 (java) S 9749 9749 1883 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 475484258 15509299200 7781 33554432000 4194304 4196468 140723979100464 140250990692592 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9764] ppid=9749 vsize=15145800 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9764/stat : 9764 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484258 15509299200 7781 33554432000 4194304 4196468 140723979100464 140250989640288 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9765] ppid=9749 vsize=15145800 memory=140554392905344 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9765/stat : 9765 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484258 15509299200 7781 33554432000 4194304 4196468 140723979100464 140250988587824 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31000 KiB
[startup+0.210659 s]*
/proc/loadavg: 8.55 8.53 8.37 7/233 9765
/proc/meminfo: memFree=14970676/32770624 swapFree=66952600/67108860
[pid=9749] ppid=9746 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9749/stat : 9749 (xcsp3-exec) S 9746 9749 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475484252 115843072 364 33554432000 4194304 5098028 140728830187856 140728830185960 140661724385916 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22159360 140728830194519 140728830194777 140728830194777 140728830197702 0
/proc/9749/statm: 28282 364 305 221 0 87 0
[pid=9751] ppid=9749 vsize=15144776 memory=40124 CPUtime=0.34 cores=0,2,4,6
/proc/9751/stat : 9751 (java) S 9749 9749 1883 0 -1 1077944320 8734 0 0 0 32 2 0 0 20 0 15 0 475484252 15508250624 10031 33554432000 4194304 4196468 140723979100464 140723979083008 140251662720759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
/proc/9751/statm: 3786194 10031 3296 1 0 3748377 0
[pid=9751/tid=9752] ppid=9749 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/9751/task/9752/stat : 9752 (java) R 9749 9749 1883 0 -1 4202560 6078 0 0 0 18 1 0 0 20 0 15 0 475484252 15508250624 10031 33554432000 4194304 4196468 140723979100464 140251666954880 140251662732694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9753] ppid=9749 vsize=15144776 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9753/stat : 9753 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15508250624 10031 33554432000 4194304 4196468 140723979100464 140251621480720 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9754] ppid=9749 vsize=15144776 memory=288370930544617088 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9754/stat : 9754 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15508250624 10031 33554432000 4194304 4196468 140723979100464 140251254303120 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9755] ppid=9749 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9755/stat : 9755 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15508250624 10031 33554432000 4194304 4196468 140723979100464 140251253250576 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9756] ppid=9749 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9756/stat : 9756 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484253 15508250624 10031 33554432000 4194304 4196468 140723979100464 140251252198032 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9757] ppid=9749 vsize=15144776 memory=140554392905344 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9757/stat : 9757 (java) S 9749 9749 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475484255 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250997008880 140251662731906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9758] ppid=9749 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9758/stat : 9758 (java) S 9749 9749 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475484255 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250995955104 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9759] ppid=9749 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9759/stat : 9759 (java) S 9749 9749 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475484255 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250994902512 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9760] ppid=9749 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9760/stat : 9760 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484258 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250993851088 140251662739355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9761] ppid=9749 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9751/task/9761/stat : 9761 (java) S 9749 9749 1883 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 475484258 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250992797680 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9762] ppid=9749 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9751/task/9762/stat : 9762 (java) S 9749 9749 1883 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 475484258 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250991745136 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9763] ppid=9749 vsize=15144776 memory=140554392905344 CPUtime=0.08 cores=0,2,4,6
/proc/9751/task/9763/stat : 9763 (java) R 9749 9749 1883 0 -1 4202560 681 0 0 0 8 0 0 0 20 0 15 0 475484258 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250990692592 140251654957886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9764] ppid=9749 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9764/stat : 9764 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484258 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250989640288 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9765] ppid=9749 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9765/stat : 9765 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484258 15508250624 10031 33554432000 4194304 4196468 140723979100464 140250988587824 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41580 KiB
[startup+0.310678 s]*
/proc/loadavg: 8.55 8.53 8.37 6/233 9765
/proc/meminfo: memFree=14962920/32770624 swapFree=66952600/67108860
[pid=9749] ppid=9746 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9749/stat : 9749 (xcsp3-exec) S 9746 9749 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475484252 115843072 364 33554432000 4194304 5098028 140728830187856 140728830185960 140661724385916 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22159360 140728830194519 140728830194777 140728830194777 140728830197702 0
/proc/9749/statm: 28282 364 305 221 0 87 0
[pid=9751] ppid=9749 vsize=15149032 memory=48824 CPUtime=0.52 cores=0,2,4,6
/proc/9751/stat : 9751 (java) S 9749 9749 1883 0 -1 1077944320 10075 0 0 0 49 3 0 0 20 0 15 0 475484252 15512608768 12206 33554432000 4194304 4196468 140723979100464 140723979083008 140251662720759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
/proc/9751/statm: 3787258 12206 3331 1 0 3748377 0
[pid=9751/tid=9752] ppid=9749 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/9751/task/9752/stat : 9752 (java) R 9749 9749 1883 0 -1 4202560 7258 0 0 0 27 2 0 0 20 0 15 0 475484252 15512608768 12206 33554432000 4194304 4196468 140723979100464 140251666951872 140251662742685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9753] ppid=9749 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9753/stat : 9753 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15512608768 12206 33554432000 4194304 4196468 140723979100464 140251621480720 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9754] ppid=9749 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9754/stat : 9754 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15512608768 12206 33554432000 4194304 4196468 140723979100464 140251254303120 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9755] ppid=9749 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9755/stat : 9755 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475484253 15512608768 12206 33554432000 4194304 4196468 140723979100464 140251253250576 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9756] ppid=9749 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9756/stat : 9756 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484253 15512608768 12206 33554432000 4194304 4196468 140723979100464 140251252198032 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9757] ppid=9749 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9757/stat : 9757 (java) S 9749 9749 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475484255 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250997008880 140251662731906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9758] ppid=9749 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9758/stat : 9758 (java) S 9749 9749 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475484255 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250995955104 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9759] ppid=9749 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9759/stat : 9759 (java) S 9749 9749 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475484255 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250994902512 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9760] ppid=9749 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9760/stat : 9760 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484258 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250993851088 140251662739355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9761] ppid=9749 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/9751/task/9761/stat : 9761 (java) S 9749 9749 1883 0 -1 1077944384 446 0 0 0 4 0 0 0 20 0 15 0 475484258 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250992797680 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9762] ppid=9749 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9751/task/9762/stat : 9762 (java) S 9749 9749 1883 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 15 0 475484258 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250991745136 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9763] ppid=9749 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9751/task/9763/stat : 9763 (java) S 9749 9749 1883 0 -1 1077944384 826 0 0 0 13 0 0 0 20 0 15 0 475484258 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250990692592 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9764] ppid=9749 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9764/stat : 9764 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475484258 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250989640288 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9765] ppid=9749 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9765/stat : 9765 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475484258 15512608768 12206 33554432000 4194304 4196468 140723979100464 140250988587824 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50280 KiB
[startup+0.709456 s]
/proc/loadavg: 8.55 8.53 8.37 6/233 9765
/proc/meminfo: memFree=14950824/32770624 swapFree=66952600/67108860
[pid=9749] ppid=9746 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9749/stat : 9749 (xcsp3-exec) S 9746 9749 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475484252 115843072 364 33554432000 4194304 5098028 140728830187856 140728830185960 140661724385916 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22159360 140728830194519 140728830194777 140728830194777 140728830197702 0
/proc/9749/statm: 28282 364 305 221 0 87 0
[pid=9751] ppid=9749 vsize=15417412 memory=85420 CPUtime=1.64 cores=0,2,4,6
/proc/9751/stat : 9751 (java) S 9749 9749 1883 0 -1 1077944320 14189 0 0 0 159 5 0 0 20 0 19 0 475484252 15787429888 21355 33554432000 4194304 4196468 140723979100464 140723979083008 140251662720759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
/proc/9751/statm: 3854353 21355 3456 1 0 3815453 0
[pid=9751/tid=9752] ppid=9749 vsize=15417412 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/9751/task/9752/stat : 9752 (java) S 9749 9749 1883 0 -1 1077944384 8720 0 0 0 56 4 0 0 20 0 19 0 475484252 15787429888 21355 33554432000 4194304 4196468 140723979100464 140251666961536 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9753] ppid=9749 vsize=15417412 memory=164 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9753/stat : 9753 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 21355 33554432000 4194304 4196468 140723979100464 140251621480720 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9754] ppid=9749 vsize=15417412 memory=6154848828556269427 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9754/stat : 9754 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 21355 33554432000 4194304 4196468 140723979100464 140251254303120 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9755] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9755/stat : 9755 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 21355 33554432000 4194304 4196468 140723979100464 140251253250576 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9756] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9756/stat : 9756 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 21355 33554432000 4194304 4196468 140723979100464 140251252198032 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9757] ppid=9749 vsize=15417412 memory=40280 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9757/stat : 9757 (java) S 9749 9749 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250997008880 140251662731906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9758] ppid=9749 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9758/stat : 9758 (java) S 9749 9749 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250995955104 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9759] ppid=9749 vsize=15417412 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9759/stat : 9759 (java) S 9749 9749 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250994902512 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9760] ppid=9749 vsize=15417412 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9760/stat : 9760 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250993851088 140251662739355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9761] ppid=9749 vsize=15417412 memory=1044 CPUtime=0.22 cores=0,2,4,6
/proc/9751/task/9761/stat : 9761 (java) R 9749 9749 1883 0 -1 4202560 996 0 0 0 22 0 0 0 20 0 19 0 475484258 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250992789328 140251642153845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9762] ppid=9749 vsize=15417412 memory=708 CPUtime=0.26 cores=0,2,4,6
/proc/9751/task/9762/stat : 9762 (java) R 9749 9749 1883 0 -1 1077944384 1056 0 0 0 26 0 0 0 20 0 19 0 475484258 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250991735056 140251662730965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9763] ppid=9749 vsize=15417412 memory=9364 CPUtime=0.4 cores=0,2,4,6
/proc/9751/task/9763/stat : 9763 (java) R 9749 9749 1883 0 -1 1077944384 1913 0 0 0 40 0 0 0 20 0 19 0 475484258 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250990692592 140251662731906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9764] ppid=9749 vsize=15417412 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9764/stat : 9764 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250989640288 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9765] ppid=9749 vsize=15417412 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9765/stat : 9765 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 21355 33554432000 4194304 4196468 140723979100464 140250988587824 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 86876 KiB
[startup+1.50745 s]
/proc/loadavg: 8.55 8.53 8.37 13/237 9769
/proc/meminfo: memFree=14920856/32770624 swapFree=66952600/67108860
[pid=9749] ppid=9746 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9749/stat : 9749 (xcsp3-exec) S 9746 9749 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475484252 115843072 364 33554432000 4194304 5098028 140728830187856 140728830185960 140661724385916 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22159360 140728830194519 140728830194777 140728830194777 140728830197702 0
/proc/9749/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/9751/task/9769/stat : 9769 (java) R 9749 9749 1883 0 -1 4202560 41 0 0 0 71 0 0 0 20 0 19 0 475484316 15787429888 25033 33554432000 4194304 4196468 140723979100464 140250976211264 140251662732694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 101588 KiB
[startup+2.29115 s]
# the end of solver process 9749 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.84674 s, system=0.075537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60145 s]
/proc/loadavg: 8.55 8.53 8.37 13/237 9769
/proc/meminfo: memFree=14920856/32770624 swapFree=66952600/67108860
[pid=9749] ppid=9746 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9749/stat : 9749 (xcsp3-exec) S 9746 9749 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475484252 115843072 364 33554432000 4194304 5098028 140728830187856 140728830185960 140661724385916 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22159360 140728830194519 140728830194777 140728830194777 140728830197702 0
/proc/9749/statm: 28282 364 305 221 0 87 0
[pid=9751] ppid=9749 vsize=15417412 memory=104228 CPUtime=5.19 cores=0,2,4,6
/proc/9751/stat : 9751 (java) S 9749 9749 1883 0 -1 1077944320 14837 0 0 0 513 6 0 0 20 0 19 0 475484252 15787429888 26057 33554432000 4194304 4196468 140723979100464 140723979083008 140251662720759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
/proc/9751/statm: 3854353 26057 3474 1 0 3815453 0
[pid=9751/tid=9752] ppid=9749 vsize=15417412 memory=24225 CPUtime=0.6 cores=0,2,4,6
/proc/9751/task/9752/stat : 9752 (java) S 9749 9749 1883 0 -1 1077944384 8720 0 0 0 56 4 0 0 20 0 19 0 475484252 15787429888 26057 33554432000 4194304 4196468 140723979100464 140251666961536 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9753] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9753/stat : 9753 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 26057 33554432000 4194304 4196468 140723979100464 140251621480720 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9754] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9754/stat : 9754 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 26057 33554432000 4194304 4196468 140723979100464 140251254303120 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9755] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9755/stat : 9755 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 26057 33554432000 4194304 4196468 140723979100464 140251253250576 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9756] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9756/stat : 9756 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 26057 33554432000 4194304 4196468 140723979100464 140251252198032 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9757] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9757/stat : 9757 (java) S 9749 9749 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250997008880 140251662731906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9758] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9758/stat : 9758 (java) S 9749 9749 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250995955104 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9759] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9759/stat : 9759 (java) S 9749 9749 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250994902512 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9760] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9760/stat : 9760 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250993851088 140251662739355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9761] ppid=9749 vsize=15417412 memory=4580 CPUtime=0.68 cores=0,2,4,6
/proc/9751/task/9761/stat : 9761 (java) R 9749 9749 1883 0 -1 1077944384 1306 0 0 0 68 0 0 0 20 0 19 0 475484258 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250992797680 140251662731906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9762] ppid=9749 vsize=15417412 memory=6656426216303648864 CPUtime=0.71 cores=0,2,4,6
/proc/9751/task/9762/stat : 9762 (java) S 9749 9749 1883 0 -1 1077944384 1170 0 0 0 71 0 0 0 20 0 19 0 475484258 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250991745136 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9763] ppid=9749 vsize=15417412 memory=6656426216303648864 CPUtime=0.5 cores=0,2,4,6
/proc/9751/task/9763/stat : 9763 (java) S 9749 9749 1883 0 -1 1077944384 2120 0 0 0 50 0 0 0 20 0 19 0 475484258 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250990692592 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9764] ppid=9749 vsize=15417412 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9764/stat : 9764 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250989640288 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9765] ppid=9749 vsize=15417412 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9765/stat : 9765 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250988587824 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9766] ppid=9749 vsize=15417412 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/9751/task/9766/stat : 9766 (java) R 9749 9749 1883 0 -1 4202560 51 0 0 0 58 0 0 0 20 0 19 0 475484315 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250979368968 140251304194471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9767] ppid=9749 vsize=15417412 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/9751/task/9767/stat : 9767 (java) R 9749 9749 1883 0 -1 4202560 75 0 0 0 66 0 0 0 20 0 19 0 475484315 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250978317496 140251304056323 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9768] ppid=9749 vsize=15417412 memory=281108562486648 CPUtime=0.6 cores=0,2,4,6
/proc/9751/task/9768/stat : 9768 (java) R 9749 9749 1883 0 -1 4202560 43 0 0 0 60 0 0 0 20 0 19 0 475484315 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250977264888 140251304403428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9769] ppid=9749 vsize=15417412 memory=-3253322038155611931 CPUtime=0.8 cores=0,2,4,6
/proc/9751/task/9769/stat : 9769 (java) R 9749 9749 1883 0 -1 4202560 42 0 0 0 80 0 0 0 20 0 19 0 475484316 15787429888 26057 33554432000 4194304 4196468 140723979100464 140250976211448 140251304055993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 105684 KiB
[startup+2.00146 s]*
/proc/loadavg: 8.55 8.53 8.37 10/237 9769
/proc/meminfo: memFree=14890820/32770624 swapFree=66952600/67108860
[pid=9749] ppid=9746 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9749/stat : 9749 (xcsp3-exec) S 9746 9749 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475484252 115843072 364 33554432000 4194304 5098028 140728830187856 140728830185960 140661724385916 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22159360 140728830194519 140728830194777 140728830194777 140728830197702 0
/proc/9749/statm: 28282 364 305 221 0 87 0
[pid=9751] ppid=9749 vsize=15417412 memory=121616 CPUtime=6.81 cores=0,2,4,6
/proc/9751/stat : 9751 (java) S 9749 9749 1883 0 -1 1077944320 16021 0 0 0 675 6 0 0 20 0 19 0 475484252 15787429888 30404 33554432000 4194304 4196468 140723979100464 140723979083008 140251662720759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
/proc/9751/statm: 3854353 30404 3476 1 0 3815453 0
[pid=9751/tid=9752] ppid=9749 vsize=15417412 memory=-2698087569006908830 CPUtime=0.6 cores=0,2,4,6
/proc/9751/task/9752/stat : 9752 (java) S 9749 9749 1883 0 -1 1077944384 8720 0 0 0 56 4 0 0 20 0 19 0 475484252 15787429888 30404 33554432000 4194304 4196468 140723979100464 140251666961536 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9753] ppid=9749 vsize=15417412 memory=3472328295574039403 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9753/stat : 9753 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 30404 33554432000 4194304 4196468 140723979100464 140251621480720 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9754] ppid=9749 vsize=15417412 memory=140554392905344 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9754/stat : 9754 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 30404 33554432000 4194304 4196468 140723979100464 140251254303120 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9755] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9755/stat : 9755 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 30404 33554432000 4194304 4196468 140723979100464 140251253250576 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9756] ppid=9749 vsize=15417412 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9756/stat : 9756 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 30404 33554432000 4194304 4196468 140723979100464 140251252198032 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9757] ppid=9749 vsize=15417412 memory=140554392905344 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9757/stat : 9757 (java) S 9749 9749 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250997008880 140251662731906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9758] ppid=9749 vsize=15417412 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9758/stat : 9758 (java) S 9749 9749 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250995955104 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9759] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9759/stat : 9759 (java) S 9749 9749 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250994902512 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9760] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9760/stat : 9760 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250993851088 140251662739355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9761] ppid=9749 vsize=15417412 memory=115 CPUtime=0.68 cores=0,2,4,6
/proc/9751/task/9761/stat : 9761 (java) R 9749 9749 1883 0 -1 1077944384 1628 0 0 0 68 0 0 0 20 0 19 0 475484258 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250992797680 140251662731906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9762] ppid=9749 vsize=15417412 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/9751/task/9762/stat : 9762 (java) S 9749 9749 1883 0 -1 1077944384 1228 0 0 0 72 0 0 0 20 0 19 0 475484258 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250991745136 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9763] ppid=9749 vsize=15417412 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/9751/task/9763/stat : 9763 (java) S 9749 9749 1883 0 -1 1077944384 2376 0 0 0 51 0 0 0 20 0 19 0 475484258 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250990692592 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9764] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9764/stat : 9764 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250989640288 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9765] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9765/stat : 9765 (java) S 9749 9749 1883 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250988587824 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9766] ppid=9749 vsize=15417412 memory=-1 CPUtime=0.99 cores=0,2,4,6
/proc/9751/task/9766/stat : 9766 (java) R 9749 9749 1883 0 -1 4202560 114 0 0 0 99 0 0 0 20 0 19 0 475484315 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250979368968 140251304055681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9767] ppid=9749 vsize=15417412 memory=7882800638288482663 CPUtime=1.07 cores=0,2,4,6
/proc/9751/task/9767/stat : 9767 (java) R 9749 9749 1883 0 -1 4202560 334 0 0 0 107 0 0 0 20 0 19 0 475484315 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250978318504 140251304443408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9768] ppid=9749 vsize=15417412 memory=4638778398333688171 CPUtime=0.99 cores=0,2,4,6
/proc/9751/task/9768/stat : 9768 (java) R 9749 9749 1883 0 -1 4202560 109 0 0 0 99 0 0 0 20 0 19 0 475484315 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250977265080 140251304056172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9769] ppid=9749 vsize=15417412 memory=4210416266603221770 CPUtime=1.19 cores=0,2,4,6
/proc/9751/task/9769/stat : 9769 (java) R 9749 9749 1883 0 -1 4202560 194 0 0 0 119 0 0 0 20 0 19 0 475484316 15787429888 30404 33554432000 4194304 4196468 140723979100464 140250976210200 140251304177031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
Current children cumulated CPU time: 6.81 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 123072 KiB
[startup+2.20145 s]
/proc/loadavg: 8.55 8.53 8.37 10/237 9769
/proc/meminfo: memFree=14890820/32770624 swapFree=66952600/67108860
[pid=9749] ppid=9746 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9749/stat : 9749 (xcsp3-exec) S 9746 9749 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475484252 115843072 364 33554432000 4194304 5098028 140728830187856 140728830185960 140661724385916 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22159360 140728830194519 140728830194777 140728830194777 140728830197702 0
/proc/9749/statm: 28282 364 305 221 0 87 0
[pid=9751] ppid=9749 vsize=15417412 memory=133924 CPUtime=7.57 cores=0,2,4,6
/proc/9751/stat : 9751 (java) S 9749 9749 1883 0 -1 1077944320 16959 0 0 0 751 6 0 0 20 0 19 0 475484252 15787429888 33481 33554432000 4194304 4196468 140723979100464 140723979083008 140251662720759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
/proc/9751/statm: 3854353 33481 3480 1 0 3815453 0
[pid=9751/tid=9752] ppid=9749 vsize=15417412 memory=14418124568237510 CPUtime=0.6 cores=0,2,4,6
/proc/9751/task/9752/stat : 9752 (java) S 9749 9749 1883 0 -1 1077944384 8720 0 0 0 56 4 0 0 20 0 19 0 475484252 15787429888 33481 33554432000 4194304 4196468 140723979100464 140251666961536 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9753] ppid=9749 vsize=15417412 memory=7378779676002593924 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9753/stat : 9753 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 33481 33554432000 4194304 4196468 140723979100464 140251621480720 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9754] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9754/stat : 9754 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 33481 33554432000 4194304 4196468 140723979100464 140251254303120 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9755] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9755/stat : 9755 (java) S 9749 9749 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 33481 33554432000 4194304 4196468 140723979100464 140251253250576 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9756] ppid=9749 vsize=15417412 memory=25665 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9756/stat : 9756 (java) S 9749 9749 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475484253 15787429888 33481 33554432000 4194304 4196468 140723979100464 140251252198032 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9757] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9757/stat : 9757 (java) S 9749 9749 1883 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250997008880 140251662731906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9758] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9758/stat : 9758 (java) S 9749 9749 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250995955104 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9759] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9759/stat : 9759 (java) S 9749 9749 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475484255 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250994902512 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9760] ppid=9749 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9760/stat : 9760 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250993851088 140251662739355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9761] ppid=9749 vsize=15417412 memory=-4546129931942301728 CPUtime=0.68 cores=0,2,4,6
/proc/9751/task/9761/stat : 9761 (java) S 9749 9749 1883 0 -1 1077944384 1628 0 0 0 68 0 0 0 20 0 19 0 475484258 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250992797680 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9762] ppid=9749 vsize=15417412 memory=-3967418655009478193 CPUtime=0.76 cores=0,2,4,6
/proc/9751/task/9762/stat : 9762 (java) S 9749 9749 1883 0 -1 1077944384 2080 0 0 0 76 0 0 0 20 0 19 0 475484258 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250991745136 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9763] ppid=9749 vsize=15417412 memory=-4695052241013923951 CPUtime=0.51 cores=0,2,4,6
/proc/9751/task/9763/stat : 9763 (java) S 9749 9749 1883 0 -1 1077944384 2380 0 0 0 51 0 0 0 20 0 19 0 475484258 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250990692592 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9764] ppid=9749 vsize=15417412 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9764/stat : 9764 (java) S 9749 9749 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250989640288 140251662730965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9765] ppid=9749 vsize=15417412 memory=-7966001967256141664 CPUtime=0 cores=0,2,4,6
/proc/9751/task/9765/stat : 9765 (java) S 9749 9749 1883 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 475484258 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250988587824 140251662731906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9766] ppid=9749 vsize=15417412 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/9751/task/9766/stat : 9766 (java) R 9749 9749 1883 0 -1 4202560 117 0 0 0 117 0 0 0 20 0 19 0 475484315 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250979368840 140251304441960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9767] ppid=9749 vsize=15417412 memory=281108562932896 CPUtime=1.22 cores=0,2,4,6
/proc/9751/task/9767/stat : 9767 (java) R 9749 9749 1883 0 -1 4202560 342 0 0 0 122 0 0 0 20 0 19 0 475484315 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250978317016 140251304205900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9768] ppid=9749 vsize=15417412 memory=31636 CPUtime=1.18 cores=0,2,4,6
/proc/9751/task/9768/stat : 9768 (java) R 9749 9749 1883 0 -1 4202560 114 0 0 0 118 0 0 0 20 0 19 0 475484315 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250977264952 140251304055839 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
[pid=9751/tid=9769] ppid=9749 vsize=15417412 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/9751/task/9769/stat : 9769 (java) R 9749 9749 1883 0 -1 4202560 199 0 0 0 138 0 0 0 20 0 19 0 475484316 15787429888 33481 33554432000 4194304 4196468 140723979100464 140250976211384 140251304403145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140723979109339 140723979109514 140723979109514 140723979112399 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 135380 KiB
Child status: 0
Real time (s): 2.29119
CPU time (s): 7.92227
CPU user time (s): 7.84674
CPU system time (s): 0.075537
CPU usage (%): 345.771
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 135380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.84674
system time used= 0.075537
maximum resident set size= 136264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1963
involuntary context switches= 273
# summary of solver processes directly reported to runsolver:
# pid: 9749
# total CPU time (s): 7.92227
# total CPU user time (s): 7.84674
# total CPU system time (s): 0.075537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040579 second user time and 0.066504 second system time
The end