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 (14987 MiB free)
memory of node 1: 16384 MiB (15246 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270166-1502622785/watcher-4270166-1502622785 -o /tmp/evaluation-result-4270166-1502622785/solver-4270166-1502622785 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1748272890 HOME/instance-4270166-1502622785.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
solver pid=26311, runsolver pid=26308
Current StackSize limit: 8192 KiB
[startup+0.100167 s]*
/proc/loadavg: 1.45 1.70 1.84 2/198 26314
/proc/meminfo: memFree=30953692/32770624 swapFree=67108860/67108860
[pid=26311] ppid=26308 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26311/stat : 26311 (xcsp3-exec) S 26308 26311 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64499214 9740288 345 18446744073709551615 4194304 5098028 140722804863488 140722804861592 140273633423996 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 19750912 140722804871550 140722804871754 140722804871754 140722804875243 0
/proc/26311/statm: 2378 345 289 221 0 87 0
[pid=26313] ppid=26311 vsize=105164 memory=5152 CPUtime=0 cores=0,2,4,6
/proc/26313/stat : 26313 (java) S 26311 26311 897 0 -1 1077944320 1506 0 0 0 0 0 0 0 20 0 2 0 64499223 107687936 1288 18446744073709551615 4194304 4196468 140728052302048 140728052284592 140216202194679 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
/proc/26313/statm: 26291 1288 963 1 0 16808 0
[pid=26313/tid=26314] ppid=26311 vsize=105164 memory=7311146985107750967 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26314/stat : 26314 (java) D 26311 26311 897 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 2 0 64499224 107687936 1288 18446744073709551615 4194304 4196468 140728052302048 140216206436656 140216194685845 0 0 1 16784584 18446744072100686981 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 114676 KiB
Current children cumulated memory: 6532 KiB
[startup+0.29162 s]*
/proc/loadavg: 1.45 1.70 1.84 2/210 26326
/proc/meminfo: memFree=30947980/32770624 swapFree=67108860/67108860
[pid=26311] ppid=26308 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26311/stat : 26311 (xcsp3-exec) S 26308 26311 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64499214 9740288 345 18446744073709551615 4194304 5098028 140722804863488 140722804861592 140273633423996 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 19750912 140722804871550 140722804871754 140722804871754 140722804875243 0
/proc/26311/statm: 2378 345 289 221 0 87 0
[pid=26313] ppid=26311 vsize=13907304 memory=21684 CPUtime=0.05 cores=0,2,4,6
/proc/26313/stat : 26313 (java) S 26311 26311 897 0 -1 1077944320 4807 0 0 0 5 0 0 0 20 0 14 0 64499223 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140728052284592 140216202194679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
/proc/26313/statm: 3476826 5421 2570 1 0 3466323 0
[pid=26313/tid=26314] ppid=26311 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/26313/task/26314/stat : 26314 (java) D 26311 26311 897 0 -1 4202560 2987 0 0 0 4 0 0 0 20 0 14 0 64499224 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140216206432160 140216202216701 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 9 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26315] ppid=26311 vsize=13907304 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26315/stat : 26315 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64499234 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140216121609232 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26316] ppid=26311 vsize=13907304 memory=288371084409980544 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26316/stat : 26316 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64499234 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215800818832 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26317] ppid=26311 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26317/stat : 26317 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64499234 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215799765776 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26318] ppid=26311 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26318/stat : 26318 (java) S 26311 26311 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64499234 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215798713232 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26319] ppid=26311 vsize=13907304 memory=140708258268800 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26319/stat : 26319 (java) S 26311 26311 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64499235 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215680719088 140216202205826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26320] ppid=26311 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26320/stat : 26320 (java) S 26311 26311 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64499235 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215679665312 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26321] ppid=26311 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26321/stat : 26321 (java) S 26311 26311 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64499236 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215678612208 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26322] ppid=26311 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26322/stat : 26322 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64499238 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215677560784 140216202213275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26323] ppid=26311 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26323/stat : 26323 (java) S 26311 26311 897 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 14 0 64499238 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215676508912 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26324] ppid=26311 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26324/stat : 26324 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64499238 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215675456368 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26325] ppid=26311 vsize=13907304 memory=140708258268800 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26325/stat : 26325 (java) S 26311 26311 897 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 14 0 64499238 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215674403312 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26326] ppid=26311 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26326/stat : 26326 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64499238 14241079296 5421 18446744073709551615 4194304 4196468 140728052302048 140215673351008 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23064 KiB
[startup+0.310041 s]*
/proc/loadavg: 1.45 1.70 1.84 2/210 26326
/proc/meminfo: memFree=30947980/32770624 swapFree=67108860/67108860
[pid=26311] ppid=26308 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26311/stat : 26311 (xcsp3-exec) S 26308 26311 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64499214 9740288 345 18446744073709551615 4194304 5098028 140722804863488 140722804861592 140273633423996 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 19750912 140722804871550 140722804871754 140722804871754 140722804875243 0
/proc/26311/statm: 2378 345 289 221 0 87 0
[pid=26313] ppid=26311 vsize=13974352 memory=22476 CPUtime=0.07 cores=0,2,4,6
/proc/26313/stat : 26313 (java) S 26311 26311 897 0 -1 1077944320 5027 0 0 0 6 1 0 0 20 0 15 0 64499223 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140728052284592 140216202194679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
/proc/26313/statm: 3493588 5619 2710 1 0 3482964 0
[pid=26313/tid=26314] ppid=26311 vsize=13974352 memory=-8774313645642428999 CPUtime=0.05 cores=0,2,4,6
/proc/26313/task/26314/stat : 26314 (java) R 26311 26311 897 0 -1 4202560 3190 0 0 0 5 0 0 0 20 0 15 0 64499224 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140216206424560 140216202216605 0 4 1 16800974 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26315] ppid=26311 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26315/stat : 26315 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140216121609232 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26316] ppid=26311 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26316/stat : 26316 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215800818832 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26317] ppid=26311 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26317/stat : 26317 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215799765776 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26318] ppid=26311 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26318/stat : 26318 (java) S 26311 26311 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64499234 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215798713232 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26319] ppid=26311 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26319/stat : 26319 (java) S 26311 26311 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64499235 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215680719088 140216202205826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26320] ppid=26311 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26320/stat : 26320 (java) S 26311 26311 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64499235 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215679665312 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26321] ppid=26311 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26321/stat : 26321 (java) S 26311 26311 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64499236 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215678612208 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26322] ppid=26311 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26322/stat : 26322 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64499238 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215677560784 140216202213275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26323] ppid=26311 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26323/stat : 26323 (java) S 26311 26311 897 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 64499238 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215676508912 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26324] ppid=26311 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26324/stat : 26324 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64499238 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215675456368 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26325] ppid=26311 vsize=13974352 memory=140708258268800 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26325/stat : 26325 (java) S 26311 26311 897 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 64499238 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215674403312 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26326] ppid=26311 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26326/stat : 26326 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64499238 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215673351008 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26327] ppid=26311 vsize=13974352 memory=140708258268800 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26327/stat : 26327 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499245 14309736448 5619 18446744073709551615 4194304 4196468 140728052302048 140215672298032 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23856 KiB
[startup+0.700709 s]
/proc/loadavg: 1.45 1.70 1.84 3/211 26327
/proc/meminfo: memFree=30928156/32770624 swapFree=67108860/67108860
[pid=26311] ppid=26308 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26311/stat : 26311 (xcsp3-exec) S 26308 26311 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64499214 9740288 345 18446744073709551615 4194304 5098028 140722804863488 140722804861592 140273633423996 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 19750912 140722804871550 140722804871754 140722804871754 140722804875243 0
/proc/26311/statm: 2378 345 289 221 0 87 0
[pid=26313] ppid=26311 vsize=13980732 memory=54196 CPUtime=0.81 cores=0,2,4,6
/proc/26313/stat : 26313 (java) S 26311 26311 897 0 -1 1077944320 11676 0 0 0 77 4 0 0 20 0 15 0 64499223 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140728052284592 140216202194679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
/proc/26313/statm: 3495183 13549 3135 1 0 3483476 0
[pid=26313/tid=26314] ppid=26311 vsize=13980732 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/26313/task/26314/stat : 26314 (java) R 26311 26311 897 0 -1 4202560 8336 0 0 0 40 3 0 0 20 0 15 0 64499224 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140216206432000 140216202206614 0 4 1 16800974 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26315] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26315/stat : 26315 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140216121609232 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26316] ppid=26311 vsize=13980732 memory=-2276395272229541278 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26316/stat : 26316 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215800818832 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26317] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26317/stat : 26317 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215799765776 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26318] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26318/stat : 26318 (java) S 26311 26311 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64499234 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215798713232 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26319] ppid=26311 vsize=13980732 memory=3690192058522364257 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26319/stat : 26319 (java) S 26311 26311 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64499235 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215680719088 140216202205826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26320] ppid=26311 vsize=13980732 memory=281416323651552 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26320/stat : 26320 (java) S 26311 26311 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64499235 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215679665312 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26321] ppid=26311 vsize=13980732 memory=281416323651328 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26321/stat : 26321 (java) S 26311 26311 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64499236 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215678612208 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26322] ppid=26311 vsize=13980732 memory=281416323572704 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26322/stat : 26322 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64499238 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215677560784 140216202213275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26323] ppid=26311 vsize=13980732 memory=281416323572896 CPUtime=0.08 cores=0,2,4,6
/proc/26313/task/26323/stat : 26323 (java) S 26311 26311 897 0 -1 1077944384 661 0 0 0 8 0 0 0 20 0 15 0 64499238 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215676508912 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26324] ppid=26311 vsize=13980732 memory=281416323573088 CPUtime=0.05 cores=0,2,4,6
/proc/26313/task/26324/stat : 26324 (java) S 26311 26311 897 0 -1 1077944384 263 0 0 0 5 0 0 0 20 0 15 0 64499238 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215675456368 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26325] ppid=26311 vsize=13980732 memory=281416323573376 CPUtime=0.21 cores=0,2,4,6
/proc/26313/task/26325/stat : 26325 (java) R 26311 26311 897 0 -1 4202560 1115 0 0 0 21 0 0 0 20 0 15 0 64499238 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215674399168 140216194431806 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26326] ppid=26311 vsize=13980732 memory=281416323573568 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26326/stat : 26326 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64499238 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215673351008 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26327] ppid=26311 vsize=13980732 memory=281416323573952 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26327/stat : 26327 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499245 14316269568 13549 18446744073709551615 4194304 4196468 140728052302048 140215672298032 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 55576 KiB
[startup+0.88731 s]
# the end of solver process 26311 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.3326 s, system=0.055535 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.805064 s]
/proc/loadavg: 1.45 1.70 1.84 3/211 26327
/proc/meminfo: memFree=30928156/32770624 swapFree=67108860/67108860
[pid=26311] ppid=26308 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26311/stat : 26311 (xcsp3-exec) S 26308 26311 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64499214 9740288 345 18446744073709551615 4194304 5098028 140722804863488 140722804861592 140273633423996 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 19750912 140722804871550 140722804871754 140722804871754 140722804875243 0
/proc/26311/statm: 2378 345 289 221 0 87 0
[pid=26313] ppid=26311 vsize=13980732 memory=61652 CPUtime=1.13 cores=0,2,4,6
/proc/26313/stat : 26313 (java) S 26311 26311 897 0 -1 1077944320 13005 0 0 0 109 4 0 0 20 0 15 0 64499223 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140728052284592 140216202194679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
/proc/26313/statm: 3495183 15413 3174 1 0 3483476 0
[pid=26313/tid=26314] ppid=26311 vsize=13980732 memory=140708161793376 CPUtime=0.54 cores=0,2,4,6
/proc/26313/task/26314/stat : 26314 (java) R 26311 26311 897 0 -1 4202560 8469 0 0 0 51 3 0 0 20 0 15 0 64499224 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140216206433920 140216183600937 0 4 1 16800974 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26315] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26315/stat : 26315 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140216121609232 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26316] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26316/stat : 26316 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215800818832 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26317] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26317/stat : 26317 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499234 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215799765776 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26318] ppid=26311 vsize=13980732 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26318/stat : 26318 (java) S 26311 26311 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64499234 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215798713232 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26319] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26319/stat : 26319 (java) S 26311 26311 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64499235 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215680719088 140216202205826 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26320] ppid=26311 vsize=13980732 memory=-6305712784912440960 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26320/stat : 26320 (java) S 26311 26311 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64499235 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215679665312 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26321] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26321/stat : 26321 (java) S 26311 26311 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64499236 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215678612208 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26322] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26322/stat : 26322 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64499238 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215677560784 140216202213275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26323] ppid=26311 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/26313/task/26323/stat : 26323 (java) R 26311 26311 897 0 -1 4202560 1053 0 0 0 15 0 0 0 20 0 15 0 64499238 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215676495344 140216185691463 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26324] ppid=26311 vsize=13980732 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26313/task/26324/stat : 26324 (java) R 26311 26311 897 0 -1 4202560 732 0 0 0 12 0 0 0 20 0 15 0 64499238 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215675445360 140216183738774 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26325] ppid=26311 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/26313/task/26325/stat : 26325 (java) S 26311 26311 897 0 -1 1077944384 1446 0 0 0 29 0 0 0 20 0 15 0 64499238 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215674403312 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26326] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26326/stat : 26326 (java) S 26311 26311 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64499238 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215673351008 140216202204885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
[pid=26313/tid=26327] ppid=26311 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26313/task/26327/stat : 26327 (java) S 26311 26311 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64499245 14316269568 15413 18446744073709551615 4194304 4196468 140728052302048 140215672298032 140216202205826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21680128 140728052310455 140728052310630 140728052310630 140728052314063 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63032 KiB
Child status: 0
Real time (s): 0.887347
CPU time (s): 1.38813
CPU user time (s): 1.3326
CPU system time (s): 0.055535
CPU usage (%): 156.436
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 63032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3326
system time used= 0.055535
maximum resident set size= 73196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15798
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= 1589
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 26311
# total CPU time (s): 1.38813
# total CPU user time (s): 1.3326
# total CPU system time (s): 0.055535
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021283 second user time and 0.050674 second system time
The end