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 (7689 MiB free)
memory of node 1: 16384 MiB (10961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407863-1569514028/watcher-4407863-1569514028 -o /var/tmp/evaluation-result-4407863-1569514028/solver-4407863-1569514028 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569509599-11278 --watchdog 2560 xcsp_picat HOME/instance-4407863-1569514028.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=12240, runsolver pid=12237
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.00 1.95 3/199 12241
/proc/meminfo: memFree=19081688/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2031716 memory=22912 CPUtime=0.1 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 1329 0 0 0 10 0 0 0 20 0 1 0 527341110 2080477184 5728 33554432000 4194304 5870510 140726417332128 140726417331432 4461679 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 507929 5728 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22912 KiB
[startup+0.209825 s]*
/proc/loadavg: 2.00 2.00 1.95 3/199 12241
/proc/meminfo: memFree=19071448/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2031716 memory=31104 CPUtime=0.21 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 1333 0 0 0 21 0 0 0 20 0 1 0 527341110 2080477184 7776 33554432000 4194304 5870510 140726417332128 140726417331432 4467367 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 507929 7776 834 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 31104 KiB
[startup+0.309672 s]*
/proc/loadavg: 2.00 2.00 1.95 3/199 12241
/proc/meminfo: memFree=19063256/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2031716 memory=41344 CPUtime=0.31 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 1338 0 0 0 31 0 0 0 20 0 1 0 527341110 2080477184 10336 33554432000 4194304 5870510 140726417332128 140726417331432 4456363 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 507929 10336 834 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 41344 KiB
[startup+0.700389 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12241
/proc/meminfo: memFree=19044824/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2031716 memory=90680 CPUtime=0.69 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 1384 0 0 0 68 1 0 0 20 0 1 0 527341110 2080477184 22670 33554432000 4194304 5870510 140726417332128 140726417331496 4477333 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 507929 22670 840 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 90680 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12241
/proc/meminfo: memFree=18938096/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2031716 memory=275088 CPUtime=1.49 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 1474 0 0 0 145 4 0 0 20 0 1 0 527341110 2080477184 68772 33554432000 4194304 5870510 140726417332128 140726417331496 4653217 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 507929 68772 861 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 275088 KiB
[startup+3.10965 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12241
/proc/meminfo: memFree=18548296/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2475376 memory=632640 CPUtime=3.1 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 2745 0 0 0 302 8 0 0 20 0 1 0 527341110 2534785024 158160 33554432000 4194304 5870510 140726417332128 140726417331496 5245088 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 618844 158160 866 410 0 614317 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2475376 KiB
Current children cumulated memory: 632640 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12241
/proc/meminfo: memFree=18192940/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2602316 memory=903980 CPUtime=6.29 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 19399 0 0 0 615 14 0 0 20 0 1 0 527341110 2664771584 225995 33554432000 4194304 5870510 140726417332128 140726417330632 5321686 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 650579 225995 882 410 0 646052 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2602316 KiB
Current children cumulated memory: 903980 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12242
/proc/meminfo: memFree=18187728/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2603780 memory=905600 CPUtime=12.68 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 36404 0 0 0 1254 14 0 0 20 0 1 0 527341110 2666270720 226400 33554432000 4194304 5870510 140726417332128 140726417330456 5321680 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 650945 226400 882 410 0 646418 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2603780 KiB
Current children cumulated memory: 905600 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12244
/proc/meminfo: memFree=18180908/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2603912 memory=904916 CPUtime=25.49 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 51667 0 0 0 2531 18 0 0 20 0 1 0 527341110 2666405888 226229 33554432000 4194304 5870510 140726417332128 140726417331144 5274872 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 650978 226229 909 410 0 646451 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2603912 KiB
Current children cumulated memory: 904916 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12244
/proc/meminfo: memFree=18161668/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2659504 memory=940192 CPUtime=51.09 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 102338 0 0 0 5081 28 0 0 20 0 1 0 527341110 2723332096 235048 33554432000 4194304 5870510 140726417332128 140726417330664 5272923 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 664876 235048 909 410 0 660349 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2659504 KiB
Current children cumulated memory: 940192 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12248
/proc/meminfo: memFree=18151148/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2670728 memory=950488 CPUtime=102.28 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 157429 0 0 0 10181 47 0 0 20 0 1 0 527341110 2734825472 237622 33554432000 4194304 5870510 140726417332128 140726417331144 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 667682 237622 909 410 0 663155 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2670728 KiB
Current children cumulated memory: 950488 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 12254
/proc/meminfo: memFree=18117744/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2693828 memory=973352 CPUtime=162.27 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 193390 0 0 0 16163 64 0 0 20 0 1 0 527341110 2758479872 243338 33554432000 4194304 5870510 140726417332128 140726417331144 5306708 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 673457 243338 909 410 0 668930 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2693828 KiB
Current children cumulated memory: 973352 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/201 12267
/proc/meminfo: memFree=18120844/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2689168 memory=987940 CPUtime=222.26 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 252179 0 0 0 22145 81 0 0 20 0 1 0 527341110 2753708032 246985 33554432000 4194304 5870510 140726417332128 140726417331144 5283090 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 672292 246985 909 410 0 667765 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2689168 KiB
Current children cumulated memory: 987940 KiB
[startup+282.3 s]
/proc/loadavg: 1.95 1.99 1.95 3/201 12271
/proc/meminfo: memFree=18103632/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2714532 memory=1006360 CPUtime=282.27 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 287176 0 0 0 28130 97 0 0 20 0 1 0 527341110 2779680768 251590 33554432000 4194304 5870510 140726417332128 140726417331144 5283116 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 678633 251590 909 410 0 674106 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2714532 KiB
Current children cumulated memory: 1006360 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 1.99 1.95 3/201 12277
/proc/meminfo: memFree=18079260/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2704872 memory=1009564 CPUtime=342.26 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 322049 0 0 0 34116 110 0 0 20 0 1 0 527341110 2769788928 252391 33554432000 4194304 5870510 140726417332128 140726417331144 5282505 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 676218 252391 909 410 0 671691 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2704872 KiB
Current children cumulated memory: 1009564 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/201 12281
/proc/meminfo: memFree=18084136/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2712412 memory=1002644 CPUtime=402.27 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 384300 0 0 0 40098 129 0 0 20 0 1 0 527341110 2777509888 250661 33554432000 4194304 5870510 140726417332128 140726417331144 5283133 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 678103 250661 909 410 0 673576 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2712412 KiB
Current children cumulated memory: 1002644 KiB
[startup+462.3 s]
/proc/loadavg: 1.47 1.85 1.91 2/194 12330
/proc/meminfo: memFree=24686492/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2770660 memory=1031824 CPUtime=462.26 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 436723 0 0 0 46079 147 0 0 20 0 1 0 527341110 2837155840 257956 33554432000 4194304 5870510 140726417332128 140726417331080 5272987 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 692665 257956 909 410 0 688138 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2770660 KiB
Current children cumulated memory: 1031824 KiB
[startup+522.3 s]
/proc/loadavg: 1.17 1.69 1.85 2/192 12338
/proc/meminfo: memFree=24703216/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2722556 memory=1018104 CPUtime=522.27 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 500736 0 0 0 52053 174 0 0 20 0 1 0 527341110 2787897344 254526 33554432000 4194304 5870510 140726417332128 140726417330664 139980629695461 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 680639 254526 909 410 0 676112 0
Current children cumulated CPU time: 522.27 s
Current children cumulated vsize: 2722556 KiB
Current children cumulated memory: 1018104 KiB
[startup+582.3 s]
/proc/loadavg: 1.06 1.57 1.80 2/192 12342
/proc/meminfo: memFree=24679152/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2780492 memory=1039780 CPUtime=582.26 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 546111 0 0 0 58032 194 0 0 20 0 1 0 527341110 2847223808 259945 33554432000 4194304 5870510 140726417332128 140726417331080 139980635395059 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 695123 259945 909 410 0 690596 0
Current children cumulated CPU time: 582.26 s
Current children cumulated vsize: 2780492 KiB
Current children cumulated memory: 1039780 KiB
[startup+615.91 s]
# the end of solver process 12240 was just reported to runsolver
# cumulated CPU time of all completed processes: user=613.766 s, system=2.11292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 1.06 1.56 1.80 2/192 12342
/proc/meminfo: memFree=24676904/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2730404 memory=1026312 CPUtime=588.76 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 548311 0 0 0 58678 198 0 0 20 0 1 0 527341110 2795933696 256578 33554432000 4194304 5870510 140726417332128 140726417331144 5282709 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 682601 256578 909 410 0 678074 0
Current children cumulated CPU time: 588.76 s
Current children cumulated vsize: 2730404 KiB
Current children cumulated memory: 1026312 KiB
[startup+601.6 s]
/proc/loadavg: 1.05 1.53 1.78 2/192 12343
/proc/meminfo: memFree=24681872/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2780492 memory=1039824 CPUtime=601.56 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 597449 0 0 0 59951 205 0 0 20 0 1 0 527341110 2847223808 259956 33554432000 4194304 5870510 140726417332128 140726417331080 5294975 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 695123 259956 909 410 0 690596 0
Current children cumulated CPU time: 601.56 s
Current children cumulated vsize: 2780492 KiB
Current children cumulated memory: 1039824 KiB
[startup+608 s]*
/proc/loadavg: 1.04 1.52 1.78 2/192 12346
/proc/meminfo: memFree=24682464/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2780492 memory=1035968 CPUtime=607.98 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 601106 0 0 0 60590 208 0 0 20 0 1 0 527341110 2847223808 258992 33554432000 4194304 5870510 140726417332128 140726417331144 5298780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 695123 258992 909 410 0 690596 0
Current children cumulated CPU time: 607.98 s
Current children cumulated vsize: 2780492 KiB
Current children cumulated memory: 1035968 KiB
[startup+611.2 s]
/proc/loadavg: 1.04 1.51 1.77 2/192 12346
/proc/meminfo: memFree=24674584/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2780492 memory=1043944 CPUtime=611.17 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 601808 0 0 0 60909 208 0 0 20 0 1 0 527341110 2847223808 260986 33554432000 4194304 5870510 140726417332128 140726417331080 5282505 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 695123 260986 909 410 0 690596 0
Current children cumulated CPU time: 611.17 s
Current children cumulated vsize: 2780492 KiB
Current children cumulated memory: 1043944 KiB
[startup+614.4 s]
/proc/loadavg: 1.04 1.50 1.77 2/192 12346
/proc/meminfo: memFree=24688104/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2730404 memory=1030456 CPUtime=614.36 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 602394 0 0 0 61227 209 0 0 20 0 1 0 527341110 2795933696 257614 33554432000 4194304 5870510 140726417332128 140726417331144 5307152 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 682601 257614 909 410 0 678074 0
Current children cumulated CPU time: 614.36 s
Current children cumulated vsize: 2730404 KiB
Current children cumulated memory: 1030456 KiB
[startup+615.2 s]
/proc/loadavg: 1.04 1.50 1.77 2/192 12346
/proc/meminfo: memFree=24686056/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2730404 memory=1034556 CPUtime=615.16 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 602929 0 0 0 61307 209 0 0 20 0 1 0 527341110 2795933696 258639 33554432000 4194304 5870510 140726417332128 140726417331144 5281920 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 682601 258639 909 410 0 678074 0
Current children cumulated CPU time: 615.16 s
Current children cumulated vsize: 2730404 KiB
Current children cumulated memory: 1034556 KiB
[startup+615.6 s]
/proc/loadavg: 1.04 1.50 1.77 2/192 12346
/proc/meminfo: memFree=24686056/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2730404 memory=1034560 CPUtime=615.56 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 603028 0 0 0 61347 209 0 0 20 0 1 0 527341110 2795933696 258640 33554432000 4194304 5870510 140726417332128 140726417331144 5282729 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 682601 258640 909 410 0 678074 0
Current children cumulated CPU time: 615.56 s
Current children cumulated vsize: 2730404 KiB
Current children cumulated memory: 1034560 KiB
[startup+615.8 s]
/proc/loadavg: 1.04 1.50 1.77 2/192 12346
/proc/meminfo: memFree=24686056/32770624 swapFree=66997320/67108860
[pid=12240] ppid=12237 vsize=2730404 memory=1034560 CPUtime=615.76 cores=1,3,5,7
/proc/12240/stat : 12240 (xcsp_picat) R 12237 12240 11246 0 -1 4202496 603086 0 0 0 61367 209 0 0 20 0 1 0 527341110 2795933696 258640 33554432000 4194304 5870510 140726417332128 140726417331144 5308368 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 28729344 140726417335303 140726417335385 140726417335385 140726417338310 0
/proc/12240/statm: 682601 258640 909 410 0 678074 0
Current children cumulated CPU time: 615.76 s
Current children cumulated vsize: 2730404 KiB
Current children cumulated memory: 1034560 KiB
[startup+615.9 s]*
/proc/loadavg: 1.04 1.50 1.77 2/192 12346
/proc/meminfo: memFree=25088060/32770624 swapFree=66997320/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 615.91
CPU time (s): 615.879
CPU user time (s): 613.766
CPU system time (s): 2.11292
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 2860632
Max. memory (cumulated for all children) (KiB): 1112144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 613.766
system time used= 2.11292
maximum resident set size= 1116696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603315
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= 5
involuntary context switches= 647
# summary of solver processes directly reported to runsolver:
# pid: 12240
# total CPU time (s): 615.879
# total CPU user time (s): 613.766
# total CPU system time (s): 2.11292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53528 second user time and 4.54169 second system time
The end