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 (15357 MiB free)
memory of node 1: 16384 MiB (14645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281819-1503123363/watcher-4281819-1503123363 -o /tmp/evaluation-result-4281819-1503123363/solver-4281819-1503123363 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15586 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 299027005 HOME/instance-4281819-1503123363.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21025, runsolver pid=21022
[startup+0.100169 s]*
/proc/loadavg: 2.20 2.03 1.80 2/200 21026
/proc/meminfo: memFree=30723104/32770624 swapFree=67108860/67108860
[pid=21025] ppid=21022 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21025/stat : 21025 (xcsp3-exec) S 21022 21025 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 10744347 9740288 345 18446744073709551615 4194304 5098028 140734575105296 140734575103400 139911452807804 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30040064 140734575108474 140734575108678 140734575108678 140734575112171 0
/proc/21025/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.210085 s]*
/proc/loadavg: 2.20 2.03 1.80 2/214 21040
/proc/meminfo: memFree=30711824/32770624 swapFree=67108860/67108860
[pid=21025] ppid=21022 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21025/stat : 21025 (xcsp3-exec) S 21022 21025 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 10744347 9740288 345 18446744073709551615 4194304 5098028 140734575105296 140734575103400 139911452807804 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30040064 140734575108474 140734575108678 140734575108678 140734575112171 0
/proc/21025/statm: 2378 345 289 221 0 87 0
[pid=21027] ppid=21025 vsize=13907304 memory=21996 CPUtime=0.05 cores=0,2,4,6
/proc/21027/stat : 21027 (java) S 21025 21025 15523 0 -1 1077944320 4883 0 0 0 5 0 0 0 20 0 14 0 10744357 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140736416392464 140574668336887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
/proc/21027/statm: 3476826 5499 2577 1 0 3466323 0
[pid=21027/tid=21028] ppid=21025 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=0,2,4,6
/proc/21027/task/21028/stat : 21028 (java) D 21025 21025 15523 0 -1 4202560 3060 0 0 0 4 0 0 0 20 0 14 0 10744357 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574672574368 140574668358909 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21029] ppid=21025 vsize=13907304 memory=288230613264376582 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21029/stat : 21029 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10744358 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574625303312 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21030] ppid=21025 vsize=13907304 memory=3616589449944700576 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21030/stat : 21030 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10744358 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574624250768 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21031] ppid=21025 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21031/stat : 21031 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10744358 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574623198224 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21032] ppid=21025 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21032/stat : 21032 (java) S 21025 21025 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 10744358 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574622145680 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21033] ppid=21025 vsize=13907304 memory=140442299340416 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21033/stat : 21033 (java) S 21025 21025 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 10744359 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574214080496 140574668348034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21034] ppid=21025 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21034/stat : 21034 (java) S 21025 21025 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 10744360 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574145373088 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21035] ppid=21025 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21035/stat : 21035 (java) S 21025 21025 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 10744360 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574144320496 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21036] ppid=21025 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21036/stat : 21036 (java) S 21025 21025 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 10744363 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574143269072 140574668355483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21037] ppid=21025 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21037/stat : 21037 (java) S 21025 21025 15523 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 14 0 10744363 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574142216688 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21038] ppid=21025 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21038/stat : 21038 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10744363 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574141164144 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21039] ppid=21025 vsize=13907304 memory=140442299340416 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21039/stat : 21039 (java) S 21025 21025 15523 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 14 0 10744363 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574140111600 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21040] ppid=21025 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21040/stat : 21040 (java) S 21025 21025 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 10744363 14241079296 5499 18446744073709551615 4194304 4196468 140736416409920 140574139059296 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23376 KiB
[startup+0.310249 s]*
/proc/loadavg: 2.20 2.03 1.80 4/215 21041
/proc/meminfo: memFree=30703808/32770624 swapFree=67108860/67108860
[pid=21025] ppid=21022 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21025/stat : 21025 (xcsp3-exec) S 21022 21025 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 10744347 9740288 345 18446744073709551615 4194304 5098028 140734575105296 140734575103400 139911452807804 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30040064 140734575108474 140734575108678 140734575108678 140734575112171 0
/proc/21025/statm: 2378 345 289 221 0 87 0
[pid=21027] ppid=21025 vsize=13975376 memory=35200 CPUtime=0.22 cores=0,2,4,6
/proc/21027/stat : 21027 (java) S 21025 21025 15523 0 -1 1077944320 8161 0 0 0 20 2 0 0 20 0 15 0 10744357 14310785024 8800 18446744073709551615 4194304 4196468 140736416409920 140736416392464 140574668336887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
/proc/21027/statm: 3493844 8800 2974 1 0 3483220 0
[pid=21027/tid=21028] ppid=21025 vsize=13975376 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/21027/task/21028/stat : 21028 (java) R 21025 21025 15523 0 -1 4202560 5419 0 0 0 13 1 0 0 20 0 15 0 10744357 14310785024 8800 18446744073709551615 4194304 4196468 140736416409920 140574672559264 140574661016605 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21029] ppid=21025 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21029/stat : 21029 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10744358 14310785024 8800 18446744073709551615 4194304 4196468 140736416409920 140574625303312 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21030] ppid=21025 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21030/stat : 21030 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10744358 14310785024 8800 18446744073709551615 4194304 4196468 140736416409920 140574624250768 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21031] ppid=21025 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21031/stat : 21031 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10744358 14310785024 8581 18446744073709551615 4194304 4196468 140736416409920 140574623198224 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21032] ppid=21025 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21032/stat : 21032 (java) S 21025 21025 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10744358 14310785024 8581 18446744073709551615 4194304 4196468 140736416409920 140574622145680 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21033] ppid=21025 vsize=13974352 memory=140442299340416 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21033/stat : 21033 (java) S 21025 21025 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10744359 14309736448 8581 18446744073709551615 4194304 4196468 140736416409920 140574214080496 140574668348034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21034] ppid=21025 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21034/stat : 21034 (java) S 21025 21025 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10744360 14309736448 8581 18446744073709551615 4194304 4196468 140736416409920 140574145373088 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21035] ppid=21025 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21035/stat : 21035 (java) S 21025 21025 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10744360 14310785024 8581 18446744073709551615 4194304 4196468 140736416409920 140574144320496 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21036] ppid=21025 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21036/stat : 21036 (java) S 21025 21025 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10744363 14310785024 8581 18446744073709551615 4194304 4196468 140736416409920 140574143269072 140574668355483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21037] ppid=21025 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21027/task/21037/stat : 21037 (java) S 21025 21025 15523 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 15 0 10744363 14310785024 8581 18446744073709551615 4194304 4196468 140736416409920 140574142216688 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21038] ppid=21025 vsize=13975376 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21027/task/21038/stat : 21038 (java) S 21025 21025 15523 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 15 0 10744363 14310785024 8646 18446744073709551615 4194304 4196468 140736416409920 140574141164144 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21039] ppid=21025 vsize=13975376 memory=140442299340416 CPUtime=0.05 cores=0,2,4,6
/proc/21027/task/21039/stat : 21039 (java) S 21025 21025 15523 0 -1 1077944384 710 0 0 0 5 0 0 0 20 0 15 0 10744363 14310785024 8646 18446744073709551615 4194304 4196468 140736416409920 140574140111600 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21040] ppid=21025 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21040/stat : 21040 (java) S 21025 21025 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10744363 14310785024 8646 18446744073709551615 4194304 4196468 140736416409920 140574139059296 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21041] ppid=21025 vsize=13975376 memory=140442299340416 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21041/stat : 21041 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10744369 14310785024 8646 18446744073709551615 4194304 4196468 140736416409920 140574138005808 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36580 KiB
[startup+0.70075 s]
/proc/loadavg: 2.20 2.03 1.80 3/215 21041
/proc/meminfo: memFree=30687544/32770624 swapFree=67108860/67108860
[pid=21025] ppid=21022 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21025/stat : 21025 (xcsp3-exec) S 21022 21025 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 10744347 9740288 345 18446744073709551615 4194304 5098028 140734575105296 140734575103400 139911452807804 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30040064 140734575108474 140734575108678 140734575108678 140734575112171 0
/proc/21025/statm: 2378 345 289 221 0 87 0
[pid=21027] ppid=21025 vsize=13980732 memory=61932 CPUtime=1.09 cores=0,2,4,6
/proc/21027/stat : 21027 (java) S 21025 21025 15523 0 -1 1077944320 13149 0 0 0 104 5 0 0 20 0 15 0 10744357 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140736416392464 140574668336887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
/proc/21027/statm: 3495183 15483 3180 1 0 3483476 0
[pid=21027/tid=21028] ppid=21025 vsize=13980732 memory=2244 CPUtime=0.51 cores=0,2,4,6
/proc/21027/task/21028/stat : 21028 (java) R 21025 21025 15523 0 -1 4202560 8530 0 0 0 47 4 0 0 20 0 15 0 10744357 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574672568144 140574299106387 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21029] ppid=21025 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21029/stat : 21029 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10744358 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574625303312 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21030] ppid=21025 vsize=13980732 memory=2356 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21030/stat : 21030 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10744358 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574624250768 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21031] ppid=21025 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21031/stat : 21031 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10744358 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574623198224 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21032] ppid=21025 vsize=13980732 memory=15261445554177768 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21032/stat : 21032 (java) S 21025 21025 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10744358 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574622145680 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21033] ppid=21025 vsize=13980732 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21033/stat : 21033 (java) S 21025 21025 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10744359 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574214080496 140574668348034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21034] ppid=21025 vsize=13980732 memory=7264 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21034/stat : 21034 (java) S 21025 21025 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10744360 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574145373088 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21035] ppid=21025 vsize=13980732 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21035/stat : 21035 (java) S 21025 21025 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10744360 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574144320496 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21036] ppid=21025 vsize=13980732 memory=644 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21036/stat : 21036 (java) S 21025 21025 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10744363 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574143269072 140574668355483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21037] ppid=21025 vsize=13980732 memory=1792 CPUtime=0.18 cores=0,2,4,6
/proc/21027/task/21037/stat : 21037 (java) R 21025 21025 15523 0 -1 4202560 1145 0 0 0 18 0 0 0 20 0 15 0 10744363 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574142216816 140574653218838 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21038] ppid=21025 vsize=13980732 memory=956 CPUtime=0.16 cores=0,2,4,6
/proc/21027/task/21038/stat : 21038 (java) R 21025 21025 15523 0 -1 4202560 863 0 0 0 16 0 0 0 20 0 15 0 10744363 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574141152704 140574653139421 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21039] ppid=21025 vsize=13980732 memory=2240 CPUtime=0.22 cores=0,2,4,6
/proc/21027/task/21039/stat : 21039 (java) S 21025 21025 15523 0 -1 1077944384 1303 0 0 0 22 0 0 0 20 0 15 0 10744363 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574140111600 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21040] ppid=21025 vsize=13980732 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21040/stat : 21040 (java) S 21025 21025 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10744363 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574139059296 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21041] ppid=21025 vsize=13980732 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21041/stat : 21041 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10744369 14316269568 15483 18446744073709551615 4194304 4196468 140736416409920 140574138005808 140574668348034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63312 KiB
[startup+0.813736 s]
# the end of solver process 21025 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.404 s, system=0.06254 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800869 s]
/proc/loadavg: 2.20 2.03 1.80 3/215 21041
/proc/meminfo: memFree=30687544/32770624 swapFree=67108860/67108860
[pid=21025] ppid=21022 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21025/stat : 21025 (xcsp3-exec) S 21022 21025 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 10744347 9740288 345 18446744073709551615 4194304 5098028 140734575105296 140734575103400 139911452807804 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 30040064 140734575108474 140734575108678 140734575108678 140734575112171 0
/proc/21025/statm: 2378 345 289 221 0 87 0
[pid=21027] ppid=21025 vsize=13980732 memory=70184 CPUtime=1.45 cores=0,2,4,6
/proc/21027/stat : 21027 (java) S 21025 21025 15523 0 -1 1077944320 14670 0 0 0 140 5 0 0 20 0 13 0 10744357 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140736416392464 140574668336887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
/proc/21027/statm: 3495183 17546 3185 1 0 3483476 0
[pid=21027/tid=21028] ppid=21025 vsize=13980732 memory=280080289898665 CPUtime=0.61 cores=0,2,4,6
/proc/21027/task/21028/stat : 21028 (java) S 21025 21025 15523 0 -1 1077944384 8543 0 0 0 57 4 0 0 20 0 13 0 10744357 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574672579728 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21029] ppid=21025 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21029/stat : 21029 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 10744358 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574625303312 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21030] ppid=21025 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21030/stat : 21030 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 10744358 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574624250768 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21031] ppid=21025 vsize=13980732 memory=15261445554177768 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21031/stat : 21031 (java) S 21025 21025 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 10744358 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574623198224 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21032] ppid=21025 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21032/stat : 21032 (java) S 21025 21025 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 10744358 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574622145680 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21033] ppid=21025 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21033/stat : 21033 (java) S 21025 21025 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 13 0 10744359 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574214080704 140574668348034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21034] ppid=21025 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21034/stat : 21034 (java) S 21025 21025 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 10744360 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574145373088 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21035] ppid=21025 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21035/stat : 21035 (java) S 21025 21025 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 10744360 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574144320496 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21037] ppid=21025 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/21027/task/21037/stat : 21037 (java) S 21025 21025 15523 0 -1 1077944384 1796 0 0 0 28 0 0 0 20 0 13 0 10744363 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574142201200 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21038] ppid=21025 vsize=13980732 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/21027/task/21038/stat : 21038 (java) S 21025 21025 15523 0 -1 1077944384 1031 0 0 0 26 0 0 0 20 0 13 0 10744363 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574141144544 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21039] ppid=21025 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/21027/task/21039/stat : 21039 (java) S 21025 21025 15523 0 -1 1077944384 1972 0 0 0 28 0 0 0 20 0 13 0 10744363 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574140105920 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
[pid=21027/tid=21040] ppid=21025 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21027/task/21040/stat : 21040 (java) S 21025 21025 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 10744363 14316269568 17546 18446744073709551615 4194304 4196468 140736416409920 140574139059296 140574668347093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9654272 140736416416178 140736416416354 140736416416354 140736416419791 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71564 KiB
Child status: 0
Real time (s): 0.813781
CPU time (s): 1.46654
CPU user time (s): 1.404
CPU system time (s): 0.06254
CPU usage (%): 180.213
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 71564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.404
system time used= 0.06254
maximum resident set size= 70736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15198
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= 1378
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 21025
# total CPU time (s): 1.46654
# total CPU user time (s): 1.404
# total CPU system time (s): 0.06254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025393 second user time and 0.055866 second system time
The end