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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282523-1503116758/watcher-4282523-1503116758 -o /tmp/evaluation-result-4282523-1503116758/solver-4282523-1503116758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1809937321 HOME/instance-4282523-1503116758.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=13306, runsolver pid=13303
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.29 1.65 1.65 3/203 13313
/proc/meminfo: memFree=30512684/32770624 swapFree=67108860/67108860
[pid=13306] ppid=13303 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13306/stat : 13306 (xcsp3-exec) S 13303 13306 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113896332 9740288 344 18446744073709551615 4194304 5098028 140729623600624 140729623598728 140333024010876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 8855552 140729623601528 140729623601733 140729623601733 140729623605227 0
/proc/13306/statm: 2378 344 289 221 0 87 0
[pid=13308] ppid=13306 vsize=13358712 memory=16148 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (java) S 13306 13306 8563 0 -1 1077944320 3316 0 0 0 0 0 0 0 20 0 6 0 113896341 13679321088 4037 18446744073709551615 4194304 4196468 140733294307792 140733294290336 140635306458871 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
/proc/13308/statm: 3339678 4037 1901 1 0 3329175 0
[pid=13308/tid=13309] ppid=13306 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13309/stat : 13309 (java) R 13306 13306 8563 0 -1 4202560 2082 0 0 0 0 0 0 0 20 0 6 0 113896341 13679321088 4037 18446744073709551615 4194304 4196468 140733294307792 140635310694992 140635306480797 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13310] ppid=13306 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13310/stat : 13310 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113896342 13679321088 4037 18446744073709551615 4194304 4196468 140733294307792 140635225873040 140635306469077 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13311] ppid=13306 vsize=13358712 memory=139926872409728 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13311/stat : 13311 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113896342 13679321088 4037 18446744073709551615 4194304 4196468 140733294307792 140635224820240 140635306469077 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13312] ppid=13306 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13312/stat : 13312 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113896342 13679321088 4037 18446744073709551615 4194304 4196468 140733294307792 140635223767440 140635306469077 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13313] ppid=13306 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13313/stat : 13313 (java) S 13306 13306 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 113896342 13679321088 4037 18446744073709551615 4194304 4196468 140733294307792 140635222714640 140635306469077 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17524 KiB

[startup+0.209819 s]*
/proc/loadavg: 1.29 1.65 1.65 2/211 13321
/proc/meminfo: memFree=30507840/32770624 swapFree=67108860/67108860
[pid=13306] ppid=13303 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13306/stat : 13306 (xcsp3-exec) S 13303 13306 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113896332 9740288 344 18446744073709551615 4194304 5098028 140729623600624 140729623598728 140333024010876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 8855552 140729623601528 140729623601733 140729623601733 140729623605227 0
/proc/13306/statm: 2378 344 289 221 0 87 0
[pid=13308] ppid=13306 vsize=13974352 memory=23220 CPUtime=0.06 cores=0,2,4,6
/proc/13308/stat : 13308 (java) S 13306 13306 8563 0 -1 1077944320 4763 0 0 0 5 1 0 0 20 0 15 0 113896341 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140733294290336 140635306458871 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
/proc/13308/statm: 3493588 5805 2660 1 0 3482964 0
[pid=13308/tid=13309] ppid=13306 vsize=13974352 memory=-6871798056524144002 CPUtime=0.05 cores=0,2,4,6
/proc/13308/task/13309/stat : 13309 (java) R 13306 13306 8563 0 -1 4202560 2923 0 0 0 4 1 0 0 20 0 15 0 113896341 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140635310685984 140635306480797 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13310] ppid=13306 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13310/stat : 13310 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140635225873040 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13311] ppid=13306 vsize=13974352 memory=139926872409728 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13311/stat : 13311 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140635224820240 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13312] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13312/stat : 13312 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140635223767440 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13313] ppid=13306 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13313/stat : 13313 (java) S 13306 13306 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113896342 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140635222714640 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13314] ppid=13306 vsize=13974352 memory=139926872409728 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13314/stat : 13314 (java) S 13306 13306 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113896343 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140634783996784 140635306470018 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13315] ppid=13306 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13315/stat : 13315 (java) S 13306 13306 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113896344 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140634782942752 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13316] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13316/stat : 13316 (java) S 13306 13306 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113896344 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140634781889904 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13317] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13317/stat : 13317 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140634780838224 140635306477467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13318] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13318/stat : 13318 (java) S 13306 13306 8563 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 113896346 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140634779785584 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13319] ppid=13306 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13319/stat : 13319 (java) S 13306 13306 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113896346 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140634778732784 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13320] ppid=13306 vsize=13974352 memory=139926872409728 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13320/stat : 13320 (java) S 13306 13306 8563 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 113896346 14309736448 5805 18446744073709551615 4194304 4196468 140733294307792 140634777679984 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13321] ppid=13306 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13321/stat : 13321 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14309736448 5871 18446744073709551615 4194304 4196468 140733294307792 140634776627424 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13322] ppid=13306 vsize=13974352 memory=139926872409728 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13322/stat : 13322 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896353 14309736448 5871 18446744073709551615 4194304 4196468 140733294307792 140634775575728 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24596 KiB

[startup+0.310097 s]*
/proc/loadavg: 1.29 1.65 1.65 3/212 13322
/proc/meminfo: memFree=30491424/32770624 swapFree=67108860/67108860
[pid=13306] ppid=13303 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13306/stat : 13306 (xcsp3-exec) S 13303 13306 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113896332 9740288 344 18446744073709551615 4194304 5098028 140729623600624 140729623598728 140333024010876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 8855552 140729623601528 140729623601733 140729623601733 140729623605227 0
/proc/13306/statm: 2378 344 289 221 0 87 0
[pid=13308] ppid=13306 vsize=13974352 memory=37312 CPUtime=0.24 cores=0,2,4,6
/proc/13308/stat : 13308 (java) S 13306 13306 8563 0 -1 1077944320 8388 0 0 0 21 3 0 0 20 0 15 0 113896341 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140733294290336 140635306458871 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
/proc/13308/statm: 3493588 9328 2979 1 0 3482964 0
[pid=13308/tid=13309] ppid=13306 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/13308/task/13309/stat : 13309 (java) R 13306 13306 8563 0 -1 4202560 5616 0 0 0 13 2 0 0 20 0 15 0 113896341 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140635310688448 140635290539358 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13310] ppid=13306 vsize=13974352 memory=139926872416721 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13310/stat : 13310 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140635225873040 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13311] ppid=13306 vsize=13974352 memory=7810740733659278190 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13311/stat : 13311 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140635224820240 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13312] ppid=13306 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13312/stat : 13312 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140635223767440 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13313] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13313/stat : 13313 (java) S 13306 13306 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113896342 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140635222714640 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13314] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13314/stat : 13314 (java) S 13306 13306 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113896343 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634783996784 140635306470018 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13315] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13315/stat : 13315 (java) S 13306 13306 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113896344 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634782942752 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13316] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13316/stat : 13316 (java) S 13306 13306 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113896344 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634781889904 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13317] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13317/stat : 13317 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634780838224 140635306477467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13318] ppid=13306 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13318/stat : 13318 (java) S 13306 13306 8563 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 15 0 113896346 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634779785584 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13319] ppid=13306 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13319/stat : 13319 (java) S 13306 13306 8563 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 15 0 113896346 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634778732784 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13320] ppid=13306 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/13308/task/13320/stat : 13320 (java) S 13306 13306 8563 0 -1 1077944384 683 0 0 0 5 0 0 0 20 0 15 0 113896346 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634777679984 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13321] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13321/stat : 13321 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634776627424 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13322] ppid=13306 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13322/stat : 13322 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896353 14309736448 9328 18446744073709551615 4194304 4196468 140733294307792 140634775575728 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38688 KiB

[startup+0.703355 s]
/proc/loadavg: 1.29 1.65 1.65 6/212 13322
/proc/meminfo: memFree=30476704/32770624 swapFree=67108860/67108860
[pid=13306] ppid=13303 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13306/stat : 13306 (xcsp3-exec) S 13303 13306 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113896332 9740288 344 18446744073709551615 4194304 5098028 140729623600624 140729623598728 140333024010876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 8855552 140729623601528 140729623601733 140729623601733 140729623605227 0
/proc/13306/statm: 2378 344 289 221 0 87 0
[pid=13308] ppid=13306 vsize=13978684 memory=73520 CPUtime=1.25 cores=0,2,4,6
/proc/13308/stat : 13308 (java) S 13306 13306 8563 0 -1 1077944320 12706 0 0 0 120 5 0 0 20 0 15 0 113896341 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140733294290336 140635306458871 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
/proc/13308/statm: 3494671 18380 3146 1 0 3482964 0
[pid=13308/tid=13309] ppid=13306 vsize=13978684 memory=7886766292050720565 CPUtime=0.52 cores=0,2,4,6
/proc/13308/task/13309/stat : 13309 (java) R 13306 13306 8563 0 -1 1077944384 7521 0 0 0 49 3 0 0 20 0 15 0 113896341 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140635310696128 140635306469077 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13310] ppid=13306 vsize=13978684 memory=6003668156883685970 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13310/stat : 13310 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140635225873040 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13311] ppid=13306 vsize=13978684 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13311/stat : 13311 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140635224820240 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13312] ppid=13306 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13312/stat : 13312 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896342 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140635223767440 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13313] ppid=13306 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13313/stat : 13313 (java) S 13306 13306 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113896342 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140635222714640 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13314] ppid=13306 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13314/stat : 13314 (java) S 13306 13306 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113896343 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634783996784 140635306470018 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13315] ppid=13306 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13315/stat : 13315 (java) S 13306 13306 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113896344 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634782942752 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13316] ppid=13306 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13316/stat : 13316 (java) S 13306 13306 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113896344 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634781889904 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13317] ppid=13306 vsize=13978684 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13317/stat : 13317 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634780838224 140635306477467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13318] ppid=13306 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/13308/task/13318/stat : 13318 (java) R 13306 13306 8563 0 -1 4202560 1327 0 0 0 22 0 0 0 20 0 15 0 113896346 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634779785584 140635291621633 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13319] ppid=13306 vsize=13978684 memory=-2893623298589923098 CPUtime=0.22 cores=0,2,4,6
/proc/13308/task/13319/stat : 13319 (java) R 13306 13306 8563 0 -1 4202560 1151 0 0 0 22 0 0 0 20 0 15 0 113896346 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634778723168 140635285704719 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13320] ppid=13306 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/13308/task/13320/stat : 13320 (java) R 13306 13306 8563 0 -1 4202560 1400 0 0 0 25 0 0 0 20 0 15 0 113896346 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634777673488 140635286651821 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13321] ppid=13306 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13321/stat : 13321 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634776627424 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13322] ppid=13306 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13322/stat : 13322 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896353 14314172416 18380 18446744073709551615 4194304 4196468 140733294307792 140634775575728 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 74896 KiB

[startup+1.50145 s]
/proc/loadavg: 1.29 1.65 1.65 5/212 13322
/proc/meminfo: memFree=30398892/32770624 swapFree=67108860/67108860
[pid=13306] ppid=13303 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13306/stat : 13306 (xcsp3-exec) S 13303 13306 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113896332 9740288 344 18446744073709551615 4194304 5098028 140729623600624 140729623598728 140333024010876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 8855552 140729623601528 140729623601733 140729623601733 140729623605227 0
/proc/13306/statm: 2378 344 289 221 0 87 0
[pid=13308] ppid=13306 vsize=13980732 memory=209300 CPUtime=3.78 cores=0,2,4,6
/proc/13308/stat : 13308 (java) S 13306 13306 8563 0 -1 1077944320 15839 0 0 0 368 10 0 0 20 0 15 0 113896341 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140733294290336 140635306458871 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
/proc/13308/statm: 3495183 52325 3203 1 0 3483476 0
[pid=13308/tid=13309] ppid=13306 vsize=13980732 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/13308/task/13309/stat : 13309 (java) R 13306 13306 8563 0 -1 4202560 7978 0 0 0 124 5 0 0 20 0 15 0 113896341 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140635310693528 140634901526646 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13310] ppid=13306 vsize=13980732 memory=4426658576607127401 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13310/stat : 13310 (java) S 13306 13306 8563 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140635225873040 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13311] ppid=13306 vsize=13980732 memory=5864930740947150647 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13311/stat : 13311 (java) S 13306 13306 8563 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140635224820240 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13312] ppid=13306 vsize=13980732 memory=7091308392629429792 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13312/stat : 13312 (java) S 13306 13306 8563 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140635223767440 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13313] ppid=13306 vsize=13980732 memory=4116 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13313/stat : 13313 (java) S 13306 13306 8563 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140635222714640 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13314] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13314/stat : 13314 (java) S 13306 13306 8563 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113896343 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634783996784 140635306470018 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13315] ppid=13306 vsize=13980732 memory=139926746415232 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13315/stat : 13315 (java) S 13306 13306 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113896344 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634782942752 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13316] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13316/stat : 13316 (java) S 13306 13306 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113896344 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634781889904 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13317] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13317/stat : 13317 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634780838224 140635306477467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13318] ppid=13306 vsize=13980732 memory=-8774313645642428999 CPUtime=0.94 cores=0,2,4,6
/proc/13308/task/13318/stat : 13318 (java) R 13306 13306 8563 0 -1 4202560 2034 0 0 0 94 0 0 0 20 0 15 0 113896346 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634779785584 140635286295209 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13319] ppid=13306 vsize=13980732 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/13308/task/13319/stat : 13319 (java) R 13306 13306 8563 0 -1 4202560 1767 0 0 0 91 0 0 0 20 0 15 0 113896346 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634778724736 140635288005944 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13320] ppid=13306 vsize=13980732 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/13308/task/13320/stat : 13320 (java) S 13306 13306 8563 0 -1 1077944384 2580 0 0 0 50 0 0 0 20 0 15 0 113896346 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634777679984 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13321] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13321/stat : 13321 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634776627424 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13322] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13322/stat : 13322 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896353 14316269568 52325 18446744073709551615 4194304 4196468 140733294307792 140634775575728 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
Current children cumulated CPU time: 3.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210676 KiB

[startup+1.82275 s]
# the end of solver process 13306 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.67618 s, system=0.117871 s

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

[startup+1.60087 s]
/proc/loadavg: 1.29 1.65 1.65 5/212 13322
/proc/meminfo: memFree=30398892/32770624 swapFree=67108860/67108860
[pid=13306] ppid=13303 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13306/stat : 13306 (xcsp3-exec) S 13303 13306 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113896332 9740288 344 18446744073709551615 4194304 5098028 140729623600624 140729623598728 140333024010876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 8855552 140729623601528 140729623601733 140729623601733 140729623605227 0
/proc/13306/statm: 2378 344 289 221 0 87 0
[pid=13308] ppid=13306 vsize=13980732 memory=210592 CPUtime=4.13 cores=0,2,4,6
/proc/13308/stat : 13308 (java) S 13306 13306 8563 0 -1 1077944320 16151 0 0 0 403 10 0 0 20 0 15 0 113896341 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140733294290336 140635306458871 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
/proc/13308/statm: 3495183 52648 3211 1 0 3483476 0
[pid=13308/tid=13309] ppid=13306 vsize=13980732 memory=-8774313645642428999 CPUtime=1.39 cores=0,2,4,6
/proc/13308/task/13309/stat : 13309 (java) R 13306 13306 8563 0 -1 4202560 8038 0 0 0 134 5 0 0 20 0 15 0 113896341 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140635310696464 140634900602528 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13310] ppid=13306 vsize=13980732 memory=12961 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13310/stat : 13310 (java) S 13306 13306 8563 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140635225873040 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13311] ppid=13306 vsize=13980732 memory=43757100784 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13311/stat : 13311 (java) S 13306 13306 8563 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140635224820240 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13312] ppid=13306 vsize=13980732 memory=7956545956972156778 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13312/stat : 13312 (java) S 13306 13306 8563 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140635223767440 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13313] ppid=13306 vsize=13980732 memory=7238798801035015221 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13313/stat : 13313 (java) S 13306 13306 8563 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140635222714640 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13314] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13314/stat : 13314 (java) S 13306 13306 8563 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113896343 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634783996784 140635306470018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13315] ppid=13306 vsize=13980732 memory=13828 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13315/stat : 13315 (java) S 13306 13306 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113896344 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634782942752 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13316] ppid=13306 vsize=13980732 memory=279853492342544 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13316/stat : 13316 (java) S 13306 13306 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113896344 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634781889904 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13317] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13317/stat : 13317 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634780838224 140635306477467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13318] ppid=13306 vsize=13980732 memory=6943526294502006880 CPUtime=1.03 cores=0,2,4,6
/proc/13308/task/13318/stat : 13318 (java) R 13306 13306 8563 0 -1 4202560 2075 0 0 0 103 0 0 0 20 0 15 0 113896346 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634779768544 140635287637584 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13319] ppid=13306 vsize=13980732 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/13308/task/13319/stat : 13319 (java) R 13306 13306 8563 0 -1 4202560 1794 0 0 0 101 0 0 0 20 0 15 0 113896346 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634778722896 140635284625352 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13320] ppid=13306 vsize=13980732 memory=-8774313645642428999 CPUtime=0.56 cores=0,2,4,6
/proc/13308/task/13320/stat : 13320 (java) S 13306 13306 8563 0 -1 1077944384 2765 0 0 0 56 0 0 0 20 0 15 0 113896346 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634777679984 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13321] ppid=13306 vsize=13980732 memory=7679937539659563834 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13321/stat : 13321 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634776627424 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13322] ppid=13306 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13322/stat : 13322 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896353 14316269568 52648 18446744073709551615 4194304 4196468 140733294307792 140634775575728 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211968 KiB

[startup+1.80072 s]
/proc/loadavg: 1.29 1.65 1.65 5/212 13322
/proc/meminfo: memFree=30398892/32770624 swapFree=67108860/67108860
[pid=13306] ppid=13303 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/13306/stat : 13306 (xcsp3-exec) S 13303 13306 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113896332 9740288 344 18446744073709551615 4194304 5098028 140729623600624 140729623598728 140333024010876 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 8855552 140729623601528 140729623601733 140729623601733 140729623605227 0
/proc/13306/statm: 2378 344 289 221 0 87 0
[pid=13308] ppid=13306 vsize=13980732 memory=211624 CPUtime=4.76 cores=0,2,4,6
/proc/13308/stat : 13308 (java) S 13306 13306 8563 0 -1 1077944320 16455 0 0 0 465 11 0 0 20 0 15 0 113896341 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140733294290336 140635306458871 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
/proc/13308/statm: 3495183 52906 3212 1 0 3483476 0
[pid=13308/tid=13309] ppid=13306 vsize=13980732 memory=1400504754925836930 CPUtime=1.6 cores=0,2,4,6
/proc/13308/task/13309/stat : 13309 (java) R 13306 13306 8563 0 -1 4202560 8144 0 0 0 154 6 0 0 20 0 15 0 113896341 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140635310697712 140634903031410 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13310] ppid=13306 vsize=13980732 memory=-7175204567652784766 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13310/stat : 13310 (java) S 13306 13306 8563 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140635225873040 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13311] ppid=13306 vsize=13980732 memory=3054156605268465310 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13311/stat : 13311 (java) S 13306 13306 8563 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140635224820240 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13312] ppid=13306 vsize=13980732 memory=4715433313220523562 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13312/stat : 13312 (java) S 13306 13306 8563 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140635223767440 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13313] ppid=13306 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13308/task/13313/stat : 13313 (java) S 13306 13306 8563 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 113896342 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140635222714640 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13314] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13314/stat : 13314 (java) S 13306 13306 8563 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113896343 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634783996784 140635306470018 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13315] ppid=13306 vsize=13980732 memory=279853492396512 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13315/stat : 13315 (java) S 13306 13306 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113896344 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634782942752 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13316] ppid=13306 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13316/stat : 13316 (java) S 13306 13306 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113896344 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634781889904 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13317] ppid=13306 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13317/stat : 13317 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634780838224 140635306477467 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13318] ppid=13306 vsize=13980732 memory=2316 CPUtime=1.21 cores=0,2,4,6
/proc/13308/task/13318/stat : 13318 (java) R 13306 13306 8563 0 -1 4202560 2117 0 0 0 121 0 0 0 20 0 15 0 113896346 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634779776560 140635286147280 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13319] ppid=13306 vsize=13980732 memory=1728 CPUtime=1.19 cores=0,2,4,6
/proc/13308/task/13319/stat : 13319 (java) R 13306 13306 8563 0 -1 4202560 1848 0 0 0 119 0 0 0 20 0 15 0 113896346 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634778732784 140635291364109 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13320] ppid=13306 vsize=13980732 memory=1228 CPUtime=0.63 cores=0,2,4,6
/proc/13308/task/13320/stat : 13320 (java) R 13306 13306 8563 0 -1 1077944384 2866 0 0 0 63 0 0 0 20 0 15 0 113896346 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634777679984 140635306470018 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13321] ppid=13306 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13321/stat : 13321 (java) S 13306 13306 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113896346 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634776627424 140635306469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
[pid=13308/tid=13322] ppid=13306 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/13308/task/13322/stat : 13322 (java) S 13306 13306 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113896353 14316269568 52906 18446744073709551615 4194304 4196468 140733294307792 140634775575728 140635306470018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9052160 140733294313905 140733294314081 140733294314081 140733294317519 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213000 KiB

Child status: 0
Real time (s): 1.8228
CPU time (s): 4.79405
CPU user time (s): 4.67618
CPU system time (s): 0.117871
CPU usage (%): 263.004
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 213000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.67618
system time used= 0.117871
maximum resident set size= 212728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16996
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= 2140
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 13306
#   total CPU time (s): 4.79405
#   total CPU user time (s): 4.67618
#   total CPU system time (s): 0.117871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032665 second user time and 0.056908 second system time

The end