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 (13786 MiB free)
memory of node 1: 16384 MiB (563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293084-1532306226/watcher-4293084-1532306226 -o /tmp/evaluation-result-4293084-1532306226/solver-4293084-1532306226 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532296142-8378 --watchdog 2580 xcsp_picat HOME/instance-4293084-1532306226.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=9449, runsolver pid=9446
[startup+0.100749 s]*
/proc/loadavg: 2.12 2.07 2.03 4/192 9450
/proc/meminfo: memFree=14681972/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=112236 memory=15496 CPUtime=0.1 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 1582 0 0 0 10 0 0 0 20 0 1 0 48185722 114929664 3874 33554432000 4194304 5849740 140725159557888 140725159556536 5358830 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 28059 3874 693 405 0 25003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112236 KiB
Current children cumulated memory: 15496 KiB
[startup+0.209933 s]*
/proc/loadavg: 2.12 2.07 2.03 3/192 9450
/proc/meminfo: memFree=14681228/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=112752 memory=16284 CPUtime=0.21 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 1735 0 0 0 21 0 0 0 20 0 1 0 48185722 115458048 4071 33554432000 4194304 5849740 140725159557888 140725159556536 5395482 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 28188 4071 696 405 0 25132 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112752 KiB
Current children cumulated memory: 16284 KiB
[startup+0.309418 s]*
/proc/loadavg: 2.12 2.07 2.03 3/192 9450
/proc/meminfo: memFree=14681228/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=112752 memory=16284 CPUtime=0.31 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 1743 0 0 0 31 0 0 0 20 0 1 0 48185722 115458048 4071 33554432000 4194304 5849740 140725159557888 140725159556536 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 28188 4071 696 405 0 25132 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112752 KiB
Current children cumulated memory: 16284 KiB
[startup+0.70033 s]
/proc/loadavg: 2.12 2.07 2.03 3/192 9450
/proc/meminfo: memFree=14680624/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=113864 memory=17324 CPUtime=0.69 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 2140 0 0 0 68 1 0 0 20 0 1 0 48185722 116596736 4331 33554432000 4194304 5849740 140725159557888 140725159556536 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 28466 4331 696 405 0 25410 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113864 KiB
Current children cumulated memory: 17324 KiB
[startup+1.50034 s]
/proc/loadavg: 2.12 2.07 2.03 3/192 9450
/proc/meminfo: memFree=14679352/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=114576 memory=17960 CPUtime=1.49 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 2911 0 0 0 146 3 0 0 20 0 1 0 48185722 117325824 4490 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 28644 4490 696 405 0 25588 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114576 KiB
Current children cumulated memory: 17960 KiB
[startup+3.10963 s]
/proc/loadavg: 2.12 2.07 2.03 3/192 9450
/proc/meminfo: memFree=14677776/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=117132 memory=20428 CPUtime=3.09 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 6502 0 0 0 303 6 0 0 20 0 1 0 48185722 119943168 5107 33554432000 4194304 5849740 140725159557888 140725159556760 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 29283 5107 696 405 0 26227 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 117132 KiB
Current children cumulated memory: 20428 KiB
[startup+6.30033 s]
/proc/loadavg: 2.11 2.07 2.03 3/192 9450
/proc/meminfo: memFree=23434764/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=120112 memory=23456 CPUtime=6.29 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 12395 0 0 0 617 12 0 0 20 0 1 0 48185722 122994688 5864 33554432000 4194304 5849740 140725159557888 140725159557048 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 30028 5864 696 405 0 26972 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 23456 KiB
[startup+12.7003 s]
/proc/loadavg: 2.10 2.07 2.03 3/192 9450
/proc/meminfo: memFree=21402468/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=119340 memory=22900 CPUtime=12.69 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 19000 0 0 0 1246 23 0 0 20 0 1 0 48185722 122204160 5725 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 29835 5725 740 405 0 26779 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 119340 KiB
Current children cumulated memory: 22900 KiB
[startup+25.5004 s]
/proc/loadavg: 2.08 2.07 2.03 3/192 9511
/proc/meminfo: memFree=29452924/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=130736 memory=34392 CPUtime=25.49 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 29808 0 0 0 2508 41 0 0 20 0 1 0 48185722 133873664 8598 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 32684 8598 740 405 0 29628 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 130736 KiB
Current children cumulated memory: 34392 KiB
[startup+51.1096 s]
/proc/loadavg: 2.05 2.06 2.03 3/191 9512
/proc/meminfo: memFree=29426636/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=155680 memory=60096 CPUtime=51.09 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 39508 0 0 0 5045 64 0 0 20 0 1 0 48185722 159416320 15024 33554432000 4194304 5849740 140725159557888 140725159556760 5394682 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 38920 15024 740 405 0 35864 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 155680 KiB
Current children cumulated memory: 60096 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/191 9513
/proc/meminfo: memFree=29398720/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=178568 memory=86984 CPUtime=102.29 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 54243 0 0 0 10134 95 0 0 20 0 1 0 48185722 182853632 21746 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 44642 21746 740 405 0 41586 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 178568 KiB
Current children cumulated memory: 86984 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 2.03 2.03 3/191 9514
/proc/meminfo: memFree=29331624/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=209264 memory=117748 CPUtime=162.29 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 69542 0 0 0 16103 126 0 0 20 0 1 0 48185722 214286336 29437 33554432000 4194304 5849740 140725159557888 140725159556888 5395116 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 52316 29437 740 405 0 49260 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 209264 KiB
Current children cumulated memory: 117748 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 2.02 2.03 3/192 9523
/proc/meminfo: memFree=29310516/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=222616 memory=131292 CPUtime=222.29 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 85025 0 0 0 22088 141 0 0 20 0 1 0 48185722 227958784 32823 33554432000 4194304 5849740 140725159557888 140725159556888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 55654 32823 740 405 0 52598 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 222616 KiB
Current children cumulated memory: 131292 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.01 2.03 3/193 9525
/proc/meminfo: memFree=29375828/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=157152 memory=65640 CPUtime=282.3 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 92569 0 0 0 28051 179 0 0 20 0 1 0 48185722 160923648 16410 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 39288 16410 740 405 0 36232 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 157152 KiB
Current children cumulated memory: 65640 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/193 9526
/proc/meminfo: memFree=29346528/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=178232 memory=86780 CPUtime=342.3 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 100888 0 0 0 33989 241 0 0 20 0 1 0 48185722 182509568 21695 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 44558 21695 740 405 0 41502 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 178232 KiB
Current children cumulated memory: 86780 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/193 9527
/proc/meminfo: memFree=29327016/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=205928 memory=114416 CPUtime=402.3 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 108323 0 0 0 39957 273 0 0 20 0 1 0 48185722 210870272 28604 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 51482 28604 740 405 0 48426 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 205928 KiB
Current children cumulated memory: 114416 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/193 9528
/proc/meminfo: memFree=29314676/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=218180 memory=126796 CPUtime=462.3 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 120948 0 0 0 45923 307 0 0 20 0 1 0 48185722 223416320 31699 33554432000 4194304 5849740 140725159557888 140725159556888 5398235 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 54545 31699 740 405 0 51489 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 218180 KiB
Current children cumulated memory: 126796 KiB
################
# More data... #
################
Current children cumulated memory: 120356 KiB
[startup+642.3 s]
/proc/loadavg: 2.02 2.02 2.03 3/191 9531
/proc/meminfo: memFree=29272892/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=257244 memory=165820 CPUtime=642.3 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 148614 0 0 0 63868 362 0 0 20 0 1 0 48185722 263417856 41455 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 64311 41455 740 405 0 61255 0
Current children cumulated CPU time: 642.3 s
Current children cumulated vsize: 257244 KiB
Current children cumulated memory: 165820 KiB
[startup+702.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/191 9532
/proc/meminfo: memFree=29265172/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=264656 memory=173104 CPUtime=702.31 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 149461 0 0 0 69854 377 0 0 20 0 1 0 48185722 271007744 43276 33554432000 4194304 5849740 140725159557888 140725159556888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 66164 43276 740 405 0 63108 0
Current children cumulated CPU time: 702.31 s
Current children cumulated vsize: 264656 KiB
Current children cumulated memory: 173104 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 9533
/proc/meminfo: memFree=29210028/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=316764 memory=225440 CPUtime=762.31 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 170393 0 0 0 75840 391 0 0 20 0 1 0 48185722 324366336 56360 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 79191 56360 740 405 0 76135 0
Current children cumulated CPU time: 762.31 s
Current children cumulated vsize: 316764 KiB
Current children cumulated memory: 225440 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 9541
/proc/meminfo: memFree=29188188/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=334700 memory=243376 CPUtime=822.31 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 173499 0 0 0 81828 403 0 0 20 0 1 0 48185722 342732800 60844 33554432000 4194304 5849740 140725159557888 140725159556888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 83675 60844 740 405 0 80619 0
Current children cumulated CPU time: 822.31 s
Current children cumulated vsize: 334700 KiB
Current children cumulated memory: 243376 KiB
[startup+882.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/191 9543
/proc/meminfo: memFree=29154228/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=367468 memory=276144 CPUtime=882.31 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 201467 0 0 0 87816 415 0 0 20 0 1 0 48185722 376287232 69036 33554432000 4194304 5849740 140725159557888 140725159556888 5438192 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 91867 69036 740 405 0 88811 0
Current children cumulated CPU time: 882.31 s
Current children cumulated vsize: 367468 KiB
Current children cumulated memory: 276144 KiB
[startup+942.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 9544
/proc/meminfo: memFree=29234948/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=287136 memory=195812 CPUtime=942.3 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 226073 0 0 0 93801 429 0 0 20 0 1 0 48185722 294027264 48953 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 71784 48953 740 405 0 68728 0
Current children cumulated CPU time: 942.3 s
Current children cumulated vsize: 287136 KiB
Current children cumulated memory: 195812 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 9545
/proc/meminfo: memFree=29296416/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=182384 memory=90932 CPUtime=1002.3 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 240167 0 0 0 99744 486 0 0 20 0 1 0 48185722 186761216 22733 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 45596 22733 740 405 0 42540 0
Current children cumulated CPU time: 1002.3 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 90932 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 9546
/proc/meminfo: memFree=29184508/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=247152 memory=155700 CPUtime=1062.3 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 247927 0 0 0 105713 517 0 0 20 0 1 0 48185722 253083648 38925 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 61788 38925 740 405 0 58732 0
Current children cumulated CPU time: 1062.3 s
Current children cumulated vsize: 247152 KiB
Current children cumulated memory: 155700 KiB
[startup+1096.26 s]
# the end of solver process 9449 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1090.91 s, system=5.36333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 2.08 2.04 2.05 3/191 9546
/proc/meminfo: memFree=29184016/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=247152 memory=155700 CPUtime=1075.2 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 248177 0 0 0 106998 522 0 0 20 0 1 0 48185722 253083648 38925 33554432000 4194304 5849740 140725159557888 140725159556888 5360437 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 61788 38925 740 405 0 58732 0
Current children cumulated CPU time: 1075.2 s
Current children cumulated vsize: 247152 KiB
Current children cumulated memory: 155700 KiB
[startup+1088 s]*
/proc/loadavg: 2.07 2.04 2.05 3/191 9547
/proc/meminfo: memFree=29264716/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=255628 memory=164116 CPUtime=1088.01 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 251355 0 0 0 108271 530 0 0 20 0 1 0 48185722 261763072 41029 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 63907 41029 740 405 0 60851 0
Current children cumulated CPU time: 1088.01 s
Current children cumulated vsize: 255628 KiB
Current children cumulated memory: 164116 KiB
[startup+1091.2 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 9547
/proc/meminfo: memFree=29264716/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=255628 memory=164116 CPUtime=1091.21 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 251355 0 0 0 108589 532 0 0 20 0 1 0 48185722 261763072 41029 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 63907 41029 740 405 0 60851 0
Current children cumulated CPU time: 1091.21 s
Current children cumulated vsize: 255628 KiB
Current children cumulated memory: 164116 KiB
[startup+1094.4 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 9547
/proc/meminfo: memFree=29264716/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=255628 memory=164116 CPUtime=1094.4 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 251355 0 0 0 108906 534 0 0 20 0 1 0 48185722 261763072 41029 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 63907 41029 740 405 0 60851 0
Current children cumulated CPU time: 1094.4 s
Current children cumulated vsize: 255628 KiB
Current children cumulated memory: 164116 KiB
[startup+1095.2 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 9547
/proc/meminfo: memFree=29264716/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=255628 memory=164116 CPUtime=1095.21 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 251355 0 0 0 108986 535 0 0 20 0 1 0 48185722 261763072 41029 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 63907 41029 740 405 0 60851 0
Current children cumulated CPU time: 1095.21 s
Current children cumulated vsize: 255628 KiB
Current children cumulated memory: 164116 KiB
[startup+1096 s]*
/proc/loadavg: 2.06 2.04 2.05 3/191 9547
/proc/meminfo: memFree=29264716/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=255628 memory=164116 CPUtime=1096.01 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 251355 0 0 0 109066 535 0 0 20 0 1 0 48185722 261763072 41029 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 63907 41029 740 405 0 60851 0
Current children cumulated CPU time: 1096.01 s
Current children cumulated vsize: 255628 KiB
Current children cumulated memory: 164116 KiB
[startup+1096.2 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 9547
/proc/meminfo: memFree=29264716/32770624 swapFree=67108860/67108860
[pid=9449] ppid=9446 vsize=255628 memory=164116 CPUtime=1096.2 cores=0,2,4,6
/proc/9449/stat : 9449 (xcsp_picat) R 9446 9449 8347 0 -1 4202496 251355 0 0 0 109085 535 0 0 20 0 1 0 48185722 261763072 41029 33554432000 4194304 5849740 140725159557888 140725159556888 140634551553927 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37130240 140725159560374 140725159560452 140725159560452 140725159563210 0
/proc/9449/statm: 63907 41029 740 405 0 60851 0
Current children cumulated CPU time: 1096.2 s
Current children cumulated vsize: 255628 KiB
Current children cumulated memory: 164116 KiB
Child status: 0
Real time (s): 1096.26
CPU time (s): 1096.28
CPU user time (s): 1090.91
CPU system time (s): 5.36333
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 367468
Max. memory (cumulated for all children) (KiB): 276144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1090.91
system time used= 5.36333
maximum resident set size= 276144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251404
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 525
# summary of solver processes directly reported to runsolver:
# pid: 9449
# total CPU time (s): 1096.28
# total CPU user time (s): 1090.91
# total CPU system time (s): 5.36333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6371 second user time and 7.95186 second system time
The end