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 (14144 MiB free)
memory of node 1: 16384 MiB (10751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405774-1569414188/watcher-4405774-1569414188 -o /var/tmp/evaluation-result-4405774-1569414188/solver-4405774-1569414188 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569411628-1827 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1147295619 HOME/instance-4405774-1569414188.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=2691, runsolver pid=2688
[startup+0.10012 s]*
/proc/loadavg: 2.34 1.96 1.90 4/230 2707
/proc/meminfo: memFree=25477380/32770624 swapFree=66997188/67108860
[pid=2691] ppid=2688 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2691/stat : 2691 (xcsp3-exec) S 2688 2691 1796 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517357107 115843072 364 33554432000 4194304 5098028 140730771212112 140730771210216 139989943718524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29364224 140730771219286 140730771219545 140730771219545 140730771222470 0
/proc/2691/statm: 28282 364 305 221 0 87 0
[pid=2693] ppid=2691 vsize=15144776 memory=28920 CPUtime=0.13 cores=0,2,4,6
/proc/2693/stat : 2693 (java) S 2691 2691 1796 0 -1 1077944320 5685 0 0 0 12 1 0 0 20 0 15 0 517357107 15508250624 7230 33554432000 4194304 4196468 140723832903360 140723832885904 140459176668919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
/proc/2693/statm: 3786194 7230 3183 1 0 3748377 0
[pid=2693/tid=2694] ppid=2691 vsize=15144776 memory=8259502345576223579 CPUtime=0.09 cores=0,2,4,6
/proc/2693/task/2694/stat : 2694 (java) R 2691 2691 1796 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 15 0 517357108 15508250624 7230 33554432000 4194304 4196468 140723832903360 140459180898512 140459176680854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2695] ppid=2691 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2695/stat : 2695 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15508250624 7230 33554432000 4194304 4196468 140723832903360 140459129289232 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2696] ppid=2691 vsize=15144776 memory=140457144997504 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2696/stat : 2696 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15508250624 7230 33554432000 4194304 4196468 140723832903360 140459128236688 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2697] ppid=2691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2697/stat : 2697 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15508250624 7230 33554432000 4194304 4196468 140723832903360 140459127183632 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2698] ppid=2691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2698/stat : 2698 (java) S 2691 2691 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357108 15508250624 7230 33554432000 4194304 4196468 140723832903360 140459126131088 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2699] ppid=2691 vsize=15144776 memory=140457144997504 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2699/stat : 2699 (java) S 2691 2691 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357110 15508250624 7230 33554432000 4194304 4196468 140723832903360 140458117270256 140459176680066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2700] ppid=2691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2700/stat : 2700 (java) S 2691 2691 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357110 15508250624 7230 33554432000 4194304 4196468 140723832903360 140458116216480 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2701] ppid=2691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2701/stat : 2701 (java) S 2691 2691 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357110 15508250624 7230 33554432000 4194304 4196468 140723832903360 140457912820976 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2702] ppid=2691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2702/stat : 2702 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15508250624 7230 33554432000 4194304 4196468 140723832903360 140457911769552 140459176687515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2703] ppid=2691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2703/stat : 2703 (java) S 2691 2691 1796 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 517357113 15508250624 7230 33554432000 4194304 4196468 140723832903360 140457910716656 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2704] ppid=2691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2704/stat : 2704 (java) S 2691 2691 1796 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 517357113 15508250624 7230 33554432000 4194304 4196468 140723832903360 140457909664112 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2705] ppid=2691 vsize=15144776 memory=140457144997504 CPUtime=0.02 cores=0,2,4,6
/proc/2693/task/2705/stat : 2705 (java) S 2691 2691 1796 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 517357113 15508250624 7230 33554432000 4194304 4196468 140723832903360 140457908611056 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2706] ppid=2691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2706/stat : 2706 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15508250624 7230 33554432000 4194304 4196468 140723832903360 140457907558752 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2707] ppid=2691 vsize=15144776 memory=140457144997504 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2707/stat : 2707 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357113 15508250624 7230 33554432000 4194304 4196468 140723832903360 140457906506800 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30376 KiB
[startup+0.211213 s]*
/proc/loadavg: 2.34 1.96 1.90 3/230 2707
/proc/meminfo: memFree=25434920/32770624 swapFree=66997188/67108860
[pid=2691] ppid=2688 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2691/stat : 2691 (xcsp3-exec) S 2688 2691 1796 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517357107 115843072 364 33554432000 4194304 5098028 140730771212112 140730771210216 139989943718524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29364224 140730771219286 140730771219545 140730771219545 140730771222470 0
/proc/2691/statm: 28282 364 305 221 0 87 0
[pid=2693] ppid=2691 vsize=15144776 memory=40840 CPUtime=0.34 cores=0,2,4,6
/proc/2693/stat : 2693 (java) S 2691 2691 1796 0 -1 1077944320 9442 0 0 0 31 3 0 0 20 0 15 0 517357107 15508250624 10210 33554432000 4194304 4196468 140723832903360 140723832885904 140459176668919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
/proc/2693/statm: 3786194 10210 3274 1 0 3748377 0
[pid=2693/tid=2694] ppid=2691 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2693/task/2694/stat : 2694 (java) R 2691 2691 1796 0 -1 4202560 6583 0 0 0 18 2 0 0 20 0 15 0 517357108 15508250624 10210 33554432000 4194304 4196468 140723832903360 140459180902416 140458802107620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2695] ppid=2691 vsize=15144776 memory=2128866 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2695/stat : 2695 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15508250624 10210 33554432000 4194304 4196468 140723832903360 140459129289232 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2696] ppid=2691 vsize=15144776 memory=140457148607725 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2696/stat : 2696 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15508250624 10210 33554432000 4194304 4196468 140723832903360 140459128236688 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2697] ppid=2691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2697/stat : 2697 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15508250624 10210 33554432000 4194304 4196468 140723832903360 140459127183632 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2698] ppid=2691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2698/stat : 2698 (java) S 2691 2691 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357108 15508250624 10210 33554432000 4194304 4196468 140723832903360 140459126131088 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2699] ppid=2691 vsize=15144776 memory=140457144997504 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2699/stat : 2699 (java) S 2691 2691 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517357110 15508250624 10210 33554432000 4194304 4196468 140723832903360 140458117270256 140459176680066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2700] ppid=2691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2700/stat : 2700 (java) S 2691 2691 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357110 15508250624 10210 33554432000 4194304 4196468 140723832903360 140458116216480 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2701] ppid=2691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2701/stat : 2701 (java) S 2691 2691 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357110 15508250624 10210 33554432000 4194304 4196468 140723832903360 140457912820976 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2702] ppid=2691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2702/stat : 2702 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15508250624 10210 33554432000 4194304 4196468 140723832903360 140457911769552 140459176687515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2703] ppid=2691 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2693/task/2703/stat : 2703 (java) S 2691 2691 1796 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 517357113 15508250624 10210 33554432000 4194304 4196468 140723832903360 140457910716656 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2704] ppid=2691 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2693/task/2704/stat : 2704 (java) S 2691 2691 1796 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 15 0 517357113 15508250624 10210 33554432000 4194304 4196468 140723832903360 140457909664112 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2705] ppid=2691 vsize=15144776 memory=140457144997504 CPUtime=0.08 cores=0,2,4,6
/proc/2693/task/2705/stat : 2705 (java) R 2691 2691 1796 0 -1 4202560 801 0 0 0 8 0 0 0 20 0 15 0 517357113 15508250624 10210 33554432000 4194304 4196468 140723832903360 140457908610864 140459176680854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2706] ppid=2691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2706/stat : 2706 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15508250624 10210 33554432000 4194304 4196468 140723832903360 140457907558752 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2707] ppid=2691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2707/stat : 2707 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357113 15508250624 10210 33554432000 4194304 4196468 140723832903360 140457906506800 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42296 KiB
[startup+0.31325 s]*
/proc/loadavg: 2.34 1.96 1.90 4/230 2707
/proc/meminfo: memFree=25432084/32770624 swapFree=66997188/67108860
[pid=2691] ppid=2688 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2691/stat : 2691 (xcsp3-exec) S 2688 2691 1796 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517357107 115843072 364 33554432000 4194304 5098028 140730771212112 140730771210216 139989943718524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29364224 140730771219286 140730771219545 140730771219545 140730771222470 0
/proc/2691/statm: 28282 364 305 221 0 87 0
[pid=2693] ppid=2691 vsize=15149032 memory=49956 CPUtime=0.54 cores=0,2,4,6
/proc/2693/stat : 2693 (java) S 2691 2691 1796 0 -1 1077944320 10789 0 0 0 50 4 0 0 20 0 15 0 517357107 15512608768 12489 33554432000 4194304 4196468 140723832903360 140723832885904 140459176668919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
/proc/2693/statm: 3787258 12489 3353 1 0 3748377 0
[pid=2693/tid=2694] ppid=2691 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/2693/task/2694/stat : 2694 (java) R 2691 2691 1796 0 -1 4202560 7745 0 0 0 28 2 0 0 20 0 15 0 517357108 15512608768 12489 33554432000 4194304 4196468 140723832903360 140459180902704 140459160749406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2695] ppid=2691 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2695/stat : 2695 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15512608768 12489 33554432000 4194304 4196468 140723832903360 140459129289232 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2696] ppid=2691 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2696/stat : 2696 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15512608768 12489 33554432000 4194304 4196468 140723832903360 140459128236688 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2697] ppid=2691 vsize=15149032 memory=-7022074515825631275 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2697/stat : 2697 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15512608768 12489 33554432000 4194304 4196468 140723832903360 140459127183632 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2698] ppid=2691 vsize=15149032 memory=7521901370507621794 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2698/stat : 2698 (java) S 2691 2691 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357108 15512608768 12489 33554432000 4194304 4196468 140723832903360 140459126131088 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2699] ppid=2691 vsize=15149032 memory=-9001733975035308135 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2699/stat : 2699 (java) S 2691 2691 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517357110 15512608768 12489 33554432000 4194304 4196468 140723832903360 140458117270256 140459176680066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2700] ppid=2691 vsize=15149032 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2700/stat : 2700 (java) S 2691 2691 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357110 15512608768 12489 33554432000 4194304 4196468 140723832903360 140458116216480 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2701] ppid=2691 vsize=15149032 memory=7824336315716348491 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2701/stat : 2701 (java) S 2691 2691 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357110 15512608768 12489 33554432000 4194304 4196468 140723832903360 140457912820976 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2702] ppid=2691 vsize=15149032 memory=8226496019563508123 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2702/stat : 2702 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15512608768 12489 33554432000 4194304 4196468 140723832903360 140457911769552 140459176687515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2703] ppid=2691 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/2693/task/2703/stat : 2703 (java) S 2691 2691 1796 0 -1 1077944384 386 0 0 0 4 0 0 0 20 0 15 0 517357113 15512608768 12489 33554432000 4194304 4196468 140723832903360 140457910716656 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2704] ppid=2691 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2693/task/2704/stat : 2704 (java) R 2691 2691 1796 0 -1 4202560 475 0 0 0 5 0 0 0 20 0 15 0 517357113 15512608768 12489 33554432000 4194304 4196468 140723832903360 140457909654496 140459162683228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2705] ppid=2691 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2693/task/2705/stat : 2705 (java) S 2691 2691 1796 0 -1 1077944384 899 0 0 0 13 0 0 0 20 0 15 0 517357113 15512608768 12489 33554432000 4194304 4196468 140723832903360 140457908611056 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2706] ppid=2691 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2706/stat : 2706 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15512608768 12489 33554432000 4194304 4196468 140723832903360 140457907558752 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2707] ppid=2691 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2707/stat : 2707 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357113 15512608768 12489 33554432000 4194304 4196468 140723832903360 140457906506800 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51412 KiB
[startup+0.700887 s]
/proc/loadavg: 2.34 1.96 1.90 4/230 2707
/proc/meminfo: memFree=25438644/32770624 swapFree=66997188/67108860
[pid=2691] ppid=2688 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2691/stat : 2691 (xcsp3-exec) S 2688 2691 1796 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517357107 115843072 364 33554432000 4194304 5098028 140730771212112 140730771210216 139989943718524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29364224 140730771219286 140730771219545 140730771219545 140730771222470 0
/proc/2691/statm: 28282 364 305 221 0 87 0
[pid=2693] ppid=2691 vsize=15151156 memory=75772 CPUtime=1.25 cores=0,2,4,6
/proc/2693/stat : 2693 (java) S 2691 2691 1796 0 -1 1077944320 13192 0 0 0 118 7 0 0 20 0 15 0 517357107 15514783744 18943 33554432000 4194304 4196468 140723832903360 140723832885904 140459176668919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
/proc/2693/statm: 3787789 18943 3448 1 0 3748889 0
[pid=2693/tid=2694] ppid=2691 vsize=15151156 memory=1428 CPUtime=0.54 cores=0,2,4,6
/proc/2693/task/2694/stat : 2694 (java) R 2691 2691 1796 0 -1 4202560 8380 0 0 0 50 4 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459180906288 140458805417250 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2695] ppid=2691 vsize=15151156 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2695/stat : 2695 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459129289232 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2696] ppid=2691 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2696/stat : 2696 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459128236688 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2697] ppid=2691 vsize=15151156 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2697/stat : 2697 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459127183632 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2698] ppid=2691 vsize=15151156 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2698/stat : 2698 (java) S 2691 2691 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459126131088 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2699] ppid=2691 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2699/stat : 2699 (java) S 2691 2691 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517357110 15514783744 18943 33554432000 4194304 4196468 140723832903360 140458117270256 140459176680066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2700] ppid=2691 vsize=15151156 memory=3628 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2700/stat : 2700 (java) S 2691 2691 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357110 15514783744 18943 33554432000 4194304 4196468 140723832903360 140458116216480 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2701] ppid=2691 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2701/stat : 2701 (java) S 2691 2691 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357110 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457912820976 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2702] ppid=2691 vsize=15151156 memory=1048 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2702/stat : 2702 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457911769552 140459176687515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2703] ppid=2691 vsize=15151156 memory=6140 CPUtime=0.19 cores=0,2,4,6
/proc/2693/task/2703/stat : 2703 (java) R 2691 2691 1796 0 -1 4202560 1104 0 0 0 19 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457910709616 140459161795291 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2704] ppid=2691 vsize=15151156 memory=612 CPUtime=0.21 cores=0,2,4,6
/proc/2693/task/2704/stat : 2704 (java) S 2691 2691 1796 0 -1 1077944384 748 0 0 0 20 1 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457909664112 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2705] ppid=2691 vsize=15151156 memory=1220 CPUtime=0.27 cores=0,2,4,6
/proc/2693/task/2705/stat : 2705 (java) S 2691 2691 1796 0 -1 1077944384 1651 0 0 0 27 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457908611056 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2706] ppid=2691 vsize=15151156 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2706/stat : 2706 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457907558752 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2707] ppid=2691 vsize=15151156 memory=14060 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2707/stat : 2707 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457906506800 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 77228 KiB
[startup+0.800798 s]
# the end of solver process 2691 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.43715 s, system=0.092357 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.700887 s]
/proc/loadavg: 2.34 1.96 1.90 4/230 2707
/proc/meminfo: memFree=25438644/32770624 swapFree=66997188/67108860
[pid=2691] ppid=2688 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2691/stat : 2691 (xcsp3-exec) S 2688 2691 1796 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517357107 115843072 364 33554432000 4194304 5098028 140730771212112 140730771210216 139989943718524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29364224 140730771219286 140730771219545 140730771219545 140730771222470 0
/proc/2691/statm: 28282 364 305 221 0 87 0
[pid=2693] ppid=2691 vsize=15151156 memory=75772 CPUtime=1.25 cores=0,2,4,6
/proc/2693/stat : 2693 (java) S 2691 2691 1796 0 -1 1077944320 13192 0 0 0 118 7 0 0 20 0 15 0 517357107 15514783744 18943 33554432000 4194304 4196468 140723832903360 140723832885904 140459176668919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
/proc/2693/statm: 3787789 18943 3448 1 0 3748889 0
[pid=2693/tid=2694] ppid=2691 vsize=15151156 memory=1428 CPUtime=0.54 cores=0,2,4,6
/proc/2693/task/2694/stat : 2694 (java) R 2691 2691 1796 0 -1 4202560 8380 0 0 0 50 4 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459180906288 140458805417250 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2695] ppid=2691 vsize=15151156 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2695/stat : 2695 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459129289232 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2696] ppid=2691 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2696/stat : 2696 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459128236688 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2697] ppid=2691 vsize=15151156 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2697/stat : 2697 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459127183632 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2698] ppid=2691 vsize=15151156 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2698/stat : 2698 (java) S 2691 2691 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357108 15514783744 18943 33554432000 4194304 4196468 140723832903360 140459126131088 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2699] ppid=2691 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2699/stat : 2699 (java) S 2691 2691 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517357110 15514783744 18943 33554432000 4194304 4196468 140723832903360 140458117270256 140459176680066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2700] ppid=2691 vsize=15151156 memory=3628 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2700/stat : 2700 (java) S 2691 2691 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357110 15514783744 18943 33554432000 4194304 4196468 140723832903360 140458116216480 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2701] ppid=2691 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2701/stat : 2701 (java) S 2691 2691 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357110 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457912820976 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2702] ppid=2691 vsize=15151156 memory=1048 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2702/stat : 2702 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457911769552 140459176687515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2703] ppid=2691 vsize=15151156 memory=6140 CPUtime=0.19 cores=0,2,4,6
/proc/2693/task/2703/stat : 2703 (java) R 2691 2691 1796 0 -1 4202560 1104 0 0 0 19 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457910709616 140459161795291 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2704] ppid=2691 vsize=15151156 memory=612 CPUtime=0.21 cores=0,2,4,6
/proc/2693/task/2704/stat : 2704 (java) S 2691 2691 1796 0 -1 1077944384 748 0 0 0 20 1 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457909664112 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2705] ppid=2691 vsize=15151156 memory=1220 CPUtime=0.27 cores=0,2,4,6
/proc/2693/task/2705/stat : 2705 (java) S 2691 2691 1796 0 -1 1077944384 1651 0 0 0 27 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457908611056 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2706] ppid=2691 vsize=15151156 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2706/stat : 2706 (java) S 2691 2691 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457907558752 140459176679125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
[pid=2693/tid=2707] ppid=2691 vsize=15151156 memory=14060 CPUtime=0 cores=0,2,4,6
/proc/2693/task/2707/stat : 2707 (java) S 2691 2691 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357113 15514783744 18943 33554432000 4194304 4196468 140723832903360 140457906506800 140459176680066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20955136 140723832906715 140723832906890 140723832906890 140723832909775 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 77228 KiB
Child status: 0
Real time (s): 0.800842
CPU time (s): 1.52951
CPU user time (s): 1.43715
CPU system time (s): 0.092357
CPU usage (%): 190.987
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 77228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43715
system time used= 0.092357
maximum resident set size= 86192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14622
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= 1401
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 2691
# total CPU time (s): 1.52951
# total CPU user time (s): 1.43715
# total CPU system time (s): 0.092357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025409 second user time and 0.051609 second system time
The end