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 (15099 MiB free)
memory of node 1: 16384 MiB (15372 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282487-1503159759/watcher-4282487-1503159759 -o /tmp/evaluation-result-4282487-1503159759/solver-4282487-1503159759 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14041 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 832542552 HOME/instance-4282487-1503159759.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26516, runsolver pid=26513
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 1.89 1.85 1.90 2/196 26517
/proc/meminfo: memFree=31203708/32770624 swapFree=67108860/67108860
[pid=26516] ppid=26513 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/26516/stat : 26516 (runsolver) D 26513 26516 13977 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 104316553 34791424 114 18446744073709551615 4194304 4346622 140735976424416 140735976421048 140264665518807 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 25219072 140735976427575 140735976428068 140735976428068 140735976431562 0
/proc/26516/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209061 s]*
/proc/loadavg: 1.89 1.85 1.90 2/210 26531
/proc/meminfo: memFree=31192732/32770624 swapFree=67108860/67108860
[pid=26516] ppid=26513 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26516/stat : 26516 (xcsp3-exec) S 26513 26516 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104316553 9740288 345 18446744073709551615 4194304 5098028 140736483307392 140736483305496 140485946720892 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 39407616 140736483311993 140736483312197 140736483312197 140736483315691 0
/proc/26516/statm: 2378 345 289 221 0 87 0
[pid=26518] ppid=26516 vsize=13907304 memory=20784 CPUtime=0.05 cores=0,2,4,6
/proc/26518/stat : 26518 (java) S 26516 26516 13977 0 -1 1077944320 4642 0 0 0 4 1 0 0 20 0 14 0 104316565 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140734931559200 140272594001655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
/proc/26518/statm: 3476826 5196 2534 1 0 3466323 0
[pid=26518/tid=26519] ppid=26516 vsize=13907304 memory=-6657840240401682785 CPUtime=0.04 cores=0,2,4,6
/proc/26518/task/26519/stat : 26519 (java) D 26516 26516 13977 0 -1 4202560 2816 0 0 0 4 0 0 0 20 0 14 0 104316565 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272598239136 140272594023677 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26520] ppid=26516 vsize=13907304 memory=4211973990873259402 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26520/stat : 26520 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 104316566 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272559282576 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26521] ppid=26516 vsize=13907304 memory=140264668468864 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26521/stat : 26521 (java) S 26516 26516 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 104316566 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272193505552 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26522] ppid=26516 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26522/stat : 26522 (java) S 26516 26516 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 104316566 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272192453264 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26523] ppid=26516 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26523/stat : 26523 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 104316566 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272191400464 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26524] ppid=26516 vsize=13907304 memory=140264668468864 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26524/stat : 26524 (java) S 26516 26516 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 104316567 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272072452720 140272594012802 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26525] ppid=26516 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26525/stat : 26525 (java) S 26516 26516 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 104316567 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272071398688 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26526] ppid=26516 vsize=13907304 memory=140264668468864 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26526/stat : 26526 (java) S 26516 26516 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 104316568 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272070346352 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26527] ppid=26516 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26527/stat : 26527 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 104316570 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272069294672 140272594020251 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26528] ppid=26516 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26528/stat : 26528 (java) S 26516 26516 13977 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 104316570 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272068241520 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26529] ppid=26516 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26529/stat : 26529 (java) S 26516 26516 13977 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 14 0 104316570 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272067188720 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26530] ppid=26516 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26530/stat : 26530 (java) S 26516 26516 13977 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 14 0 104316570 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272066136432 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26531] ppid=26516 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26531/stat : 26531 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 104316570 14241079296 5196 18446744073709551615 4194304 4196468 140734931576656 140272065083872 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22164 KiB
[startup+0.310043 s]*
/proc/loadavg: 1.89 1.85 1.90 4/211 26532
/proc/meminfo: memFree=31184620/32770624 swapFree=67108860/67108860
[pid=26516] ppid=26513 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26516/stat : 26516 (xcsp3-exec) S 26513 26516 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104316553 9740288 345 18446744073709551615 4194304 5098028 140736483307392 140736483305496 140485946720892 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 39407616 140736483311993 140736483312197 140736483312197 140736483315691 0
/proc/26516/statm: 2378 345 289 221 0 87 0
[pid=26518] ppid=26516 vsize=13975376 memory=33568 CPUtime=0.23 cores=0,2,4,6
/proc/26518/stat : 26518 (java) S 26516 26516 13977 0 -1 1077944320 7657 0 0 0 21 2 0 0 20 0 15 0 104316565 14310785024 8392 18446744073709551615 4194304 4196468 140734931576656 140734931559200 140272594001655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
/proc/26518/statm: 3493844 8392 2979 1 0 3483220 0
[pid=26518/tid=26519] ppid=26516 vsize=13975376 memory=288363917221298210 CPUtime=0.13 cores=0,2,4,6
/proc/26518/task/26519/stat : 26519 (java) R 26516 26516 13977 0 -1 4202560 4961 0 0 0 12 1 0 0 20 0 15 0 104316565 14310785024 8458 18446744073709551615 4194304 4196468 140734931576656 140272598224032 140272586312684 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26520] ppid=26516 vsize=13975376 memory=301 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26520/stat : 26520 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316566 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272559282576 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26521] ppid=26516 vsize=13975376 memory=140264669451479 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26521/stat : 26521 (java) S 26516 26516 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104316566 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272193505552 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26522] ppid=26516 vsize=13975376 memory=-6804530833007812508 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26522/stat : 26522 (java) S 26516 26516 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104316566 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272192453264 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26523] ppid=26516 vsize=13975376 memory=8097827316026060847 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26523/stat : 26523 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316566 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272191400464 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26524] ppid=26516 vsize=13975376 memory=7311575296193230323 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26524/stat : 26524 (java) S 26516 26516 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104316567 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272072452720 140272594012802 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26525] ppid=26516 vsize=13975376 memory=3472328296160571439 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26525/stat : 26525 (java) S 26516 26516 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104316567 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272071398688 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26526] ppid=26516 vsize=13975376 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26526/stat : 26526 (java) S 26516 26516 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104316568 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272070346352 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26527] ppid=26516 vsize=13975376 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26527/stat : 26527 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316570 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272069294672 140272594020251 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26528] ppid=26516 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26528/stat : 26528 (java) S 26516 26516 13977 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 15 0 104316570 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272068241520 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26529] ppid=26516 vsize=13975376 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26529/stat : 26529 (java) S 26516 26516 13977 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 15 0 104316570 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272067188720 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26530] ppid=26516 vsize=13975376 memory=140264668468864 CPUtime=0.04 cores=0,2,4,6
/proc/26518/task/26530/stat : 26530 (java) S 26516 26516 13977 0 -1 1077944384 747 0 0 0 4 0 0 0 20 0 15 0 104316570 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272066136432 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26531] ppid=26516 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26531/stat : 26531 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316570 14310785024 8524 18446744073709551615 4194304 4196468 140734931576656 140272065083872 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26532] ppid=26516 vsize=13975376 memory=140264668468864 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26532/stat : 26532 (java) S 26516 26516 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104316575 14310785024 8590 18446744073709551615 4194304 4196468 140734931576656 140272064031664 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 34948 KiB
[startup+0.702618 s]
/proc/loadavg: 1.89 1.85 1.90 4/211 26532
/proc/meminfo: memFree=31165916/32770624 swapFree=67108860/67108860
[pid=26516] ppid=26513 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26516/stat : 26516 (xcsp3-exec) S 26513 26516 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104316553 9740288 345 18446744073709551615 4194304 5098028 140736483307392 140736483305496 140485946720892 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 39407616 140736483311993 140736483312197 140736483312197 140736483315691 0
/proc/26516/statm: 2378 345 289 221 0 87 0
[pid=26518] ppid=26516 vsize=13978684 memory=87668 CPUtime=1.13 cores=0,2,4,6
/proc/26518/stat : 26518 (java) S 26516 26516 13977 0 -1 1077944320 13090 0 0 0 109 4 0 0 20 0 15 0 104316565 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140734931559200 140272594001655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
/proc/26518/statm: 3494671 21917 3152 1 0 3482964 0
[pid=26518/tid=26519] ppid=26516 vsize=13978684 memory=1341 CPUtime=0.52 cores=0,2,4,6
/proc/26518/task/26519/stat : 26519 (java) R 26516 26516 13977 0 -1 4202560 7875 0 0 0 49 3 0 0 20 0 15 0 104316565 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272598238192 140272235332480 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26520] ppid=26516 vsize=13978684 memory=176 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26520/stat : 26520 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316566 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272559282576 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26521] ppid=26516 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26521/stat : 26521 (java) S 26516 26516 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104316566 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272193505552 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26522] ppid=26516 vsize=13978684 memory=5937222474842268516 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26522/stat : 26522 (java) S 26516 26516 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104316566 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272192453264 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26523] ppid=26516 vsize=13978684 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26523/stat : 26523 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316566 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272191400464 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26524] ppid=26516 vsize=13978684 memory=4638778428397932880 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26524/stat : 26524 (java) S 26516 26516 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104316567 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272072452720 140272594012802 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26525] ppid=26516 vsize=13978684 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26525/stat : 26525 (java) S 26516 26516 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104316567 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272071398688 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26526] ppid=26516 vsize=13978684 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26526/stat : 26526 (java) S 26516 26516 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104316568 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272070346352 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26527] ppid=26516 vsize=13978684 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26527/stat : 26527 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316570 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272069294672 140272594020251 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26528] ppid=26516 vsize=13978684 memory=-7522837415797432223 CPUtime=0.17 cores=0,2,4,6
/proc/26518/task/26528/stat : 26528 (java) R 26516 26516 13977 0 -1 4202560 1429 0 0 0 17 0 0 0 20 0 15 0 104316570 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272068222536 140272575545795 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26529] ppid=26516 vsize=13978684 memory=4137292528961491315 CPUtime=0.16 cores=0,2,4,6
/proc/26518/task/26529/stat : 26529 (java) R 26516 26516 13977 0 -1 4202560 1069 0 0 0 16 0 0 0 20 0 15 0 104316570 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272067170144 140272580031131 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26530] ppid=26516 vsize=13978684 memory=8187704045996132563 CPUtime=0.26 cores=0,2,4,6
/proc/26518/task/26530/stat : 26530 (java) S 26516 26516 13977 0 -1 1077944384 1405 0 0 0 26 0 0 0 20 0 15 0 104316570 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272066136432 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26531] ppid=26516 vsize=13978684 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26531/stat : 26531 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316570 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272065083872 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26532] ppid=26516 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26532/stat : 26532 (java) S 26516 26516 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104316575 14314172416 21917 18446744073709551615 4194304 4196468 140734931576656 140272064031664 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 89048 KiB
[startup+1.50092 s]
/proc/loadavg: 1.89 1.85 1.90 3/211 26532
/proc/meminfo: memFree=31001188/32770624 swapFree=67108860/67108860
[pid=26516] ppid=26513 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26516/stat : 26516 (xcsp3-exec) S 26513 26516 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104316553 9740288 345 18446744073709551615 4194304 5098028 140736483307392 140736483305496 140485946720892 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 39407616 140736483311993 140736483312197 140736483312197 140736483315691 0
/proc/26516/statm: 2378 345 289 221 0 87 0
[pid=26518] ppid=26516 vsize=13980732 memory=216560 CPUtime=2.69 cores=0,2,4,6
/proc/26518/stat : 26518 (java) S 26516 26516 13977 0 -1 1077944320 14583 0 0 0 261 8 0 0 20 0 15 0 104316565 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140734931559200 140272594001655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
/proc/26518/statm: 3495183 54140 3195 1 0 3483476 0
[pid=26518/tid=26519] ppid=26516 vsize=13980732 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/26518/task/26519/stat : 26519 (java) R 26516 26516 13977 0 -1 4202560 8485 0 0 0 124 5 0 0 20 0 15 0 104316565 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272598221760 140272586679669 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26520] ppid=26516 vsize=13980732 memory=280529144690096 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26520/stat : 26520 (java) S 26516 26516 13977 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 104316566 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272559282576 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26521] ppid=26516 vsize=13980732 memory=140264572247680 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26521/stat : 26521 (java) S 26516 26516 13977 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 104316566 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272193505552 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26522] ppid=26516 vsize=13980732 memory=280529144482848 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26522/stat : 26522 (java) S 26516 26516 13977 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 104316566 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272192453264 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26523] ppid=26516 vsize=13980732 memory=280529144487296 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26523/stat : 26523 (java) S 26516 26516 13977 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 104316566 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272191400464 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26524] ppid=26516 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26524/stat : 26524 (java) S 26516 26516 13977 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 104316567 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272072452720 140272594012802 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26525] ppid=26516 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26525/stat : 26525 (java) S 26516 26516 13977 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 104316567 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272071398688 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26526] ppid=26516 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26526/stat : 26526 (java) S 26516 26516 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 104316568 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272070346352 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26527] ppid=26516 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26527/stat : 26527 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316570 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272069294672 140272594020251 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26528] ppid=26516 vsize=13980732 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/26518/task/26528/stat : 26528 (java) S 26516 26516 13977 0 -1 1077944384 1612 0 0 0 46 0 0 0 20 0 15 0 104316570 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272068241520 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26529] ppid=26516 vsize=13980732 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/26518/task/26529/stat : 26529 (java) R 26516 26516 13977 0 -1 1077944384 1380 0 0 0 46 0 0 0 20 0 15 0 104316570 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272067188720 140272594012802 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26530] ppid=26516 vsize=13980732 memory=4120 CPUtime=0.36 cores=0,2,4,6
/proc/26518/task/26530/stat : 26530 (java) S 26516 26516 13977 0 -1 1077944384 1619 0 0 0 36 0 0 0 20 0 15 0 104316570 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272066136432 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26531] ppid=26516 vsize=13980732 memory=56704 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26531/stat : 26531 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316570 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272065083872 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26532] ppid=26516 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26532/stat : 26532 (java) S 26516 26516 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104316575 14316269568 54140 18446744073709551615 4194304 4196468 140734931576656 140272064031664 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217940 KiB
[startup+1.64755 s]
# the end of solver process 26516 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.07847 s, system=0.100501 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60102 s]
/proc/loadavg: 1.89 1.85 1.90 3/211 26532
/proc/meminfo: memFree=31001188/32770624 swapFree=67108860/67108860
[pid=26516] ppid=26513 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26516/stat : 26516 (xcsp3-exec) S 26513 26516 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104316553 9740288 345 18446744073709551615 4194304 5098028 140736483307392 140736483305496 140485946720892 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 11 0 0 7196144 7232144 39407616 140736483311993 140736483312197 140736483312197 140736483315691 0
/proc/26516/statm: 2378 345 289 221 0 87 0
[pid=26518] ppid=26516 vsize=13980732 memory=217588 CPUtime=3.05 cores=0,2,4,6
/proc/26518/stat : 26518 (java) S 26516 26516 13977 0 -1 1077944320 14833 0 0 0 296 9 0 0 20 0 15 0 104316565 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140734931559200 140272594001655 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
/proc/26518/statm: 3495183 54397 3201 1 0 3483476 0
[pid=26518/tid=26519] ppid=26516 vsize=13980732 memory=6656426216303648864 CPUtime=1.39 cores=0,2,4,6
/proc/26518/task/26519/stat : 26519 (java) R 26516 26516 13977 0 -1 4202560 8547 0 0 0 134 5 0 0 20 0 15 0 104316565 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272598241008 140272239750660 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26520] ppid=26516 vsize=13980732 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26520/stat : 26520 (java) S 26516 26516 13977 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 104316566 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272559282576 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26521] ppid=26516 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26521/stat : 26521 (java) S 26516 26516 13977 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 104316566 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272193505552 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26522] ppid=26516 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26522/stat : 26522 (java) S 26516 26516 13977 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 104316566 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272192453264 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26523] ppid=26516 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26518/task/26523/stat : 26523 (java) S 26516 26516 13977 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 104316566 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272191400464 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26524] ppid=26516 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26524/stat : 26524 (java) S 26516 26516 13977 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 104316567 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272072452720 140272594012802 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26525] ppid=26516 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26525/stat : 26525 (java) S 26516 26516 13977 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 104316567 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272071398688 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26526] ppid=26516 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26526/stat : 26526 (java) S 26516 26516 13977 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 104316568 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272070346352 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26527] ppid=26516 vsize=13980732 memory=280529145060400 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26527/stat : 26527 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316570 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272069294672 140272594020251 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26528] ppid=26516 vsize=13980732 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/26518/task/26528/stat : 26528 (java) R 26516 26516 13977 0 -1 4202560 1642 0 0 0 56 0 0 0 20 0 15 0 104316570 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272068228896 140272577487669 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26529] ppid=26516 vsize=13980732 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/26518/task/26529/stat : 26529 (java) R 26516 26516 13977 0 -1 4202560 1408 0 0 0 56 0 0 0 20 0 15 0 104316570 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272067180672 140272571596673 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26530] ppid=26516 vsize=13980732 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/26518/task/26530/stat : 26530 (java) S 26516 26516 13977 0 -1 1077944384 1749 0 0 0 42 0 0 0 20 0 15 0 104316570 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272066136432 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26531] ppid=26516 vsize=13980732 memory=6947195326317356655 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26531/stat : 26531 (java) S 26516 26516 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104316570 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272065083872 140272594011861 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
[pid=26518/tid=26532] ppid=26516 vsize=13980732 memory=7882261873346106729 CPUtime=0 cores=0,2,4,6
/proc/26518/task/26532/stat : 26532 (java) S 26516 26516 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104316575 14316269568 54397 18446744073709551615 4194304 4196468 140734931576656 140272064031664 140272594012802 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25636864 140734931583409 140734931583585 140734931583585 140734931587023 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 218968 KiB
Child status: 0
Real time (s): 1.6476
CPU time (s): 3.17898
CPU user time (s): 3.07847
CPU system time (s): 0.100501
CPU usage (%): 192.946
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 218968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.07847
system time used= 0.100501
maximum resident set size= 219456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1962
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 26516
# total CPU time (s): 3.17898
# total CPU user time (s): 3.07847
# total CPU system time (s): 0.100501
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030191 second user time and 0.057971 second system time
The end