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 (14944 MiB free)
  memory of node 1: 16384 MiB (14652 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272713-1502737025/watcher-4272713-1502737025 -o /tmp/evaluation-result-4272713-1502737025/solver-4272713-1502737025 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1884499870 HOME/instance-4272713-1502737025.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=25036, runsolver pid=25033
Current StackSize limit: 8192 KiB


[startup+0.100148 s]*
/proc/loadavg: 1.99 1.93 1.80 2/196 25037
/proc/meminfo: memFree=30306408/32770624 swapFree=67108860/67108860
[pid=25036] ppid=25033 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/25036/stat : 25036 (runsolver) D 25033 25036 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 75923195 34791424 113 18446744073709551615 4194304 4346622 140729074501584 140729074498216 140026350256855 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 16580608 140729074503734 140729074504228 140729074504228 140729074507722 0
/proc/25036/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209072 s]*
/proc/loadavg: 1.99 1.93 1.80 2/210 25051
/proc/meminfo: memFree=30295676/32770624 swapFree=67108860/67108860
[pid=25036] ppid=25033 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25036/stat : 25036 (xcsp3-exec) S 25033 25036 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75923195 9740288 345 18446744073709551615 4194304 5098028 140736349358400 140736349356504 140553989771900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 13930496 140736349360504 140736349360709 140736349360709 140736349364203 0
/proc/25036/statm: 2378 345 289 221 0 87 0
[pid=25038] ppid=25036 vsize=13907304 memory=22308 CPUtime=0.05 cores=0,2,4,6
/proc/25038/stat : 25038 (java) S 25036 25036 897 0 -1 1077944320 4958 0 0 0 5 0 0 0 20 0 14 0 75923206 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140730498755840 140115757670135 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
/proc/25038/statm: 3476826 5577 2575 1 0 3466323 0
[pid=25038/tid=25039] ppid=25036 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/25038/task/25039/stat : 25039 (java) D 25036 25036 897 0 -1 4202560 3138 0 0 0 4 0 0 0 20 0 14 0 75923206 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115761907616 140115757692157 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25040] ppid=25036 vsize=13907304 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25040/stat : 25040 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75923207 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115357813136 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25041] ppid=25036 vsize=13907304 memory=140026353229939 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25041/stat : 25041 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75923207 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115356760336 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25042] ppid=25036 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25042/stat : 25042 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75923207 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115355708048 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25043] ppid=25036 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25043/stat : 25043 (java) S 25036 25036 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75923207 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115354655248 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25044] ppid=25036 vsize=13907304 memory=140026353206912 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25044/stat : 25044 (java) S 25036 25036 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75923208 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115236211312 140115757681282 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25045] ppid=25036 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25045/stat : 25045 (java) S 25036 25036 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 75923209 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115235157280 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25046] ppid=25036 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25046/stat : 25046 (java) S 25036 25036 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 75923209 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115234104944 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25047] ppid=25036 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25047/stat : 25047 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75923212 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115233053264 140115757688731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25048] ppid=25036 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25048/stat : 25048 (java) S 25036 25036 897 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 75923212 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115232000112 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25049] ppid=25036 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25049/stat : 25049 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75923212 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115230947312 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25050] ppid=25036 vsize=13907304 memory=140026353206912 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25050/stat : 25050 (java) S 25036 25036 897 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 75923212 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115229895024 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25051] ppid=25036 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25051/stat : 25051 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75923212 14241079296 5577 18446744073709551615 4194304 4196468 140730498773296 140115228842464 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23688 KiB

[startup+0.310035 s]*
/proc/loadavg: 1.99 1.93 1.80 5/211 25052
/proc/meminfo: memFree=30290864/32770624 swapFree=67108860/67108860
[pid=25036] ppid=25033 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25036/stat : 25036 (xcsp3-exec) S 25033 25036 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75923195 9740288 345 18446744073709551615 4194304 5098028 140736349358400 140736349356504 140553989771900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 13930496 140736349360504 140736349360709 140736349360709 140736349364203 0
/proc/25036/statm: 2378 345 289 221 0 87 0
[pid=25038] ppid=25036 vsize=13974352 memory=27760 CPUtime=0.11 cores=0,2,4,6
/proc/25038/stat : 25038 (java) S 25036 25036 897 0 -1 1077944320 5366 0 0 0 10 1 0 0 20 0 15 0 75923206 14309736448 6940 18446744073709551615 4194304 4196468 140730498773296 140730498755840 140115757670135 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
/proc/25038/statm: 3493588 6940 2753 1 0 3482964 0
[pid=25038/tid=25039] ppid=25036 vsize=13974352 memory=-8774313645642428999 CPUtime=0.08 cores=0,2,4,6
/proc/25038/task/25039/stat : 25039 (java) R 25036 25036 897 0 -1 4202560 3504 0 0 0 8 0 0 0 20 0 15 0 75923206 14309736448 6940 18446744073709551615 4194304 4196468 140730498773296 140115761893200 140115757692061 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25040] ppid=25036 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25040/stat : 25040 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923207 14309736448 6940 18446744073709551615 4194304 4196468 140730498773296 140115357813136 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25041] ppid=25036 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25041/stat : 25041 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923207 14309736448 6940 18446744073709551615 4194304 4196468 140730498773296 140115356760336 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25042] ppid=25036 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25042/stat : 25042 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923207 14309736448 6940 18446744073709551615 4194304 4196468 140730498773296 140115355708048 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25043] ppid=25036 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25043/stat : 25043 (java) S 25036 25036 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923207 14309736448 6940 18446744073709551615 4194304 4196468 140730498773296 140115354655248 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25044] ppid=25036 vsize=13974352 memory=140026353206912 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25044/stat : 25044 (java) S 25036 25036 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923208 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115236211312 140115757681282 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25045] ppid=25036 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25045/stat : 25045 (java) S 25036 25036 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923209 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115235157280 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25046] ppid=25036 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25046/stat : 25046 (java) S 25036 25036 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923209 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115234104944 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25047] ppid=25036 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25047/stat : 25047 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115233053264 140115757688731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25048] ppid=25036 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25048/stat : 25048 (java) S 25036 25036 897 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 75923212 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115232000112 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25049] ppid=25036 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25049/stat : 25049 (java) R 25036 25036 897 0 -1 4202560 97 0 0 0 0 0 0 0 20 0 15 0 75923212 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115230947608 140115737501728 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25050] ppid=25036 vsize=13974352 memory=140026353206912 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25050/stat : 25050 (java) S 25036 25036 897 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 75923212 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115229895024 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25051] ppid=25036 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25051/stat : 25051 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115228842464 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25052] ppid=25036 vsize=13974352 memory=140026353206912 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25052/stat : 25052 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923223 14309736448 7005 18446744073709551615 4194304 4196468 140730498773296 140115227790256 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29140 KiB

[startup+0.701244 s]
/proc/loadavg: 1.99 1.93 1.80 3/211 25052
/proc/meminfo: memFree=30271964/32770624 swapFree=67108860/67108860
[pid=25036] ppid=25033 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25036/stat : 25036 (xcsp3-exec) S 25033 25036 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75923195 9740288 345 18446744073709551615 4194304 5098028 140736349358400 140736349356504 140553989771900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 13930496 140736349360504 140736349360709 140736349360709 140736349364203 0
/proc/25036/statm: 2378 345 289 221 0 87 0
[pid=25038] ppid=25036 vsize=13978684 memory=69764 CPUtime=1.05 cores=0,2,4,6
/proc/25038/stat : 25038 (java) S 25036 25036 897 0 -1 1077944320 12657 0 0 0 101 4 0 0 20 0 15 0 75923206 14314172416 17441 18446744073709551615 4194304 4196468 140730498773296 140730498755840 140115757670135 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
/proc/25038/statm: 3494671 17441 3143 1 0 3482964 0
[pid=25038/tid=25039] ppid=25036 vsize=13978684 memory=280052403017152 CPUtime=0.46 cores=0,2,4,6
/proc/25038/task/25039/stat : 25039 (java) R 25036 25036 897 0 -1 4202560 7888 0 0 0 43 3 0 0 20 0 15 0 75923206 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115761904192 140115737395168 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25040] ppid=25036 vsize=13978684 memory=280052403095360 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25040/stat : 25040 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923207 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115357813136 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25041] ppid=25036 vsize=13978684 memory=280052403017344 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25041/stat : 25041 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923207 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115356760336 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25042] ppid=25036 vsize=13978684 memory=280052403095552 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25042/stat : 25042 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923207 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115355708048 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25043] ppid=25036 vsize=13978684 memory=280052403095744 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25043/stat : 25043 (java) S 25036 25036 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75923207 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115354655248 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25044] ppid=25036 vsize=13978684 memory=280052403095936 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25044/stat : 25044 (java) S 25036 25036 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75923208 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115236211312 140115757681282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25045] ppid=25036 vsize=13978684 memory=280052403096128 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25045/stat : 25045 (java) S 25036 25036 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923209 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115235157280 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25046] ppid=25036 vsize=13978684 memory=280052403096320 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25046/stat : 25046 (java) S 25036 25036 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923209 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115234104944 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25047] ppid=25036 vsize=13978684 memory=280052403096512 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25047/stat : 25047 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115233053264 140115757688731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25048] ppid=25036 vsize=13978684 memory=1200 CPUtime=0.2 cores=0,2,4,6
/proc/25038/task/25048/stat : 25048 (java) R 25036 25036 897 0 -1 4202560 1133 0 0 0 20 0 0 0 20 0 15 0 75923212 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115231993136 140115757682070 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25049] ppid=25036 vsize=13978684 memory=7014751519734126161 CPUtime=0.17 cores=0,2,4,6
/proc/25038/task/25049/stat : 25049 (java) R 25036 25036 897 0 -1 4202560 1072 0 0 0 17 0 0 0 20 0 15 0 75923212 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115230934128 140115739213427 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25050] ppid=25036 vsize=13978684 memory=7013343131322635374 CPUtime=0.19 cores=0,2,4,6
/proc/25038/task/25050/stat : 25050 (java) S 25036 25036 897 0 -1 1077944384 1257 0 0 0 19 0 0 0 20 0 15 0 75923212 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115229895024 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25051] ppid=25036 vsize=13978684 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25051/stat : 25051 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115228842464 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25052] ppid=25036 vsize=13978684 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25052/stat : 25052 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923223 14314172416 17446 18446744073709551615 4194304 4196468 140730498773296 140115227790256 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 71144 KiB

[startup+1.50129 s]
/proc/loadavg: 1.99 1.93 1.80 5/211 25052
/proc/meminfo: memFree=30206688/32770624 swapFree=67108860/67108860
[pid=25036] ppid=25033 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25036/stat : 25036 (xcsp3-exec) S 25033 25036 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75923195 9740288 345 18446744073709551615 4194304 5098028 140736349358400 140736349356504 140553989771900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 13930496 140736349360504 140736349360709 140736349360709 140736349364203 0
/proc/25036/statm: 2378 345 289 221 0 87 0
[pid=25038] ppid=25036 vsize=13980732 memory=210648 CPUtime=3.65 cores=0,2,4,6
/proc/25038/stat : 25038 (java) S 25036 25036 897 0 -1 1077944320 16690 0 0 0 356 9 0 0 20 0 15 0 75923206 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140730498755840 140115757670135 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
/proc/25038/statm: 3495183 52662 3196 1 0 3483476 0
[pid=25038/tid=25039] ppid=25036 vsize=13980732 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/25038/task/25039/stat : 25039 (java) R 25036 25036 897 0 -1 4202560 8548 0 0 0 118 5 0 0 20 0 15 0 75923206 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115761904960 140115757682070 0 4 1 16800974 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25040] ppid=25036 vsize=13980732 memory=140026201684248 CPUtime=0.01 cores=0,2,4,6
/proc/25038/task/25040/stat : 25040 (java) S 25036 25036 897 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 75923207 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115357813136 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25041] ppid=25036 vsize=13980732 memory=23368 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25041/stat : 25041 (java) S 25036 25036 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 75923207 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115356760336 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25042] ppid=25036 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25042/stat : 25042 (java) S 25036 25036 897 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 75923207 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115355708048 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25043] ppid=25036 vsize=13980732 memory=94164 CPUtime=0.01 cores=0,2,4,6
/proc/25038/task/25043/stat : 25043 (java) S 25036 25036 897 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 75923207 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115354655248 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25044] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25044/stat : 25044 (java) S 25036 25036 897 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 75923208 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115236211312 140115757681282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25045] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25045/stat : 25045 (java) S 25036 25036 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923209 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115235157280 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25046] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25046/stat : 25046 (java) S 25036 25036 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923209 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115234104944 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25047] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25047/stat : 25047 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115233053264 140115757688731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25048] ppid=25036 vsize=13980732 memory=7737581531948607833 CPUtime=0.93 cores=0,2,4,6
/proc/25038/task/25048/stat : 25048 (java) R 25036 25036 897 0 -1 4202560 2195 0 0 0 93 0 0 0 20 0 15 0 75923212 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115231988912 140115737167434 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25049] ppid=25036 vsize=13980732 memory=7011348500760777808 CPUtime=0.86 cores=0,2,4,6
/proc/25038/task/25049/stat : 25049 (java) R 25036 25036 897 0 -1 4202560 1833 0 0 0 86 0 0 0 20 0 15 0 75923212 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115230933520 140115743685664 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25050] ppid=25036 vsize=13980732 memory=6443078101204691817 CPUtime=0.52 cores=0,2,4,6
/proc/25038/task/25050/stat : 25050 (java) S 25036 25036 897 0 -1 1077944384 2641 0 0 0 51 1 0 0 20 0 15 0 75923212 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115229895024 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25051] ppid=25036 vsize=13980732 memory=7883084209090357347 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25051/stat : 25051 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115228842464 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25052] ppid=25036 vsize=13980732 memory=76 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25052/stat : 25052 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923223 14316269568 52662 18446744073709551615 4194304 4196468 140730498773296 140115227790256 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212028 KiB

[startup+1.9677 s]
# the end of solver process 25036 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.01114 s, system=0.113232 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60129 s]
/proc/loadavg: 1.99 1.93 1.80 5/211 25052
/proc/meminfo: memFree=30206688/32770624 swapFree=67108860/67108860
[pid=25036] ppid=25033 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25036/stat : 25036 (xcsp3-exec) S 25033 25036 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75923195 9740288 345 18446744073709551615 4194304 5098028 140736349358400 140736349356504 140553989771900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 13930496 140736349360504 140736349360709 140736349360709 140736349364203 0
/proc/25036/statm: 2378 345 289 221 0 87 0
[pid=25038] ppid=25036 vsize=13980732 memory=210708 CPUtime=3.95 cores=0,2,4,6
/proc/25038/stat : 25038 (java) S 25036 25036 897 0 -1 1077944320 16727 0 0 0 386 9 0 0 20 0 15 0 75923206 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140730498755840 140115757670135 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
/proc/25038/statm: 3495183 52677 3199 1 0 3483476 0
[pid=25038/tid=25039] ppid=25036 vsize=13980732 memory=280052403272036 CPUtime=1.33 cores=0,2,4,6
/proc/25038/task/25039/stat : 25039 (java) R 25036 25036 897 0 -1 4202560 8548 0 0 0 128 5 0 0 20 0 15 0 75923206 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115761904960 140115399427861 0 4 1 16800974 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25040] ppid=25036 vsize=13980732 memory=140026201743381 CPUtime=0.01 cores=0,2,4,6
/proc/25038/task/25040/stat : 25040 (java) S 25036 25036 897 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 75923207 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115357813136 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25041] ppid=25036 vsize=13980732 memory=280052403443120 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25041/stat : 25041 (java) S 25036 25036 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 75923207 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115356760336 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25042] ppid=25036 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25042/stat : 25042 (java) S 25036 25036 897 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 75923207 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115355708048 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25043] ppid=25036 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25038/task/25043/stat : 25043 (java) S 25036 25036 897 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 75923207 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115354655248 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25044] ppid=25036 vsize=13980732 memory=8881 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25044/stat : 25044 (java) S 25036 25036 897 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 75923208 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115236211312 140115757681282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25045] ppid=25036 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25045/stat : 25045 (java) S 25036 25036 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923209 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115235157280 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25046] ppid=25036 vsize=13980732 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25046/stat : 25046 (java) S 25036 25036 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923209 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115234104944 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25047] ppid=25036 vsize=13980732 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25047/stat : 25047 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115233053264 140115757688731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25048] ppid=25036 vsize=13980732 memory=8996 CPUtime=1.03 cores=0,2,4,6
/proc/25038/task/25048/stat : 25048 (java) R 25036 25036 897 0 -1 4202560 2209 0 0 0 103 0 0 0 20 0 15 0 75923212 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115231986960 140115736916348 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25049] ppid=25036 vsize=13980732 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/25038/task/25049/stat : 25049 (java) R 25036 25036 897 0 -1 4202560 1856 0 0 0 96 0 0 0 20 0 15 0 75923212 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115230932480 140115741198908 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25050] ppid=25036 vsize=13980732 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/25038/task/25050/stat : 25050 (java) S 25036 25036 897 0 -1 1077944384 2641 0 0 0 51 1 0 0 20 0 15 0 75923212 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115229895024 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25051] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25051/stat : 25051 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115228842464 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25052] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25052/stat : 25052 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923223 14316269568 52677 18446744073709551615 4194304 4196468 140730498773296 140115227790256 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212088 KiB

[startup+1.80652 s]
/proc/loadavg: 1.99 1.93 1.80 5/211 25052
/proc/meminfo: memFree=30206688/32770624 swapFree=67108860/67108860
[pid=25036] ppid=25033 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25036/stat : 25036 (xcsp3-exec) S 25033 25036 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75923195 9740288 345 18446744073709551615 4194304 5098028 140736349358400 140736349356504 140553989771900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 13930496 140736349360504 140736349360709 140736349360709 140736349364203 0
/proc/25036/statm: 2378 345 289 221 0 87 0
[pid=25038] ppid=25036 vsize=13980732 memory=212892 CPUtime=4.69 cores=0,2,4,6
/proc/25038/stat : 25038 (java) S 25036 25036 897 0 -1 1077944320 17292 0 0 0 459 10 0 0 20 0 15 0 75923206 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140730498755840 140115757670135 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
/proc/25038/statm: 3495183 53223 3214 1 0 3483476 0
[pid=25038/tid=25039] ppid=25036 vsize=13980732 memory=0 CPUtime=1.53 cores=0,2,4,6
/proc/25038/task/25039/stat : 25039 (java) R 25036 25036 897 0 -1 4202560 8764 0 0 0 148 5 0 0 20 0 15 0 75923206 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115761908880 140115757691482 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25040] ppid=25036 vsize=13980732 memory=280052403011824 CPUtime=0.01 cores=0,2,4,6
/proc/25038/task/25040/stat : 25040 (java) S 25036 25036 897 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 75923207 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115357813136 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25041] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25041/stat : 25041 (java) S 25036 25036 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 75923207 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115356760336 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25042] ppid=25036 vsize=13980732 memory=41628 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25042/stat : 25042 (java) S 25036 25036 897 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 75923207 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115355708048 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25043] ppid=25036 vsize=13980732 memory=1292 CPUtime=0.01 cores=0,2,4,6
/proc/25038/task/25043/stat : 25043 (java) S 25036 25036 897 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 75923207 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115354655248 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25044] ppid=25036 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25044/stat : 25044 (java) S 25036 25036 897 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 75923208 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115236211312 140115757681282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25045] ppid=25036 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25045/stat : 25045 (java) S 25036 25036 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923209 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115235157280 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25046] ppid=25036 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25046/stat : 25046 (java) S 25036 25036 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923209 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115234104944 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25047] ppid=25036 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25047/stat : 25047 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115233053264 140115757688731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25048] ppid=25036 vsize=13980732 memory=5788 CPUtime=1.24 cores=0,2,4,6
/proc/25038/task/25048/stat : 25048 (java) R 25036 25036 897 0 -1 1077944384 2271 0 0 0 124 0 0 0 20 0 15 0 75923212 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115231986960 140115757680341 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25049] ppid=25036 vsize=13980732 memory=1712 CPUtime=1.17 cores=0,2,4,6
/proc/25038/task/25049/stat : 25049 (java) R 25036 25036 897 0 -1 4202560 1909 0 0 0 117 0 0 0 20 0 15 0 75923212 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115230935808 140115741081149 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25050] ppid=25036 vsize=13980732 memory=4616 CPUtime=0.64 cores=0,2,4,6
/proc/25038/task/25050/stat : 25050 (java) R 25036 25036 897 0 -1 4202560 2875 0 0 0 63 1 0 0 20 0 15 0 75923212 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115229891392 140115737384932 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25051] ppid=25036 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25051/stat : 25051 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115228842464 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25052] ppid=25036 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25052/stat : 25052 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923223 14316269568 53223 18446744073709551615 4194304 4196468 140730498773296 140115227790256 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
Current children cumulated CPU time: 4.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214272 KiB

[startup+1.90129 s]
/proc/loadavg: 1.99 1.93 1.80 5/211 25052
/proc/meminfo: memFree=30206688/32770624 swapFree=67108860/67108860
[pid=25036] ppid=25033 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25036/stat : 25036 (xcsp3-exec) S 25033 25036 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75923195 9740288 345 18446744073709551615 4194304 5098028 140736349358400 140736349356504 140553989771900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 11 0 0 7196144 7232144 13930496 140736349360504 140736349360709 140736349360709 140736349364203 0
/proc/25036/statm: 2378 345 289 221 0 87 0
[pid=25038] ppid=25036 vsize=13980732 memory=213364 CPUtime=4.99 cores=0,2,4,6
/proc/25038/stat : 25038 (java) S 25036 25036 897 0 -1 1077944320 17390 0 0 0 489 10 0 0 20 0 15 0 75923206 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140730498755840 140115757670135 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
/proc/25038/statm: 3495183 53341 3214 1 0 3483476 0
[pid=25038/tid=25039] ppid=25036 vsize=13980732 memory=1380 CPUtime=1.62 cores=0,2,4,6
/proc/25038/task/25039/stat : 25039 (java) R 25036 25036 897 0 -1 4202560 8792 0 0 0 157 5 0 0 20 0 15 0 75923206 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115761909520 140115399336742 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25040] ppid=25036 vsize=13980732 memory=94164 CPUtime=0.01 cores=0,2,4,6
/proc/25038/task/25040/stat : 25040 (java) S 25036 25036 897 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 75923207 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115357813136 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25041] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25041/stat : 25041 (java) S 25036 25036 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 75923207 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115356760336 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25042] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25042/stat : 25042 (java) S 25036 25036 897 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 75923207 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115355708048 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25043] ppid=25036 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25038/task/25043/stat : 25043 (java) S 25036 25036 897 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 75923207 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115354655248 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25044] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25044/stat : 25044 (java) S 25036 25036 897 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 75923208 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115236211312 140115757681282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25045] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25045/stat : 25045 (java) S 25036 25036 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75923209 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115235157280 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25046] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25046/stat : 25046 (java) S 25036 25036 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75923209 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115234104944 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25047] ppid=25036 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25047/stat : 25047 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115233053264 140115757688731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25048] ppid=25036 vsize=13980732 memory=8694891403225061329 CPUtime=1.33 cores=0,2,4,6
/proc/25038/task/25048/stat : 25048 (java) R 25036 25036 897 0 -1 4202560 2277 0 0 0 133 0 0 0 20 0 15 0 75923212 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115231986128 140115742587526 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25049] ppid=25036 vsize=13980732 memory=280052403206016 CPUtime=1.26 cores=0,2,4,6
/proc/25038/task/25049/stat : 25049 (java) R 25036 25036 897 0 -1 4202560 1938 0 0 0 126 0 0 0 20 0 15 0 75923212 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115230946496 140115740078112 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25050] ppid=25036 vsize=13980732 memory=-7735343918210569302 CPUtime=0.66 cores=0,2,4,6
/proc/25038/task/25050/stat : 25050 (java) S 25036 25036 897 0 -1 1077944384 2910 0 0 0 65 1 0 0 20 0 15 0 75923212 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115229895024 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25051] ppid=25036 vsize=13980732 memory=3756055111611999290 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25051/stat : 25051 (java) S 25036 25036 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75923212 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115228842464 140115757680341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
[pid=25038/tid=25052] ppid=25036 vsize=13980732 memory=7092977442723751265 CPUtime=0 cores=0,2,4,6
/proc/25038/task/25052/stat : 25052 (java) S 25036 25036 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75923223 14316269568 53341 18446744073709551615 4194304 4196468 140730498773296 140115227790256 140115757681282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140730498781617 140730498781793 140730498781793 140730498785231 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214744 KiB

Child status: 0
Real time (s): 1.96774
CPU time (s): 5.12437
CPU user time (s): 5.01114
CPU system time (s): 0.113232
CPU usage (%): 260.419
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 214744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.01114
system time used= 0.113232
maximum resident set size= 214640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17986
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= 1996
involuntary context switches= 30


# summary of solver processes directly reported to runsolver:
#   pid: 25036
#   total CPU time (s): 5.12437
#   total CPU user time (s): 5.01114
#   total CPU system time (s): 0.113232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04101 second user time and 0.048673 second system time

The end