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 (4792 MiB free)
memory of node 1: 16384 MiB (12446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405851-1569405278/watcher-4405851-1569405278 -o /var/tmp/evaluation-result-4405851-1569405278/solver-4405851-1569405278 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26122 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 954226294 HOME/instance-4405851-1569405278.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28625, runsolver pid=28622
Current StackSize limit: 8192 KiB
[startup+0.102654 s]*
/proc/loadavg: 2.63 2.04 1.81 6/231 28641
/proc/meminfo: memFree=17636196/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
[pid=28627] ppid=28625 vsize=15144776 memory=28980 CPUtime=0.13 cores=1,3,5,7
/proc/28627/stat : 28627 (java) S 28625 28625 26090 0 -1 1077944320 5718 0 0 0 12 1 0 0 20 0 15 0 516776419 15508250624 7245 33554432000 4194304 4196468 140731709893584 140731709876128 139821976780535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
/proc/28627/statm: 3786194 7245 3156 1 0 3748377 0
[pid=28627/tid=28628] ppid=28625 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/28627/task/28628/stat : 28628 (java) R 28625 28625 26090 0 -1 4202560 3585 0 0 0 8 1 0 0 20 0 15 0 516776420 15508250624 7245 33554432000 4194304 4196468 140731709893584 139821981004944 139821960824165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28629] ppid=28625 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28629/stat : 28629 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776420 15508250624 7245 33554432000 4194304 4196468 140731709893584 139821929401104 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28630] ppid=28625 vsize=15144776 memory=139632431969920 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28630/stat : 28630 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776420 15508250624 7245 33554432000 4194304 4196468 140731709893584 139821928348560 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28631] ppid=28625 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28631/stat : 28631 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776420 15508250624 7245 33554432000 4194304 4196468 140731709893584 139821927296016 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28632] ppid=28625 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28632/stat : 28632 (java) S 28625 28625 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516776420 15508250624 7245 33554432000 4194304 4196468 140731709893584 139821926243472 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28633] ppid=28625 vsize=15144776 memory=139632431969920 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28633/stat : 28633 (java) S 28625 28625 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516776422 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820850444272 139821976791682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28634] ppid=28625 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28634/stat : 28634 (java) S 28625 28625 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516776422 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820781265824 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28635] ppid=28625 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28635/stat : 28635 (java) S 28625 28625 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516776422 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820780213232 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28636] ppid=28625 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28636/stat : 28636 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820779161808 139821976799131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28637] ppid=28625 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28637/stat : 28637 (java) R 28625 28625 26090 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 516776425 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820778109424 139821976791682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28638] ppid=28625 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28638/stat : 28638 (java) R 28625 28625 26090 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 516776425 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820777056976 139821960286772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28639] ppid=28625 vsize=15144776 memory=139632431969920 CPUtime=0.02 cores=1,3,5,7
/proc/28627/task/28639/stat : 28639 (java) R 28625 28625 26090 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 516776425 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820776004336 139821960861022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28640] ppid=28625 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28640/stat : 28640 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820774952032 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28641] ppid=28625 vsize=15144776 memory=139632431969920 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28641/stat : 28641 (java) R 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776425 15508250624 7245 33554432000 4194304 4196468 140731709893584 139820773898544 139821976791682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30436 KiB
[startup+0.213677 s]*
/proc/loadavg: 2.63 2.04 1.81 7/231 28641
/proc/meminfo: memFree=17592560/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
[pid=28627] ppid=28625 vsize=15144776 memory=40960 CPUtime=0.35 cores=1,3,5,7
/proc/28627/stat : 28627 (java) S 28625 28625 26090 0 -1 1077944320 9487 0 0 0 32 3 0 0 20 0 15 0 516776419 15508250624 10240 33554432000 4194304 4196468 140731709893584 140731709876128 139821976780535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
/proc/28627/statm: 3786194 10240 3317 1 0 3748377 0
[pid=28627/tid=28628] ppid=28625 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28627/task/28628/stat : 28628 (java) R 28625 28625 26090 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 15 0 516776420 15508250624 10240 33554432000 4194304 4196468 140731709893584 139821981013984 139821976802461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28629] ppid=28625 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28629/stat : 28629 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776420 15508250624 10240 33554432000 4194304 4196468 140731709893584 139821929401104 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28630] ppid=28625 vsize=15144776 memory=139632435800694 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28630/stat : 28630 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776420 15508250624 10240 33554432000 4194304 4196468 140731709893584 139821928348560 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28631] ppid=28625 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28631/stat : 28631 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776420 15508250624 10240 33554432000 4194304 4196468 140731709893584 139821927296016 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28632] ppid=28625 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28632/stat : 28632 (java) S 28625 28625 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516776420 15508250624 10240 33554432000 4194304 4196468 140731709893584 139821926243472 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28633] ppid=28625 vsize=15144776 memory=139632431969920 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28633/stat : 28633 (java) S 28625 28625 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516776422 15508250624 10240 33554432000 4194304 4196468 140731709893584 139820850444272 139821976791682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28634] ppid=28625 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28634/stat : 28634 (java) S 28625 28625 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516776422 15508250624 10303 33554432000 4194304 4196468 140731709893584 139820781265824 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28635] ppid=28625 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28635/stat : 28635 (java) S 28625 28625 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516776422 15508250624 10303 33554432000 4194304 4196468 140731709893584 139820780213232 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28636] ppid=28625 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28636/stat : 28636 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15508250624 10303 33554432000 4194304 4196468 140731709893584 139820779161808 139821976799131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28637] ppid=28625 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28627/task/28637/stat : 28637 (java) S 28625 28625 26090 0 -1 1077944384 681 0 0 0 3 0 0 0 20 0 15 0 516776425 15508250624 10303 33554432000 4194304 4196468 140731709893584 139820778109424 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28638] ppid=28625 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28627/task/28638/stat : 28638 (java) S 28625 28625 26090 0 -1 1077944384 94 0 0 0 2 0 0 0 20 0 15 0 516776425 15508250624 10303 33554432000 4194304 4196468 140731709893584 139820777056880 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28639] ppid=28625 vsize=15144776 memory=139632431969920 CPUtime=0.08 cores=1,3,5,7
/proc/28627/task/28639/stat : 28639 (java) S 28625 28625 26090 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 516776425 15508250624 10303 33554432000 4194304 4196468 140731709893584 139820776004336 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28640] ppid=28625 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28640/stat : 28640 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15508250624 10303 33554432000 4194304 4196468 140731709893584 139820774952032 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28641] ppid=28625 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28641/stat : 28641 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776425 15508250624 10303 33554432000 4194304 4196468 140731709893584 139820773898544 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42416 KiB
[startup+0.818324 s]*
/proc/loadavg: 2.63 2.04 1.81 6/231 28641
/proc/meminfo: memFree=17027504/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
[pid=28627] ppid=28625 vsize=15149032 memory=298472 CPUtime=1.85 cores=1,3,5,7
/proc/28627/stat : 28627 (java) S 28625 28625 26090 0 -1 1077944320 13844 0 0 0 161 24 0 0 20 0 15 0 516776419 15512608768 74618 33554432000 4194304 4196468 140731709893584 140731709876128 139821976780535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
/proc/28627/statm: 3787258 74618 3426 1 0 3748377 0
[pid=28627/tid=28628] ppid=28625 vsize=15149032 memory=7883960649037381690 CPUtime=0.7 cores=1,3,5,7
/proc/28627/task/28628/stat : 28628 (java) R 28625 28625 26090 0 -1 4202560 8011 0 0 0 65 5 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821981019632 139821976802461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28629] ppid=28625 vsize=15149032 memory=13961 CPUtime=0.09 cores=1,3,5,7
/proc/28627/task/28629/stat : 28629 (java) S 28625 28625 26090 0 -1 1077944384 68 0 0 0 6 3 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821929401104 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28630] ppid=28625 vsize=15149032 memory=3846185 CPUtime=0.1 cores=1,3,5,7
/proc/28627/task/28630/stat : 28630 (java) S 28625 28625 26090 0 -1 1077944384 61 0 0 0 6 4 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821928348560 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28631] ppid=28625 vsize=15149032 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28627/task/28631/stat : 28631 (java) S 28625 28625 26090 0 -1 1077944384 65 0 0 0 5 4 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821927296016 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28632] ppid=28625 vsize=15149032 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28627/task/28632/stat : 28632 (java) S 28625 28625 26090 0 -1 1077944384 68 0 0 0 6 4 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821926243472 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28633] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28633/stat : 28633 (java) S 28625 28625 26090 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516776422 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820850444272 139821976791682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28634] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28634/stat : 28634 (java) S 28625 28625 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516776422 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820781265824 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28635] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28635/stat : 28635 (java) S 28625 28625 26090 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516776422 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820780213232 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28636] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28636/stat : 28636 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820779161808 139821976799131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28637] ppid=28625 vsize=15149032 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/28627/task/28637/stat : 28637 (java) S 28625 28625 26090 0 -1 1077944384 1517 0 0 0 24 1 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820778109424 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28638] ppid=28625 vsize=15149032 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/28627/task/28638/stat : 28638 (java) S 28625 28625 26090 0 -1 1077944384 1273 0 0 0 26 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820777056880 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28639] ppid=28625 vsize=15149032 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28627/task/28639/stat : 28639 (java) S 28625 28625 26090 0 -1 1077944384 1396 0 0 0 20 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820776004336 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28640] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28640/stat : 28640 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820774952032 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28641] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28641/stat : 28641 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820773898544 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 299928 KiB
[startup+0.910606 s]*
/proc/loadavg: 2.63 2.04 1.81 3/230 28641
/proc/meminfo: memFree=17009108/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
[pid=28627] ppid=28625 vsize=15149032 memory=298472 CPUtime=1.95 cores=1,3,5,7
/proc/28627/stat : 28627 (java) S 28625 28625 26090 0 -1 1077944320 13846 0 0 0 171 24 0 0 20 0 15 0 516776419 15512608768 74618 33554432000 4194304 4196468 140731709893584 140731709876128 139821976780535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
/proc/28627/statm: 3787258 74618 3426 1 0 3748377 0
[pid=28627/tid=28628] ppid=28625 vsize=15149032 memory=7883960649037381690 CPUtime=0.79 cores=1,3,5,7
/proc/28627/task/28628/stat : 28628 (java) R 28625 28625 26090 0 -1 4202560 8011 0 0 0 74 5 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821981019632 139821976802461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28629] ppid=28625 vsize=15149032 memory=13620 CPUtime=0.09 cores=1,3,5,7
/proc/28627/task/28629/stat : 28629 (java) S 28625 28625 26090 0 -1 1077944384 68 0 0 0 6 3 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821929401104 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28630] ppid=28625 vsize=15149032 memory=139632435800694 CPUtime=0.1 cores=1,3,5,7
/proc/28627/task/28630/stat : 28630 (java) S 28625 28625 26090 0 -1 1077944384 61 0 0 0 6 4 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821928348560 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28631] ppid=28625 vsize=15149032 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28627/task/28631/stat : 28631 (java) S 28625 28625 26090 0 -1 1077944384 65 0 0 0 5 4 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821927296016 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28632] ppid=28625 vsize=15149032 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/28627/task/28632/stat : 28632 (java) S 28625 28625 26090 0 -1 1077944384 68 0 0 0 6 4 0 0 20 0 15 0 516776420 15512608768 74618 33554432000 4194304 4196468 140731709893584 139821926243472 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28633] ppid=28625 vsize=15149032 memory=139632431969920 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28633/stat : 28633 (java) S 28625 28625 26090 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516776422 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820850444272 139821976791682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28634] ppid=28625 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28634/stat : 28634 (java) S 28625 28625 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516776422 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820781265824 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28635] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28635/stat : 28635 (java) S 28625 28625 26090 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516776422 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820780213232 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28636] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28636/stat : 28636 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820779161808 139821976799131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28637] ppid=28625 vsize=15149032 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/28627/task/28637/stat : 28637 (java) S 28625 28625 26090 0 -1 1077944384 1517 0 0 0 24 1 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820778109424 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28638] ppid=28625 vsize=15149032 memory=-1 CPUtime=0.26 cores=1,3,5,7
/proc/28627/task/28638/stat : 28638 (java) S 28625 28625 26090 0 -1 1077944384 1273 0 0 0 26 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820777056880 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28639] ppid=28625 vsize=15149032 memory=139632431969920 CPUtime=0.2 cores=1,3,5,7
/proc/28627/task/28639/stat : 28639 (java) S 28625 28625 26090 0 -1 1077944384 1398 0 0 0 20 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820776004336 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28640] ppid=28625 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28640/stat : 28640 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820774952032 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28641] ppid=28625 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28641/stat : 28641 (java) S 28625 28625 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516776425 15512608768 74618 33554432000 4194304 4196468 140731709893584 139820773898544 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 299928 KiB
[startup+1.50175 s]*
/proc/loadavg: 2.63 2.04 1.81 6/230 28641
/proc/meminfo: memFree=16824308/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/28627/task/28630/stat : 28630 (java) S 28625 28625 26090 0 -1 1077944384 277427 0 0 0 27588 386 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821928348560 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28631] ppid=28625 vsize=15151156 memory=1412 CPUtime=279.2 cores=1,3,5,7
/proc/28627/task/28631/stat : 28631 (java) S 28625 28625 26090 0 -1 1077944384 307291 0 0 0 27434 486 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821927296016 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28632] ppid=28625 vsize=15151156 memory=1456 CPUtime=280.01 cores=1,3,5,7
/proc/28627/task/28632/stat : 28632 (java) S 28625 28625 26090 0 -1 1077944384 206903 0 0 0 27524 477 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821926243472 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28633] ppid=28625 vsize=15151156 memory=1456 CPUtime=50.5 cores=1,3,5,7
/proc/28627/task/28633/stat : 28633 (java) R 28625 28625 26090 0 -1 4202560 100108 0 0 0 5044 6 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820850442704 139821961777044 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28634] ppid=28625 vsize=15151156 memory=12800884 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28634/stat : 28634 (java) S 28625 28625 26090 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820781265888 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28635] ppid=28625 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28635/stat : 28635 (java) S 28625 28625 26090 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820780213248 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28636] ppid=28625 vsize=15151156 memory=3000 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28636/stat : 28636 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820779161808 139821976799131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28637] ppid=28625 vsize=15151156 memory=1456 CPUtime=3.11 cores=1,3,5,7
/proc/28627/task/28637/stat : 28637 (java) S 28625 28625 26090 0 -1 1077944384 16539 0 0 0 308 3 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820778109184 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28638] ppid=28625 vsize=15151156 memory=258596 CPUtime=2.3 cores=1,3,5,7
/proc/28627/task/28638/stat : 28638 (java) S 28625 28625 26090 0 -1 1077944384 8946 0 0 0 229 1 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820777056928 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28639] ppid=28625 vsize=15151156 memory=6791534058613427641 CPUtime=0.65 cores=1,3,5,7
/proc/28627/task/28639/stat : 28639 (java) S 28625 28625 26090 0 -1 1077944384 7447 0 0 0 64 1 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820776004384 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28640] ppid=28625 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28640/stat : 28640 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820774952032 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28641] ppid=28625 vsize=15151156 memory=1736 CPUtime=0.25 cores=1,3,5,7
/proc/28627/task/28641/stat : 28641 (java) S 28625 28625 26090 0 -1 1077944384 782 0 0 0 14 11 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820773898544 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
Current children cumulated CPU time: 1243.98 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12802340 KiB
[startup+401.301 s]
/proc/loadavg: 5.08 4.20 2.87 3/230 28756
/proc/meminfo: memFree=13321592/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
[pid=28627] ppid=28625 vsize=15151156 memory=12800884 CPUtime=1244.78 cores=1,3,5,7
/proc/28627/stat : 28627 (java) S 28625 28625 26090 0 -1 1077944320 1234717 0 0 0 122720 1758 0 0 20 0 15 0 516776419 15514783744 3200221 33554432000 4194304 4196468 140731709893584 140731709876128 139821976780535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
/proc/28627/statm: 3787789 3200221 3516 1 0 3748889 0
[pid=28627/tid=28628] ppid=28625 vsize=15151156 memory=6791534058613427641 CPUtime=68.34 cores=1,3,5,7
/proc/28627/task/28628/stat : 28628 (java) S 28625 28625 26090 0 -1 1077944384 23191 0 0 0 6820 14 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821981019808 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28629] ppid=28625 vsize=15151156 memory=12800884 CPUtime=279.8 cores=1,3,5,7
/proc/28627/task/28629/stat : 28629 (java) S 28625 28625 26090 0 -1 1077944384 284742 0 0 0 27602 378 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821929401104 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28630] ppid=28625 vsize=15151156 memory=2836 CPUtime=279.74 cores=1,3,5,7
/proc/28627/task/28630/stat : 28630 (java) S 28625 28625 26090 0 -1 1077944384 277427 0 0 0 27588 386 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821928348560 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28631] ppid=28625 vsize=15151156 memory=1056 CPUtime=279.2 cores=1,3,5,7
/proc/28627/task/28631/stat : 28631 (java) S 28625 28625 26090 0 -1 1077944384 307291 0 0 0 27434 486 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821927296016 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28632] ppid=28625 vsize=15151156 memory=2024 CPUtime=280.01 cores=1,3,5,7
/proc/28627/task/28632/stat : 28632 (java) S 28625 28625 26090 0 -1 1077944384 206903 0 0 0 27524 477 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821926243472 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28633] ppid=28625 vsize=15151156 memory=1416 CPUtime=51.29 cores=1,3,5,7
/proc/28627/task/28633/stat : 28633 (java) R 28625 28625 26090 0 -1 4202560 100108 0 0 0 5123 6 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820850442704 139821961776939 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28634] ppid=28625 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28634/stat : 28634 (java) S 28625 28625 26090 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820781265888 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28635] ppid=28625 vsize=15151156 memory=3540 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28635/stat : 28635 (java) S 28625 28625 26090 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820780213248 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28636] ppid=28625 vsize=15151156 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28636/stat : 28636 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820779161808 139821976799131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28637] ppid=28625 vsize=15151156 memory=10600 CPUtime=3.11 cores=1,3,5,7
/proc/28627/task/28637/stat : 28637 (java) S 28625 28625 26090 0 -1 1077944384 16539 0 0 0 308 3 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820778109184 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28638] ppid=28625 vsize=15151156 memory=1736 CPUtime=2.3 cores=1,3,5,7
/proc/28627/task/28638/stat : 28638 (java) S 28625 28625 26090 0 -1 1077944384 8946 0 0 0 229 1 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820777056928 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28639] ppid=28625 vsize=15151156 memory=6196 CPUtime=0.65 cores=1,3,5,7
/proc/28627/task/28639/stat : 28639 (java) S 28625 28625 26090 0 -1 1077944384 7447 0 0 0 64 1 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820776004384 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28640] ppid=28625 vsize=15151156 memory=636 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28640/stat : 28640 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820774952032 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28641] ppid=28625 vsize=15151156 memory=2836 CPUtime=0.25 cores=1,3,5,7
/proc/28627/task/28641/stat : 28641 (java) S 28625 28625 26090 0 -1 1077944384 782 0 0 0 14 11 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820773898544 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
Current children cumulated CPU time: 1244.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12802340 KiB
[startup+401.701 s]
/proc/loadavg: 5.08 4.20 2.87 3/230 28758
/proc/meminfo: memFree=13320756/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
[pid=28627] ppid=28625 vsize=15151156 memory=12800884 CPUtime=1245.18 cores=1,3,5,7
/proc/28627/stat : 28627 (java) S 28625 28625 26090 0 -1 1077944320 1234717 0 0 0 122760 1758 0 0 20 0 15 0 516776419 15514783744 3200221 33554432000 4194304 4196468 140731709893584 140731709876128 139821976780535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
/proc/28627/statm: 3787789 3200221 3516 1 0 3748889 0
[pid=28627/tid=28628] ppid=28625 vsize=15151156 memory=3540 CPUtime=68.34 cores=1,3,5,7
/proc/28627/task/28628/stat : 28628 (java) S 28625 28625 26090 0 -1 1077944384 23191 0 0 0 6820 14 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821981019808 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28629] ppid=28625 vsize=15151156 memory=1232 CPUtime=279.8 cores=1,3,5,7
/proc/28627/task/28629/stat : 28629 (java) S 28625 28625 26090 0 -1 1077944384 284742 0 0 0 27602 378 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821929401104 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28630] ppid=28625 vsize=15151156 memory=10600 CPUtime=279.74 cores=1,3,5,7
/proc/28627/task/28630/stat : 28630 (java) S 28625 28625 26090 0 -1 1077944384 277427 0 0 0 27588 386 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821928348560 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28631] ppid=28625 vsize=15151156 memory=1736 CPUtime=279.2 cores=1,3,5,7
/proc/28627/task/28631/stat : 28631 (java) S 28625 28625 26090 0 -1 1077944384 307291 0 0 0 27434 486 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821927296016 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28632] ppid=28625 vsize=15151156 memory=6196 CPUtime=280.01 cores=1,3,5,7
/proc/28627/task/28632/stat : 28632 (java) S 28625 28625 26090 0 -1 1077944384 206903 0 0 0 27524 477 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821926243472 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28633] ppid=28625 vsize=15151156 memory=636 CPUtime=51.69 cores=1,3,5,7
/proc/28627/task/28633/stat : 28633 (java) R 28625 28625 26090 0 -1 4202560 100108 0 0 0 5163 6 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820850442704 139821961238105 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28634] ppid=28625 vsize=15151156 memory=2836 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28634/stat : 28634 (java) S 28625 28625 26090 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820781265888 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28635] ppid=28625 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28635/stat : 28635 (java) S 28625 28625 26090 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820780213248 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28636] ppid=28625 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28636/stat : 28636 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820779161808 139821976799131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28637] ppid=28625 vsize=15151156 memory=1064 CPUtime=3.11 cores=1,3,5,7
/proc/28627/task/28637/stat : 28637 (java) S 28625 28625 26090 0 -1 1077944384 16539 0 0 0 308 3 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820778109184 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28638] ppid=28625 vsize=15151156 memory=2952 CPUtime=2.3 cores=1,3,5,7
/proc/28627/task/28638/stat : 28638 (java) S 28625 28625 26090 0 -1 1077944384 8946 0 0 0 229 1 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820777056928 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28639] ppid=28625 vsize=15151156 memory=1456 CPUtime=0.65 cores=1,3,5,7
/proc/28627/task/28639/stat : 28639 (java) S 28625 28625 26090 0 -1 1077944384 7447 0 0 0 64 1 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820776004384 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28640] ppid=28625 vsize=15151156 memory=258596 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28640/stat : 28640 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820774952032 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28641] ppid=28625 vsize=15151156 memory=6791534058613427641 CPUtime=0.25 cores=1,3,5,7
/proc/28627/task/28641/stat : 28641 (java) S 28625 28625 26090 0 -1 1077944384 782 0 0 0 14 11 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820773898544 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
Current children cumulated CPU time: 1245.18 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12802340 KiB
[startup+401.901 s]
/proc/loadavg: 5.08 4.20 2.87 3/230 28758
/proc/meminfo: memFree=13320756/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
[pid=28627] ppid=28625 vsize=15151156 memory=12800884 CPUtime=1245.38 cores=1,3,5,7
/proc/28627/stat : 28627 (java) S 28625 28625 26090 0 -1 1077944320 1234717 0 0 0 122780 1758 0 0 20 0 15 0 516776419 15514783744 3200221 33554432000 4194304 4196468 140731709893584 140731709876128 139821976780535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
/proc/28627/statm: 3787789 3200221 3516 1 0 3748889 0
[pid=28627/tid=28628] ppid=28625 vsize=15151156 memory=14689690934577713 CPUtime=68.34 cores=1,3,5,7
/proc/28627/task/28628/stat : 28628 (java) S 28625 28625 26090 0 -1 1077944384 23191 0 0 0 6820 14 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821981019808 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28629] ppid=28625 vsize=15151156 memory=8099844198897838699 CPUtime=279.8 cores=1,3,5,7
/proc/28627/task/28629/stat : 28629 (java) S 28625 28625 26090 0 -1 1077944384 284742 0 0 0 27602 378 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821929401104 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28630] ppid=28625 vsize=15151156 memory=7451321514993738323 CPUtime=279.74 cores=1,3,5,7
/proc/28627/task/28630/stat : 28630 (java) S 28625 28625 26090 0 -1 1077944384 277427 0 0 0 27588 386 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821928348560 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28631] ppid=28625 vsize=15151156 memory=7739527598844242025 CPUtime=279.2 cores=1,3,5,7
/proc/28627/task/28631/stat : 28631 (java) S 28625 28625 26090 0 -1 1077944384 307291 0 0 0 27434 486 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821927296016 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28632] ppid=28625 vsize=15151156 memory=4639950512826379884 CPUtime=280.01 cores=1,3,5,7
/proc/28627/task/28632/stat : 28632 (java) S 28625 28625 26090 0 -1 1077944384 206903 0 0 0 27524 477 0 0 20 0 15 0 516776420 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139821926243472 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28633] ppid=28625 vsize=15151156 memory=7584172180673161326 CPUtime=51.89 cores=1,3,5,7
/proc/28627/task/28633/stat : 28633 (java) R 28625 28625 26090 0 -1 4202560 100108 0 0 0 5183 6 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820850442704 139821955150715 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28634] ppid=28625 vsize=15151156 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28634/stat : 28634 (java) S 28625 28625 26090 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820781265888 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28635] ppid=28625 vsize=15151156 memory=7012218309318699110 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28635/stat : 28635 (java) S 28625 28625 26090 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 516776422 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820780213248 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28636] ppid=28625 vsize=15151156 memory=5793997938848392809 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28636/stat : 28636 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820779161808 139821976799131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28637] ppid=28625 vsize=15151156 memory=7372764686181362535 CPUtime=3.11 cores=1,3,5,7
/proc/28627/task/28637/stat : 28637 (java) S 28625 28625 26090 0 -1 1077944384 16539 0 0 0 308 3 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820778109184 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28638] ppid=28625 vsize=15151156 memory=288230574492221466 CPUtime=2.3 cores=1,3,5,7
/proc/28627/task/28638/stat : 28638 (java) S 28625 28625 26090 0 -1 1077944384 8946 0 0 0 229 1 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820777056928 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28639] ppid=28625 vsize=15151156 memory=6791534058613427641 CPUtime=0.65 cores=1,3,5,7
/proc/28627/task/28639/stat : 28639 (java) S 28625 28625 26090 0 -1 1077944384 7447 0 0 0 64 1 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820776004384 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28640] ppid=28625 vsize=15151156 memory=-2247047206207641111 CPUtime=0 cores=1,3,5,7
/proc/28627/task/28640/stat : 28640 (java) S 28625 28625 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820774952032 139821976790741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
[pid=28627/tid=28641] ppid=28625 vsize=15151156 memory=9126232286719478932 CPUtime=0.25 cores=1,3,5,7
/proc/28627/task/28641/stat : 28641 (java) S 28625 28625 26090 0 -1 1077944384 782 0 0 0 14 11 0 0 20 0 15 0 516776425 15514783744 3200221 33554432000 4194304 4196468 140731709893584 139820773898544 139821976791682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140731709895643 140731709895818 140731709895818 140731709898703 0
Current children cumulated CPU time: 1245.38 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12802340 KiB
[startup+402.001 s]
/proc/loadavg: 5.08 4.20 2.87 3/230 28758
/proc/meminfo: memFree=13320756/32770624 swapFree=67002132/67108860
[pid=28625] ppid=28622 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (xcsp3-exec) S 28622 28625 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516776419 115843072 364 33554432000 4194304 5098028 140727336339104 140727336337208 139846107738748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15491072 140727336346455 140727336346713 140727336346713 140727336349638 0
/proc/28625/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 1
Real time (s): 402.032
CPU time (s): 1245.52
CPU user time (s): 1227.85
CPU system time (s): 17.6773
CPU usage (%): 309.807
Max. virtual memory (cumulated for all children) (KiB): 15265308
Max. memory (cumulated for all children) (KiB): 12802340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1227.85
system time used= 17.6773
maximum resident set size= 12801176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1239115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15312
involuntary context switches= 18131
# summary of solver processes directly reported to runsolver:
# pid: 28625
# total CPU time (s): 1245.52
# total CPU user time (s): 1227.85
# total CPU system time (s): 17.6773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46462 second user time and 4.44113 second system time
The end