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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269804-1502788691/watcher-4269804-1502788691 -o /tmp/evaluation-result-4269804-1502788691/solver-4269804-1502788691 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1434522383 HOME/instance-4269804-1502788691.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17516, runsolver pid=17513

[startup+0.100155 s]*
/proc/loadavg: 2.01 2.01 2.05 3/201 17517
/proc/meminfo: memFree=30779452/32770624 swapFree=67108764/67108860
[pid=17516] ppid=17513 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (xcsp3-exec) S 17513 17516 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126375674 9740288 345 18446744073709551615 4194304 5098028 140726596101248 140726596099352 140380317487740 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9363456 140726596108664 140726596108869 140726596108869 140726596112363 0
/proc/17516/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.211238 s]*
/proc/loadavg: 2.01 2.01 2.05 3/216 17532
/proc/meminfo: memFree=30766576/32770624 swapFree=67108764/67108860
[pid=17516] ppid=17513 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (xcsp3-exec) S 17513 17516 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126375674 9740288 345 18446744073709551615 4194304 5098028 140726596101248 140726596099352 140380317487740 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9363456 140726596108664 140726596108869 140726596108869 140726596112363 0
/proc/17516/statm: 2378 345 289 221 0 87 0
[pid=17518] ppid=17516 vsize=13974352 memory=25724 CPUtime=0.07 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17516 17516 4674 0 -1 1077944320 5330 0 0 0 6 1 0 0 20 0 15 0 126375684 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 140732983759408 139950467145463 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
/proc/17518/statm: 3493588 6431 2729 1 0 3482964 0
[pid=17518/tid=17519] ppid=17516 vsize=13974352 memory=8508281356422055842 CPUtime=0.06 cores=1,3,5,7
/proc/17518/task/17519/stat : 17519 (java) R 17516 17516 4674 0 -1 4202560 3499 0 0 0 5 1 0 0 20 0 15 0 126375684 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139950471371152 139950467157398 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17520] ppid=17516 vsize=13974352 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139950436858256 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17521] ppid=17516 vsize=13974352 memory=140290797127296 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17521/stat : 17521 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139950066526480 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17522] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17522/stat : 17522 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139950065474192 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17523] ppid=17516 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17523/stat : 17523 (java) S 17516 17516 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126375685 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139950064421392 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17524] ppid=17516 vsize=13974352 memory=140290797127296 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17524/stat : 17524 (java) S 17516 17516 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126375686 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949383953008 139950467156610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17525] ppid=17516 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17525/stat : 17525 (java) S 17516 17516 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126375686 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949382898976 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17526] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17526/stat : 17526 (java) S 17516 17516 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126375687 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949381846640 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17527] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17527/stat : 17527 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949380794960 139950467164059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17528] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17528/stat : 17528 (java) S 17516 17516 4674 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 126375689 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949379741808 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17529] ppid=17516 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17529/stat : 17529 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375689 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949378689008 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17530] ppid=17516 vsize=13974352 memory=140290797127296 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17530/stat : 17530 (java) R 17516 17516 4674 0 -1 4202560 230 0 0 0 0 0 0 0 20 0 15 0 126375689 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949377636720 139950447480976 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17531] ppid=17516 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17531/stat : 17531 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949376584160 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17532] ppid=17516 vsize=13974352 memory=140290797127296 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17532/stat : 17532 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375694 14309736448 6431 18446744073709551615 4194304 4196468 140732983776864 139949375531952 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27104 KiB

[startup+0.310703 s]*
/proc/loadavg: 2.01 2.01 2.05 3/216 17532
/proc/meminfo: memFree=30750916/32770624 swapFree=67108764/67108860
[pid=17516] ppid=17513 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (xcsp3-exec) S 17513 17516 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126375674 9740288 345 18446744073709551615 4194304 5098028 140726596101248 140726596099352 140380317487740 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9363456 140726596108664 140726596108869 140726596108869 140726596112363 0
/proc/17516/statm: 2378 345 289 221 0 87 0
[pid=17518] ppid=17516 vsize=13974352 memory=37544 CPUtime=0.25 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17516 17516 4674 0 -1 1077944320 8957 0 0 0 22 3 0 0 20 0 15 0 126375684 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 140732983759408 139950467145463 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
/proc/17518/statm: 3493588 9386 2980 1 0 3482964 0
[pid=17518/tid=17519] ppid=17516 vsize=13974352 memory=4278483708103473607 CPUtime=0.16 cores=1,3,5,7
/proc/17518/task/17519/stat : 17519 (java) R 17516 17516 4674 0 -1 4202560 6183 0 0 0 14 2 0 0 20 0 15 0 126375684 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139950471358912 139950451225950 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17520] ppid=17516 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139950436858256 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17521] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17521/stat : 17521 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139950066526480 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17522] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17522/stat : 17522 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139950065474192 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17523] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17523/stat : 17523 (java) S 17516 17516 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126375685 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139950064421392 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17524] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17524/stat : 17524 (java) S 17516 17516 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126375686 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949383953008 139950467156610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17525] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17525/stat : 17525 (java) S 17516 17516 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126375686 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949382898976 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17526] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17526/stat : 17526 (java) S 17516 17516 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126375687 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949381846640 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17527] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17527/stat : 17527 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949380794960 139950467164059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17528] ppid=17516 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17518/task/17528/stat : 17528 (java) S 17516 17516 4674 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 15 0 126375689 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949379741808 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17529] ppid=17516 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17518/task/17529/stat : 17529 (java) S 17516 17516 4674 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 15 0 126375689 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949378689008 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17530] ppid=17516 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17518/task/17530/stat : 17530 (java) S 17516 17516 4674 0 -1 1077944384 691 0 0 0 5 0 0 0 20 0 15 0 126375689 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949377636720 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17531] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17531/stat : 17531 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949376584160 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17532] ppid=17516 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17532/stat : 17532 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375694 14309736448 9386 18446744073709551615 4194304 4196468 140732983776864 139949375531952 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38924 KiB

[startup+0.701253 s]
/proc/loadavg: 2.01 2.01 2.05 5/216 17532
/proc/meminfo: memFree=30735188/32770624 swapFree=67108764/67108860
[pid=17516] ppid=17513 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (xcsp3-exec) S 17513 17516 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126375674 9740288 345 18446744073709551615 4194304 5098028 140726596101248 140726596099352 140380317487740 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9363456 140726596108664 140726596108869 140726596108869 140726596112363 0
/proc/17516/statm: 2378 345 289 221 0 87 0
[pid=17518] ppid=17516 vsize=13978684 memory=84832 CPUtime=1.33 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17516 17516 4674 0 -1 1077944320 13366 0 0 0 128 5 0 0 20 0 15 0 126375684 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 140732983759408 139950467145463 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
/proc/17518/statm: 3494671 21208 3161 1 0 3482964 0
[pid=17518/tid=17519] ppid=17516 vsize=13978684 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/17518/task/17519/stat : 17519 (java) R 17516 17516 4674 0 -1 4202560 7966 0 0 0 50 3 0 0 20 0 15 0 126375684 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139950471379568 139950110824987 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17520] ppid=17516 vsize=13978684 memory=2904 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139950436858256 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17521] ppid=17516 vsize=13978684 memory=4278483708103473607 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17521/stat : 17521 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139950066526480 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17522] ppid=17516 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17522/stat : 17522 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375685 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139950065474192 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17523] ppid=17516 vsize=13978684 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17523/stat : 17523 (java) S 17516 17516 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126375685 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139950064421392 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17524] ppid=17516 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17524/stat : 17524 (java) S 17516 17516 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 126375686 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949383953008 139950467156610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17525] ppid=17516 vsize=13978684 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17525/stat : 17525 (java) S 17516 17516 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126375686 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949382898976 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17526] ppid=17516 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17526/stat : 17526 (java) S 17516 17516 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126375687 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949381846640 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17527] ppid=17516 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17527/stat : 17527 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949380794960 139950467164059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17528] ppid=17516 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/17518/task/17528/stat : 17528 (java) R 17516 17516 4674 0 -1 4202560 1441 0 0 0 26 0 0 0 20 0 15 0 126375689 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949379722824 139950444740240 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17529] ppid=17516 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/17518/task/17529/stat : 17529 (java) R 17516 17516 4674 0 -1 4202560 1134 0 0 0 23 0 0 0 20 0 15 0 126375689 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949378677680 139950450645669 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17530] ppid=17516 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/17518/task/17530/stat : 17530 (java) S 17516 17516 4674 0 -1 1077944384 1518 0 0 0 27 0 0 0 20 0 15 0 126375689 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949377636720 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17531] ppid=17516 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17531/stat : 17531 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949376584160 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17532] ppid=17516 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17532/stat : 17532 (java) S 17516 17516 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126375694 14314172416 21208 18446744073709551615 4194304 4196468 140732983776864 139949375531952 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 86212 KiB

[startup+1.50085 s]
/proc/loadavg: 2.09 2.03 2.05 4/216 17532
/proc/meminfo: memFree=30660480/32770624 swapFree=67108764/67108860
[pid=17516] ppid=17513 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (xcsp3-exec) S 17513 17516 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126375674 9740288 345 18446744073709551615 4194304 5098028 140726596101248 140726596099352 140380317487740 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9363456 140726596108664 140726596108869 140726596108869 140726596112363 0
/proc/17516/statm: 2378 345 289 221 0 87 0
[pid=17518] ppid=17516 vsize=13980732 memory=203084 CPUtime=3.82 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17516 17516 4674 0 -1 1077944320 20477 0 0 0 372 10 0 0 20 0 15 0 126375684 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 140732983759408 139950467145463 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
/proc/17518/statm: 3495183 50771 3224 1 0 3483476 0
[pid=17518/tid=17519] ppid=17516 vsize=13980732 memory=662364497384251446 CPUtime=1.31 cores=1,3,5,7
/proc/17518/task/17519/stat : 17519 (java) R 17516 17516 4674 0 -1 4202560 9222 0 0 0 126 5 0 0 20 0 15 0 126375684 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139950471382592 139950467157398 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17520] ppid=17516 vsize=13980732 memory=18983755451683 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (java) S 17516 17516 4674 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139950436858256 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17521] ppid=17516 vsize=13980732 memory=5793160092899160881 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17521/stat : 17521 (java) S 17516 17516 4674 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139950066526480 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17522] ppid=17516 vsize=13980732 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17522/stat : 17522 (java) S 17516 17516 4674 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139950065474192 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17523] ppid=17516 vsize=13980732 memory=280581355077872 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17523/stat : 17523 (java) S 17516 17516 4674 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139950064421392 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17524] ppid=17516 vsize=13980732 memory=280581355520736 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17524/stat : 17524 (java) S 17516 17516 4674 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 126375686 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949383953008 139950467156610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17525] ppid=17516 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17525/stat : 17525 (java) S 17516 17516 4674 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 126375686 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949382898976 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17526] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17526/stat : 17526 (java) S 17516 17516 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 126375687 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949381846640 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17527] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17527/stat : 17527 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949380794960 139950467164059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17528] ppid=17516 vsize=13980732 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/17518/task/17528/stat : 17528 (java) R 17516 17516 4674 0 -1 4202560 3392 0 0 0 95 0 0 0 20 0 15 0 126375689 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949379728320 139950448665148 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17529] ppid=17516 vsize=13980732 memory=-1807685287725067907 CPUtime=0.91 cores=1,3,5,7
/proc/17518/task/17529/stat : 17529 (java) R 17516 17516 4674 0 -1 4202560 3348 0 0 0 91 0 0 0 20 0 15 0 126375689 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949378689008 139950452027152 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17530] ppid=17516 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/17518/task/17530/stat : 17530 (java) R 17516 17516 4674 0 -1 1077944384 2635 0 0 0 55 1 0 0 20 0 15 0 126375689 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949377636720 139950467156610 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17531] ppid=17516 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17531/stat : 17531 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949376584160 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17532] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17532/stat : 17532 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375694 14316269568 50771 18446744073709551615 4194304 4196468 140732983776864 139949375531952 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
Current children cumulated CPU time: 3.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204464 KiB

[startup+2.48477 s]
# the end of solver process 17516 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.63989 s, system=0.118349 s

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

[startup+1.60819 s]
/proc/loadavg: 2.09 2.03 2.05 4/216 17532
/proc/meminfo: memFree=30660480/32770624 swapFree=67108764/67108860
[pid=17516] ppid=17513 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (xcsp3-exec) S 17513 17516 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126375674 9740288 345 18446744073709551615 4194304 5098028 140726596101248 140726596099352 140380317487740 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9363456 140726596108664 140726596108869 140726596108869 140726596112363 0
/proc/17516/statm: 2378 345 289 221 0 87 0
[pid=17518] ppid=17516 vsize=13980732 memory=203160 CPUtime=4.08 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17516 17516 4674 0 -1 1077944320 20542 0 0 0 398 10 0 0 20 0 15 0 126375684 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 140732983759408 139950467145463 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
/proc/17518/statm: 3495183 50790 3224 1 0 3483476 0
[pid=17518/tid=17519] ppid=17516 vsize=13980732 memory=1608 CPUtime=1.42 cores=1,3,5,7
/proc/17518/task/17519/stat : 17519 (java) R 17516 17516 4674 0 -1 4202560 9224 0 0 0 137 5 0 0 20 0 15 0 126375684 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139950471382272 139950114569095 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17520] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (java) S 17516 17516 4674 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139950436858256 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17521] ppid=17516 vsize=13980732 memory=6788 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17521/stat : 17521 (java) S 17516 17516 4674 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139950066526480 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17522] ppid=17516 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17522/stat : 17522 (java) S 17516 17516 4674 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139950065474192 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17523] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17523/stat : 17523 (java) S 17516 17516 4674 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139950064421392 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17524] ppid=17516 vsize=13980732 memory=140290677715376 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17524/stat : 17524 (java) S 17516 17516 4674 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 126375686 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949383953008 139950467156610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17525] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17525/stat : 17525 (java) S 17516 17516 4674 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 126375686 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949382898976 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17526] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17526/stat : 17526 (java) S 17516 17516 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 126375687 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949381846640 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17527] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17527/stat : 17527 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949380794960 139950467164059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17528] ppid=17516 vsize=13980732 memory=6944656592387989600 CPUtime=1.02 cores=1,3,5,7
/proc/17518/task/17528/stat : 17528 (java) S 17516 17516 4674 0 -1 1077944384 3416 0 0 0 102 0 0 0 20 0 15 0 126375689 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949379741808 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17529] ppid=17516 vsize=13980732 memory=6944652177228980320 CPUtime=0.98 cores=1,3,5,7
/proc/17518/task/17529/stat : 17529 (java) S 17516 17516 4674 0 -1 1077944384 3372 0 0 0 98 0 0 0 20 0 15 0 126375689 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949378689008 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17530] ppid=17516 vsize=13980732 memory=6944652177228980320 CPUtime=0.57 cores=1,3,5,7
/proc/17518/task/17530/stat : 17530 (java) S 17516 17516 4674 0 -1 1077944384 2650 0 0 0 56 1 0 0 20 0 15 0 126375689 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949377636720 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17531] ppid=17516 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17531/stat : 17531 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949376584160 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17532] ppid=17516 vsize=13980732 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17532/stat : 17532 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375694 14316269568 50790 18446744073709551615 4194304 4196468 140732983776864 139949375531952 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204540 KiB

[startup+2.00081 s]*
/proc/loadavg: 2.09 2.03 2.05 3/216 17532
/proc/meminfo: memFree=30587376/32770624 swapFree=67108764/67108860
[pid=17516] ppid=17513 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (xcsp3-exec) S 17513 17516 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126375674 9740288 345 18446744073709551615 4194304 5098028 140726596101248 140726596099352 140380317487740 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9363456 140726596108664 140726596108869 140726596108869 140726596112363 0
/proc/17516/statm: 2378 345 289 221 0 87 0
[pid=17518] ppid=17516 vsize=13980732 memory=203516 CPUtime=4.65 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17516 17516 4674 0 -1 1077944320 20670 0 0 0 455 10 0 0 20 0 15 0 126375684 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 140732983759408 139950467145463 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
/proc/17518/statm: 3495183 50879 3226 1 0 3483476 0
[pid=17518/tid=17519] ppid=17516 vsize=13980732 memory=576461178948550685 CPUtime=1.82 cores=1,3,5,7
/proc/17518/task/17519/stat : 17519 (java) R 17516 17516 4674 0 -1 4202560 9237 0 0 0 177 5 0 0 20 0 15 0 126375684 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139950471382856 139950114569210 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17520] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (java) S 17516 17516 4674 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139950436858256 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17521] ppid=17516 vsize=13980732 memory=13563821092545979 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17521/stat : 17521 (java) S 17516 17516 4674 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139950066526480 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17522] ppid=17516 vsize=13980732 memory=140290797128561 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17522/stat : 17522 (java) S 17516 17516 4674 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139950065474192 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17523] ppid=17516 vsize=13980732 memory=140290677820064 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17523/stat : 17523 (java) S 17516 17516 4674 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139950064421392 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17524] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17524/stat : 17524 (java) S 17516 17516 4674 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 126375686 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949383953008 139950467156610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17525] ppid=17516 vsize=13980732 memory=140290677794975 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17525/stat : 17525 (java) S 17516 17516 4674 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 126375686 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949382898976 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17526] ppid=17516 vsize=13980732 memory=280581355340712 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17526/stat : 17526 (java) S 17516 17516 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 126375687 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949381846640 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17527] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17527/stat : 17527 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949380794960 139950467164059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17528] ppid=17516 vsize=13980732 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/17518/task/17528/stat : 17528 (java) S 17516 17516 4674 0 -1 1077944384 3439 0 0 0 109 1 0 0 20 0 15 0 126375689 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949379741808 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17529] ppid=17516 vsize=13980732 memory=3976732485301903407 CPUtime=1.04 cores=1,3,5,7
/proc/17518/task/17529/stat : 17529 (java) R 17516 17516 4674 0 -1 4202560 3390 0 0 0 104 0 0 0 20 0 15 0 126375689 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949378689008 139950453159772 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17530] ppid=17516 vsize=13980732 memory=4122678008036457137 CPUtime=0.61 cores=1,3,5,7
/proc/17518/task/17530/stat : 17530 (java) S 17516 17516 4674 0 -1 1077944384 2724 0 0 0 60 1 0 0 20 0 15 0 126375689 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949377636720 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17531] ppid=17516 vsize=13980732 memory=3539886710260249887 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17531/stat : 17531 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949376584160 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17532] ppid=17516 vsize=13980732 memory=3540027005386292663 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17532/stat : 17532 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375694 14316269568 50879 18446744073709551615 4194304 4196468 140732983776864 139949375531952 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204896 KiB

[startup+2.40126 s]
/proc/loadavg: 2.09 2.03 2.05 3/216 17532
/proc/meminfo: memFree=30587376/32770624 swapFree=67108764/67108860
[pid=17516] ppid=17513 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17516/stat : 17516 (xcsp3-exec) S 17513 17516 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126375674 9740288 345 18446744073709551615 4194304 5098028 140726596101248 140726596099352 140380317487740 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 9363456 140726596108664 140726596108869 140726596108869 140726596112363 0
/proc/17516/statm: 2378 345 289 221 0 87 0
[pid=17518] ppid=17516 vsize=13980732 memory=210172 CPUtime=5.62 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17516 17516 4674 0 -1 1077944320 24841 0 0 0 551 11 0 0 20 0 15 0 126375684 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 140732983759408 139950467145463 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
/proc/17518/statm: 3495183 52543 3229 1 0 3483476 0
[pid=17518/tid=17519] ppid=17516 vsize=13980732 memory=0 CPUtime=2.21 cores=1,3,5,7
/proc/17518/task/17519/stat : 17519 (java) R 17516 17516 4674 0 -1 4202560 9549 0 0 0 216 5 0 0 20 0 15 0 126375684 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139950471382856 139950114126342 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17520] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17520/stat : 17520 (java) S 17516 17516 4674 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139950436858256 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17521] ppid=17516 vsize=13980732 memory=18983755451683 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17521/stat : 17521 (java) S 17516 17516 4674 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139950066526480 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17522] ppid=17516 vsize=13980732 memory=5793160092899160881 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17522/stat : 17522 (java) S 17516 17516 4674 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139950065474192 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17523] ppid=17516 vsize=13980732 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17523/stat : 17523 (java) S 17516 17516 4674 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 126375685 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139950064421392 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17524] ppid=17516 vsize=13980732 memory=280581355077872 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17524/stat : 17524 (java) S 17516 17516 4674 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 126375686 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949383953008 139950467156610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17525] ppid=17516 vsize=13980732 memory=280581355520736 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17525/stat : 17525 (java) S 17516 17516 4674 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 126375686 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949382898976 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17526] ppid=17516 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17526/stat : 17526 (java) S 17516 17516 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 126375687 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949381846640 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17527] ppid=17516 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17527/stat : 17527 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949380794960 139950467164059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17528] ppid=17516 vsize=13980732 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/17518/task/17528/stat : 17528 (java) R 17516 17516 4674 0 -1 4202560 5295 0 0 0 142 1 0 0 20 0 15 0 126375689 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949379741808 139950446656107 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17529] ppid=17516 vsize=13980732 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/17518/task/17529/stat : 17529 (java) R 17516 17516 4674 0 -1 4202560 5249 0 0 0 126 0 0 0 20 0 15 0 126375689 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949378675032 139950448666606 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17530] ppid=17516 vsize=13980732 memory=-1807685287725067907 CPUtime=0.62 cores=1,3,5,7
/proc/17518/task/17530/stat : 17530 (java) S 17516 17516 4674 0 -1 1077944384 2863 0 0 0 61 1 0 0 20 0 15 0 126375689 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949377636720 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17531] ppid=17516 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17531/stat : 17531 (java) S 17516 17516 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126375689 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949376584160 139950467155669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
[pid=17518/tid=17532] ppid=17516 vsize=13980732 memory=203468 CPUtime=0 cores=1,3,5,7
/proc/17518/task/17532/stat : 17532 (java) S 17516 17516 4674 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 126375694 14316269568 52543 18446744073709551615 4194304 4196468 140732983776864 139949375531952 139950467156610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140732983783857 140732983784033 140732983784033 140732983787471 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211552 KiB

Child status: 0
Real time (s): 2.48482
CPU time (s): 5.75824
CPU user time (s): 5.63989
CPU system time (s): 0.118349
CPU usage (%): 231.736
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 211552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.63989
system time used= 0.118349
maximum resident set size= 211436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25833
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= 2237
involuntary context switches= 18


# summary of solver processes directly reported to runsolver:
#   pid: 17516
#   total CPU time (s): 5.75824
#   total CPU user time (s): 5.63989
#   total CPU system time (s): 0.118349

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040944 second user time and 0.06509 second system time

The end