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 (14954 MiB free)
memory of node 1: 16384 MiB (15572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269563-1502806723/watcher-4269563-1502806723 -o /tmp/evaluation-result-4269563-1502806723/solver-4269563-1502806723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 406716568 HOME/instance-4269563-1502806723.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=8830, runsolver pid=8827
[startup+0.10014 s]*
/proc/loadavg: 1.54 1.37 1.34 3/204 8837
/proc/meminfo: memFree=31254216/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69012936 9740288 345 18446744073709551615 4194304 5098028 140725536710384 140725536708488 140045976408700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35434496 140725536715129 140725536715333 140725536715333 140725536718827 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=13358712 memory=16412 CPUtime=0.01 cores=1,3,5,7
/proc/8832/stat : 8832 (java) S 8830 8830 11586 0 -1 1077944320 3339 0 0 0 1 0 0 0 20 0 6 0 69012944 13679321088 4103 18446744073709551615 4194304 4196468 140727279566000 140727279548544 139680772099831 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
/proc/8832/statm: 3339678 4103 1905 1 0 3329175 0
[pid=8832/tid=8833] ppid=8830 vsize=13358712 memory=4206751525541405026 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8833/stat : 8833 (java) R 8830 8830 11586 0 -1 4202560 2108 0 0 0 0 0 0 0 20 0 6 0 69012945 13679321088 4103 18446744073709551615 4194304 4196468 140727279566000 139680776335952 139680753493565 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8834] ppid=8830 vsize=13358712 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 69012945 13679321088 4103 18446744073709551615 4194304 4196468 140727279566000 139680729066640 139680772110037 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8835] ppid=8830 vsize=13358712 memory=140167075890816 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 69012945 13679321088 4103 18446744073709551615 4194304 4196468 140727279566000 139680728013840 139680772110037 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8836] ppid=8830 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 69012945 13679321088 4103 18446744073709551615 4194304 4196468 140727279566000 139680726961040 139680772110037 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8837] ppid=8830 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 69012945 13679321088 4103 18446744073709551615 4194304 4196468 140727279566000 139680368749328 139680772110037 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17792 KiB
[startup+0.209922 s]*
/proc/loadavg: 1.54 1.37 1.34 2/212 8845
/proc/meminfo: memFree=31249204/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69012936 9740288 345 18446744073709551615 4194304 5098028 140725536710384 140725536708488 140045976408700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35434496 140725536715129 140725536715333 140725536715333 140725536718827 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=13907304 memory=20712 CPUtime=0.05 cores=1,3,5,7
/proc/8832/stat : 8832 (java) S 8830 8830 11586 0 -1 1077944320 4557 0 0 0 4 1 0 0 20 0 14 0 69012944 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 140727279548544 139680772099831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
/proc/8832/statm: 3476826 5178 2582 1 0 3466323 0
[pid=8832/tid=8833] ppid=8830 vsize=13907304 memory=4206751525541405026 CPUtime=0.04 cores=1,3,5,7
/proc/8832/task/8833/stat : 8833 (java) D 8830 8830 11586 0 -1 4202560 2742 0 0 0 4 0 0 0 20 0 14 0 69012945 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139680776337312 139680772121853 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8834] ppid=8830 vsize=13907304 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 69012945 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139680729066640 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8835] ppid=8830 vsize=13907304 memory=140167075890816 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 69012945 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139680728013840 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8836] ppid=8830 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 69012945 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139680726961040 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8837] ppid=8830 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 69012945 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139680368749328 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8838] ppid=8830 vsize=13907304 memory=140167075890816 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 69012947 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139679957391728 139680772110978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8839] ppid=8830 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 69012947 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139679956337696 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8840] ppid=8830 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 69012947 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139679955284848 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8841] ppid=8830 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 69012950 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139679954233168 139680772118427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8842] ppid=8830 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8842/stat : 8842 (java) S 8830 8830 11586 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 69012950 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139679953181552 139680772110978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8843] ppid=8830 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8843/stat : 8843 (java) S 8830 8830 11586 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 69012950 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139679952128752 139680772110978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8844] ppid=8830 vsize=13907304 memory=140167075890816 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8844/stat : 8844 (java) S 8830 8830 11586 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 14 0 69012950 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139679951075952 139680772110978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8845] ppid=8830 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 69012950 14241079296 5178 18446744073709551615 4194304 4196468 140727279566000 139679950023392 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22092 KiB
[startup+0.30992 s]*
/proc/loadavg: 1.54 1.37 1.34 3/213 8846
/proc/meminfo: memFree=31238396/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69012936 9740288 345 18446744073709551615 4194304 5098028 140725536710384 140725536708488 140045976408700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35434496 140725536715129 140725536715333 140725536715333 140725536718827 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=13975376 memory=35008 CPUtime=0.22 cores=1,3,5,7
/proc/8832/stat : 8832 (java) S 8830 8830 11586 0 -1 1077944320 8682 0 0 0 20 2 0 0 20 0 15 0 69012944 14310785024 8752 18446744073709551615 4194304 4196468 140727279566000 140727279548544 139680772099831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
/proc/8832/statm: 3493844 8752 2973 1 0 3483220 0
[pid=8832/tid=8833] ppid=8830 vsize=13974352 memory=6933928925625698159 CPUtime=0.14 cores=1,3,5,7
/proc/8832/task/8833/stat : 8833 (java) R 8830 8830 11586 0 -1 4202560 5909 0 0 0 12 2 0 0 20 0 15 0 69012945 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139680776322208 139680774312772 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8834] ppid=8830 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012945 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139680729066640 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8835] ppid=8830 vsize=13974352 memory=8328162156141927054 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012945 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139680728013840 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8836] ppid=8830 vsize=13974352 memory=-7299339441649872004 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012945 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139680726961040 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8837] ppid=8830 vsize=13974352 memory=140167075890816 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012945 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139680368749328 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8838] ppid=8830 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012947 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679957391728 139680772110978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8839] ppid=8830 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69012947 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679956337696 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8840] ppid=8830 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69012947 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679955284848 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8841] ppid=8830 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69012950 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679954233168 139680772118427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8842] ppid=8830 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8832/task/8842/stat : 8842 (java) R 8830 8830 11586 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 15 0 69012950 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679953181552 139680772110978 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8843] ppid=8830 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8832/task/8843/stat : 8843 (java) R 8830 8830 11586 0 -1 4202560 191 0 0 0 1 0 0 0 20 0 15 0 69012950 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679952128752 139680772110978 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8844] ppid=8830 vsize=13974352 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8832/task/8844/stat : 8844 (java) R 8830 8830 11586 0 -1 4202560 712 0 0 0 4 0 0 0 20 0 15 0 69012950 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679951075952 139680772121178 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8845] ppid=8830 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69012950 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679950023392 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8846] ppid=8830 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8846/stat : 8846 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012958 14309736448 8555 18446744073709551615 4194304 4196468 140727279566000 139679948970672 139680772110978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36388 KiB
[startup+0.63349 s]
# the end of solver process 8830 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.835365 s, system=0.058535 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.418163 s]*
/proc/loadavg: 1.54 1.37 1.34 5/213 8846
/proc/meminfo: memFree=31228308/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69012936 9740288 345 18446744073709551615 4194304 5098028 140725536710384 140725536708488 140045976408700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35434496 140725536715129 140725536715333 140725536715333 140725536718827 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=13978608 memory=43072 CPUtime=0.42 cores=1,3,5,7
/proc/8832/stat : 8832 (java) S 8830 8830 11586 0 -1 1077944320 10139 0 0 0 38 4 0 0 20 0 15 0 69012944 14314094592 10768 18446744073709551615 4194304 4196468 140727279566000 140727279548544 139680772099831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
/proc/8832/statm: 3494652 10768 3053 1 0 3482964 0
[pid=8832/tid=8833] ppid=8830 vsize=13978608 memory=4206751525541405026 CPUtime=0.25 cores=1,3,5,7
/proc/8832/task/8833/stat : 8833 (java) R 8830 8830 11586 0 -1 4202560 7148 0 0 0 22 3 0 0 20 0 15 0 69012945 14314094592 10768 18446744073709551615 4194304 4196468 140727279566000 139680776315200 139680756180318 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8834] ppid=8830 vsize=13978608 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012945 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139680729066640 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8835] ppid=8830 vsize=13978608 memory=140167075890816 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012945 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139680728013840 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8836] ppid=8830 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012945 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139680726961040 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8837] ppid=8830 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012945 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139680368749328 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8838] ppid=8830 vsize=13978608 memory=140167075890816 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012947 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679957391728 139680772110978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8839] ppid=8830 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69012947 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679956337696 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8840] ppid=8830 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69012947 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679955284848 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8841] ppid=8830 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69012950 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679954233168 139680772118427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8842] ppid=8830 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8832/task/8842/stat : 8842 (java) S 8830 8830 11586 0 -1 1077944384 594 0 0 0 3 0 0 0 20 0 15 0 69012950 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679953181552 139680772110978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8843] ppid=8830 vsize=13978608 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8832/task/8843/stat : 8843 (java) S 8830 8830 11586 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 69012950 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679952128752 139680772110978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8844] ppid=8830 vsize=13978608 memory=140167075890816 CPUtime=0.1 cores=1,3,5,7
/proc/8832/task/8844/stat : 8844 (java) R 8830 8830 11586 0 -1 4202560 809 0 0 0 10 0 0 0 20 0 15 0 69012950 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679951075952 139680756180318 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8845] ppid=8830 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69012950 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679950023392 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8846] ppid=8830 vsize=13978608 memory=140167075890816 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8846/stat : 8846 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012958 14314094592 10822 18446744073709551615 4194304 4196468 140727279566000 139679948970672 139680772110978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 44452 KiB
[startup+0.619576 s]
/proc/loadavg: 1.54 1.37 1.34 3/213 8846
/proc/meminfo: memFree=31223532/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 69012936 9740288 345 18446744073709551615 4194304 5098028 140725536710384 140725536708488 140045976408700 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35434496 140725536715129 140725536715333 140725536715333 140725536718827 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=13980732 memory=60668 CPUtime=0.88 cores=1,3,5,7
/proc/8832/stat : 8832 (java) S 8830 8830 11586 0 -1 1077944320 12425 0 0 0 83 5 0 0 20 0 15 0 69012944 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 140727279548544 139680772099831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
/proc/8832/statm: 3495183 15167 3147 1 0 3483476 0
[pid=8832/tid=8833] ppid=8830 vsize=13980732 memory=15539639276543960 CPUtime=0.44 cores=1,3,5,7
/proc/8832/task/8833/stat : 8833 (java) R 8830 8830 11586 0 -1 4202560 8073 0 0 0 40 4 0 0 20 0 15 0 69012945 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139680776342776 139680772121178 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8834] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012945 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139680729066640 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8835] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012945 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139680728013840 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8836] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012945 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139680726961040 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8837] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012945 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139680368749328 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8838] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 69012947 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679957391728 139680772110978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8839] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 69012947 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679956337696 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8840] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 69012947 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679955284848 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8841] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69012950 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679954233168 139680772118427 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8842] ppid=8830 vsize=13980732 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8832/task/8842/stat : 8842 (java) R 8830 8830 11586 0 -1 4202560 1141 0 0 0 11 0 0 0 20 0 15 0 69012950 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679953162568 139680764389120 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8843] ppid=8830 vsize=13980732 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8832/task/8843/stat : 8843 (java) R 8830 8830 11586 0 -1 4202560 755 0 0 0 10 0 0 0 20 0 15 0 69012950 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679952111120 139680772121178 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8844] ppid=8830 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/8832/task/8844/stat : 8844 (java) S 8830 8830 11586 0 -1 1077944384 1152 0 0 0 20 0 0 0 20 0 15 0 69012950 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679951075952 139680772110978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8845] ppid=8830 vsize=13980732 memory=140167075890815 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 69012950 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679950023392 139680772110037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
[pid=8832/tid=8846] ppid=8830 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8832/task/8846/stat : 8846 (java) R 8830 8830 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 69012958 14316269568 15167 18446744073709551615 4194304 4196468 140727279566000 139679948970672 139680772110978 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10375168 140727279567281 140727279567457 140727279567457 140727279570895 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62048 KiB
Child status: 0
Real time (s): 0.633523
CPU time (s): 0.8939
CPU user time (s): 0.835365
CPU system time (s): 0.058535
CPU usage (%): 141.1
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 62048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.835365
system time used= 0.058535
maximum resident set size= 61368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12982
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= 1227
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 8830
# total CPU time (s): 0.8939
# total CPU user time (s): 0.835365
# total CPU system time (s): 0.058535
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021055 second user time and 0.051134 second system time
The end