runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453617-1307195850/watcher-3453617-1307195850 -o /tmp/evaluation-result-3453617-1307195850/solver-3453617-1307195850 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453617-1307195850.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.04 2.78 3/582 8652
/proc/meminfo: memFree=28875812/32950928 swapFree=41528364/67111528
[pid=8652] ppid=8650 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/8652/stat : 8652 (java) S 8650 8652 3716 0 -1 4202496 2576 0 1 0 0 0 0 0 25 0 2 0 831183672 10681323520 2279 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/8652/statm: 2607745 2292 906 9 0 2598901 0
[pid=8652/tid=8653] ppid=8650 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8653/stat : 8653 (java) R 8650 8652 3716 0 -1 4202560 8749 0 1 0 0 0 0 0 25 0 9 0 831183673 10703704064 9573 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251814283447 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=8652/tid=8654] ppid=8650 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8654/stat : 8654 (java) R 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831183674 10703704064 9577 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=8652/tid=8655] ppid=8650 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8655/stat : 8655 (java) R 8650 8652 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 831183674 10703900672 9587 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=8652/tid=8656] ppid=8650 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8656/stat : 8656 (java) R 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831183674 10703900672 9602 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=8652/tid=8657] ppid=8650 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8657/stat : 8657 (java) R 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831183674 10703900672 9616 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=8652/tid=8658] ppid=8650 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8658/stat : 8658 (java) R 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831183674 10703900672 9627 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=8652/tid=8659] ppid=8650 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8659/stat : 8659 (java) R 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831183674 10703900672 9634 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=8652/tid=8660] ppid=8650 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8660/stat : 8660 (java) R 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831183674 10703900672 9639 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=8652/tid=8661] ppid=8650 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8661/stat : 8661 (java) R 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831183674 10703900672 9639 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0924829 s]
/proc/loadavg: 2.02 2.04 2.78 3/582 8652
/proc/meminfo: memFree=28875812/32950928 swapFree=41528364/67111528
[pid=8652] ppid=8650 vsize=10540284 CPUtime=0.1 cores=1,3,5,7
/proc/8652/stat : 8652 (java) S 8650 8652 3716 0 -1 4202496 12950 0 1 0 9 1 0 0 25 0 18 0 831183672 10793250816 12646 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8652/statm: 2635071 12646 2092 9 0 2625805 0
[pid=8652/tid=8653] ppid=8650 vsize=10540284 CPUtime=0.07 cores=1,3,5,7
/proc/8652/task/8653/stat : 8653 (java) R 8650 8652 3716 0 -1 4202560 11056 0 1 0 7 0 0 0 25 0 18 0 831183673 10793250816 12646 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 46942797155155 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8652/tid=8654] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8654/stat : 8654 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12647 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8655] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8655/stat : 8655 (java) S 8650 8652 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12647 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8656] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8656/stat : 8656 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12647 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8657] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8657/stat : 8657 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12648 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8658] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8658/stat : 8658 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12649 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8659] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8659/stat : 8659 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12649 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8660] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8660/stat : 8660 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12649 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8661] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8661/stat : 8661 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12649 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540284
[startup+0.100476 s]
/proc/loadavg: 2.02 2.04 2.78 3/582 8652
/proc/meminfo: memFree=28875812/32950928 swapFree=41528364/67111528
[pid=8652] ppid=8650 vsize=10540284 CPUtime=0.1 cores=1,3,5,7
/proc/8652/stat : 8652 (java) S 8650 8652 3716 0 -1 4202496 13077 0 1 0 9 1 0 0 25 0 18 0 831183672 10793250816 12773 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8652/statm: 2635071 12774 2092 9 0 2625805 0
[pid=8652/tid=8653] ppid=8650 vsize=10540284 CPUtime=0.08 cores=1,3,5,7
/proc/8652/task/8653/stat : 8653 (java) R 8650 8652 3716 0 -1 4202560 11185 0 1 0 8 0 0 0 25 0 18 0 831183673 10793250816 12775 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251813901345 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8652/tid=8654] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8654/stat : 8654 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12775 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8655] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8655/stat : 8655 (java) S 8650 8652 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12778 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8656] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8656/stat : 8656 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12778 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8657] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8657/stat : 8657 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12778 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8658] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8658/stat : 8658 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12778 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8659] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8659/stat : 8659 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12778 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8660] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8660/stat : 8660 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12778 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8661] ppid=8650 vsize=10540284 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8661/stat : 8661 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10793250816 12779 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540284
[startup+0.300446 s]
/proc/loadavg: 2.02 2.04 2.78 3/582 8652
/proc/meminfo: memFree=28875812/32950928 swapFree=41528364/67111528
[pid=8652] ppid=8650 vsize=10541920 CPUtime=0.45 cores=1,3,5,7
/proc/8652/stat : 8652 (java) S 8650 8652 3716 0 -1 4202496 15846 0 1 0 44 1 0 0 25 0 18 0 831183672 10794926080 15411 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8652/statm: 2635480 15411 2207 9 0 2626214 0
[pid=8652/tid=8653] ppid=8650 vsize=10541920 CPUtime=0.29 cores=1,3,5,7
/proc/8652/task/8653/stat : 8653 (java) R 8650 8652 3716 0 -1 4202560 13105 0 1 0 28 1 0 0 25 0 18 0 831183673 10794926080 15412 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 46942797155124 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8652/tid=8654] ppid=8650 vsize=10541920 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8654/stat : 8654 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10794926080 15412 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8655] ppid=8650 vsize=10541920 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8655/stat : 8655 (java) S 8650 8652 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831183674 10794926080 15413 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8656] ppid=8650 vsize=10541920 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8656/stat : 8656 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10794926080 15413 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8657] ppid=8650 vsize=10541920 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8657/stat : 8657 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10794926080 15413 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8658] ppid=8650 vsize=10541920 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8658/stat : 8658 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10794926080 15414 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8659] ppid=8650 vsize=10541920 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8659/stat : 8659 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10794926080 15414 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8660] ppid=8650 vsize=10541920 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8660/stat : 8660 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10794926080 15414 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8661] ppid=8650 vsize=10541920 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8661/stat : 8661 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10794926080 15415 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541920
[startup+0.700383 s]
/proc/loadavg: 2.02 2.04 2.78 3/582 8652
/proc/meminfo: memFree=28875812/32950928 swapFree=41528364/67111528
[pid=8652] ppid=8650 vsize=10549328 CPUtime=1.58 cores=1,3,5,7
/proc/8652/stat : 8652 (java) S 8650 8652 3716 0 -1 4202496 38381 0 1 0 153 5 0 0 25 0 18 0 831183672 10802511872 35756 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8652/statm: 2637332 35759 2226 9 0 2628066 0
[pid=8652/tid=8653] ppid=8650 vsize=10549328 CPUtime=0.68 cores=1,3,5,7
/proc/8652/task/8653/stat : 8653 (java) R 8650 8652 3716 0 -1 4202560 28528 0 1 0 65 3 0 0 25 0 18 0 831183673 10802511872 35760 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 46912505564849 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8652/tid=8654] ppid=8650 vsize=10549328 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8654/stat : 8654 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10802511872 35769 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8655] ppid=8650 vsize=10549328 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8655/stat : 8655 (java) S 8650 8652 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831183674 10802511872 35786 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8656] ppid=8650 vsize=10549328 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8656/stat : 8656 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10802511872 35787 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8657] ppid=8650 vsize=10549328 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8657/stat : 8657 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10802511872 35788 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8658] ppid=8650 vsize=10549328 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8658/stat : 8658 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10802511872 35790 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8659] ppid=8650 vsize=10549328 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8659/stat : 8659 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10802511872 35791 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8660] ppid=8650 vsize=10549328 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8660/stat : 8660 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10802511872 35793 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8661] ppid=8650 vsize=10549328 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8661/stat : 8661 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831183674 10802511872 35794 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10549328
Solver just ended. Dumping a history of the last processes samples
[startup+1.12231 s]
/proc/loadavg: 2.02 2.04 2.78 7/604 8675
/proc/meminfo: memFree=28506372/32950928 swapFree=41528364/67111528
[pid=8652] ppid=8650 vsize=10552008 CPUtime=2.77 cores=1,3,5,7
/proc/8652/stat : 8652 (java) S 8650 8652 3716 0 -1 4202496 66265 0 1 0 268 9 0 0 25 0 19 0 831183672 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8652/statm: 2638002 63202 2241 9 0 2628736 0
[pid=8652/tid=8653] ppid=8650 vsize=10552008 CPUtime=0.8 cores=1,3,5,7
/proc/8652/task/8653/stat : 8653 (java) S 8650 8652 3716 0 -1 4202560 53808 0 1 0 73 7 0 0 25 0 19 0 831183673 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056704 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8654] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8654/stat : 8654 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8655] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8655/stat : 8655 (java) S 8650 8652 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8656] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8656/stat : 8656 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8657] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8657/stat : 8657 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8658] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8658/stat : 8658 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8659] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8659/stat : 8659 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8660] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8660/stat : 8660 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8661] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8661/stat : 8661 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8663] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8663/stat : 8663 (java) S 8650 8652 3716 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 831183675 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056704 0 0 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8664] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8664/stat : 8664 (java) S 8650 8652 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831183676 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8665] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8665/stat : 8665 (java) S 8650 8652 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831183676 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8666] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8666/stat : 8666 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826063793 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8667] ppid=8650 vsize=10552008 CPUtime=0.72 cores=1,3,5,7
/proc/8652/task/8667/stat : 8667 (java) S 8650 8652 3716 0 -1 4202560 3805 0 0 0 72 0 0 0 25 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8668] ppid=8650 vsize=10552008 CPUtime=0.74 cores=1,3,5,7
/proc/8652/task/8668/stat : 8668 (java) S 8650 8652 3716 0 -1 4202560 5098 0 0 0 74 0 0 0 25 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8669] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8669/stat : 8669 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8670] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8670/stat : 8670 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056704 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8675] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8675/stat : 8675 (java) S 8650 8652 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831183757 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056704 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 10552008
[startup+1.30128 s]
/proc/loadavg: 2.02 2.04 2.78 7/604 8675
/proc/meminfo: memFree=28506372/32950928 swapFree=41528364/67111528
[pid=8652] ppid=8650 vsize=10552008 CPUtime=2.77 cores=1,3,5,7
/proc/8652/stat : 8652 (java) S 8650 8652 3716 0 -1 4202496 66265 0 1 0 268 9 0 0 25 0 19 0 831183672 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8652/statm: 2638002 63202 2241 9 0 2628736 0
[pid=8652/tid=8653] ppid=8650 vsize=10552008 CPUtime=0.8 cores=1,3,5,7
/proc/8652/task/8653/stat : 8653 (java) S 8650 8652 3716 0 -1 4202560 53808 0 1 0 73 7 0 0 25 0 19 0 831183673 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056704 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8654] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8654/stat : 8654 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8655] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8655/stat : 8655 (java) S 8650 8652 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8656] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8656/stat : 8656 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8657] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8657/stat : 8657 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8658] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8658/stat : 8658 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8659] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8659/stat : 8659 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8660] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8660/stat : 8660 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8661] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8661/stat : 8661 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183674 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8663] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8663/stat : 8663 (java) S 8650 8652 3716 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 831183675 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056704 0 0 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8664] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8664/stat : 8664 (java) S 8650 8652 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831183676 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8665] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8665/stat : 8665 (java) S 8650 8652 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831183676 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8666] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8666/stat : 8666 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826063793 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8667] ppid=8650 vsize=10552008 CPUtime=0.72 cores=1,3,5,7
/proc/8652/task/8667/stat : 8667 (java) S 8650 8652 3716 0 -1 4202560 3805 0 0 0 72 0 0 0 25 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8668] ppid=8650 vsize=10552008 CPUtime=0.74 cores=1,3,5,7
/proc/8652/task/8668/stat : 8668 (java) S 8650 8652 3716 0 -1 4202560 5098 0 0 0 74 0 0 0 25 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 7 0 0 0
[pid=8652/tid=8669] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8669/stat : 8669 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056089 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8670] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8670/stat : 8670 (java) S 8650 8652 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831183678 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056704 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
[pid=8652/tid=8675] ppid=8650 vsize=10552008 CPUtime=0 cores=1,3,5,7
/proc/8652/task/8675/stat : 8675 (java) S 8650 8652 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831183757 10805256192 63202 33554432000 1073741824 1073778376 140735904328160 18446744073709551615 251826056704 0 4 0 16800975 18446604458055440384 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 10552008
Child status: 10
Real time (s): 1.3595
CPU time (s): 2.80757
CPU user time (s): 2.70259
CPU system time (s): 0.104984
CPU usage (%): 206.515
Max. virtual memory (cumulated for all children) (KiB): 10553440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.70259
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66310
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309
involuntary context switches= 62
runsolver used 0.016997 second user time and 0.025996 second system time
The end