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 (14896 MiB free)
memory of node 1: 16384 MiB (15268 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272527-1502721218/watcher-4272527-1502721218 -o /tmp/evaluation-result-4272527-1502721218/solver-4272527-1502721218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1729496558 HOME/instance-4272527-1502721218.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=12741, runsolver pid=12738
[startup+0.100155 s]*
/proc/loadavg: 1.36 1.36 1.42 2/198 12742
/proc/meminfo: memFree=30889136/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
[startup+0.209516 s]*
/proc/loadavg: 1.36 1.36 1.42 2/212 12756
/proc/meminfo: memFree=30877524/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
[pid=12743] ppid=12741 vsize=13907304 memory=21720 CPUtime=0.05 cores=1,3,5,7
/proc/12743/stat : 12743 (java) S 12741 12741 7968 0 -1 1077944320 4874 0 0 0 4 1 0 0 20 0 14 0 26004444 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140729907570480 140552319078135 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
/proc/12743/statm: 3476826 5430 2552 1 0 3466323 0
[pid=12743/tid=12744] ppid=12741 vsize=13907304 memory=7078076838863583841 CPUtime=0.04 cores=1,3,5,7
/proc/12743/task/12744/stat : 12744 (java) D 12741 12741 7968 0 -1 4202560 3055 0 0 0 4 0 0 0 20 0 14 0 26004444 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140552323315616 140552319100157 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12745] ppid=12741 vsize=13907304 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12745/stat : 12745 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 26004445 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140552276044048 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12746] ppid=12741 vsize=13907304 memory=139765758899840 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12746/stat : 12746 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 26004445 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140552274991504 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12747] ppid=12741 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12747/stat : 12747 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 26004445 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140552273938960 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12748] ppid=12741 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12748/stat : 12748 (java) S 12741 12741 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 26004445 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140552272886416 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12749] ppid=12741 vsize=13907304 memory=139765758899840 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12749/stat : 12749 (java) S 12741 12741 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 26004446 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140551235295728 140552319089282 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12750] ppid=12741 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12750/stat : 12750 (java) S 12741 12741 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 26004447 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140551234241952 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12751] ppid=12741 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12751/stat : 12751 (java) S 12741 12741 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 26004447 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140551233189360 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12752] ppid=12741 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12752/stat : 12752 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 26004449 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140551232137936 140552319096731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12753] ppid=12741 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12753/stat : 12753 (java) S 12741 12741 7968 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 14 0 26004449 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140551231084528 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12754] ppid=12741 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12754/stat : 12754 (java) S 12741 12741 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 26004449 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140551230031984 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12755] ppid=12741 vsize=13907304 memory=139765758899840 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12755/stat : 12755 (java) S 12741 12741 7968 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 26004449 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140551228979440 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12756] ppid=12741 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12756/stat : 12756 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 26004450 14241079296 5430 18446744073709551615 4194304 4196468 140729907587936 140551227927136 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23096 KiB
[startup+0.31024 s]*
/proc/loadavg: 1.36 1.36 1.42 4/213 12757
/proc/meminfo: memFree=30870968/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
[pid=12743] ppid=12741 vsize=13974352 memory=31112 CPUtime=0.18 cores=1,3,5,7
/proc/12743/stat : 12743 (java) S 12741 12741 7968 0 -1 1077944320 6255 0 0 0 17 1 0 0 20 0 15 0 26004444 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140729907570480 140552319078135 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
/proc/12743/statm: 3493588 7778 2963 1 0 3482964 0
[pid=12743/tid=12744] ppid=12741 vsize=13974352 memory=4278483708103473607 CPUtime=0.11 cores=1,3,5,7
/proc/12743/task/12744/stat : 12744 (java) R 12741 12741 7968 0 -1 4202560 3516 0 0 0 11 0 0 0 20 0 15 0 26004444 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140552323311296 140552319090070 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12745] ppid=12741 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12745/stat : 12745 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 26004445 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140552276044048 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12746] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12746/stat : 12746 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 26004445 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140552274991504 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12747] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12747/stat : 12747 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 26004445 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140552273938960 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12748] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12748/stat : 12748 (java) S 12741 12741 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 26004445 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140552272886416 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12749] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12749/stat : 12749 (java) S 12741 12741 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 26004446 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551235295728 140552319089282 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12750] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12750/stat : 12750 (java) S 12741 12741 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 26004447 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551234241952 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12751] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12751/stat : 12751 (java) S 12741 12741 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 26004447 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551233189360 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12752] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12752/stat : 12752 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004449 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551232137936 140552319096731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12753] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12753/stat : 12753 (java) S 12741 12741 7968 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 26004449 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551231084528 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12754] ppid=12741 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12754/stat : 12754 (java) S 12741 12741 7968 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 15 0 26004449 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551230031984 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12755] ppid=12741 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12743/task/12755/stat : 12755 (java) R 12741 12741 7968 0 -1 4202560 696 0 0 0 3 0 0 0 20 0 15 0 26004449 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551228975752 140552297708888 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12756] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12756/stat : 12756 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004450 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551227927136 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12757] ppid=12741 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12757/stat : 12757 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 26004458 14309736448 7778 18446744073709551615 4194304 4196468 140729907587936 140551226874672 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32488 KiB
[startup+0.702071 s]
/proc/loadavg: 1.36 1.36 1.42 5/213 12757
/proc/meminfo: memFree=30853364/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
[pid=12743] ppid=12741 vsize=13978684 memory=71512 CPUtime=1.15 cores=1,3,5,7
/proc/12743/stat : 12743 (java) S 12741 12741 7968 0 -1 1077944320 13068 0 0 0 111 4 0 0 20 0 15 0 26004444 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140729907570480 140552319078135 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
/proc/12743/statm: 3494671 17878 3157 1 0 3482964 0
[pid=12743/tid=12744] ppid=12741 vsize=13978684 memory=1228 CPUtime=0.49 cores=1,3,5,7
/proc/12743/task/12744/stat : 12744 (java) R 12741 12741 7968 0 -1 4202560 7832 0 0 0 47 2 0 0 20 0 15 0 26004444 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140552323315008 140551951973828 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12745] ppid=12741 vsize=13978684 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12745/stat : 12745 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 26004445 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140552276044048 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12746] ppid=12741 vsize=13978684 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12746/stat : 12746 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 26004445 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140552274991504 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12747] ppid=12741 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12747/stat : 12747 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 26004445 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140552273938960 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12748] ppid=12741 vsize=13978684 memory=279531236205312 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12748/stat : 12748 (java) S 12741 12741 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 26004445 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140552272886416 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12749] ppid=12741 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12749/stat : 12749 (java) S 12741 12741 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 26004446 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551235295728 140552319089282 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12750] ppid=12741 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12750/stat : 12750 (java) S 12741 12741 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 26004447 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551234241952 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12751] ppid=12741 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12751/stat : 12751 (java) S 12741 12741 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 26004447 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551233189360 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12752] ppid=12741 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12752/stat : 12752 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004449 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551232137936 140552319096731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12753] ppid=12741 vsize=13978684 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/12743/task/12753/stat : 12753 (java) R 12741 12741 7968 0 -1 1077944384 1387 0 0 0 18 0 0 0 20 0 15 0 26004449 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551231084624 140552319088341 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12754] ppid=12741 vsize=13978684 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/12743/task/12754/stat : 12754 (java) R 12741 12741 7968 0 -1 4202560 1085 0 0 0 19 0 0 0 20 0 15 0 26004449 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551230023312 140552319099482 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12755] ppid=12741 vsize=13978684 memory=11210019468133 CPUtime=0.26 cores=1,3,5,7
/proc/12743/task/12755/stat : 12755 (java) R 12741 12741 7968 0 -1 4202560 1457 0 0 0 26 0 0 0 20 0 15 0 26004449 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551228977232 140552319090070 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12756] ppid=12741 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12756/stat : 12756 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004450 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551227927136 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12757] ppid=12741 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12757/stat : 12757 (java) S 12741 12741 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 26004458 14314172416 17878 18446744073709551615 4194304 4196468 140729907587936 140551226874672 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 72888 KiB
[startup+1.50078 s]
/proc/loadavg: 1.36 1.36 1.42 5/213 12757
/proc/meminfo: memFree=30771568/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
[pid=12743] ppid=12741 vsize=13980732 memory=198044 CPUtime=3.6 cores=1,3,5,7
/proc/12743/stat : 12743 (java) S 12741 12741 7968 0 -1 1077944320 19596 0 0 0 352 8 0 0 20 0 15 0 26004444 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140729907570480 140552319078135 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
/proc/12743/statm: 3495183 49511 3226 1 0 3483476 0
[pid=12743/tid=12744] ppid=12741 vsize=13980732 memory=279531236118704 CPUtime=1.26 cores=1,3,5,7
/proc/12743/task/12744/stat : 12744 (java) R 12741 12741 7968 0 -1 4202560 8880 0 0 0 122 4 0 0 20 0 15 0 26004444 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140552323316752 140552319090070 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12745] ppid=12741 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12745/stat : 12745 (java) S 12741 12741 7968 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 26004445 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140552276044048 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12746] ppid=12741 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12746/stat : 12746 (java) S 12741 12741 7968 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 26004445 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140552274991504 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12747] ppid=12741 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12747/stat : 12747 (java) S 12741 12741 7968 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 26004445 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140552273938960 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12748] ppid=12741 vsize=13980732 memory=4124 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12748/stat : 12748 (java) S 12741 12741 7968 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 26004445 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140552272886416 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12749] ppid=12741 vsize=13980732 memory=16956 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12749/stat : 12749 (java) S 12741 12741 7968 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 26004446 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551235295728 140552319089282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12750] ppid=12741 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12750/stat : 12750 (java) S 12741 12741 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 26004447 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551234241952 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12751] ppid=12741 vsize=13980732 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12751/stat : 12751 (java) S 12741 12741 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 26004447 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551233189360 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12752] ppid=12741 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12752/stat : 12752 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004449 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551232137936 140552319096731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12753] ppid=12741 vsize=13980732 memory=1732 CPUtime=0.85 cores=1,3,5,7
/proc/12743/task/12753/stat : 12753 (java) R 12741 12741 7968 0 -1 4202560 3509 0 0 0 85 0 0 0 20 0 15 0 26004449 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551231074320 140552302574671 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12754] ppid=12741 vsize=13980732 memory=2241 CPUtime=0.89 cores=1,3,5,7
/proc/12743/task/12754/stat : 12754 (java) R 12741 12741 7968 0 -1 4202560 3268 0 0 0 89 0 0 0 20 0 15 0 26004449 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551230021776 140552303464514 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12755] ppid=12741 vsize=13980732 memory=2244 CPUtime=0.51 cores=1,3,5,7
/proc/12743/task/12755/stat : 12755 (java) R 12741 12741 7968 0 -1 1077944384 2126 0 0 0 50 1 0 0 20 0 15 0 26004449 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551228979440 140552319089282 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12756] ppid=12741 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12756/stat : 12756 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004450 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551227927136 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12757] ppid=12741 vsize=13980732 memory=279531235688512 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12757/stat : 12757 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004458 14316269568 49511 18446744073709551615 4194304 4196468 140729907587936 140551226874672 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
Current children cumulated CPU time: 3.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 199420 KiB
[startup+2.90133 s]
# the end of solver process 12741 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.49022 s, system=0.110877 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60278 s]
/proc/loadavg: 1.36 1.36 1.42 5/213 12757
/proc/meminfo: memFree=30771568/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
[pid=12743] ppid=12741 vsize=13980732 memory=199164 CPUtime=3.97 cores=1,3,5,7
/proc/12743/stat : 12743 (java) S 12741 12741 7968 0 -1 1077944320 19878 0 0 0 389 8 0 0 20 0 15 0 26004444 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140729907570480 140552319078135 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
/proc/12743/statm: 3495183 49791 3228 1 0 3483476 0
[pid=12743/tid=12744] ppid=12741 vsize=13980732 memory=8692 CPUtime=1.37 cores=1,3,5,7
/proc/12743/task/12744/stat : 12744 (java) R 12741 12741 7968 0 -1 4202560 8884 0 0 0 133 4 0 0 20 0 15 0 26004444 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140552323316816 140551955062190 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12745] ppid=12741 vsize=13980732 memory=8315167063544856749 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12745/stat : 12745 (java) S 12741 12741 7968 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 26004445 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140552276044048 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12746] ppid=12741 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12746/stat : 12746 (java) S 12741 12741 7968 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 26004445 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140552274991504 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12747] ppid=12741 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12747/stat : 12747 (java) S 12741 12741 7968 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 26004445 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140552273938960 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12748] ppid=12741 vsize=13980732 memory=15872 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12748/stat : 12748 (java) S 12741 12741 7968 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 26004445 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140552272886416 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12749] ppid=12741 vsize=13980732 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12749/stat : 12749 (java) S 12741 12741 7968 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 26004446 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551235295728 140552319089282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12750] ppid=12741 vsize=13980732 memory=-8961168018402230209 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12750/stat : 12750 (java) S 12741 12741 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 26004447 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551234241952 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12751] ppid=12741 vsize=13980732 memory=6082222765784722026 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12751/stat : 12751 (java) S 12741 12741 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 26004447 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551233189360 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12752] ppid=12741 vsize=13980732 memory=7523107478184158290 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12752/stat : 12752 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004449 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551232137936 140552319096731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12753] ppid=12741 vsize=13980732 memory=6297833723344153961 CPUtime=0.95 cores=1,3,5,7
/proc/12743/task/12753/stat : 12753 (java) R 12741 12741 7968 0 -1 4202560 3605 0 0 0 95 0 0 0 20 0 15 0 26004449 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551231071376 140552303893691 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12754] ppid=12741 vsize=13980732 memory=6066395290953334880 CPUtime=0.99 cores=1,3,5,7
/proc/12743/task/12754/stat : 12754 (java) R 12741 12741 7968 0 -1 4202560 3310 0 0 0 99 0 0 0 20 0 15 0 26004449 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551230031984 140552299778439 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12755] ppid=12741 vsize=13980732 memory=5865491479076426066 CPUtime=0.57 cores=1,3,5,7
/proc/12743/task/12755/stat : 12755 (java) S 12741 12741 7968 0 -1 1077944384 2266 0 0 0 56 1 0 0 20 0 15 0 26004449 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551228979440 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12756] ppid=12741 vsize=13980732 memory=8025788814044386406 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12756/stat : 12756 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004450 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551227927136 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12757] ppid=12741 vsize=13980732 memory=5936685908820512849 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12757/stat : 12757 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004458 14316269568 49791 18446744073709551615 4194304 4196468 140729907587936 140551226874672 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200540 KiB
[startup+2.40081 s]
/proc/loadavg: 1.36 1.36 1.42 5/213 12757
/proc/meminfo: memFree=30690536/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
[pid=12743] ppid=12741 vsize=13980732 memory=213356 CPUtime=6.47 cores=1,3,5,7
/proc/12743/stat : 12743 (java) S 12741 12741 7968 0 -1 1077944320 24981 0 0 0 637 10 0 0 20 0 15 0 26004444 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140729907570480 140552319078135 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
/proc/12743/statm: 3495183 53339 3231 1 0 3483476 0
[pid=12743/tid=12744] ppid=12741 vsize=13980732 memory=-8774313645642428999 CPUtime=2.16 cores=1,3,5,7
/proc/12743/task/12744/stat : 12744 (java) R 12741 12741 7968 0 -1 4202560 9516 0 0 0 212 4 0 0 20 0 15 0 26004444 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140552323314896 140551955262116 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12745] ppid=12741 vsize=13980732 memory=4872558142750483522 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12745/stat : 12745 (java) S 12741 12741 7968 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 26004445 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140552276044048 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12746] ppid=12741 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12746/stat : 12746 (java) S 12741 12741 7968 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 26004445 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140552274991504 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12747] ppid=12741 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12747/stat : 12747 (java) S 12741 12741 7968 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 26004445 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140552273938960 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12748] ppid=12741 vsize=13980732 memory=5859273620209619044 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12748/stat : 12748 (java) S 12741 12741 7968 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 26004445 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140552272886416 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12749] ppid=12741 vsize=13980732 memory=4639098309541127526 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12749/stat : 12749 (java) S 12741 12741 7968 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 26004446 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551235295728 140552319089282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12750] ppid=12741 vsize=13980732 memory=5 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12750/stat : 12750 (java) S 12741 12741 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 26004447 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551234241952 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12751] ppid=12741 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12751/stat : 12751 (java) S 12741 12741 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 26004447 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551233189360 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12752] ppid=12741 vsize=13980732 memory=3618553591954008803 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12752/stat : 12752 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004449 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551232137936 140552319096731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12753] ppid=12741 vsize=13980732 memory=5787214961271134564 CPUtime=1.74 cores=1,3,5,7
/proc/12743/task/12753/stat : 12753 (java) R 12741 12741 7968 0 -1 4202560 5731 0 0 0 174 0 0 0 20 0 15 0 26004449 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551231075984 140552302577519 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12754] ppid=12741 vsize=13980732 memory=4639930699739459435 CPUtime=1.79 cores=1,3,5,7
/proc/12743/task/12754/stat : 12754 (java) R 12741 12741 7968 0 -1 4202560 4961 0 0 0 179 0 0 0 20 0 15 0 26004449 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551230021904 140552300622624 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12755] ppid=12741 vsize=13980732 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/12743/task/12755/stat : 12755 (java) S 12741 12741 7968 0 -1 1077944384 2955 0 0 0 65 1 0 0 20 0 15 0 26004449 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551228979440 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12756] ppid=12741 vsize=13980732 memory=279531235574000 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12756/stat : 12756 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004450 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551227927136 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12757] ppid=12741 vsize=13980732 memory=279531235817808 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12757/stat : 12757 (java) S 12741 12741 7968 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 26004458 14316269568 53339 18446744073709551615 4194304 4196468 140729907587936 140551226874672 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
Current children cumulated CPU time: 6.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214732 KiB
[startup+2.80083 s]
/proc/loadavg: 1.36 1.36 1.42 5/213 12757
/proc/meminfo: memFree=30690536/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
[pid=12743] ppid=12741 vsize=13980732 memory=213604 CPUtime=7.45 cores=1,3,5,7
/proc/12743/stat : 12743 (java) S 12741 12741 7968 0 -1 1077944320 25528 0 0 0 735 10 0 0 20 0 15 0 26004444 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140729907570480 140552319078135 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
/proc/12743/statm: 3495183 53401 3232 1 0 3483476 0
[pid=12743/tid=12744] ppid=12741 vsize=13980732 memory=7100839852556323184 CPUtime=2.56 cores=1,3,5,7
/proc/12743/task/12744/stat : 12744 (java) R 12741 12741 7968 0 -1 4202560 9635 0 0 0 252 4 0 0 20 0 15 0 26004444 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140552323314976 140552298155859 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12745] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12745/stat : 12745 (java) S 12741 12741 7968 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 26004445 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140552276044048 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12746] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12746/stat : 12746 (java) S 12741 12741 7968 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 26004445 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140552274991504 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12747] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12747/stat : 12747 (java) S 12741 12741 7968 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 26004445 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140552273938960 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12748] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0.01 cores=1,3,5,7
/proc/12743/task/12748/stat : 12748 (java) S 12741 12741 7968 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 26004445 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140552272886416 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12749] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12749/stat : 12749 (java) S 12741 12741 7968 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 26004446 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551235295728 140552319089282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12750] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12750/stat : 12750 (java) S 12741 12741 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 26004447 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551234241952 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12751] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12751/stat : 12751 (java) S 12741 12741 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 26004447 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551233189360 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12752] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12752/stat : 12752 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004449 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551232137936 140552319096731 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12753] ppid=12741 vsize=13980732 memory=5794560802800095588 CPUtime=2.06 cores=1,3,5,7
/proc/12743/task/12753/stat : 12753 (java) S 12741 12741 7968 0 -1 1077944384 5858 0 0 0 206 0 0 0 20 0 15 0 26004449 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551231084528 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12754] ppid=12741 vsize=13980732 memory=5794560802800095588 CPUtime=2.04 cores=1,3,5,7
/proc/12743/task/12754/stat : 12754 (java) R 12741 12741 7968 0 -1 4202560 5193 0 0 0 203 1 0 0 20 0 15 0 26004449 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551230020656 140552319092017 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12755] ppid=12741 vsize=13980732 memory=6298397712577286500 CPUtime=0.7 cores=1,3,5,7
/proc/12743/task/12755/stat : 12755 (java) S 12741 12741 7968 0 -1 1077944384 3000 0 0 0 68 2 0 0 20 0 15 0 26004449 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551228979440 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12756] ppid=12741 vsize=13980732 memory=-8384427990145351617 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12756/stat : 12756 (java) S 12741 12741 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 26004450 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551227927136 140552319088341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
[pid=12743/tid=12757] ppid=12741 vsize=13980732 memory=-8253362762723130488 CPUtime=0 cores=1,3,5,7
/proc/12743/task/12757/stat : 12757 (java) S 12741 12741 7968 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 26004458 14316269568 53401 18446744073709551615 4194304 4196468 140729907587936 140551226874672 140552319089282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20627456 140729907589554 140729907589730 140729907589730 140729907593167 0
Current children cumulated CPU time: 7.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214980 KiB
[startup+2.90086 s]
/proc/loadavg: 1.36 1.36 1.42 5/213 12757
/proc/meminfo: memFree=30690536/32770624 swapFree=67108860/67108860
[pid=12741] ppid=12738 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12741/stat : 12741 (xcsp3-exec) S 12738 12741 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 26004433 9740288 344 18446744073709551615 4194304 5098028 140735296007216 140735296005320 139703048106620 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 20406272 140735296012665 140735296012870 140735296012870 140735296016363 0
/proc/12741/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
Child status: 0
Real time (s): 2.90136
CPU time (s): 7.6011
CPU user time (s): 7.49022
CPU system time (s): 0.110877
CPU usage (%): 261.984
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 214980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.49022
system time used= 0.110877
maximum resident set size= 214480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26429
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= 2311
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 12741
# total CPU time (s): 7.6011
# total CPU user time (s): 7.49022
# total CPU system time (s): 0.110877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042359 second user time and 0.06514 second system time
The end