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 (15415 MiB free)
memory of node 1: 16384 MiB (15239 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263676-1502609122/watcher-4263676-1502609122 -o /tmp/evaluation-result-4263676-1502609122/solver-4263676-1502609122 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502596857-19456 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263676-1502609122.xml
running on 4 cores: 0,2,4,6
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=22169, runsolver pid=22166
[startup+0.10017 s]*
/proc/loadavg: 2.06 2.06 2.07 3/208 22178
/proc/meminfo: memFree=31379016/32770624 swapFree=67105588/67108860
[pid=22169] ppid=22166 vsize=10484492 memory=23672 CPUtime=0.05 cores=0,2,4,6
/proc/22169/stat : 22169 (java) S 22166 22169 12560 0 -1 1077944320 4883 0 0 0 4 1 0 0 20 0 14 0 63107670 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 140736401382640 139798854561527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
/proc/22169/statm: 2621123 5918 2552 1 0 2610620 0
[pid=22169/tid=22171] ppid=22166 vsize=10484492 memory=7077796292425249400 CPUtime=0.05 cores=0,2,4,6
/proc/22169/task/22171/stat : 22171 (java) D 22166 22169 12560 0 -1 4202560 2995 0 0 0 4 1 0 0 20 0 14 0 63107676 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139798858799008 139798854583549 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22172] ppid=22166 vsize=10484492 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22172/stat : 22172 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63107676 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139798784982032 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22173] ppid=22166 vsize=10484492 memory=140584526980736 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22173/stat : 22173 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63107676 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139798783929488 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22174] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22174/stat : 22174 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63107676 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139798782876432 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22175] ppid=22166 vsize=10484492 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22175/stat : 22175 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 63107676 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139798781823888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22176] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22176/stat : 22176 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 63107678 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139797894985968 139798854572674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22177] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22177/stat : 22177 (java) S 22166 22169 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 63107678 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139797893932192 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22178] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22178/stat : 22178 (java) S 22166 22169 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 63107678 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139797892879088 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22179] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22179/stat : 22179 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 63107681 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139797891827664 139798854580123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22180] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22180/stat : 22180 (java) S 22166 22169 12560 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 14 0 63107681 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139797890775792 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22181] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22181/stat : 22181 (java) S 22166 22169 12560 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 14 0 63107681 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139797889723248 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22182] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22182/stat : 22182 (java) S 22166 22169 12560 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 63107681 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139797888670192 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22183] ppid=22166 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22183/stat : 22183 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 63107681 10736119808 5918 18446744073709551615 4194304 4196468 140736401400096 139797887617888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23672 KiB
[startup+0.210458 s]*
/proc/loadavg: 2.06 2.06 2.07 6/214 22184
/proc/meminfo: memFree=31370624/32770624 swapFree=67105588/67108860
[pid=22169] ppid=22166 vsize=10551156 memory=30708 CPUtime=0.18 cores=0,2,4,6
/proc/22169/stat : 22169 (java) S 22166 22169 12560 0 -1 1077944320 8007 0 0 0 15 3 0 0 20 0 15 0 63107670 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 140736401382640 139798854561527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
/proc/22169/statm: 2637789 7677 2798 1 0 2627261 0
[pid=22169/tid=22171] ppid=22166 vsize=10551156 memory=8316850467074736180 CPUtime=0.12 cores=0,2,4,6
/proc/22169/task/22171/stat : 22171 (java) R 22166 22169 12560 0 -1 4202560 5794 0 0 0 10 2 0 0 20 0 15 0 63107676 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139798858793680 139798835956733 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22172] ppid=22166 vsize=10551156 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22172/stat : 22172 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139798784982032 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22173] ppid=22166 vsize=10551156 memory=288370960678692480 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22173/stat : 22173 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139798783929488 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22174] ppid=22166 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22174/stat : 22174 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139798782876432 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22175] ppid=22166 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22175/stat : 22175 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63107676 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139798781823888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22176] ppid=22166 vsize=10551156 memory=140584526980736 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22176/stat : 22176 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63107678 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797894985968 139798854572674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22177] ppid=22166 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22177/stat : 22177 (java) S 22166 22169 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63107678 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797893932192 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22178] ppid=22166 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22178/stat : 22178 (java) S 22166 22169 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63107678 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797892879088 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22179] ppid=22166 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22179/stat : 22179 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63107681 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797891827664 139798854580123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22180] ppid=22166 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22180/stat : 22180 (java) R 22166 22169 12560 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 63107681 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797890775792 139798854572674 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22181] ppid=22166 vsize=10551156 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22169/task/22181/stat : 22181 (java) S 22166 22169 12560 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 63107681 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797889723248 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22182] ppid=22166 vsize=10551156 memory=140584526980736 CPUtime=0.02 cores=0,2,4,6
/proc/22169/task/22182/stat : 22182 (java) R 22166 22169 12560 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 63107681 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797888670192 139798854582874 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22183] ppid=22166 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22183/stat : 22183 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63107681 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797887617888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22184] ppid=22166 vsize=10551156 memory=140584526980736 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22184/stat : 22184 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107685 10804383744 7677 18446744073709551615 4194304 4196468 140736401400096 139797886564912 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30708 KiB
[startup+0.310386 s]*
/proc/loadavg: 2.06 2.06 2.07 4/214 22184
/proc/meminfo: memFree=31364532/32770624 swapFree=67105588/67108860
[pid=22169] ppid=22166 vsize=10551156 memory=38264 CPUtime=0.32 cores=0,2,4,6
/proc/22169/stat : 22169 (java) S 22166 22169 12560 0 -1 1077944320 9440 0 0 0 28 4 0 0 20 0 15 0 63107670 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 140736401382640 139798854561527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
/proc/22169/statm: 2637789 9566 2924 1 0 2627261 0
[pid=22169/tid=22171] ppid=22166 vsize=10551156 memory=8316850467074736180 CPUtime=0.22 cores=0,2,4,6
/proc/22169/task/22171/stat : 22171 (java) R 22166 22169 12560 0 -1 4202560 6994 0 0 0 19 3 0 0 20 0 15 0 63107676 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139798858791904 139798854573462 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22172] ppid=22166 vsize=10551156 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22172/stat : 22172 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139798784982032 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22173] ppid=22166 vsize=10551156 memory=320860864852056448 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22173/stat : 22173 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139798783929488 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22174] ppid=22166 vsize=10551156 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22174/stat : 22174 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139798782876432 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22175] ppid=22166 vsize=10551156 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22175/stat : 22175 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63107676 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139798781823888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22176] ppid=22166 vsize=10551156 memory=3471342980847818416 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22176/stat : 22176 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63107678 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797894985968 139798854572674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22177] ppid=22166 vsize=10551156 memory=3906601348415973474 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22177/stat : 22177 (java) S 22166 22169 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63107678 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797893932192 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22178] ppid=22166 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22178/stat : 22178 (java) S 22166 22169 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63107678 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797892879088 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22179] ppid=22166 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22179/stat : 22179 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63107681 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797891827664 139798854580123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22180] ppid=22166 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22169/task/22180/stat : 22180 (java) R 22166 22169 12560 0 -1 4202560 135 0 0 0 1 0 0 0 20 0 15 0 63107681 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797890756808 139798838072760 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22181] ppid=22166 vsize=10551156 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22169/task/22181/stat : 22181 (java) S 22166 22169 12560 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 15 0 63107681 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797889723248 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22182] ppid=22166 vsize=10551156 memory=140584526980736 CPUtime=0.05 cores=0,2,4,6
/proc/22169/task/22182/stat : 22182 (java) R 22166 22169 12560 0 -1 1077944384 457 0 0 0 5 0 0 0 20 0 15 0 63107681 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797888670192 139798854572674 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22183] ppid=22166 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22183/stat : 22183 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63107681 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797887617888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22184] ppid=22166 vsize=10551156 memory=140584526980736 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22184/stat : 22184 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107685 10804383744 9566 18446744073709551615 4194304 4196468 140736401400096 139797886564912 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 38264 KiB
[startup+0.689723 s]
# the end of solver process 22169 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.894599 s, system=0.060948 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.411246 s]*
/proc/loadavg: 2.06 2.06 2.07 3/214 22184
/proc/meminfo: memFree=31357212/32770624 swapFree=67105588/67108860
[pid=22169] ppid=22166 vsize=10551232 memory=46640 CPUtime=0.56 cores=0,2,4,6
/proc/22169/stat : 22169 (java) S 22166 22169 12560 0 -1 1077944320 10580 0 0 0 51 5 0 0 20 0 15 0 63107670 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 140736401382640 139798854561527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
/proc/22169/statm: 2637808 11660 3008 1 0 2627261 0
[pid=22169/tid=22171] ppid=22166 vsize=10551232 memory=8316850467074736180 CPUtime=0.31 cores=0,2,4,6
/proc/22169/task/22171/stat : 22171 (java) R 22166 22169 12560 0 -1 4202560 7378 0 0 0 28 3 0 0 20 0 15 0 63107676 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139798858799344 139798452933048 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22172] ppid=22166 vsize=10551232 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22172/stat : 22172 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139798784982032 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22173] ppid=22166 vsize=10551232 memory=288370960678692480 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22173/stat : 22173 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139798783929488 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22174] ppid=22166 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22174/stat : 22174 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107676 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139798782876432 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22175] ppid=22166 vsize=10551232 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22175/stat : 22175 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63107676 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139798781823888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22176] ppid=22166 vsize=10551232 memory=140584526980736 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22176/stat : 22176 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63107678 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797894985968 139798854572674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22177] ppid=22166 vsize=10551232 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22177/stat : 22177 (java) S 22166 22169 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63107678 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797893932192 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22178] ppid=22166 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22178/stat : 22178 (java) S 22166 22169 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63107678 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797892879088 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22179] ppid=22166 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22179/stat : 22179 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63107681 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797891827664 139798854580123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22180] ppid=22166 vsize=10551232 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/22169/task/22180/stat : 22180 (java) R 22166 22169 12560 0 -1 1077944384 433 0 0 0 5 0 0 0 20 0 15 0 63107681 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797890775792 139798854572674 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22181] ppid=22166 vsize=10551232 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/22169/task/22181/stat : 22181 (java) R 22166 22169 12560 0 -1 4202560 636 0 0 0 4 0 0 0 20 0 15 0 63107681 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797889723248 139798839340992 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22182] ppid=22166 vsize=10551232 memory=140584526980736 CPUtime=0.12 cores=0,2,4,6
/proc/22169/task/22182/stat : 22182 (java) S 22166 22169 12560 0 -1 1077944384 766 0 0 0 12 0 0 0 20 0 15 0 63107681 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797888670192 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22183] ppid=22166 vsize=10551232 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22183/stat : 22183 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63107681 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797887617888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22184] ppid=22166 vsize=10551232 memory=140584526980736 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22184/stat : 22184 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63107685 10804461568 11660 18446744073709551615 4194304 4196468 140736401400096 139797886564912 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 46640 KiB
[startup+0.610302 s]
/proc/loadavg: 2.06 2.06 2.07 4/215 22187
/proc/meminfo: memFree=31345792/32770624 swapFree=67105588/67108860
[pid=22169] ppid=22166 vsize=10750924 memory=60280 CPUtime=0.93 cores=0,2,4,6
/proc/22169/stat : 22169 (java) S 22166 22169 12560 0 -1 1077944320 12446 0 0 0 88 5 0 0 20 0 16 0 63107670 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 140736401382640 139798854561527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
/proc/22169/statm: 2687731 15070 3059 1 0 2677184 0
[pid=22169/tid=22171] ppid=22166 vsize=10750924 memory=297237782437569213 CPUtime=0.37 cores=0,2,4,6
/proc/22169/task/22171/stat : 22171 (java) S 22166 22169 12560 0 -1 1077944384 7420 0 0 0 34 3 0 0 20 0 16 0 63107676 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139798858802208 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22172] ppid=22166 vsize=10750924 memory=13851880372051430 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22172/stat : 22172 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 63107676 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139798784982032 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22173] ppid=22166 vsize=10750924 memory=-7023579799431922829 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22173/stat : 22173 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 63107676 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139798783929488 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22174] ppid=22166 vsize=10750924 memory=-7240599211820661557 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22174/stat : 22174 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 63107676 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139798782876432 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22175] ppid=22166 vsize=10750924 memory=-7384994778349281184 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22175/stat : 22175 (java) S 22166 22169 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 63107676 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139798781823888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22176] ppid=22166 vsize=10750924 memory=7232886968738802340 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22176/stat : 22176 (java) S 22166 22169 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 63107678 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797894985968 139798854572674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22177] ppid=22166 vsize=10750924 memory=-6876588628788210059 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22177/stat : 22177 (java) S 22166 22169 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 63107678 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797893932192 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22178] ppid=22166 vsize=10750924 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22178/stat : 22178 (java) S 22166 22169 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 63107678 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797892879088 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22179] ppid=22166 vsize=10750924 memory=7976406965554101975 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22179/stat : 22179 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 63107681 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797891827664 139798854580123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22180] ppid=22166 vsize=10750924 memory=6656426216303648864 CPUtime=0.17 cores=0,2,4,6
/proc/22169/task/22180/stat : 22180 (java) S 22166 22169 12560 0 -1 1077944384 958 0 0 0 17 0 0 0 20 0 16 0 63107681 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797890775792 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22181] ppid=22166 vsize=10750924 memory=6944652177228980320 CPUtime=0.21 cores=0,2,4,6
/proc/22169/task/22181/stat : 22181 (java) S 22166 22169 12560 0 -1 1077944384 1794 0 0 0 21 0 0 0 20 0 16 0 63107681 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797889723248 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22182] ppid=22166 vsize=10750924 memory=6655300316396806240 CPUtime=0.15 cores=0,2,4,6
/proc/22169/task/22182/stat : 22182 (java) S 22166 22169 12560 0 -1 1077944384 837 0 0 0 15 0 0 0 20 0 16 0 63107681 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797888670192 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22183] ppid=22166 vsize=10750924 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22183/stat : 22183 (java) S 22166 22169 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 63107681 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797887617888 139798854571733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22184] ppid=22166 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22184/stat : 22184 (java) S 22166 22169 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 63107685 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797886564912 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
[pid=22169/tid=22186] ppid=22166 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22169/task/22186/stat : 22186 (java) S 22166 22169 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 63107718 11008946176 15070 18446744073709551615 4194304 4196468 140736401400096 139797884457872 139798854572674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28454912 140736401408400 140736401408553 140736401408553 140736401412047 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 60280 KiB
Child status: 0
Real time (s): 0.689773
CPU time (s): 0.955547
CPU user time (s): 0.894599
CPU system time (s): 0.060948
CPU usage (%): 138.531
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 60280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.894599
system time used= 0.060948
maximum resident set size= 62952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12461
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= 1020
involuntary context switches= 1
# summary of solver processes directly reported to runsolver:
# pid: 22169
# total CPU time (s): 0.955547
# total CPU user time (s): 0.894599
# total CPU system time (s): 0.060948
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02512 second user time and 0.049275 second system time
The end