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 (14448 MiB free)
memory of node 1: 16384 MiB (15511 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398848-1568685601/watcher-4398848-1568685601 -o /tmp/evaluation-result-4398848-1568685601/solver-4398848-1568685601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 624452535 HOME/instance-4398848-1568685601.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=20656, runsolver pid=20653
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 8.80 8.68 8.68 7/233 20672
/proc/meminfo: memFree=30662008/32770624 swapFree=66997372/67108860
[pid=20656] ppid=20653 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20656/stat : 20656 (xcsp3-exec) S 20653 20656 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444813186 115843072 363 33554432000 4194304 5098028 140726706054784 140726706052888 140157055279740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24309760 140726706062203 140726706062445 140726706062445 140726706065354 0
/proc/20656/statm: 28282 363 304 221 0 87 0
[pid=20658] ppid=20656 vsize=15144776 memory=30028 CPUtime=0.13 cores=1,3,5,7
/proc/20658/stat : 20658 (java) S 20656 20656 14983 0 -1 1077944320 5476 0 0 0 11 2 0 0 20 0 15 0 444813187 15508250624 7507 33554432000 4194304 4196468 140726847987536 140726847970080 140008862940919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
/proc/20658/statm: 3786194 7507 3117 1 0 3748377 0
[pid=20658/tid=20659] ppid=20656 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/20658/task/20659/stat : 20659 (java) R 20656 20656 14983 0 -1 4202560 3392 0 0 0 8 1 0 0 20 0 15 0 444813187 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008867173096 140008499460091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20660] ppid=20656 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20660/stat : 20660 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008821701520 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20661] ppid=20656 vsize=15144776 memory=139717967865472 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20661/stat : 20661 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008454433552 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20662] ppid=20656 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20662/stat : 20662 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008453381264 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20663] ppid=20656 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20663/stat : 20663 (java) S 20656 20656 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444813188 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008452328464 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20664] ppid=20656 vsize=15144776 memory=139717967865472 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20664/stat : 20664 (java) S 20656 20656 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444813189 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008331491440 140008862952066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20665] ppid=20656 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20665/stat : 20665 (java) S 20656 20656 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444813190 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008330437408 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20666] ppid=20656 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20666/stat : 20666 (java) S 20656 20656 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444813190 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008329385072 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20667] ppid=20656 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20667/stat : 20667 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008328333392 140008862959515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20668] ppid=20656 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20668/stat : 20668 (java) R 20656 20656 14983 0 -1 4202560 340 0 0 0 0 0 0 0 20 0 15 0 444813192 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008327272800 140008840773776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20669] ppid=20656 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20669/stat : 20669 (java) R 20656 20656 14983 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 444813192 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008326228464 140008862952066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20670] ppid=20656 vsize=15144776 memory=139717967865472 CPUtime=0.02 cores=1,3,5,7
/proc/20658/task/20670/stat : 20670 (java) R 20656 20656 14983 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 444813192 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008325176176 140008847200632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20671] ppid=20656 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20671/stat : 20671 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008324123616 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20672] ppid=20656 vsize=15144776 memory=139717967865472 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20672/stat : 20672 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813193 15508250624 7573 33554432000 4194304 4196468 140726847987536 140008323070384 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31480 KiB
[startup+0.211701 s]*
/proc/loadavg: 8.80 8.68 8.68 6/233 20672
/proc/meminfo: memFree=30650008/32770624 swapFree=66997372/67108860
[pid=20656] ppid=20653 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20656/stat : 20656 (xcsp3-exec) S 20653 20656 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444813186 115843072 363 33554432000 4194304 5098028 140726706054784 140726706052888 140157055279740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24309760 140726706062203 140726706062445 140726706062445 140726706065354 0
/proc/20656/statm: 28282 363 304 221 0 87 0
[pid=20658] ppid=20656 vsize=15144776 memory=40976 CPUtime=0.34 cores=1,3,5,7
/proc/20658/stat : 20658 (java) S 20656 20656 14983 0 -1 1077944320 8946 0 0 0 31 3 0 0 20 0 15 0 444813187 15508250624 10244 33554432000 4194304 4196468 140726847987536 140726847970080 140008862940919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
/proc/20658/statm: 3786194 10244 3279 1 0 3748377 0
[pid=20658/tid=20659] ppid=20656 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20658/task/20659/stat : 20659 (java) R 20656 20656 14983 0 -1 4202560 6168 0 0 0 18 2 0 0 20 0 15 0 444813187 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008867177968 140008862952854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20660] ppid=20656 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20660/stat : 20660 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008821701520 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20661] ppid=20656 vsize=15144776 memory=139717971409310 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20661/stat : 20661 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008454433552 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20662] ppid=20656 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20662/stat : 20662 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008453381264 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20663] ppid=20656 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20663/stat : 20663 (java) S 20656 20656 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444813188 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008452328464 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20664] ppid=20656 vsize=15144776 memory=139717967865472 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20664/stat : 20664 (java) S 20656 20656 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444813189 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008331491440 140008862952066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20665] ppid=20656 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20665/stat : 20665 (java) S 20656 20656 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444813190 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008330437408 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20666] ppid=20656 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20666/stat : 20666 (java) S 20656 20656 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444813190 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008329385072 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20667] ppid=20656 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20667/stat : 20667 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008328333392 140008862959515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20668] ppid=20656 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20658/task/20668/stat : 20668 (java) S 20656 20656 14983 0 -1 1077944384 586 0 0 0 3 0 0 0 20 0 15 0 444813192 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008327281264 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20669] ppid=20656 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20658/task/20669/stat : 20669 (java) S 20656 20656 14983 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 15 0 444813192 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008326228464 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20670] ppid=20656 vsize=15144776 memory=139717967865472 CPUtime=0.08 cores=1,3,5,7
/proc/20658/task/20670/stat : 20670 (java) R 20656 20656 14983 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 444813192 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008325173984 140008862962266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20671] ppid=20656 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20671/stat : 20671 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008324123616 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20672] ppid=20656 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20672/stat : 20672 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813193 15508250624 10244 33554432000 4194304 4196468 140726847987536 140008323070384 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42428 KiB
[startup+0.315102 s]*
/proc/loadavg: 8.80 8.68 8.68 7/233 20672
/proc/meminfo: memFree=30643348/32770624 swapFree=66997372/67108860
[pid=20656] ppid=20653 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20656/stat : 20656 (xcsp3-exec) S 20653 20656 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444813186 115843072 363 33554432000 4194304 5098028 140726706054784 140726706052888 140157055279740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24309760 140726706062203 140726706062445 140726706062445 140726706065354 0
/proc/20656/statm: 28282 363 304 221 0 87 0
[pid=20658] ppid=20656 vsize=15149032 memory=50088 CPUtime=0.54 cores=1,3,5,7
/proc/20658/stat : 20658 (java) S 20656 20656 14983 0 -1 1077944320 10404 0 0 0 50 4 0 0 20 0 15 0 444813187 15512608768 12522 33554432000 4194304 4196468 140726847987536 140726847970080 140008862940919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
/proc/20658/statm: 3787258 12522 3361 1 0 3748377 0
[pid=20658/tid=20659] ppid=20656 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/20658/task/20659/stat : 20659 (java) R 20656 20656 14983 0 -1 4202560 7377 0 0 0 28 3 0 0 20 0 15 0 444813187 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008867172032 140008847021406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20660] ppid=20656 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20660/stat : 20660 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008821701520 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20661] ppid=20656 vsize=15149032 memory=3571281 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20661/stat : 20661 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008454433552 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20662] ppid=20656 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20662/stat : 20662 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008453381264 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20663] ppid=20656 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20663/stat : 20663 (java) S 20656 20656 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444813188 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008452328464 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20664] ppid=20656 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20664/stat : 20664 (java) S 20656 20656 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444813189 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008331491440 140008862952066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20665] ppid=20656 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20665/stat : 20665 (java) S 20656 20656 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444813190 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008330437408 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20666] ppid=20656 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20666/stat : 20666 (java) S 20656 20656 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444813190 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008329385072 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20667] ppid=20656 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20667/stat : 20667 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008328333392 140008862959515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20668] ppid=20656 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20658/task/20668/stat : 20668 (java) S 20656 20656 14983 0 -1 1077944384 681 0 0 0 6 0 0 0 20 0 15 0 444813192 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008327281264 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20669] ppid=20656 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20658/task/20669/stat : 20669 (java) S 20656 20656 14983 0 -1 1077944384 191 0 0 0 2 0 0 0 20 0 15 0 444813192 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008326228464 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20670] ppid=20656 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20658/task/20670/stat : 20670 (java) S 20656 20656 14983 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 15 0 444813192 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008325176176 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20671] ppid=20656 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20671/stat : 20671 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008324123616 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20672] ppid=20656 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20672/stat : 20672 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813193 15512608768 12587 33554432000 4194304 4196468 140726847987536 140008323070384 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51540 KiB
[startup+0.700741 s]
/proc/loadavg: 8.80 8.68 8.68 8/233 20672
/proc/meminfo: memFree=30605488/32770624 swapFree=66997372/67108860
[pid=20656] ppid=20653 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20656/stat : 20656 (xcsp3-exec) S 20653 20656 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444813186 115843072 363 33554432000 4194304 5098028 140726706054784 140726706052888 140157055279740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24309760 140726706062203 140726706062445 140726706062445 140726706065354 0
/proc/20656/statm: 28282 363 304 221 0 87 0
[pid=20658] ppid=20656 vsize=15151156 memory=116584 CPUtime=1.59 cores=1,3,5,7
/proc/20658/stat : 20658 (java) S 20656 20656 14983 0 -1 1077944320 13153 0 0 0 154 5 0 0 20 0 15 0 444813187 15514783744 29146 33554432000 4194304 4196468 140726847987536 140726847970080 140008862940919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
/proc/20658/statm: 3787789 29146 3434 1 0 3748889 0
[pid=20658/tid=20659] ppid=20656 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/20658/task/20659/stat : 20659 (java) R 20656 20656 14983 0 -1 4202560 7785 0 0 0 65 3 0 0 20 0 15 0 444813187 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008867175024 140008502862737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20660] ppid=20656 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20660/stat : 20660 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008821701520 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20661] ppid=20656 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20661/stat : 20661 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008454433552 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20662] ppid=20656 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20662/stat : 20662 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813188 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008453381264 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20663] ppid=20656 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20663/stat : 20663 (java) S 20656 20656 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444813188 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008452328464 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20664] ppid=20656 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20664/stat : 20664 (java) S 20656 20656 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444813189 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008331491440 140008862952066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20665] ppid=20656 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20665/stat : 20665 (java) S 20656 20656 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444813190 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008330437408 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20666] ppid=20656 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20666/stat : 20666 (java) S 20656 20656 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444813190 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008329385072 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20667] ppid=20656 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20667/stat : 20667 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008328333392 140008862959515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20668] ppid=20656 vsize=15151156 memory=1764 CPUtime=0.3 cores=1,3,5,7
/proc/20658/task/20668/stat : 20668 (java) R 20656 20656 14983 0 -1 4202560 1259 0 0 0 30 0 0 0 20 0 15 0 444813192 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008327271648 140008842299172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20669] ppid=20656 vsize=15151156 memory=111628 CPUtime=0.27 cores=1,3,5,7
/proc/20658/task/20669/stat : 20669 (java) S 20656 20656 14983 0 -1 1077944384 1103 0 0 0 27 0 0 0 20 0 15 0 444813192 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008326228464 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20670] ppid=20656 vsize=15151156 memory=796 CPUtime=0.3 cores=1,3,5,7
/proc/20658/task/20670/stat : 20670 (java) S 20656 20656 14983 0 -1 1077944384 1699 0 0 0 30 0 0 0 20 0 15 0 444813192 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008325176176 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20671] ppid=20656 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20671/stat : 20671 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008324123616 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20672] ppid=20656 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20672/stat : 20672 (java) S 20656 20656 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444813193 15514783744 29146 33554432000 4194304 4196468 140726847987536 140008323070384 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 118036 KiB
[startup+1.50152 s]
/proc/loadavg: 8.80 8.68 8.68 8/233 20672
/proc/meminfo: memFree=30456616/32770624 swapFree=66997372/67108860
[pid=20656] ppid=20653 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20656/stat : 20656 (xcsp3-exec) S 20653 20656 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444813186 115843072 363 33554432000 4194304 5098028 140726706054784 140726706052888 140157055279740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24309760 140726706062203 140726706062445 140726706062445 140726706065354 0
/proc/20656/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20658/task/20664/stat : 20664 (java) S 20656 20656 14983 0 -1 1077944384 2231 0 0 0 11 0 0 0 20 0 15 0 444813189 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008331491440 140008862952066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20665] ppid=20656 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20665/stat : 20665 (java) S 20656 20656 14983 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 444813190 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008330437472 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20666] ppid=20656 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20666/stat : 20666 (java) S 20656 20656 14983 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 444813190 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008329385088 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20667] ppid=20656 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20667/stat : 20667 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008328333392 140008862959515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20668] ppid=20656 vsize=15151156 memory=465308 CPUtime=1.94 cores=1,3,5,7
/proc/20658/task/20668/stat : 20668 (java) S 20656 20656 14983 0 -1 1077944384 3813 0 0 0 194 0 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008327281264 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20669] ppid=20656 vsize=15151156 memory=-6586668835053300882 CPUtime=2.01 cores=1,3,5,7
/proc/20658/task/20669/stat : 20669 (java) S 20656 20656 14983 0 -1 1077944384 3570 0 0 0 200 1 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008326228464 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20670] ppid=20656 vsize=15151156 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/20658/task/20670/stat : 20670 (java) S 20656 20656 14983 0 -1 1077944384 2517 0 0 0 52 1 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008325176176 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20671] ppid=20656 vsize=15151156 memory=-7595718148000617580 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20671/stat : 20671 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008324123616 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20672] ppid=20656 vsize=15151156 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20672/stat : 20672 (java) S 20656 20656 14983 0 -1 1077944384 712 0 0 0 0 0 0 0 20 0 15 0 444813193 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008323070384 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1643172 KiB
[startup+7.26812 s]
# the end of solver process 20656 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.9415 s, system=1.12497 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.401 s]
/proc/loadavg: 8.66 8.65 8.67 7/233 20672
/proc/meminfo: memFree=29047428/32770624 swapFree=66997372/67108860
[pid=20656] ppid=20653 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20656/stat : 20656 (xcsp3-exec) S 20653 20656 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444813186 115843072 363 33554432000 4194304 5098028 140726706054784 140726706052888 140157055279740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24309760 140726706062203 140726706062445 140726706062445 140726706065354 0
/proc/20656/statm: 28282 363 304 221 0 87 0
[pid=20658] ppid=20656 vsize=15151156 memory=1641720 CPUtime=15.59 cores=1,3,5,7
/proc/20658/stat : 20658 (java) S 20656 20656 14983 0 -1 1077944320 29747 0 0 0 1468 91 0 0 20 0 15 0 444813187 15514783744 410430 33554432000 4194304 4196468 140726847987536 140726847970080 140008862940919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
/proc/20658/statm: 3787789 410430 3518 1 0 3748889 0
[pid=20658/tid=20659] ppid=20656 vsize=15151156 memory=1399103955520229747 CPUtime=4.66 cores=1,3,5,7
/proc/20658/task/20659/stat : 20659 (java) R 20656 20656 14983 0 -1 4202560 12329 0 0 0 448 18 0 0 20 0 15 0 444813187 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008867177632 140008505984040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20660] ppid=20656 vsize=15151156 memory=48040 CPUtime=1.57 cores=1,3,5,7
/proc/20658/task/20660/stat : 20660 (java) S 20656 20656 14983 0 -1 1077944384 745 0 0 0 140 17 0 0 20 0 15 0 444813188 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008821701520 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20661] ppid=20656 vsize=15151156 memory=3028 CPUtime=1.55 cores=1,3,5,7
/proc/20658/task/20661/stat : 20661 (java) S 20656 20656 14983 0 -1 1077944384 963 0 0 0 138 17 0 0 20 0 15 0 444813188 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008454433552 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20662] ppid=20656 vsize=15151156 memory=2012 CPUtime=1.56 cores=1,3,5,7
/proc/20658/task/20662/stat : 20662 (java) S 20656 20656 14983 0 -1 1077944384 736 0 0 0 140 16 0 0 20 0 15 0 444813188 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008453381264 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20663] ppid=20656 vsize=15151156 memory=1388 CPUtime=1.57 cores=1,3,5,7
/proc/20658/task/20663/stat : 20663 (java) S 20656 20656 14983 0 -1 1077944384 729 0 0 0 140 17 0 0 20 0 15 0 444813188 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008452328464 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20664] ppid=20656 vsize=15151156 memory=776 CPUtime=0.11 cores=1,3,5,7
/proc/20658/task/20664/stat : 20664 (java) S 20656 20656 14983 0 -1 1077944384 2231 0 0 0 11 0 0 0 20 0 15 0 444813189 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008331491440 140008862952066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20665] ppid=20656 vsize=15151156 memory=3992 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20665/stat : 20665 (java) S 20656 20656 14983 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 444813190 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008330437472 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20666] ppid=20656 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20666/stat : 20666 (java) S 20656 20656 14983 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 444813190 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008329385088 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20667] ppid=20656 vsize=15151156 memory=1646168 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20667/stat : 20667 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008328333392 140008862959515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20668] ppid=20656 vsize=15151156 memory=14410423571057304 CPUtime=1.94 cores=1,3,5,7
/proc/20658/task/20668/stat : 20668 (java) S 20656 20656 14983 0 -1 1077944384 3813 0 0 0 194 0 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008327281264 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20669] ppid=20656 vsize=15151156 memory=0 CPUtime=2.01 cores=1,3,5,7
/proc/20658/task/20669/stat : 20669 (java) S 20656 20656 14983 0 -1 1077944384 3570 0 0 0 200 1 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008326228464 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20670] ppid=20656 vsize=15151156 memory=288230596084498767 CPUtime=0.53 cores=1,3,5,7
/proc/20658/task/20670/stat : 20670 (java) S 20656 20656 14983 0 -1 1077944384 2517 0 0 0 52 1 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008325176176 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20671] ppid=20656 vsize=15151156 memory=3553969 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20671/stat : 20671 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008324123616 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20672] ppid=20656 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20672/stat : 20672 (java) S 20656 20656 14983 0 -1 1077944384 712 0 0 0 0 0 0 0 20 0 15 0 444813193 15514783744 410430 33554432000 4194304 4196468 140726847987536 140008323070384 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
Current children cumulated CPU time: 15.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1643172 KiB
[startup+6.80078 s]
/proc/loadavg: 8.66 8.65 8.67 7/233 20672
/proc/meminfo: memFree=29047428/32770624 swapFree=66997372/67108860
[pid=20656] ppid=20653 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20656/stat : 20656 (xcsp3-exec) S 20653 20656 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444813186 115843072 363 33554432000 4194304 5098028 140726706054784 140726706052888 140157055279740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24309760 140726706062203 140726706062445 140726706062445 140726706065354 0
/proc/20656/statm: 28282 363 304 221 0 87 0
[pid=20658] ppid=20656 vsize=15151156 memory=1809348 CPUtime=16.48 cores=1,3,5,7
/proc/20658/stat : 20658 (java) S 20656 20656 14983 0 -1 1077944320 30880 0 0 0 1538 110 0 0 20 0 15 0 444813187 15514783744 452337 33554432000 4194304 4196468 140726847987536 140726847970080 140008862940919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
/proc/20658/statm: 3787789 452337 3518 1 0 3748889 0
[pid=20658/tid=20659] ppid=20656 vsize=15151156 memory=1483 CPUtime=4.89 cores=1,3,5,7
/proc/20658/task/20659/stat : 20659 (java) R 20656 20656 14983 0 -1 4202560 12447 0 0 0 471 18 0 0 20 0 15 0 444813187 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008867178672 140008845347936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20660] ppid=20656 vsize=15151156 memory=30684 CPUtime=1.73 cores=1,3,5,7
/proc/20658/task/20660/stat : 20660 (java) S 20656 20656 14983 0 -1 1077944384 838 0 0 0 151 22 0 0 20 0 15 0 444813188 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008821701520 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20661] ppid=20656 vsize=15151156 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/20658/task/20661/stat : 20661 (java) S 20656 20656 14983 0 -1 1077944384 1111 0 0 0 150 22 0 0 20 0 15 0 444813188 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008454433552 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20662] ppid=20656 vsize=15151156 memory=1452 CPUtime=1.72 cores=1,3,5,7
/proc/20658/task/20662/stat : 20662 (java) S 20656 20656 14983 0 -1 1077944384 1019 0 0 0 151 21 0 0 20 0 15 0 444813188 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008453381264 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20663] ppid=20656 vsize=15151156 memory=407504 CPUtime=1.73 cores=1,3,5,7
/proc/20658/task/20663/stat : 20663 (java) S 20656 20656 14983 0 -1 1077944384 1083 0 0 0 151 22 0 0 20 0 15 0 444813188 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008452328464 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20664] ppid=20656 vsize=15151156 memory=13252 CPUtime=0.11 cores=1,3,5,7
/proc/20658/task/20664/stat : 20664 (java) S 20656 20656 14983 0 -1 1077944384 2368 0 0 0 11 0 0 0 20 0 15 0 444813189 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008331491440 140008862952066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20665] ppid=20656 vsize=15151156 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20665/stat : 20665 (java) S 20656 20656 14983 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 444813190 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008330437472 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20666] ppid=20656 vsize=15151156 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20666/stat : 20666 (java) S 20656 20656 14983 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 444813190 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008329385088 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20667] ppid=20656 vsize=15151156 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20667/stat : 20667 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008328333392 140008862959515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20668] ppid=20656 vsize=15151156 memory=22084 CPUtime=1.94 cores=1,3,5,7
/proc/20658/task/20668/stat : 20668 (java) S 20656 20656 14983 0 -1 1077944384 3813 0 0 0 194 0 0 0 20 0 15 0 444813192 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008327281264 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20669] ppid=20656 vsize=15151156 memory=24292 CPUtime=2.01 cores=1,3,5,7
/proc/20658/task/20669/stat : 20669 (java) S 20656 20656 14983 0 -1 1077944384 3570 0 0 0 200 1 0 0 20 0 15 0 444813192 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008326228464 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20670] ppid=20656 vsize=15151156 memory=26500 CPUtime=0.53 cores=1,3,5,7
/proc/20658/task/20670/stat : 20670 (java) S 20656 20656 14983 0 -1 1077944384 2517 0 0 0 52 1 0 0 20 0 15 0 444813192 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008325176176 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20671] ppid=20656 vsize=15151156 memory=28708 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20671/stat : 20671 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444813192 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008324123616 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20672] ppid=20656 vsize=15151156 memory=30916 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20672/stat : 20672 (java) S 20656 20656 14983 0 -1 1077944384 712 0 0 0 0 0 0 0 20 0 15 0 444813193 15514783744 452337 33554432000 4194304 4196468 140726847987536 140008323070384 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
Current children cumulated CPU time: 16.48 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1810800 KiB
[startup+7.2014 s]
/proc/loadavg: 8.66 8.65 8.67 11/237 20676
/proc/meminfo: memFree=28879492/32770624 swapFree=66997372/67108860
[pid=20656] ppid=20653 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20656/stat : 20656 (xcsp3-exec) S 20653 20656 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444813186 115843072 363 33554432000 4194304 5098028 140726706054784 140726706052888 140157055279740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24309760 140726706062203 140726706062445 140726706062445 140726706065354 0
/proc/20656/statm: 28282 363 304 221 0 87 0
[pid=20658] ppid=20656 vsize=15417412 memory=1810056 CPUtime=17.86 cores=1,3,5,7
/proc/20658/stat : 20658 (java) S 20656 20656 14983 0 -1 1077944320 34446 0 0 0 1675 111 0 0 20 0 19 0 444813187 15787429888 452514 33554432000 4194304 4196468 140726847987536 140726847970080 140008862940919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
/proc/20658/statm: 3854353 452514 3527 1 0 3815453 0
[pid=20658/tid=20659] ppid=20656 vsize=15417412 memory=0 CPUtime=4.97 cores=1,3,5,7
/proc/20658/task/20659/stat : 20659 (java) S 20656 20656 14983 0 -1 1077944384 13153 0 0 0 479 18 0 0 20 0 19 0 444813187 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008867181696 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20660] ppid=20656 vsize=15417412 memory=0 CPUtime=1.73 cores=1,3,5,7
/proc/20658/task/20660/stat : 20660 (java) S 20656 20656 14983 0 -1 1077944384 838 0 0 0 151 22 0 0 20 0 19 0 444813188 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008821701520 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20661] ppid=20656 vsize=15417412 memory=154 CPUtime=1.72 cores=1,3,5,7
/proc/20658/task/20661/stat : 20661 (java) S 20656 20656 14983 0 -1 1077944384 1111 0 0 0 150 22 0 0 20 0 19 0 444813188 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008454433552 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20662] ppid=20656 vsize=15417412 memory=612 CPUtime=1.72 cores=1,3,5,7
/proc/20658/task/20662/stat : 20662 (java) S 20656 20656 14983 0 -1 1077944384 1019 0 0 0 151 21 0 0 20 0 19 0 444813188 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008453381264 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20663] ppid=20656 vsize=15417412 memory=15834 CPUtime=1.73 cores=1,3,5,7
/proc/20658/task/20663/stat : 20663 (java) S 20656 20656 14983 0 -1 1077944384 1083 0 0 0 151 22 0 0 20 0 19 0 444813188 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008452328464 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20664] ppid=20656 vsize=15417412 memory=2075 CPUtime=0.11 cores=1,3,5,7
/proc/20658/task/20664/stat : 20664 (java) S 20656 20656 14983 0 -1 1077944384 2375 0 0 0 11 0 0 0 20 0 19 0 444813189 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008331491440 140008862952066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20665] ppid=20656 vsize=15417412 memory=1310 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20665/stat : 20665 (java) S 20656 20656 14983 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 444813190 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008330437472 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20666] ppid=20656 vsize=15417412 memory=4344 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20666/stat : 20666 (java) S 20656 20656 14983 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 19 0 444813190 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008329385088 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20667] ppid=20656 vsize=15417412 memory=386 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20667/stat : 20667 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444813192 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008328333392 140008862959515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20668] ppid=20656 vsize=15417412 memory=328 CPUtime=2.13 cores=1,3,5,7
/proc/20658/task/20668/stat : 20668 (java) S 20656 20656 14983 0 -1 1077944384 5132 0 0 0 213 0 0 0 20 0 19 0 444813192 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008327281264 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20669] ppid=20656 vsize=15417412 memory=1023 CPUtime=2.13 cores=1,3,5,7
/proc/20658/task/20669/stat : 20669 (java) S 20656 20656 14983 0 -1 1077944384 4356 0 0 0 212 1 0 0 20 0 19 0 444813192 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008326228464 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20670] ppid=20656 vsize=15417412 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/20658/task/20670/stat : 20670 (java) R 20656 20656 14983 0 -1 1077944384 3052 0 0 0 56 1 0 0 20 0 19 0 444813192 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008325176176 140008862952066 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20671] ppid=20656 vsize=15417412 memory=143 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20671/stat : 20671 (java) S 20656 20656 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444813192 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008324123616 140008862951125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20672] ppid=20656 vsize=15417412 memory=608 CPUtime=0 cores=1,3,5,7
/proc/20658/task/20672/stat : 20672 (java) S 20656 20656 14983 0 -1 1077944384 712 0 0 0 0 0 0 0 20 0 19 0 444813193 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008323070384 140008862952066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20673] ppid=20656 vsize=15417412 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/20658/task/20673/stat : 20673 (java) R 20656 20656 14983 0 -1 4202560 59 0 0 0 23 0 0 0 20 0 19 0 444813875 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008313849408 140008506571015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20674] ppid=20656 vsize=15417412 memory=14 CPUtime=0.23 cores=1,3,5,7
/proc/20658/task/20674/stat : 20674 (java) R 20656 20656 14983 0 -1 4202560 57 0 0 0 23 0 0 0 20 0 19 0 444813875 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008312802216 140008499368000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20675] ppid=20656 vsize=15417412 memory=154 CPUtime=0.24 cores=1,3,5,7
/proc/20658/task/20675/stat : 20675 (java) R 20656 20656 14983 0 -1 4202560 65 0 0 0 24 0 0 0 20 0 19 0 444813875 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008311745904 140008499477531 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
[pid=20658/tid=20676] ppid=20656 vsize=15417412 memory=612 CPUtime=0.22 cores=1,3,5,7
/proc/20658/task/20676/stat : 20676 (java) R 20656 20656 14983 0 -1 4202560 32 0 0 0 22 0 0 0 20 0 19 0 444813875 15787429888 452514 33554432000 4194304 4196468 140726847987536 140008310695456 140008506571220 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140726847988719 140726847988890 140726847988890 140726847991759 0
Current children cumulated CPU time: 17.86 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1811508 KiB
Child status: 0
Real time (s): 7.26818
CPU time (s): 18.0665
CPU user time (s): 16.9415
CPU system time (s): 1.12497
CPU usage (%): 248.57
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1811508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9415
system time used= 1.12497
maximum resident set size= 1810680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2707
involuntary context switches= 263
# summary of solver processes directly reported to runsolver:
# pid: 20656
# total CPU time (s): 18.0665
# total CPU user time (s): 16.9415
# total CPU system time (s): 1.12497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079521 second user time and 0.112465 second system time
The end