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 (9482 MiB free)
memory of node 1: 16384 MiB (14094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392894-1568320092/watcher-4392894-1568320092 -o /tmp/evaluation-result-4392894-1568320092/solver-4392894-1568320092 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 259166707 HOME/instance-4392894-1568320092.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=20105, runsolver pid=20102
[startup+0.100085 s]*
/proc/loadavg: 7.14 8.37 8.11 6/220 20108
/proc/meminfo: memFree=24139800/32770624 swapFree=66952812/67108860
[pid=20105] ppid=20102 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20105/stat : 20105 (xcsp3-exec) S 20102 20105 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951169 115843072 362 33554432000 4194304 5098028 140732107632144 140732107630248 139894932460156 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33198080 140732107637627 140732107637869 140732107637869 140732107640778 0
/proc/20105/statm: 28282 362 304 221 0 87 0
[pid=20107] ppid=20105 vsize=109408 memory=5284 CPUtime=0 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20105 11591 0 -1 1077944320 1552 0 0 0 0 0 0 0 20 0 2 0 407951169 112033792 1321 33554432000 4194304 4196468 140730993415264 140730993397808 140457419034359 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
/proc/20107/statm: 27352 1321 991 1 0 16810 0
[pid=20107/tid=20108] ppid=20105 vsize=109408 memory=7100839861464564850 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) D 20105 20105 11591 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 2 0 407951169 112033792 1321 33554432000 4194304 4196468 140730993415264 140457423276336 140457411525525 0 0 0 16784584 18446744072100613253 0 0 -1 7 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 222536 KiB
Current children cumulated memory: 6732 KiB
[startup+0.210701 s]*
/proc/loadavg: 7.14 8.37 8.11 6/220 20108
/proc/meminfo: memFree=24145648/32770624 swapFree=66952812/67108860
[pid=20105] ppid=20102 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20105/stat : 20105 (xcsp3-exec) S 20102 20105 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951169 115843072 362 33554432000 4194304 5098028 140732107632144 140732107630248 139894932460156 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33198080 140732107637627 140732107637869 140732107637869 140732107640778 0
/proc/20105/statm: 28282 362 304 221 0 87 0
[pid=20107] ppid=20105 vsize=109408 memory=5284 CPUtime=0 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20105 11591 0 -1 1077944320 1552 0 0 0 0 0 0 0 20 0 2 0 407951169 112033792 1321 33554432000 4194304 4196468 140730993415264 140730993397808 140457419034359 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
/proc/20107/statm: 27352 1321 991 1 0 16810 0
[pid=20107/tid=20108] ppid=20105 vsize=109408 memory=7883960649037381690 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) D 20105 20105 11591 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 2 0 407951169 112033792 1321 33554432000 4194304 4196468 140730993415264 140457423276336 140457411525525 0 0 0 16784584 18446744072100613253 0 0 -1 7 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 222536 KiB
Current children cumulated memory: 6732 KiB
[startup+0.408981 s]*
/proc/loadavg: 7.14 8.37 8.11 8/233 20121
/proc/meminfo: memFree=24133708/32770624 swapFree=66952812/67108860
[pid=20105] ppid=20102 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20105/stat : 20105 (xcsp3-exec) S 20102 20105 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951169 115843072 362 33554432000 4194304 5098028 140732107632144 140732107630248 139894932460156 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33198080 140732107637627 140732107637869 140732107637869 140732107640778 0
/proc/20105/statm: 28282 362 304 221 0 87 0
[pid=20107] ppid=20105 vsize=15144768 memory=30032 CPUtime=0.13 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20105 11591 0 -1 1077944320 5463 0 0 0 12 1 0 0 20 0 15 0 407951169 15508242432 7508 33554432000 4194304 4196468 140730993415264 140730993397808 140457419034359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
/proc/20107/statm: 3786192 7508 3115 1 0 3748377 0
[pid=20107/tid=20108] ppid=20105 vsize=15144768 memory=7883960649037381690 CPUtime=0.08 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20105 11591 0 -1 4202560 3383 0 0 0 8 0 0 0 20 0 15 0 407951169 15508242432 7508 33554432000 4194304 4196468 140730993415264 140457423266688 140457419046294 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20109] ppid=20105 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20109/stat : 20109 (java) S 20105 20105 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951201 15508242432 7508 33554432000 4194304 4196468 140730993415264 140457377794832 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20110] ppid=20105 vsize=15144768 memory=140451638184784 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20105 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951201 15508242432 7508 33554432000 4194304 4196468 140730993415264 140457010080656 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20111] ppid=20105 vsize=15144768 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20105 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951201 15508242432 7508 33554432000 4194304 4196468 140730993415264 140457009028112 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20112] ppid=20105 vsize=15144768 memory=6873730494919109728 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20105 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951201 15508242432 7508 33554432000 4194304 4196468 140730993415264 140457007975568 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20113] ppid=20105 vsize=15144768 memory=140451638167168 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20105 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951203 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456887273456 140457419045506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20114] ppid=20105 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20114/stat : 20114 (java) S 20105 20105 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407951203 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456886219680 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20115] ppid=20105 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20105 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407951203 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456885167088 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20116] ppid=20105 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20105 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951206 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456884115664 140457419052955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20117] ppid=20105 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20117/stat : 20117 (java) R 20105 20105 11591 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 407951206 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456883063280 140457419045506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20118] ppid=20105 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) S 20105 20105 11591 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 407951206 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456882010736 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20119] ppid=20105 vsize=15144768 memory=140451638167168 CPUtime=0.02 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) R 20105 20105 11591 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 407951206 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456880958192 140457419046294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20120] ppid=20105 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20120/stat : 20120 (java) S 20105 20105 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951206 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456879905888 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20121] ppid=20105 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20105 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951206 15508242432 7508 33554432000 4194304 4196468 140730993415264 140456878852400 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31480 KiB
[startup+0.710415 s]
/proc/loadavg: 7.14 8.37 8.11 7/233 20121
/proc/meminfo: memFree=24117752/32770624 swapFree=66952812/67108860
[pid=20105] ppid=20102 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20105/stat : 20105 (xcsp3-exec) S 20102 20105 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951169 115843072 362 33554432000 4194304 5098028 140732107632144 140732107630248 139894932460156 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33198080 140732107637627 140732107637869 140732107637869 140732107640778 0
/proc/20105/statm: 28282 362 304 221 0 87 0
[pid=20107] ppid=20105 vsize=15149100 memory=54644 CPUtime=0.68 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20105 11591 0 -1 1077944320 11018 0 0 0 64 4 0 0 20 0 15 0 407951169 15512678400 13661 33554432000 4194304 4196468 140730993415264 140730993397808 140457419034359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
/proc/20107/statm: 3787275 13661 3395 1 0 3748377 0
[pid=20107/tid=20108] ppid=20105 vsize=15149100 memory=14135532779211192 CPUtime=0.37 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20105 11591 0 -1 4202560 7767 0 0 0 35 2 0 0 20 0 15 0 407951169 15512678400 13661 33554432000 4194304 4196468 140730993415264 140457423269872 140457055124329 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20109] ppid=20105 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20109/stat : 20109 (java) S 20105 20105 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951201 15512678400 13661 33554432000 4194304 4196468 140730993415264 140457377794832 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20110] ppid=20105 vsize=15149100 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20105 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951201 15512678400 13661 33554432000 4194304 4196468 140730993415264 140457010080656 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20111] ppid=20105 vsize=15149100 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20105 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951201 15512678400 13661 33554432000 4194304 4196468 140730993415264 140457009028112 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20112] ppid=20105 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20105 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951201 15512678400 13661 33554432000 4194304 4196468 140730993415264 140457007975568 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20113] ppid=20105 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20105 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407951203 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456887273456 140457419045506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20114] ppid=20105 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20114/stat : 20114 (java) S 20105 20105 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407951203 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456886219680 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20115] ppid=20105 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20105 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407951203 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456885167088 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20116] ppid=20105 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20105 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951206 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456884115664 140457419052955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20117] ppid=20105 vsize=15149100 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20107/task/20117/stat : 20117 (java) S 20105 20105 11591 0 -1 1077944384 541 0 0 0 6 0 0 0 20 0 15 0 407951206 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456883063280 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20118] ppid=20105 vsize=15149100 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) S 20105 20105 11591 0 -1 1077944384 446 0 0 0 5 0 0 0 20 0 15 0 407951206 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456882010736 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20119] ppid=20105 vsize=15149100 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) R 20105 20105 11591 0 -1 4202560 956 0 0 0 16 0 0 0 20 0 15 0 407951206 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456880958192 140457403114846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20120] ppid=20105 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20120/stat : 20120 (java) S 20105 20105 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951206 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456879905888 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20121] ppid=20105 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20105 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951206 15512678400 13661 33554432000 4194304 4196468 140730993415264 140456878852400 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 56092 KiB
[startup+1.50122 s]
/proc/loadavg: 7.14 8.37 8.11 8/233 20121
/proc/meminfo: memFree=24022804/32770624 swapFree=66952812/67108860
[pid=20105] ppid=20102 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20105/stat : 20105 (xcsp3-exec) S 20102 20105 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951169 115843072 362 33554432000 4194304 5098028 140732107632144 140732107630248 139894932460156 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33198080 140732107637627 140732107637869 140732107637869 140732107640778 0
/proc/20105/statm: 28282 362 304 221 0 87 0
[pid=20107] ppid=20105 vsize=15417404 memory=223936 CPUtime=3.31 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20105 11591 0 -1 1077944320 14668 0 0 0 320 11 0 0 20 0 19 0 407951169 15787421696 55984 33554432000 4194304 4196468 140730993415264 140730993397808 140457419034359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
/proc/20107/statm: 3854351 55984 3476 1 0 3815453 0
[pid=20107/tid=20108] ppid=20105 vsize=15417404 memory=6943526294502006880 CPUtime=0.86 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) S 20105 20105 11591 0 -1 1077944384 8689 0 0 0 81 5 0 0 20 0 19 0 407951169 15787421696 55984 33554432000 4194304 4196468 140730993415264 140457423275136 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20109] ppid=20105 vsize=15417404 memory=6944652177228980320 CPUtime=0.03 cores=1,3,5,7
/proc/20107/task/20109/stat : 20109 (java) S 20105 20105 11591 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 19 0 407951201 15787421696 55984 33554432000 4194304 4196468 140730993415264 140457377794832 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20110] ppid=20105 vsize=15417404 memory=6944656592385698452 CPUtime=0.03 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20105 11591 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 19 0 407951201 15787421696 55984 33554432000 4194304 4196468 140730993415264 140457010080656 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20111] ppid=20105 vsize=15417404 memory=-7751062316387021378 CPUtime=0.02 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20105 11591 0 -1 1077944384 28 0 0 0 2 0 0 0 20 0 19 0 407951201 15787421696 55984 33554432000 4194304 4196468 140730993415264 140457009028112 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20112] ppid=20105 vsize=15417404 memory=-5587106306044206369 CPUtime=0.02 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20105 11591 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 19 0 407951201 15787421696 55984 33554432000 4194304 4196468 140730993415264 140457007975568 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20113] ppid=20105 vsize=15417404 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20105 11591 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407951203 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456887273456 140457419045506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20114] ppid=20105 vsize=15417404 memory=8099255990543994963 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20114/stat : 20114 (java) S 20105 20105 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407951203 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456886219680 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20115] ppid=20105 vsize=15417404 memory=7084821286523977828 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20105 11591 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407951203 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456885167088 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20116] ppid=20105 vsize=15417404 memory=6944656425123422848 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20105 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951206 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456884115664 140457419052955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20117] ppid=20105 vsize=15417404 memory=-7384474665255210089 CPUtime=0.47 cores=1,3,5,7
/proc/20107/task/20117/stat : 20117 (java) R 20105 20105 11591 0 -1 4202560 1207 0 0 0 47 0 0 0 20 0 19 0 407951206 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456883049824 140457400555759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20118] ppid=20105 vsize=15417404 memory=7682744562847679290 CPUtime=0.48 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) S 20105 20105 11591 0 -1 1077944384 1221 0 0 0 48 0 0 0 20 0 19 0 407951206 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456882010736 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20119] ppid=20105 vsize=15417404 memory=6944613755328037012 CPUtime=0.43 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) R 20105 20105 11591 0 -1 1077944384 1906 0 0 0 43 0 0 0 20 0 19 0 407951206 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456880958192 140457419045506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20120] ppid=20105 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20120/stat : 20120 (java) S 20105 20105 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951206 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456879905888 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20121] ppid=20105 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20105 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407951206 15787421696 55984 33554432000 4194304 4196468 140730993415264 140456878852400 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
Current children cumulated CPU time: 3.31 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 225384 KiB
[startup+1.64891 s]
# the end of solver process 20105 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.72695 s, system=0.1207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60095 s]
/proc/loadavg: 7.14 8.37 8.11 8/233 20121
/proc/meminfo: memFree=24022804/32770624 swapFree=66952812/67108860
[pid=20105] ppid=20102 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20105/stat : 20105 (xcsp3-exec) S 20102 20105 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951169 115843072 362 33554432000 4194304 5098028 140732107632144 140732107630248 139894932460156 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33198080 140732107637627 140732107637869 140732107637869 140732107640778 0
/proc/20105/statm: 28282 362 304 221 0 87 0
[pid=20107] ppid=20105 vsize=15417404 memory=224288 CPUtime=3.7 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20105 11591 0 -1 1077944320 14774 0 0 0 359 11 0 0 20 0 19 0 407951169 15787421696 56072 33554432000 4194304 4196468 140730993415264 140730993397808 140457419034359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
/proc/20107/statm: 3854351 56072 3479 1 0 3815453 0
[pid=20107/tid=20108] ppid=20105 vsize=15417404 memory=6934210400603905556 CPUtime=0.86 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) S 20105 20105 11591 0 -1 1077944384 8689 0 0 0 81 5 0 0 20 0 19 0 407951169 15787421696 56072 33554432000 4194304 4196468 140730993415264 140457423275136 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20109] ppid=20105 vsize=15417404 memory=140451638167937 CPUtime=0.03 cores=1,3,5,7
/proc/20107/task/20109/stat : 20109 (java) S 20105 20105 11591 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 19 0 407951201 15787421696 56072 33554432000 4194304 4196468 140730993415264 140457377794832 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20110] ppid=20105 vsize=15417404 memory=6940724769107765335 CPUtime=0.03 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20105 11591 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 19 0 407951201 15787421696 56072 33554432000 4194304 4196468 140730993415264 140457010080656 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20111] ppid=20105 vsize=15417404 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20105 11591 0 -1 1077944384 28 0 0 0 2 0 0 0 20 0 19 0 407951201 15787421696 56072 33554432000 4194304 4196468 140730993415264 140457009028112 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20112] ppid=20105 vsize=15417404 memory=7165053749898011241 CPUtime=0.02 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20105 11591 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 19 0 407951201 15787421696 56072 33554432000 4194304 4196468 140730993415264 140457007975568 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20113] ppid=20105 vsize=15417404 memory=7165053749898011241 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20105 11591 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407951203 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456887273456 140457419045506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20114] ppid=20105 vsize=15417404 memory=7165053749898011241 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20114/stat : 20114 (java) S 20105 20105 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407951203 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456886219680 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20115] ppid=20105 vsize=15417404 memory=7165053749898011241 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20105 11591 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407951203 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456885167088 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20116] ppid=20105 vsize=15417404 memory=7161690300965404770 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20105 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951206 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456884115664 140457419052955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20117] ppid=20105 vsize=15417404 memory=7309449296210391140 CPUtime=0.53 cores=1,3,5,7
/proc/20107/task/20117/stat : 20117 (java) R 20105 20105 11591 0 -1 4202560 1231 0 0 0 53 0 0 0 20 0 19 0 407951206 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456883049376 140457402565855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20118] ppid=20105 vsize=15417404 memory=6444761453607086180 CPUtime=0.56 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) R 20105 20105 11591 0 -1 4202560 1234 0 0 0 56 0 0 0 20 0 19 0 407951206 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456881999648 140457400223639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20119] ppid=20105 vsize=15417404 memory=7811282870116445291 CPUtime=0.46 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) S 20105 20105 11591 0 -1 1077944384 1962 0 0 0 46 0 0 0 20 0 19 0 407951206 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456880958192 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20120] ppid=20105 vsize=15417404 memory=7161690300965404770 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20120/stat : 20120 (java) S 20105 20105 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951206 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456879905888 140457419044565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
[pid=20107/tid=20121] ppid=20105 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20105 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407951206 15787421696 56072 33554432000 4194304 4196468 140730993415264 140456878852400 140457419045506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6828032 140730993419247 140730993419418 140730993419418 140730993422287 0
Current children cumulated CPU time: 3.7 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 225736 KiB
Child status: 0
Real time (s): 1.64897
CPU time (s): 3.84765
CPU user time (s): 3.72695
CPU system time (s): 0.1207
CPU usage (%): 233.336
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 225736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.72695
system time used= 0.1207
maximum resident set size= 225692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15395
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= 1881
involuntary context switches= 92
# summary of solver processes directly reported to runsolver:
# pid: 20105
# total CPU time (s): 3.84765
# total CPU user time (s): 3.72695
# total CPU system time (s): 0.1207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031942 second user time and 0.060011 second system time
The end