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 (14946 MiB free)
memory of node 1: 16384 MiB (15431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392927-1568320172/watcher-4392927-1568320172 -o /tmp/evaluation-result-4392927-1568320172/solver-4392927-1568320172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1194025254 HOME/instance-4392927-1568320172.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=23920, runsolver pid=23917
[startup+0.100752 s]*
/proc/loadavg: 7.57 8.22 8.33 6/233 23936
/proc/meminfo: memFree=31091256/32770624 swapFree=66920748/67108860
[pid=23920] ppid=23917 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23920/stat : 23920 (xcsp3-exec) S 23917 23920 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408273286 115843072 363 33554432000 4194304 5098028 140729021758080 140729021756184 140141658661500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18223104 140729021764474 140729021764717 140729021764717 140729021767626 0
/proc/23920/statm: 28282 363 304 221 0 87 0
[pid=23922] ppid=23920 vsize=15144768 memory=29060 CPUtime=0.13 cores=1,3,5,7
/proc/23922/stat : 23922 (java) S 23920 23920 14254 0 -1 1077944320 5716 0 0 0 13 0 0 0 20 0 15 0 408273287 15508242432 7265 33554432000 4194304 4196468 140720472413280 140720472395824 140373637467895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
/proc/23922/statm: 3786192 7265 3154 1 0 3748377 0
[pid=23922/tid=23923] ppid=23920 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/23922/task/23923/stat : 23923 (java) R 23920 23920 14254 0 -1 4202560 3584 0 0 0 9 0 0 0 20 0 15 0 408273287 15508242432 7265 33554432000 4194304 4196468 140720472413280 140373641698896 140373621548412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23924] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23924/stat : 23924 (java) S 23920 23920 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408273288 15508242432 7265 33554432000 4194304 4196468 140720472413280 140373565508496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23925] ppid=23920 vsize=15144768 memory=3472750349434943136 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23925/stat : 23925 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15508242432 7265 33554432000 4194304 4196468 140720472413280 140373564455696 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23926] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23926/stat : 23926 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15508242432 7265 33554432000 4194304 4196468 140720472413280 140373563403408 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23927] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23927/stat : 23927 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15508242432 7265 33554432000 4194304 4196468 140720472413280 140373562350608 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23928] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23928/stat : 23928 (java) S 23920 23920 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408273289 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372602718320 140373637479042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23929] ppid=23920 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23929/stat : 23929 (java) S 23920 23920 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408273290 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372601664288 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23930] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23930/stat : 23930 (java) S 23920 23920 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408273290 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372600611952 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23931] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23931/stat : 23931 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273292 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372599560272 140373637486491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23932] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23932/stat : 23932 (java) R 23920 23920 14254 0 -1 4202560 417 0 0 0 0 0 0 0 20 0 15 0 408273292 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372598499792 140373621437728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23933] ppid=23920 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23933/stat : 23933 (java) R 23920 23920 14254 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 408273292 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372597455440 140373637478101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23934] ppid=23920 vsize=15144768 memory=140552446867072 CPUtime=0.02 cores=1,3,5,7
/proc/23922/task/23934/stat : 23934 (java) R 23920 23920 14254 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 408273292 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372596403056 140373615984246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23935] ppid=23920 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23935/stat : 23935 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273292 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372595350496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23936] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23936/stat : 23936 (java) R 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273293 15508242432 7265 33554432000 4194304 4196468 140720472413280 140372594297264 140373637479042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30512 KiB
[startup+0.210643 s]*
/proc/loadavg: 7.57 8.22 8.33 6/233 23936
/proc/meminfo: memFree=31078028/32770624 swapFree=66920748/67108860
[pid=23920] ppid=23917 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23920/stat : 23920 (xcsp3-exec) S 23917 23920 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408273286 115843072 363 33554432000 4194304 5098028 140729021758080 140729021756184 140141658661500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18223104 140729021764474 140729021764717 140729021764717 140729021767626 0
/proc/23920/statm: 28282 363 304 221 0 87 0
[pid=23922] ppid=23920 vsize=15144768 memory=41464 CPUtime=0.34 cores=1,3,5,7
/proc/23922/stat : 23922 (java) S 23920 23920 14254 0 -1 1077944320 9497 0 0 0 32 2 0 0 20 0 15 0 408273287 15508242432 10366 33554432000 4194304 4196468 140720472413280 140720472395824 140373637467895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
/proc/23922/statm: 3786192 10366 3312 1 0 3748377 0
[pid=23922/tid=23923] ppid=23920 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23922/task/23923/stat : 23923 (java) R 23920 23920 14254 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 15 0 408273287 15508242432 10366 33554432000 4194304 4196468 140720472413280 140373641704760 140373637489821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23924] ppid=23920 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23924/stat : 23924 (java) S 23920 23920 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408273288 15508242432 10366 33554432000 4194304 4196468 140720472413280 140373565508496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23925] ppid=23920 vsize=15144768 memory=140552449720259 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23925/stat : 23925 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15508242432 10366 33554432000 4194304 4196468 140720472413280 140373564455696 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23926] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23926/stat : 23926 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15508242432 10366 33554432000 4194304 4196468 140720472413280 140373563403408 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23927] ppid=23920 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23927/stat : 23927 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15508242432 10366 33554432000 4194304 4196468 140720472413280 140373562350608 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23928] ppid=23920 vsize=15144768 memory=140552446867072 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23928/stat : 23928 (java) S 23920 23920 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408273289 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372602718320 140373637479042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23929] ppid=23920 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23929/stat : 23929 (java) S 23920 23920 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408273290 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372601664288 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23930] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23930/stat : 23930 (java) S 23920 23920 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408273290 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372600611952 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23931] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23931/stat : 23931 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273292 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372599560272 140373637486491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23932] ppid=23920 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23922/task/23932/stat : 23932 (java) S 23920 23920 14254 0 -1 1077944384 755 0 0 0 3 0 0 0 20 0 15 0 408273292 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372598508144 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23933] ppid=23920 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23922/task/23933/stat : 23933 (java) S 23920 23920 14254 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 15 0 408273292 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372597455344 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23934] ppid=23920 vsize=15144768 memory=140552446867072 CPUtime=0.08 cores=1,3,5,7
/proc/23922/task/23934/stat : 23934 (java) S 23920 23920 14254 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 15 0 408273292 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372596403056 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23935] ppid=23920 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23935/stat : 23935 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273292 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372595350496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23936] ppid=23920 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23936/stat : 23936 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273293 15508242432 10366 33554432000 4194304 4196468 140720472413280 140372594297264 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42916 KiB
[startup+0.314407 s]*
/proc/loadavg: 7.57 8.22 8.33 7/233 23936
/proc/meminfo: memFree=31070612/32770624 swapFree=66920748/67108860
[pid=23920] ppid=23917 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23920/stat : 23920 (xcsp3-exec) S 23917 23920 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408273286 115843072 363 33554432000 4194304 5098028 140729021758080 140729021756184 140141658661500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18223104 140729021764474 140729021764717 140729021764717 140729021767626 0
/proc/23920/statm: 28282 363 304 221 0 87 0
[pid=23922] ppid=23920 vsize=15149024 memory=50516 CPUtime=0.53 cores=1,3,5,7
/proc/23922/stat : 23922 (java) S 23920 23920 14254 0 -1 1077944320 10961 0 0 0 50 3 0 0 20 0 15 0 408273287 15512600576 12629 33554432000 4194304 4196468 140720472413280 140720472395824 140373637467895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
/proc/23922/statm: 3787256 12629 3356 1 0 3748377 0
[pid=23922/tid=23923] ppid=23920 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/23922/task/23923/stat : 23923 (java) R 23920 23920 14254 0 -1 4202560 7874 0 0 0 28 2 0 0 20 0 15 0 408273287 15512600576 12629 33554432000 4194304 4196468 140720472413280 140373641702736 140373621548382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23924] ppid=23920 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23924/stat : 23924 (java) S 23920 23920 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408273288 15512600576 12629 33554432000 4194304 4196468 140720472413280 140373565508496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23925] ppid=23920 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23925/stat : 23925 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15512600576 12629 33554432000 4194304 4196468 140720472413280 140373564455696 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23926] ppid=23920 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23926/stat : 23926 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15512600576 12629 33554432000 4194304 4196468 140720472413280 140373563403408 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23927] ppid=23920 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23927/stat : 23927 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273288 15512600576 12629 33554432000 4194304 4196468 140720472413280 140373562350608 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23928] ppid=23920 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23928/stat : 23928 (java) S 23920 23920 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408273289 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372602718320 140373637479042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23929] ppid=23920 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23929/stat : 23929 (java) S 23920 23920 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408273290 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372601664288 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23930] ppid=23920 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23930/stat : 23930 (java) S 23920 23920 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408273290 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372600611952 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23931] ppid=23920 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23931/stat : 23931 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273292 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372599560272 140373637486491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23932] ppid=23920 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/23922/task/23932/stat : 23932 (java) S 23920 23920 14254 0 -1 1077944384 773 0 0 0 5 0 0 0 20 0 15 0 408273292 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372598508144 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23933] ppid=23920 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23922/task/23933/stat : 23933 (java) S 23920 23920 14254 0 -1 1077944384 197 0 0 0 4 0 0 0 20 0 15 0 408273292 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372597455344 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23934] ppid=23920 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23922/task/23934/stat : 23934 (java) S 23920 23920 14254 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 15 0 408273292 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372596403056 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23935] ppid=23920 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23935/stat : 23935 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273292 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372595350496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23936] ppid=23920 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23936/stat : 23936 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273293 15512600576 12629 33554432000 4194304 4196468 140720472413280 140372594297264 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51968 KiB
[startup+0.701971 s]
/proc/loadavg: 7.57 8.22 8.33 7/232 23936
/proc/meminfo: memFree=31062164/32770624 swapFree=66920748/67108860
[pid=23920] ppid=23917 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23920/stat : 23920 (xcsp3-exec) S 23917 23920 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408273286 115843072 363 33554432000 4194304 5098028 140729021758080 140729021756184 140141658661500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18223104 140729021764474 140729021764717 140729021764717 140729021767626 0
/proc/23920/statm: 28282 363 304 221 0 87 0
[pid=23922] ppid=23920 vsize=15218740 memory=77044 CPUtime=1.54 cores=1,3,5,7
/proc/23922/stat : 23922 (java) S 23920 23920 14254 0 -1 1077944320 14499 0 0 0 150 4 0 0 20 0 17 0 408273287 15583989760 19261 33554432000 4194304 4196468 140720472413280 140720472395824 140373637467895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
/proc/23922/statm: 3804685 19261 3455 1 0 3765787 0
[pid=23922/tid=23923] ppid=23920 vsize=15218740 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/23922/task/23923/stat : 23923 (java) S 23920 23920 14254 0 -1 1077944384 9158 0 0 0 65 3 0 0 20 0 17 0 408273287 15583989760 19261 33554432000 4194304 4196468 140720472413280 140373641708672 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23924] ppid=23920 vsize=15218740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23924/stat : 23924 (java) S 23920 23920 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 408273288 15583989760 19261 33554432000 4194304 4196468 140720472413280 140373565508496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23925] ppid=23920 vsize=15218740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23925/stat : 23925 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 408273288 15583989760 19261 33554432000 4194304 4196468 140720472413280 140373564455696 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23926] ppid=23920 vsize=15218740 memory=708 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23926/stat : 23926 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 408273288 15583989760 19261 33554432000 4194304 4196468 140720472413280 140373563403408 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23927] ppid=23920 vsize=15218740 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23927/stat : 23927 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 408273288 15583989760 19261 33554432000 4194304 4196468 140720472413280 140373562350608 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23928] ppid=23920 vsize=15218740 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23928/stat : 23928 (java) S 23920 23920 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 17 0 408273289 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372602718320 140373637479042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23929] ppid=23920 vsize=15218740 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23929/stat : 23929 (java) S 23920 23920 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 408273290 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372601664288 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23930] ppid=23920 vsize=15218740 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23930/stat : 23930 (java) S 23920 23920 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 408273290 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372600611952 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23931] ppid=23920 vsize=15218740 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23931/stat : 23931 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 408273292 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372599560272 140373637486491 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23932] ppid=23920 vsize=15218740 memory=3444 CPUtime=0.22 cores=1,3,5,7
/proc/23922/task/23932/stat : 23932 (java) S 23920 23920 14254 0 -1 1077944384 1326 0 0 0 22 0 0 0 20 0 17 0 408273292 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372598508144 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23933] ppid=23920 vsize=15218740 memory=1556 CPUtime=0.25 cores=1,3,5,7
/proc/23922/task/23933/stat : 23933 (java) R 23920 23920 14254 0 -1 4202560 1028 0 0 0 25 0 0 0 20 0 17 0 408273292 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372597447296 140373618988998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23934] ppid=23920 vsize=15218740 memory=2832 CPUtime=0.35 cores=1,3,5,7
/proc/23922/task/23934/stat : 23934 (java) S 23920 23920 14254 0 -1 1077944384 1649 0 0 0 35 0 0 0 20 0 17 0 408273292 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372596403056 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23935] ppid=23920 vsize=15218740 memory=984 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23935/stat : 23935 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 408273292 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372595350496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23936] ppid=23920 vsize=15218740 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23936/stat : 23936 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 408273293 15583989760 19261 33554432000 4194304 4196468 140720472413280 140372594297264 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 15331868 KiB
Current children cumulated memory: 78496 KiB
[startup+0.804718 s]
# the end of solver process 23920 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.82818 s, system=0.059886 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800929 s]
/proc/loadavg: 7.57 8.22 8.33 7/232 23936
/proc/meminfo: memFree=31062164/32770624 swapFree=66920748/67108860
[pid=23920] ppid=23917 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23920/stat : 23920 (xcsp3-exec) S 23917 23920 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408273286 115843072 363 33554432000 4194304 5098028 140729021758080 140729021756184 140141658661500 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18223104 140729021764474 140729021764717 140729021764717 140729021767626 0
/proc/23920/statm: 28282 363 304 221 0 87 0
[pid=23922] ppid=23920 vsize=15417404 memory=89200 CPUtime=1.87 cores=1,3,5,7
/proc/23922/stat : 23922 (java) S 23920 23920 14254 0 -1 1077944320 15552 0 0 0 182 5 0 0 20 0 14 0 408273287 15787421696 22300 33554432000 4194304 4196468 140720472413280 140720472395824 140373637467895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
/proc/23922/statm: 3854351 22300 3463 1 0 3815453 0
[pid=23922/tid=23923] ppid=23920 vsize=15417404 memory=6791534058613427641 CPUtime=0.68 cores=1,3,5,7
/proc/23922/task/23923/stat : 23923 (java) S 23920 23920 14254 0 -1 1077944384 9165 0 0 0 65 3 0 0 20 0 14 0 408273287 15787421696 22300 33554432000 4194304 4196468 140720472413280 140373641710736 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23924] ppid=23920 vsize=15417404 memory=5228 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23924/stat : 23924 (java) S 23920 23920 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 408273288 15787421696 22300 33554432000 4194304 4196468 140720472413280 140373565508496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23925] ppid=23920 vsize=15417404 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23925/stat : 23925 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 408273288 15787421696 22300 33554432000 4194304 4196468 140720472413280 140373564455696 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23926] ppid=23920 vsize=15417404 memory=12020 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23926/stat : 23926 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 408273288 15787421696 22300 33554432000 4194304 4196468 140720472413280 140373563403408 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23927] ppid=23920 vsize=15417404 memory=496 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23927/stat : 23927 (java) S 23920 23920 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 408273288 15787421696 22300 33554432000 4194304 4196468 140720472413280 140373562350608 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23928] ppid=23920 vsize=15417404 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23928/stat : 23928 (java) S 23920 23920 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 408273289 15787421696 22300 33554432000 4194304 4196468 140720472413280 140372602718528 140373637479042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23929] ppid=23920 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23929/stat : 23929 (java) S 23920 23920 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 408273290 15787421696 22300 33554432000 4194304 4196468 140720472413280 140372601664288 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23930] ppid=23920 vsize=15417404 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23930/stat : 23930 (java) S 23920 23920 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 408273290 15787421696 22300 33554432000 4194304 4196468 140720472413280 140372600611952 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23931] ppid=23920 vsize=15417404 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23931/stat : 23931 (java) S 23920 23920 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 14 0 408273292 15787421696 22305 33554432000 4194304 4196468 140720472413280 140372599559040 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23932] ppid=23920 vsize=15417404 memory=888 CPUtime=0.29 cores=1,3,5,7
/proc/23922/task/23932/stat : 23932 (java) S 23920 23920 14254 0 -1 1077944384 1798 0 0 0 29 0 0 0 20 0 13 0 408273292 15787421696 22305 33554432000 4194304 4196468 140720472413280 140372598488080 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23933] ppid=23920 vsize=15417404 memory=1984 CPUtime=0.29 cores=1,3,5,7
/proc/23922/task/23933/stat : 23933 (java) S 23920 23920 14254 0 -1 1077944384 1078 0 0 0 29 0 0 0 20 0 13 0 408273292 15787421696 22305 33554432000 4194304 4196468 140720472413280 140372597439856 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23934] ppid=23920 vsize=15417404 memory=2552 CPUtime=0.4 cores=1,3,5,7
/proc/23922/task/23934/stat : 23934 (java) S 23920 23920 14254 0 -1 1077944384 1988 0 0 0 40 0 0 0 20 0 13 0 408273292 15787421696 22277 33554432000 4194304 4196468 140720472413280 140372596403056 140373637479042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
[pid=23922/tid=23935] ppid=23920 vsize=15417404 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/23922/task/23935/stat : 23935 (java) S 23920 23920 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 408273292 15787421696 22277 33554432000 4194304 4196468 140720472413280 140372595350496 140373637478101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140720472421359 140720472421530 140720472421530 140720472424399 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 90652 KiB
Child status: 0
Real time (s): 0.804756
CPU time (s): 1.88806
CPU user time (s): 1.82818
CPU system time (s): 0.059886
CPU usage (%): 234.613
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 90652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.82818
system time used= 0.059886
maximum resident set size= 89768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16112
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= 1722
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 23920
# total CPU time (s): 1.88806
# total CPU user time (s): 1.82818
# total CPU system time (s): 0.059886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020607 second user time and 0.055285 second system time
The end