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 (14985 MiB free)
memory of node 1: 16384 MiB (15262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270301-1502620527/watcher-4270301-1502620527 -o /tmp/evaluation-result-4270301-1502620527/solver-4270301-1502620527 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 795373937 HOME/instance-4270301-1502620527.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=24020, runsolver pid=24017
[startup+0.100162 s]*
/proc/loadavg: 1.37 1.52 1.75 3/200 24022
/proc/meminfo: memFree=30973216/32770624 swapFree=67108860/67108860
[pid=24020] ppid=24017 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24020/stat : 24020 (xcsp3-exec) S 24017 24020 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64273370 9740288 345 18446744073709551615 4194304 5098028 140731293256080 140731293254184 139867533574780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 12247040 140731293258111 140731293258314 140731293258314 140731293261803 0
/proc/24020/statm: 2378 345 289 221 0 87 0
[pid=24022] ppid=24020 vsize=13356504 memory=10916 CPUtime=0 cores=0,2,4,6
/proc/24022/stat : 24022 (java) S 24020 24020 897 0 -1 1077944320 2495 0 0 0 0 0 0 0 20 0 6 0 64273380 13677060096 2729 18446744073709551615 4194304 4196468 140732405500688 140732405483232 140331871035127 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
/proc/24022/statm: 3339126 2729 1260 1 0 3329096 0
[pid=24022/tid=24023] ppid=24020 vsize=13356504 memory=8390339637985935414 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24023/stat : 24023 (java) R 24020 24020 897 0 -1 4202560 1293 0 0 0 0 0 0 0 20 0 6 0 64273380 13677060096 2729 18446744073709551615 4194304 4196468 140732405500688 140331875276104 140331863272254 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24024] ppid=24020 vsize=13356504 memory=288230596118065508 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24024/stat : 24024 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64273381 13677060096 2795 18446744073709551615 4194304 4196468 140732405500688 140331828001168 140331871045333 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24025] ppid=24020 vsize=13356504 memory=288371013444216448 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24025/stat : 24025 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64273381 13677060096 2795 18446744073709551615 4194304 4196468 140732405500688 140331826948368 140331871045333 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24026] ppid=24020 vsize=13356508 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24026/stat : 24026 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64273381 13677064192 2795 18446744073709551615 4194304 4196468 140732405500688 140331825896080 140331871045333 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24027] ppid=24020 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24027/stat : 24027 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64273381 13677060096 2800 18446744073709551615 4194304 4196468 140732405500688 140331824843280 140331871045333 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12296 KiB
[startup+0.210198 s]*
/proc/loadavg: 1.37 1.52 1.75 3/214 24036
/proc/meminfo: memFree=30962432/32770624 swapFree=67108860/67108860
[pid=24020] ppid=24017 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24020/stat : 24020 (xcsp3-exec) S 24017 24020 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64273370 9740288 345 18446744073709551615 4194304 5098028 140731293256080 140731293254184 139867533574780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 12247040 140731293258111 140731293258314 140731293258314 140731293261803 0
/proc/24020/statm: 2378 345 289 221 0 87 0
[pid=24022] ppid=24020 vsize=13974352 memory=27804 CPUtime=0.08 cores=0,2,4,6
/proc/24022/stat : 24022 (java) S 24020 24020 897 0 -1 1077944320 5379 0 0 0 7 1 0 0 20 0 15 0 64273380 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140732405483232 140331871035127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
/proc/24022/statm: 3493588 6951 2727 1 0 3482964 0
[pid=24022/tid=24023] ppid=24020 vsize=13974352 memory=8390339637985935414 CPUtime=0.07 cores=0,2,4,6
/proc/24022/task/24023/stat : 24023 (java) R 24020 24020 897 0 -1 4202560 3533 0 0 0 6 1 0 0 20 0 15 0 64273380 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331875260816 140331863713141 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24024] ppid=24020 vsize=13974352 memory=307370894534390116 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24024/stat : 24024 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331828001168 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24025] ppid=24020 vsize=13974352 memory=288371013444216448 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24025/stat : 24025 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64273381 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331826948368 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24026] ppid=24020 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24026/stat : 24026 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331825896080 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24027] ppid=24020 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24027/stat : 24027 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331824843280 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24028] ppid=24020 vsize=13974352 memory=140637292504704 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24028/stat : 24028 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273382 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331416808048 140331871046274 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24029] ppid=24020 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24029/stat : 24029 (java) S 24020 24020 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64273383 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331415754016 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24030] ppid=24020 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24030/stat : 24030 (java) S 24020 24020 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64273383 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331414701680 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24031] ppid=24020 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24031/stat : 24031 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273385 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331345504848 140331871053723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24032] ppid=24020 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24032/stat : 24032 (java) S 24020 24020 897 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 64273385 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331344451696 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24033] ppid=24020 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24033/stat : 24033 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273385 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331343398896 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24034] ppid=24020 vsize=13974352 memory=140637292504704 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24034/stat : 24034 (java) S 24020 24020 897 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 64273385 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331342346608 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24035] ppid=24020 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24035/stat : 24035 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273386 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331341294048 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24036] ppid=24020 vsize=13974352 memory=140637292504704 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24036/stat : 24036 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64273390 14309736448 6951 18446744073709551615 4194304 4196468 140732405500688 140331340241840 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29184 KiB
[startup+0.310915 s]*
/proc/loadavg: 1.37 1.52 1.75 3/214 24036
/proc/meminfo: memFree=30947516/32770624 swapFree=67108860/67108860
[pid=24020] ppid=24017 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24020/stat : 24020 (xcsp3-exec) S 24017 24020 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64273370 9740288 345 18446744073709551615 4194304 5098028 140731293256080 140731293254184 139867533574780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 12247040 140731293258111 140731293258314 140731293258314 140731293261803 0
/proc/24020/statm: 2378 345 289 221 0 87 0
[pid=24022] ppid=24020 vsize=13974352 memory=37444 CPUtime=0.27 cores=0,2,4,6
/proc/24022/stat : 24022 (java) S 24020 24020 897 0 -1 1077944320 8942 0 0 0 24 3 0 0 20 0 15 0 64273380 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140732405483232 140331871035127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
/proc/24022/statm: 3493588 9361 2961 1 0 3482964 0
[pid=24022/tid=24023] ppid=24020 vsize=13974352 memory=8390339637985935414 CPUtime=0.17 cores=0,2,4,6
/proc/24022/task/24023/stat : 24023 (java) S 24020 24020 897 0 -1 1077944384 6165 0 0 0 15 2 0 0 20 0 15 0 64273380 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331875269168 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24024] ppid=24020 vsize=13974352 memory=301741395000176996 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24024/stat : 24024 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331828001168 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24025] ppid=24020 vsize=13974352 memory=301934795851355776 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24025/stat : 24025 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64273381 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331826948368 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24026] ppid=24020 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24026/stat : 24026 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331825896080 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24027] ppid=24020 vsize=13974352 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24027/stat : 24027 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331824843280 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24028] ppid=24020 vsize=13974352 memory=4211962212833628151 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24028/stat : 24028 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273382 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331416808048 140331871046274 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24029] ppid=24020 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24029/stat : 24029 (java) S 24020 24020 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64273383 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331415754016 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24030] ppid=24020 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24030/stat : 24030 (java) S 24020 24020 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64273383 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331414701680 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24031] ppid=24020 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24031/stat : 24031 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273385 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331345504848 140331871053723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24032] ppid=24020 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24032/stat : 24032 (java) S 24020 24020 897 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 64273385 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331344451696 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24033] ppid=24020 vsize=13974352 memory=3472328296227679279 CPUtime=0.02 cores=0,2,4,6
/proc/24022/task/24033/stat : 24033 (java) S 24020 24020 897 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 64273385 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331343398896 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24034] ppid=24020 vsize=13974352 memory=140637292504704 CPUtime=0.05 cores=0,2,4,6
/proc/24022/task/24034/stat : 24034 (java) R 24020 24020 897 0 -1 4202560 679 0 0 0 5 0 0 0 20 0 15 0 64273385 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331342346608 140331849692768 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24035] ppid=24020 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24035/stat : 24035 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273386 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331341294048 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24036] ppid=24020 vsize=13974352 memory=140637292504704 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24036/stat : 24036 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64273390 14309736448 9361 18446744073709551615 4194304 4196468 140732405500688 140331340241840 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38824 KiB
[startup+0.681098 s]
# the end of solver process 24020 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.01337 s, system=0.058585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410434 s]*
/proc/loadavg: 1.37 1.52 1.75 5/214 24036
/proc/meminfo: memFree=30943160/32770624 swapFree=67108860/67108860
[pid=24020] ppid=24017 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24020/stat : 24020 (xcsp3-exec) S 24017 24020 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64273370 9740288 345 18446744073709551615 4194304 5098028 140731293256080 140731293254184 139867533574780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 12247040 140731293258111 140731293258314 140731293258314 140731293261803 0
/proc/24020/statm: 2378 345 289 221 0 87 0
[pid=24022] ppid=24020 vsize=13978608 memory=43768 CPUtime=0.45 cores=0,2,4,6
/proc/24022/stat : 24022 (java) S 24020 24020 897 0 -1 1077944320 10243 0 0 0 41 4 0 0 20 0 15 0 64273380 14314094592 10942 18446744073709551615 4194304 4196468 140732405500688 140732405483232 140331871035127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
/proc/24022/statm: 3494652 10942 3064 1 0 3482964 0
[pid=24022/tid=24023] ppid=24020 vsize=13978608 memory=8390339637985935414 CPUtime=0.27 cores=0,2,4,6
/proc/24022/task/24023/stat : 24023 (java) R 24020 24020 897 0 -1 4202560 7275 0 0 0 24 3 0 0 20 0 15 0 64273380 14314094592 10942 18446744073709551615 4194304 4196468 140732405500688 140331875266224 140331496842062 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24024] ppid=24020 vsize=13978608 memory=288230596118065508 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24024/stat : 24024 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14314094592 10942 18446744073709551615 4194304 4196468 140732405500688 140331828001168 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24025] ppid=24020 vsize=13978608 memory=288371013444216448 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24025/stat : 24025 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64273381 14314094592 10942 18446744073709551615 4194304 4196468 140732405500688 140331826948368 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24026] ppid=24020 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24026/stat : 24026 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14314094592 10942 18446744073709551615 4194304 4196468 140732405500688 140331825896080 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24027] ppid=24020 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24027/stat : 24027 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14314094592 10942 18446744073709551615 4194304 4196468 140732405500688 140331824843280 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24028] ppid=24020 vsize=13978608 memory=140637292504704 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24028/stat : 24028 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273382 14314094592 10942 18446744073709551615 4194304 4196468 140732405500688 140331416808048 140331871046274 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24029] ppid=24020 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24029/stat : 24029 (java) S 24020 24020 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64273383 14314094592 10942 18446744073709551615 4194304 4196468 140732405500688 140331415754016 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24030] ppid=24020 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24030/stat : 24030 (java) S 24020 24020 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64273383 14314094592 11454 18446744073709551615 4194304 4196468 140732405500688 140331414701680 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24031] ppid=24020 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24031/stat : 24031 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273385 14314094592 11454 18446744073709551615 4194304 4196468 140732405500688 140331345504848 140331871053723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24032] ppid=24020 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24022/task/24032/stat : 24032 (java) R 24020 24020 897 0 -1 4202560 464 0 0 0 2 0 0 0 20 0 15 0 64273385 14314094592 11454 18446744073709551615 4194304 4196468 140732405500688 140331344439248 140331855434798 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24033] ppid=24020 vsize=13978608 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/24022/task/24033/stat : 24033 (java) S 24020 24020 897 0 -1 1077944384 437 0 0 0 4 0 0 0 20 0 15 0 64273385 14314094592 11454 18446744073709551615 4194304 4196468 140732405500688 140331343398896 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24034] ppid=24020 vsize=13978608 memory=140637292504704 CPUtime=0.11 cores=0,2,4,6
/proc/24022/task/24034/stat : 24034 (java) R 24020 24020 897 0 -1 1077944384 761 0 0 0 11 0 0 0 20 0 15 0 64273385 14314094592 11454 18446744073709551615 4194304 4196468 140732405500688 140331342346608 140331871046274 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24035] ppid=24020 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24035/stat : 24035 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273386 14314094592 11454 18446744073709551615 4194304 4196468 140732405500688 140331341294048 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24036] ppid=24020 vsize=13978608 memory=140637292504704 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24036/stat : 24036 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64273390 14314094592 11454 18446744073709551615 4194304 4196468 140732405500688 140331340241840 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 45148 KiB
[startup+0.61426 s]
/proc/loadavg: 1.37 1.52 1.75 5/214 24036
/proc/meminfo: memFree=30936452/32770624 swapFree=67108860/67108860
[pid=24020] ppid=24017 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24020/stat : 24020 (xcsp3-exec) S 24017 24020 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64273370 9740288 345 18446744073709551615 4194304 5098028 140731293256080 140731293254184 139867533574780 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 12247040 140731293258111 140731293258314 140731293258314 140731293261803 0
/proc/24020/statm: 2378 345 289 221 0 87 0
[pid=24022] ppid=24020 vsize=13980732 memory=58680 CPUtime=0.88 cores=0,2,4,6
/proc/24022/stat : 24022 (java) S 24020 24020 897 0 -1 1077944320 12298 0 0 0 83 5 0 0 20 0 15 0 64273380 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140732405483232 140331871035127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
/proc/24022/statm: 3495183 14670 3153 1 0 3483476 0
[pid=24022/tid=24023] ppid=24020 vsize=13980732 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/24022/task/24023/stat : 24023 (java) R 24020 24020 897 0 -1 4202560 8518 0 0 0 42 3 0 0 20 0 15 0 64273380 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331875271072 140331871047062 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24024] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24024/stat : 24024 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331828001168 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24025] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24025/stat : 24025 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64273381 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331826948368 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24026] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24026/stat : 24026 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331825896080 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24027] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24027/stat : 24027 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273381 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331824843280 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24028] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24028/stat : 24028 (java) S 24020 24020 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64273382 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331416808048 140331871046274 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24029] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24029/stat : 24029 (java) S 24020 24020 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64273383 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331415754016 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24030] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24030/stat : 24030 (java) S 24020 24020 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64273383 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331414701680 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24031] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24031/stat : 24031 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273385 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331345504848 140331871053723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24032] ppid=24020 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24022/task/24032/stat : 24032 (java) S 24020 24020 897 0 -1 1077944384 649 0 0 0 7 0 0 0 20 0 15 0 64273385 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331344451696 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24033] ppid=24020 vsize=13980732 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/24022/task/24033/stat : 24033 (java) R 24020 24020 897 0 -1 4202560 779 0 0 0 11 0 0 0 20 0 15 0 64273385 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331343379912 140331849438560 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24034] ppid=24020 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/24022/task/24034/stat : 24034 (java) R 24020 24020 897 0 -1 1077944384 1046 0 0 0 21 0 0 0 20 0 15 0 64273385 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331342345792 140331871045333 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24035] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24035/stat : 24035 (java) S 24020 24020 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64273386 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331341294048 140331871045333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
[pid=24022/tid=24036] ppid=24020 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24022/task/24036/stat : 24036 (java) S 24020 24020 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64273390 14316269568 14670 18446744073709551615 4194304 4196468 140732405500688 140331340241840 140331871046274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140732405506487 140732405506662 140732405506662 140732405510095 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 60060 KiB
Child status: 0
Real time (s): 0.681136
CPU time (s): 1.07196
CPU user time (s): 1.01337
CPU system time (s): 0.058585
CPU usage (%): 157.378
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 60060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01337
system time used= 0.058585
maximum resident set size= 60684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13199
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= 1492
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 24020
# total CPU time (s): 1.07196
# total CPU user time (s): 1.01337
# total CPU system time (s): 0.058585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02198 second user time and 0.052162 second system time
The end