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 (10417 MiB free)
memory of node 1: 16384 MiB (12176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290062-1532217516/watcher-4290062-1532217516 -o /tmp/evaluation-result-4290062-1532217516/solver-4290062-1532217516 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532209914-25961 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290062-1532217516.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
solver pid=27035, runsolver pid=27032
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 4.88 4.21 3.20 4/219 27050
/proc/meminfo: memFree=23118012/32770624 swapFree=67108860/67108860
[pid=27035] ppid=27032 vsize=10659012 memory=31472 CPUtime=0.13 cores=1,3,5,7
/proc/27035/stat : 27035 (java) S 27032 27035 23369 0 -1 1077944320 6432 0 0 0 11 2 0 0 20 0 15 0 39314785 10914828288 7868 33554432000 4194304 4196468 140726841955808 140726841938352 140544017997559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
/proc/27035/statm: 2664753 7868 2816 1 0 2627263 0
[pid=27035/tid=27037] ppid=27032 vsize=10659012 memory=-8701690554792054399 CPUtime=0.09 cores=1,3,5,7
/proc/27035/task/27037/stat : 27037 (java) R 27032 27035 23369 0 -1 4202560 4262 0 0 0 8 1 0 0 20 0 15 0 39314785 10914828288 7868 33554432000 4194304 4196468 140726841955808 140544022202224 140544018009494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27038] ppid=27032 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27038/stat : 27038 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314786 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543954688784 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27039] ppid=27032 vsize=10659012 memory=140170065114752 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27039/stat : 27039 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314786 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543953636240 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27040] ppid=27032 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27040/stat : 27040 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314786 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543952583696 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27041] ppid=27032 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27041/stat : 27041 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314786 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543951531152 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27042] ppid=27032 vsize=10659012 memory=140170065114752 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27042/stat : 27042 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314787 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543254276080 140544018008706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27043] ppid=27032 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27043/stat : 27043 (java) S 27032 27035 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39314788 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543253222304 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27044] ppid=27032 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27044/stat : 27044 (java) S 27032 27035 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39314788 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543252169712 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27045] ppid=27032 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27045/stat : 27045 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314790 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543251118288 140544018016155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27046] ppid=27032 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27046/stat : 27046 (java) S 27032 27035 23369 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 39314790 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543250065904 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27047] ppid=27032 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27047/stat : 27047 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314790 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543249013360 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27048] ppid=27032 vsize=10659012 memory=140170065114752 CPUtime=0.02 cores=1,3,5,7
/proc/27035/task/27048/stat : 27048 (java) S 27032 27035 23369 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 39314790 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543247960816 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27049] ppid=27032 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27049/stat : 27049 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314791 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543246908512 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27050] ppid=27032 vsize=10659012 memory=140170065114752 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27050/stat : 27050 (java) R 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314791 10914828288 7868 33554432000 4194304 4196468 140726841955808 140543245855024 140544018008706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31472 KiB
[startup+0.212133 s]*
/proc/loadavg: 4.88 4.21 3.20 4/219 27050
/proc/meminfo: memFree=23105296/32770624 swapFree=67108860/67108860
[pid=27035] ppid=27032 vsize=10659012 memory=42196 CPUtime=0.33 cores=1,3,5,7
/proc/27035/stat : 27035 (java) S 27032 27035 23369 0 -1 1077944320 7641 0 0 0 31 2 0 0 20 0 15 0 39314785 10914828288 10549 33554432000 4194304 4196468 140726841955808 140726841938352 140544017997559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
/proc/27035/statm: 2664753 10549 2994 1 0 2627263 0
[pid=27035/tid=27037] ppid=27032 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27035/task/27037/stat : 27037 (java) R 27032 27035 23369 0 -1 4202560 4612 0 0 0 19 1 0 0 20 0 15 0 39314785 10914828288 10549 33554432000 4194304 4196468 140726841955808 140544022233824 140543999897296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27038] ppid=27032 vsize=10659012 memory=365 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27038/stat : 27038 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314786 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543954688784 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27039] ppid=27032 vsize=10659012 memory=140170065311925 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27039/stat : 27039 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314786 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543953636240 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27040] ppid=27032 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27040/stat : 27040 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314786 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543952583696 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27041] ppid=27032 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27041/stat : 27041 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314786 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543951531152 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27042] ppid=27032 vsize=10659012 memory=140170065114752 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27042/stat : 27042 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314787 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543254276080 140544018008706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27043] ppid=27032 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27043/stat : 27043 (java) S 27032 27035 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39314788 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543253222304 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27044] ppid=27032 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27044/stat : 27044 (java) S 27032 27035 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39314788 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543252169712 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27045] ppid=27032 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27045/stat : 27045 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314790 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543251118288 140544018016155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27046] ppid=27032 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27035/task/27046/stat : 27046 (java) R 27032 27035 23369 0 -1 1077944384 662 0 0 0 1 0 0 0 20 0 15 0 39314790 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543250065904 140544018008706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27047] ppid=27032 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27035/task/27047/stat : 27047 (java) R 27032 27035 23369 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 15 0 39314790 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543249013360 140544018008706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27048] ppid=27032 vsize=10659012 memory=140170065114752 CPUtime=0.07 cores=1,3,5,7
/proc/27035/task/27048/stat : 27048 (java) R 27032 27035 23369 0 -1 4202560 672 0 0 0 7 0 0 0 20 0 15 0 39314790 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543247960816 140544018018906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27049] ppid=27032 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27049/stat : 27049 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314791 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543246908512 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27050] ppid=27032 vsize=10659012 memory=140170065114752 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27050/stat : 27050 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314791 10914828288 10549 33554432000 4194304 4196468 140726841955808 140543245855024 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42196 KiB
[startup+0.310442 s]*
/proc/loadavg: 4.88 4.21 3.20 4/219 27050
/proc/meminfo: memFree=23100148/32770624 swapFree=67108860/67108860
[pid=27035] ppid=27032 vsize=10659088 memory=47152 CPUtime=0.51 cores=1,3,5,7
/proc/27035/stat : 27035 (java) S 27032 27035 23369 0 -1 1077944320 8514 0 0 0 49 2 0 0 20 0 15 0 39314785 10914906112 11788 33554432000 4194304 4196468 140726841955808 140726841938352 140544017997559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
/proc/27035/statm: 2664772 11788 3054 1 0 2627263 0
[pid=27035/tid=27037] ppid=27032 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/27035/task/27037/stat : 27037 (java) R 27032 27035 23369 0 -1 4202560 5296 0 0 0 28 1 0 0 20 0 15 0 39314785 10914906112 11788 33554432000 4194304 4196468 140726841955808 140544022232448 140544018009494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27038] ppid=27032 vsize=10659088 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27038/stat : 27038 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314786 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543954688784 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27039] ppid=27032 vsize=10659088 memory=140170065307122 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27039/stat : 27039 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314786 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543953636240 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27040] ppid=27032 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27040/stat : 27040 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314786 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543952583696 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27041] ppid=27032 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27041/stat : 27041 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314786 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543951531152 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27042] ppid=27032 vsize=10659088 memory=140170065114752 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27042/stat : 27042 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39314787 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543254276080 140544018008706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27043] ppid=27032 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27043/stat : 27043 (java) S 27032 27035 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39314788 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543253222304 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27044] ppid=27032 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27044/stat : 27044 (java) S 27032 27035 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39314788 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543252169712 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27045] ppid=27032 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27045/stat : 27045 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314790 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543251118288 140544018016155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27046] ppid=27032 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27035/task/27046/stat : 27046 (java) R 27032 27035 23369 0 -1 1077944384 780 0 0 0 4 0 0 0 20 0 15 0 39314790 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543250065904 140544018008706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27047] ppid=27032 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27035/task/27047/stat : 27047 (java) R 27032 27035 23369 0 -1 4202560 345 0 0 0 4 0 0 0 20 0 15 0 39314790 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543249013360 140544010982601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27048] ppid=27032 vsize=10659088 memory=140170065114752 CPUtime=0.12 cores=1,3,5,7
/proc/27035/task/27048/stat : 27048 (java) R 27032 27035 23369 0 -1 4202560 725 0 0 0 12 0 0 0 20 0 15 0 39314790 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543247960816 140544002078046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27049] ppid=27032 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27049/stat : 27049 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39314791 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543246908512 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27050] ppid=27032 vsize=10659088 memory=140170065114752 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27050/stat : 27050 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39314791 10914906112 11788 33554432000 4194304 4196468 140726841955808 140543245855024 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47152 KiB
[startup+0.700766 s]
/proc/loadavg: 4.88 4.21 3.20 4/220 27053
/proc/meminfo: memFree=23082608/32770624 swapFree=67108860/67108860
[pid=27035] ppid=27032 vsize=10858780 memory=64720 CPUtime=1.16 cores=1,3,5,7
/proc/27035/stat : 27035 (java) S 27032 27035 23369 0 -1 1077944320 10989 0 0 0 113 3 0 0 20 0 16 0 39314785 11119390720 16180 33554432000 4194304 4196468 140726841955808 140726841938352 140544017997559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
/proc/27035/statm: 2714695 16180 3104 1 0 2677186 0
[pid=27035/tid=27037] ppid=27032 vsize=10858780 memory=2448 CPUtime=0.47 cores=1,3,5,7
/proc/27035/task/27037/stat : 27037 (java) S 27032 27035 23369 0 -1 1077944384 5579 0 0 0 45 2 0 0 20 0 16 0 39314785 11119390720 16692 33554432000 4194304 4196468 140726841955808 140544022238240 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27038] ppid=27032 vsize=10858780 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27038/stat : 27038 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314786 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543954688784 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27039] ppid=27032 vsize=10858780 memory=792 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27039/stat : 27039 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39314786 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543953636240 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27040] ppid=27032 vsize=10858780 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27040/stat : 27040 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39314786 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543952583696 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27041] ppid=27032 vsize=10858780 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27041/stat : 27041 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314786 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543951531152 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27042] ppid=27032 vsize=10858780 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27042/stat : 27042 (java) S 27032 27035 23369 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 39314787 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543254276080 140544018008706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27043] ppid=27032 vsize=10858780 memory=7302135314614015842 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27043/stat : 27043 (java) S 27032 27035 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39314788 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543253222304 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27044] ppid=27032 vsize=10858780 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27044/stat : 27044 (java) S 27032 27035 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39314788 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543252169712 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27045] ppid=27032 vsize=10858780 memory=5787213827131598673 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27045/stat : 27045 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39314790 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543251118288 140544018016155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27046] ppid=27032 vsize=10858780 memory=5450909908396308010 CPUtime=0.21 cores=1,3,5,7
/proc/27035/task/27046/stat : 27046 (java) S 27032 27035 23369 0 -1 1077944384 1733 0 0 0 21 0 0 0 20 0 16 0 39314790 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543250065904 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27047] ppid=27032 vsize=10858780 memory=8110268427993965958 CPUtime=0.23 cores=1,3,5,7
/proc/27035/task/27047/stat : 27047 (java) S 27032 27035 23369 0 -1 1077944384 1131 0 0 0 23 0 0 0 20 0 16 0 39314790 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543249013360 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27048] ppid=27032 vsize=10858780 memory=6944656592455360569 CPUtime=0.22 cores=1,3,5,7
/proc/27035/task/27048/stat : 27048 (java) R 27032 27035 23369 0 -1 1077944384 1106 0 0 0 22 0 0 0 20 0 16 0 39314790 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543247960816 140544018008706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27049] ppid=27032 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27049/stat : 27049 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39314791 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543246908512 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27050] ppid=27032 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27050/stat : 27050 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314791 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543245855024 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27052] ppid=27032 vsize=10858780 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27052/stat : 27052 (java) R 27032 27035 23369 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 16 0 39314835 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543243748496 140544018019389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 64720 KiB
[startup+0.716308 s]
# the end of solver process 27035 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.13638 s, system=0.042959 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.700766 s]
/proc/loadavg: 4.88 4.21 3.20 4/220 27053
/proc/meminfo: memFree=23082608/32770624 swapFree=67108860/67108860
[pid=27035] ppid=27032 vsize=10858780 memory=64720 CPUtime=1.16 cores=1,3,5,7
/proc/27035/stat : 27035 (java) S 27032 27035 23369 0 -1 1077944320 10989 0 0 0 113 3 0 0 20 0 16 0 39314785 11119390720 16180 33554432000 4194304 4196468 140726841955808 140726841938352 140544017997559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
/proc/27035/statm: 2714695 16180 3104 1 0 2677186 0
[pid=27035/tid=27037] ppid=27032 vsize=10858780 memory=2448 CPUtime=0.47 cores=1,3,5,7
/proc/27035/task/27037/stat : 27037 (java) S 27032 27035 23369 0 -1 1077944384 5579 0 0 0 45 2 0 0 20 0 16 0 39314785 11119390720 16692 33554432000 4194304 4196468 140726841955808 140544022238240 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27038] ppid=27032 vsize=10858780 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27038/stat : 27038 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314786 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543954688784 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27039] ppid=27032 vsize=10858780 memory=792 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27039/stat : 27039 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39314786 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543953636240 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27040] ppid=27032 vsize=10858780 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27040/stat : 27040 (java) S 27032 27035 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39314786 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543952583696 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27041] ppid=27032 vsize=10858780 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27041/stat : 27041 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314786 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543951531152 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27042] ppid=27032 vsize=10858780 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27042/stat : 27042 (java) S 27032 27035 23369 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 39314787 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543254276080 140544018008706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27043] ppid=27032 vsize=10858780 memory=7302135314614015842 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27043/stat : 27043 (java) S 27032 27035 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39314788 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543253222304 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27044] ppid=27032 vsize=10858780 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27044/stat : 27044 (java) S 27032 27035 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39314788 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543252169712 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27045] ppid=27032 vsize=10858780 memory=5787213827131598673 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27045/stat : 27045 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39314790 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543251118288 140544018016155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27046] ppid=27032 vsize=10858780 memory=5450909908396308010 CPUtime=0.21 cores=1,3,5,7
/proc/27035/task/27046/stat : 27046 (java) S 27032 27035 23369 0 -1 1077944384 1733 0 0 0 21 0 0 0 20 0 16 0 39314790 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543250065904 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27047] ppid=27032 vsize=10858780 memory=8110268427993965958 CPUtime=0.23 cores=1,3,5,7
/proc/27035/task/27047/stat : 27047 (java) S 27032 27035 23369 0 -1 1077944384 1131 0 0 0 23 0 0 0 20 0 16 0 39314790 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543249013360 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27048] ppid=27032 vsize=10858780 memory=6944656592455360569 CPUtime=0.22 cores=1,3,5,7
/proc/27035/task/27048/stat : 27048 (java) R 27032 27035 23369 0 -1 1077944384 1106 0 0 0 22 0 0 0 20 0 16 0 39314790 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543247960816 140544018008706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27049] ppid=27032 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27049/stat : 27049 (java) S 27032 27035 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39314791 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543246908512 140544018007765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27050] ppid=27032 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27050/stat : 27050 (java) S 27032 27035 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39314791 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543245855024 140544018008706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
[pid=27035/tid=27052] ppid=27032 vsize=10858780 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27035/task/27052/stat : 27052 (java) R 27032 27035 23369 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 16 0 39314835 11119390720 16692 33554432000 4194304 4196468 140726841955808 140543243748496 140544018019389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29089792 140726841959537 140726841959689 140726841959689 140726841962447 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 64720 KiB
Child status: 0
Real time (s): 0.716338
CPU time (s): 1.17934
CPU user time (s): 1.13638
CPU system time (s): 0.042959
CPU usage (%): 164.634
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 64720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.13638
system time used= 0.042959
maximum resident set size= 67328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11000
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= 1429
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 27035
# total CPU time (s): 1.17934
# total CPU user time (s): 1.13638
# total CPU system time (s): 0.042959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023997 second user time and 0.051517 second system time
The end